Search results

• Directory:Jon Awbrey/Papers/Propositions As Types
  And here is a classical logic proof of the type proposition: Here are three references on combinatory logic and lambda calculus, given in order of difficulty from introductory to adva
  150 KB (9,422 words) - 23:54, 6 July 2013
• Prior Analytics
  '''Prior Analytics''' is [[Aristotle]]'s work on [[logic|deductive reasoning]]. It contains his exposition of the 'syllogistic', where three i ...rger work called the ''[[Organon]]: ''an ''instrument'' or ''manual'' of [[logic]] and method. It is the first part of the ''Analytics'' (the second being
  9 KB (1,457 words) - 19:14, 16 January 2013
• User:Jon Awbrey/OLDSANDBOX
  | D-N <p> Deductive-Nomological || D-N <p> Deductive-Nomological | I-S <p> Inductive-Statistical || D-S <p> Deductive-Statistical
  43 KB (6,715 words) - 13:25, 22 June 2009
• Dynamics of inquiry
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...only translated into English as ''[[Abductive reasoning|abduction]]'', ''[[Deductive reasoning|deduction]]'', and ''[[Inductive reasoning|induction]]'', in the
  24 KB (3,783 words) - 00:25, 16 November 2015
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems
  =====Deductive Reasoning===== ===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
• Inquiry
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...commonly known as [[abductive reasoning|abductive]], [[deductive reasoning|deductive]], and [[inductive reasoning|inductive]] [[inference]].
  58 KB (7,676 words) - 22:34, 15 November 2015
• Pragmatism
  ...were he utilized the will to believe doctrine to justify the [[axioms]] of logic, mathematics, and [[Kant|Kant's]] [[synthetic a priori]]. Later he would pu ...day as a logic covering the [[context of discovery]] and the [[hypothetico-deductive method]].
  23 KB (3,340 words) - 13:12, 16 September 2010
• Directory:Jon Awbrey/SANDBOX
  | D-N <p> Deductive-Nomological || D-N <p> Deductive-Nomological | I-S <p> Inductive-Statistical || D-S <p> Deductive-Statistical
  46 KB (7,067 words) - 04:10, 22 May 2010
• User:Jon Awbrey/MATH
  > expressive power to limited subsets of logic. | Mathematics and logic, historically speaking, have been entirely
  105 KB (15,873 words) - 11:53, 20 August 2007
• Directory:Jon Awbrey/MATH
  > expressive power to limited subsets of logic. | Mathematics and logic, historically speaking, have been entirely
  105 KB (15,875 words) - 22:02, 25 January 2008
• Scholasticism
  ...s of Greek philosophy and Christian doctrine. In the [[Renaissance]], the deductive and ''a priori'' methods of scholasticism were superseded by the [[inductiv ...second was through logical analysis, which relied on the rules of formal [[logic]] to show that contradictions did not exist but were subjective to the read
  16 KB (2,241 words) - 18:27, 9 November 2008
• Introduction to Inquiry Driven Systems
  80 bytes (10 words) - 11:56, 6 October 2010
• User:Jon Awbrey/Examples Of Inquiry
  | In deductive argument, the conclusion is represented of propositional models, sentential logic, or zeroth order logic.
  139 KB (16,717 words) - 14:30, 12 September 2017
• 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
• Directory:Jon Awbrey/Projects/Peircean Pragmata
  ==Logic As Semiotic== #[http://suo.ieee.org/ontology/thrd48.html#03070 Jon Awbrey (Aug 2001), "Logic As Semiotic", Ontology List].
  105 KB (16,763 words) - 20:36, 26 August 2017
• Directory:Jon Awbrey/VORPALS
  ...ans call ''[[logica docens]]'', logic as taught, and ''[[logica utens]]'', logic as used. [[C.S. Peirce]], as a logician, mathematician, and philosopher wh | expressive power to limited subsets of logic.
  177 KB (26,694 words) - 02:20, 15 December 2010
• 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/Introduction to Inquiry Driven Systems
  ...the special fields that study these abilities, from psychology, education, logic, and the philosophy of science. This particular hybrid of work easily fits ...y, formulated by C.S. Peirce from his lifelong investigations of classical logic and experimental reasoning. For my purposes, all this certification means
  121 KB (16,341 words) - 04:34, 30 October 2015
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  ...re never unsure. Acquiring a theory of inquiry is not, in short, a purely deductive exercise. ...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

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