Search results

• User:Jon Awbrey/MOF
  | [[Image:Equational Inference Reflect ab, ac, bc.jpg|500px]] | [[Image:Equational Inference Distribute (abc).jpg|500px]]
  4 KB (529 words) - 02:30, 18 March 2010
• User:Jon Awbrey/GRAPHICS
  | [[Image:Equational Inference Bar -- Cast P.jpg|500px]] | [[Image:Equational Inference Bar -- Domination.jpg|500px]]
  114 KB (10,904 words) - 18:52, 7 January 2011
• Peirce's law
  | [[Image:Equational Inference Band Collect p.png|500px]] | [[Image:Equational Inference Band Quit ((q)).png|500px]]
  11 KB (1,526 words) - 04:14, 18 November 2015
• Logic of Relatives (1883)
  ...title of a 17 page addendum to the chapter entitled "A Theory of Probable Inference" that [[Charles Sanders Peirce|C.S. Peirce]] contributed to the volume, ''S
  2 KB (252 words) - 02:12, 7 July 2008
• Directory:Logic Museum/Oxford condemnations of 1277
  # That the inference from the negative of the finite predicate to the affirmative of the infinit
  2 KB (334 words) - 19:53, 18 January 2009
• Organon
  ...(see [[term logic]]), argues for its correctness, and discusses inductive inference. ...' (Latin: ''Topica'')]] treats issues in constructing valid arguments, and inference that is probable, rather than certain. It is in this treatise that Aristot
  8 KB (1,027 words) - 17:45, 14 February 2010
• Logic of information
  ...ference is symbolization and that the puzzle of the validity of scientific inference lies merely in this superfluous comprehension and is therefore entirely rem
  8 KB (1,038 words) - 03:24, 16 November 2015
• Directory:Jon Awbrey/MathJax Problems
  | colspan="2" | ''Information Reducing Inference'' | colspan="2" | ''Information Preserving Inference''
  59 KB (5,442 words) - 19:40, 8 November 2016
• Directory:Jon Awbrey/Papers/Propositions As Types
  We can abbreviate this inference, that operates on two pieces of information to produce another piece of inf In this scheme of inference, the notations <math>{}^{\backprime\backprime} x {}^{\prime\prime},</math>
  150 KB (9,422 words) - 23:54, 6 July 2013
• User:Jon Awbrey/SCRATCHPAD
  ...ference is symbolization and that the puzzle of the validity of scientific inference lies merely in this superfluous comprehension and is therefore entirely rem | colspan="2" | ''Information Reducing Inference''
  38 KB (5,541 words) - 01:36, 4 December 2011
• Logical graph
  ...axioms in this set have the form of equations. This means that all of the inference steps that they allow are reversible. The proof annotation scheme employed ...t of the reason for this lies in the circumstance that the usual brands of inference rules combine the moving forward of a state of inquiry with the losing of i
  41 KB (5,845 words) - 14:26, 6 November 2015
• User:Roygbiv/Graph
  ...axioms in this set have the form of equations. This means that all of the inference steps that they allow are reversible. The proof annotation scheme employed ...t of the reason for this lies in the circumstance that the usual brands of inference rules combine the moving forward of a state of inquiry with the losing of i
  42 KB (5,905 words) - 21:49, 22 May 2010
• Dynamics of inquiry
  ...ring the dynamics of representation, such as led to Peirce's theories of [[inference]] and [[information]], inquiry and signs, are those that he took for his ow :* The differentiation of the genus of reasoning into three species of [[inference]] that are commonly translated into English as ''[[Abductive reasoning|abdu
  24 KB (3,783 words) - 00:25, 16 November 2015
• Propositional calculus
  ...eta\!</math> is a finite set of ''transformation rules'' that are called ''inference rules'' when they acquire logical applications. The inference rule is ''[[modus ponens]]'':
  17 KB (2,301 words) - 15:56, 7 November 2015
• Peter of Spain
  ...tion actus exercitus/actus significatus in Medieval Semantics. Meaning and Inference in Medieval Philosophy. Studies in memory of Jan Pinborg. Edited by Norman
  5 KB (764 words) - 12:07, 25 January 2009
• Directory:Logic Museum/Peter King (medievalist)
  * Consequence as Inference: Mediaeval Proof Theory 1300-1350, in Medieval Formal Logic: Obligations, I
  6 KB (803 words) - 16:10, 21 February 2009
• Inquiry
  ...very instructive examples, one for each of the two varieties of abductive inference steps that he has just described in the abstract: ...[[deductive reasoning|deductive]], and [[inductive reasoning|inductive]] [[inference]].
  58 KB (7,676 words) - 22:34, 15 November 2015
• Directory:The Wikipedia Point of View/Dealing with pseudoscience
  ...c literature. The statement 'If the X is round, X is not flat' is a valid inference that can be sourced from any reliable logic textbook. But 'The earth is no
  9 KB (1,527 words) - 13:51, 9 January 2009
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ...axioms in this set have the form of equations. This means that all of the inference licensed by them are reversible. The proof annotation scheme employed belo | [[Image:Equational Inference I2 Elicit (( )).png|500px]]
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems
  ====Hybrid Types of Inference====
  15 KB (1,597 words) - 12:00, 15 April 2017

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