Search results

• User:Jon Awbrey/Differential Logic Archive 2002
  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
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  ...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, ye
  369 KB (46,156 words) - 04:20, 27 December 2016
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  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{,} \ldo
  519 KB (74,456 words) - 15:46, 3 October 2013
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  ...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 languag
  138 KB (23,322 words) - 14:50, 4 January 2015
• Differential Logic and Dynamic Systems
  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
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  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
• User:Jon Awbrey/Mathematical Notes
  | positive intuitionistic propositional calculi presented as deductive systems. | Incidentally, several early texts on propositional logic
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
  ...r two. The development of this novel idea brings Peirce to enunciate this formula: ...mbol.&nbsp; 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
  362 KB (47,812 words) - 19:40, 9 November 2016
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  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 kind
  394 KB (54,134 words) - 14:30, 3 March 2023
• User:Jon Awbrey/EXIT
  ...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
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  ...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 \cdo
  226 KB (33,992 words) - 16:22, 29 December 2017
• Directory:Jon Awbrey/Projects/Peircean Pragmata
  ...rdquo;, ''i.e.'', an explicative proposition; and to begin with, take the formula &ldquo;A&nbsp;is&nbsp;A&rdquo;. 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
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...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 immine
  725 KB (109,715 words) - 18:09, 28 August 2014
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  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
• User:Jon Awbrey/IDS
  within the metes and bounds of any finite or final formula. conceived to be certain propositional entities in J. And yet, all of these
  665 KB (109,541 words) - 02:46, 13 September 2010
• User:Jon Awbrey/Philosophical Notes
  | 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 upon
  594 KB (95,507 words) - 17:36, 14 July 2017
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
  ...ic process seldom falls within the metes and bounds of any final or finite formula. ...port of propositions, and its models are therefore conceived to be certain propositional entities in <math>J.\!</math> And yet all of these expressions are just el
  241 KB (38,416 words) - 15:14, 15 April 2017

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)