Search results
- * [[Propositional Equation Reasoning Systems]] * [http://forum.wolframscience.com/printthread.php?threadid=297&perpage=35 Propositional Equation Reasoning Systems].39 KB (4,682 words) - 14:55, 21 May 2007
- ===Propositional attitudes=== ...aining, that is not what they really do, but it is convenient to call them propositional verbs. Of course you might call them 'attitudes', but I should not like th237 KB (37,371 words) - 22:14, 25 January 2008
- ===Propositional attitudes=== ...aining, that is not what they really do, but it is convenient to call them propositional verbs. Of course you might call them 'attitudes', but I should not like th237 KB (37,371 words) - 11:22, 20 August 2007
- ...e system. Each of these components has the status of a theory, that is, a propositional code which the agent of the system carries along and maintains with itself .... However, in order for the system to have a knowledge base which takes a propositional stance with respect to its own state space, other information variables amo92 KB (15,197 words) - 14:40, 24 August 2017
- This article develops a differential extension of [[propositional calculus]] and applies it to a context of problems arising in dynamic syste | The first kind of propositional expression is a parenthesized sequence of propositional expressions, written as <math>\texttt{(} e_1 \texttt{,} e_2 \texttt{,} \ldo519 KB (74,456 words) - 15:46, 3 October 2013
- a changed attitude toward a piece of knowledge already possessed? Or can it be notation for propositional calculus, and Section 3 will describe a proposal for162 KB (25,941 words) - 13:28, 9 January 2008
- ...tted by the cultural legacy of the Infant Internet, when a more idealistic attitude toward the Internet community at large could be taken for granted. But tho ...n [[Charles Peirce]] and various philosophy articles, like [[Truth]] and [[Propositional calculus]].147 KB (23,399 words) - 12:51, 20 August 2007
- ...e may refer to this cactus language as a ''sentential calculus'' or as a ''propositional calculus'', respectively. ...ystem that is variously known to sundry communities of interpretation as ''propositional logic'', ''sentential calculus'', or more inclusively, ''zeroth order logic211 KB (31,551 words) - 20:44, 2 August 2017
- This article develops a differential extension of [[propositional calculus]] and applies it to a context of problems arising in dynamic syste Table 1 outlines the notation that I use for propositional calculus. Explained as briefly as possible, I am using only two basic kind394 KB (54,134 words) - 14:30, 3 March 2023
- This article develops a differential extension of propositional calculus and applies it to a context of problems arising in dynamic systems Table 1 outlines a notation for propositional calculus based on two types of logical connectives, both of variable <math>528 KB (75,728 words) - 21:56, 14 January 2021
- This article develops a differential extension of propositional calculus and applies it to a context of problems arising in dynamic systems Table 1 outlines a notation for propositional calculus based on two types of logical connectives, both of variable <math>529 KB (75,750 words) - 14:32, 3 March 2023
- ...o as the "syllogistic" model. The discussion is kept within the bounds of propositional reasoning by considering only those "figures of syllogism" that are "purely If it were only a matter of doing propositional reasoning as efficiently as possible, I would simply use the cactus languag138 KB (23,322 words) - 14:50, 4 January 2015
- ...mple of a formal system that serves to integrate their concerns, namely, ''propositional calculus''. ...nstrumental fashion. This section presents the elements of a calculus for propositional logic that I described in earlier work (Awbrey, 1989 and 1994). The immine725 KB (109,715 words) - 18:09, 28 August 2014
- ...ark only a different awareness of something that already exists, a changed attitude toward a piece of knowledge already possessed? Or can it be something more ...robably called for at this point. Section 2 will introduce a notation for propositional calculus, and Section 3 will describe a proposal for its differential exten226 KB (34,541 words) - 14:20, 20 August 2016
- ...mbol. It has its place in a formal system of symbols, for example, a propositional calculus, where it would normally be interpreted as a logical conjunction o | a propositional function of one or more variables;362 KB (47,812 words) - 19:40, 9 November 2016
- or propositional logic, whatever you want to call it, Table 1. Propositional Forms On Two Variables899 KB (89,922 words) - 19:22, 6 December 2014
- | the propositional 'form'. What I mean by "everything that can be removed from the | so as to take propositional form in a judgment (indeed, it may operate upon594 KB (95,507 words) - 17:36, 14 July 2017