Search results
MyWikiBiz, Author Your Legacy — Saturday June 01, 2024
Jump to navigationJump to search
- This ''area measure'' of information, given by Peirce's formula, “Information = Comprehension × Extension”, is the backgr ...''zeroth order model'' (ZOM), and can be constructed within the bounds of propositional logic or partial orderings of propositions. Getting to the next level will73 KB (8,310 words) - 00:36, 27 April 2017
- ...that map a source universe into a target universe. This augments ordinary propositional calculus in the same way that the differential calculus of Leibniz and Newt ...ou can do, once you have a really decent calculus for boolean functions or propositional logic, whatever you want to call it, is to compute the differentials of the145 KB (19,916 words) - 19:32, 11 December 2014
- ...ntersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]. ...relation <math>L_Y \subseteq Y \times Y \times Y</math> that licenses the formula <math>p + q = r~\!</math> just when <math>(p, q, r)~\!</math> is in <math>L168 KB (21,027 words) - 12:41, 6 August 2017
- ...discussions that I plan to use in documenting the cactus graph syntax for propositional logic.'' We are considering an Example of a propositional expression191 KB (21,069 words) - 21:01, 29 June 2009
- ...point of departure, I devised a theory of ''differential extensions'' for propositional domains that can be used, figuratively speaking, to put universes of discou In previous work (Awbrey, 1989) I described a system of notation for propositional calculus based on C.S. Peirce's ''existential graphs'', documented a comput290 KB (38,052 words) - 18:21, 28 August 2014
- or propositional logic, whatever you want to call it, expressed as general formula, of course? Here 'tis:134 KB (14,931 words) - 13:30, 5 December 2014
- ...venn diagrams, truth tables, and my own favorite version of the syntax for propositional calculus all in a relatively short space. To enliven the exercise, I borro For the most threadbare kind of logical system that we find residing in propositional calculus, this notion of model is almost too simple to deserve the name, ye369 KB (46,156 words) - 04:20, 27 December 2016
- 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
- ...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
- 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
- | positive intuitionistic propositional calculi presented as deductive systems. | Incidentally, several early texts on propositional logic567 KB (86,909 words) - 21:00, 6 December 2016
- ...r two. The development of this novel idea brings Peirce to enunciate this formula: ...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 o362 KB (47,812 words) - 19:40, 9 November 2016
- 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
- ...n [[Charles Peirce]] and various philosophy articles, like [[Truth]] and [[Propositional calculus]]. | align="right" | 25 || [[Propositional logic]]147 KB (23,399 words) - 12:51, 20 August 2007
- ...trary ordered pair, <math>i\!:\!j.</math> For that, we have the following formula, where the summation indicated is logical disjunction: ...= r + s~\!</math> and <math>L(u, v) = u \cdot v,\!</math> and the defining formula <math>J(L(u, v)) = K(Ju, Jv)\!</math> comes out looking like <math>J(u \cdo226 KB (33,992 words) - 16:22, 29 December 2017
- ...with respect to a character only covers (or seems only to cover) explicit propositional determination.</p> ...a greater extension than the other. Hence, we may conveniently alter the formula for the relations of extension and comprehension; thus, instead of saying91 KB (14,716 words) - 18:28, 8 November 2011
- ...rdquo;, ''i.e.'', an explicative proposition; and to begin with, take the formula “A is A”. If this be intended to state anything abou ...with respect to a character only covers (or seems only to cover) explicit propositional determination.</p>105 KB (16,763 words) - 20:36, 26 August 2017
- ...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
- or propositional logic, whatever you want to call it, expressed as general formula, of course? Here 'tis:899 KB (89,922 words) - 19:22, 6 December 2014
