Search results

• Directory:Jon Awbrey/Differential Logic : Various Sketches
  ...ntial features acquire their logical meaning through a class of ''temporal inference rules''. ...tion. Altogether in the present instance, there is the fourfold scheme of inference that is shown below:
  369 KB (46,156 words) - 04:20, 27 December 2016
• Truth theory
  ...xplicit axioms and definitions and developed by means of definite rules of inference. The scope of a truth theory can be restricted to tightly-controlled and w
  37 KB (5,460 words) - 14:45, 17 November 2015
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  ...ntial features acquire their logical meaning through a class of ''temporal inference rules''. ...tion. Altogether in the present instance, there is the fourfold scheme of inference that is shown below:
  519 KB (74,456 words) - 15:46, 3 October 2013
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
  ...making it possible to manipulate the resulting information by means of the inference rules in a proof system. This illustrates the ''proof-theoretic'' aspect o ...immediate representative power. This principle is therefore the ground of inference in general.</p>
  241 KB (38,416 words) - 15:14, 15 April 2017
• User:Jon Awbrey/Mathematical Notes
  | as a 'rule of inference'. | and of an operation on arrows as a 'rule of inference'.
  567 KB (86,909 words) - 21:00, 6 December 2016
• User:Jon Awbrey/BIB
  * [[John Earman|Earman, John]] (ed.), ''Inference, Explanation, and Other Frustrations: Essays in the Philosophy of Science'
  61 KB (7,563 words) - 18:26, 15 June 2010
• Directory:Jon Awbrey/BIB
  * [[John Earman|Earman, John]] (ed.), ''Inference, Explanation, and Other Frustrations: Essays in the Philosophy of Science'
  61 KB (7,562 words) - 18:18, 18 March 2008
• User:Jon Awbrey/IDS
  information by means of the inference rules in a logical proof system. | Inference in general obviously supposes symbolization;
  665 KB (109,541 words) - 02:46, 13 September 2010
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  ...ntial features acquire their logical meaning through a class of ''temporal inference rules''. ...tion. Altogether in the present instance, there is the fourfold scheme of inference that is shown below:
  394 KB (54,134 words) - 14:30, 3 March 2023
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...ple, in devising or following a proof according to the axioms and rules of inference that are recorded in a proof system. It is another thing entirely for a te ...t any domain of objects leads to the identification of generic patterns of inference that appear to be universally valid, never disappointing the trust that is
  725 KB (109,715 words) - 18:09, 28 August 2014
• Differential Logic and Dynamic Systems
  ...ntial features acquire their logical meaning through a class of ''temporal inference rules''. ...tion. Altogether in the present instance, there is the fourfold scheme of inference that is shown below:
  528 KB (75,728 words) - 21:56, 14 January 2021
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  ...ntial features acquire their logical meaning through a class of ''temporal inference rules''. ...tion. Altogether in the present instance, there is the fourfold scheme of inference that is shown below:
  529 KB (75,750 words) - 14:32, 3 March 2023
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  ...ko, Mozetic, & Lavrac, 1989), with increasing capabilities for qualitative inference about complex systems and for intelligent navigation of dynamic manifolds ( ...cacti? By developing these abilities for inductive learning and accurate inference, aided by a facility for integrating their alternate "takes" on the world,
  226 KB (34,541 words) - 14:20, 20 August 2016
• User:Jon Awbrey/Philosophical Notes
  | be aware of a process of inference, or of any other process, is by its producing some | no process of inference except that of the reproduction of the premisses.
  594 KB (95,507 words) - 17:36, 14 July 2017
• User:Jon Awbrey/PROSPECT
  inference about complex systems and for intelligent navigation of dynamic ...cacti? By developing these abilities for inductive learning and accurate inference, aided by a facility for integrating their alternate "takes" on the world,
  162 KB (25,941 words) - 13:28, 9 January 2008
• User:Badmachine/wikipedia-en-2015-07-15
  [01:44:28] <Sir_Designer> Jr_Mime it's rather straightforward line of inference: Walgreens is a pharmacy; pr0n is a medical pursuit or even condition; eth
  92 KB (11,781 words) - 01:17, 22 July 2015
• User:Jon Awbrey/TRUTH
  ...symbols can be manipulated according to a set of [[axioms]] and [[rules of inference]], often given in the form of [[truth table]]s.
  237 KB (37,371 words) - 11:22, 20 August 2007
• Directory:Jon Awbrey/TRUTH
  ...symbols can be manipulated according to a set of [[axioms]] and [[rules of inference]], often given in the form of [[truth table]]s.
  237 KB (37,371 words) - 22:14, 25 January 2008
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  features acquire their logical meaning through a class of "temporal inference rules". one is permitted to make the following sorts of inference: from the fact that
  899 KB (89,922 words) - 19:22, 6 December 2014
• Directory:Logic Museum/Aquinas Summa-I-50-53
  96 bytes (16 words) - 13:15, 12 October 2010

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