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
• Directory:Jon Awbrey/Projects/Peircean Pragmata
  ...utterly powerless to account for any certainty or even probability in the inference from induction, we still retain these ''forms'' which show what the ''actua ...I reason ''à posteriori''. The form this reasoning assumes, is that of an inference of a minor premiss in any of the figures. The following is an example.</p>
  105 KB (16,763 words) - 20:36, 26 August 2017
• Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
  ...might be reached from three different directions, as the end result of an inference in each of the three modes. | We have then three different kinds of inference:
  106 KB (13,991 words) - 18:45, 18 March 2020
• Turing Award
  ...rogramming language|ML]], the first language to include polymorphic [[type inference]] together with a [[type safety|type-safe]] [[exception handling|exception-
  11 KB (1,508 words) - 10:52, 2 November 2006
• Introduction to Inquiry Driven Systems
  80 bytes (10 words) - 11:56, 6 October 2010
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...axioms in this set have the form of equations. This means that all of the inference steps they allow are reversible. In the proof annotation scheme below, I w ...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
  168 KB (21,027 words) - 12:41, 6 August 2017
• User:Jon Awbrey/Examples Of Inquiry
  is the relationship among signs, information, inference, and the the types of signs and the types of inference, that is,
  139 KB (16,717 words) - 14:30, 12 September 2017
• Wikipedia Vandalism/Shira Scheindlin
  ...ments in a timely manner, and the presentation to the jury of an [[adverse inference]].
  10 KB (1,403 words) - 20:24, 29 December 2008
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  ...y a role in inquiry, commonly known as abductive, deductive, and inductive inference. ...in a match with reality. In a similar fashion, each of the other types of inference realizes its purpose only in accord with its proper role in the whole cycl
  121 KB (16,341 words) - 04:34, 30 October 2015
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  Table&nbsp;4 exhibits the rules of inference that give the differential quality <math>\mathrm{d}q\!</math> its meaning i |+ style="height:30px" | <math>\text{Table 4.} ~~ \text{Differential Inference Rules}\!</math>
  158 KB (22,468 words) - 03:24, 27 December 2016
• Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
  | scientific inference. Now deduction rests as we have seen upon the inverse ...ly explicates what we know — and is on this very account called scientific inference. Now deduction rests as we have seen upon the inverse proportionality of t
  73 KB (8,310 words) - 00:36, 27 April 2017
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  ...fundamental modes of reasoning, called deductive, inductive, and abductive inference. In rough terms, "abduction" is what one uses to generate a likely hypothe ...in a match with reality. In a similar fashion, each of the other types of inference realizes its purpose only in accord with its role in the cycle of inquiry.
  92 KB (15,197 words) - 14:40, 24 August 2017
• Peter of Auvergne
  ...Relating to such Terms as «Album», in Norman KRETZMANN (ed.), Meaning and Inference in Medieval Philosophy. Studies in Memory of Jan Pinborg, Dordrecht–Bosto
  19 KB (2,554 words) - 19:32, 8 February 2009
• Directory:Jon Awbrey/MATH
  ...d philosophical — as a ''[[mixed syllogism]]'', in particular, a two-stage inference that follows a step of [[inductive reasoning]] with a step of [[deductive r ...d philosophical — as a ''[[mixed syllogism]]'', in particular, a two-stage inference that follows a step of [[inductive reasoning]] with a step of [[deductive r
  105 KB (15,875 words) - 22:02, 25 January 2008
• User:Jon Awbrey/MATH
  ...d philosophical — as a ''[[mixed syllogism]]'', in particular, a two-stage inference that follows a step of [[inductive reasoning]] with a step of [[deductive r ...d philosophical — as a ''[[mixed syllogism]]'', in particular, a two-stage inference that follows a step of [[inductive reasoning]] with a step of [[deductive r
  105 KB (15,873 words) - 11:53, 20 August 2007
• Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
  ...ference is symbolization and that the puzzle of the validity of scientific inference lies merely in this superfluous comprehension and is therefore entirely rem <p>We have now seen how the mind is forced by the very nature of inference itself to make use of induction and hypothesis.</p>
  362 KB (47,812 words) - 19:40, 9 November 2016
• Directory:Logic Museum/Boethius' Translation of the Perihermenias
  73 bytes (10 words) - 20:18, 8 September 2011
• Philosophy of mathematics
  ...d philosophical ? as a ''[[mixed syllogism]]'', in particular, a two-stage inference that follows a step of [[inductive reasoning]] with a step of [[deductive r ...is seen as consisting of some strings called "axioms", and some "rules of inference" to generate new strings from given ones), one can prove that the [[Pythago
  73 KB (10,917 words) - 19:48, 6 September 2017
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  ...types of steps, called "abductive", "deductive", and "inductive" modes of inference. As a result of this opinion, I do not believe that I can do any better at ...ly, but involves an element of hypothesis. In ancient times, this mode of inference to an explanatory hypothesis was described by the Greek word "apagoge", art
  138 KB (23,322 words) - 14:50, 4 January 2015
• User:Jon Awbrey/PEIRCE
  ...ring the dynamics of representation, such as led to Peirce's theories of [[inference]] and [[information]], [[inquiry]] and [[Sign (semiotics)|sign]]s, are thos :* The differentiation of the genus of reasoning into three species of [[inference]] that are commonly translated into English as ''[[Abductive reasoning|abdu
  74 KB (11,616 words) - 23:56, 21 May 2010
• Directory:Jon Awbrey/ELSEWHERE
  ...an object, and it includes all forms of [[belief revision]] and [[logical inference]], including ''[[scientific method]]''. A sign-to-sign transaction in respe
  33 KB (4,956 words) - 22:18, 25 January 2008
• Directory:Logic Museum/sandbox
  ..."#Q2">Question II</a> is whether 'a dead man, therefore a man' is a valid inference.
  40 KB (6,767 words) - 22:10, 7 November 2009
• Directory:Jon Awbrey/VORPALS
  ...is seen as consisting of some strings called "axioms", and some "rules of inference" to generate new strings from given ones), one can prove that the [[Pythago ...come true (ie. True statements are assigned to the axioms and the rules of inference are truth preserving), ''then'' you have to accept the theorem, or, rather,
  177 KB (26,694 words) - 02:20, 15 December 2010
• Charles Sanders Peirce
  ...ring the dynamics of representation, such as led to Peirce's theories of [[inference]] and [[information]], [[inquiry]] and [[Sign (semiotics)|sign]]s, are thos * The differentiation of the genus of reasoning into three species of [[inference]] that are commonly translated into English as ''[[Abductive reasoning|abdu
  93 KB (14,277 words) - 20:00, 28 July 2017
• Directory:Logic Museum/Nullo homine (1230-50)
  75 bytes (9 words) - 18:32, 13 October 2010
• Evil
  ...enience, for the attainment of a necessary advantage or a greater good, no inference can be drawn from thence to favor an accumulation of the '' '''evil''' '' ,
  28 KB (5,065 words) - 15:59, 29 December 2007
• Directory:Logic Museum/Radulphus Brito/Quaestiones super Artem veterem
  70 bytes (9 words) - 18:34, 13 October 2010
• User:Jon Awbrey/THEORY
  ...iom]]s and [[definition]]s and developed by means of definite ''[[rules of inference]]''. The scope of a truth theory can be restricted to tightly-controlled a ...iom]]s and [[definition]]s and developed by means of definite ''[[rules of inference]]''. The scope of a truth theory can be restricted to tightly-controlled a
  81 KB (11,851 words) - 18:53, 20 August 2007
• Directory:Jon Awbrey/THEORY
  ...iom]]s and [[definition]]s and developed by means of definite ''[[rules of inference]]''. The scope of a truth theory can be restricted to tightly-controlled a ...iom]]s and [[definition]]s and developed by means of definite ''[[rules of inference]]''. The scope of a truth theory can be restricted to tightly-controlled a
  81 KB (11,851 words) - 22:22, 25 January 2008
• Pragmatic theory of truth
  ...nd of it. Inquiry includes all forms of [[belief revision]] and [[logical inference]], including ''[[scientific method]]'', what Peirce here means by "the righ
  33 KB (4,907 words) - 04:32, 22 September 2014
• Directory:Logic Museum/Lambertus Marie de Rijk
  ...Boethius' notion of Being. A chapter of Boethian semantics. In Meaning and inference in medieval philosophy. Studies in memory of Jan Pinborg. Edited by Kretzma
  35 KB (4,954 words) - 16:02, 21 February 2009

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