Search results

• Zeroth order logic
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic.&nbsp; The term serves to mark a level of abstraction in which the more ine
  10 KB (1,357 words) - 16:04, 8 November 2015
• Directory:Jon Awbrey/Notes/Precursors
  ...der Sprache''), and &ldquo;natural transformation&rdquo; from then current informal parlance.</p> ...prepare equivocal signs, that are otherwise recalcitrant to being ruled by logic, for the application of logical laws. The example of &#950;&#969;&#959;&#9
  13 KB (1,988 words) - 05:06, 16 December 2013
• Relation (mathematics)
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ==Informal introduction==
  20 KB (2,925 words) - 17:08, 14 November 2015
• Propositional calculus
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...iples of ''propositional logic'' (or ''sentential logic''). Propositional logic is a domain of formal subject matter that is, up to somorphism, constituted
  17 KB (2,301 words) - 15:56, 7 November 2015
• Directory:Jon Awbrey/ELSEWHERE
  ...be discussed to much effect outside the context of inquiry, knowledge, and logic, all very broadly considered. ...he truth of a sign, counting the sign itself as the first thing. In formal logic, this number is called the ''[[arity]]'' of the predicate. The kinds of tru
  33 KB (4,956 words) - 22:18, 25 January 2008
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems
  ====The Informal Context==== ===Differential Logic and Directed Graphs===
  15 KB (1,597 words) - 12:00, 15 April 2017
• User:Jon Awbrey/ARCHIVE
  ===Differential Logic=== * Project Page : [[Differential Logic]]
  39 KB (4,682 words) - 14:55, 21 May 2007
• Directory:The Wikipedia Point of View/Dealing with pseudoscience
  #X's statement "Informal soundings amongst scientists revealed an almost total absence of awareness ...X is not flat' is a valid inference that can be sourced from any reliable logic textbook. But 'The earth is not flat', while a conclusion validly yielded
  9 KB (1,527 words) - 13:51, 9 January 2009
• Truth theory
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...or makes use of a notion of truth. A truth theory can be anything from an informal theory, based on implicit or tacit ideas, to a formal theory, constructed f
  37 KB (5,460 words) - 14:45, 17 November 2015
• Logical graph
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...the systems of graphical syntax that Charles Sanders Peirce developed for logic.
  41 KB (5,845 words) - 14:26, 6 November 2015
• User:Jon Awbrey/THEORY
  ...truth theory can be anything from a ''casual theory'', based on implicit, informal, and vaguely articulated ideas, to a ''[[formal theory]]'', constructed fro ...een truth and ''[[logical validity]]'', "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale
  81 KB (11,851 words) - 18:53, 20 August 2007
• Directory:Jon Awbrey/THEORY
  ...truth theory can be anything from a ''casual theory'', based on implicit, informal, and vaguely articulated ideas, to a ''[[formal theory]]'', constructed fro ...een truth and ''[[logical validity]]'', "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale
  81 KB (11,851 words) - 22:22, 25 January 2008
• User:Roygbiv/Graph
  ...ize="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...wikibiz.com/Charles_Sanders_Peirce Charles Sanders Peirce] developed for [[logic]].
  42 KB (5,905 words) - 21:49, 22 May 2010
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  ...ing, or transformation. This will limit their use, in the above sense, to informal contexts. ...he special fields which study these abilities, from psychology, education, logic and the philosophy of science. This particular hybrid of work easily fits
  92 KB (15,197 words) - 20:40, 24 August 2025
• User:Jon Awbrey/PEIRCE
  ...or universals. Now by proving logic ''fictional'', Peirce believes he does logic a favor, that is, by saving it from the psychologists. This suggests that ...of the symbol itself which it cannot ''as a symbol'' transgress. ("On the Logic of Science" (1865), CE 1, 173.)
  74 KB (11,616 words) - 23:56, 21 May 2010
• Introduction to Inquiry Driven Systems
  80 bytes (10 words) - 11:56, 6 October 2010
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  For the time being I will continue with the informal presentation but I have been hurrying to proceed with the informal exposition,
  94 KB (8,938 words) - 22:12, 9 December 2015
• Charles Sanders Peirce
  ...t and employed as a scientist for 30 years, it is for his contributions to logic, mathematics, philosophy, and the theory of signs, or ''[[semeiotic]]'', th ...ed under the philosophies of knowledge, language, and science. Peirce saw logic as the formal branch of the theory of signs, or ''[[semiotics]]'', here usi
  93 KB (14,277 words) - 20:00, 28 July 2017
• Directory:Jon Awbrey/Papers/Cactus Language
  ...scussion requires a quicker way to get into this subject, even if it takes informal means that cannot be made absolutely precise. ...onal logic'', ''sentential calculus'', or more inclusively, ''zeroth order logic'' (ZOL).
  211 KB (31,551 words) - 20:44, 2 August 2017
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...iconicity are worth buying, at least when it comes to graphical systems of logic, it will useful to introduce one more distinction that affects the types of ...w.math.uic.edu/~kauffman/Arithmetic.htm Box Algebra, Boundary Mathematics, Logic, and Laws of Form].
  168 KB (21,027 words) - 12:41, 6 August 2017

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