Search results

• User:Jon Awbrey/DIFF
  ===Table 1. Syntax & Semantics of a Calculus for Propositional Logic=== Table 1. Syntax & Semantics of a Calculus for Propositional Logic
  353 KB (17,505 words) - 16:10, 26 May 2007
• Logic of information
  ...ation and connotation, or, in roughly equivalent terms, by the concepts of extension and comprehension. ...f ''man''.  Every addition to the comprehension of a term lessens its extension up to a certain point, after that further additions increase the informatio
  8 KB (1,038 words) - 03:24, 16 November 2015
• User:Jon Awbrey/ATLAS
  ===Table 1. Syntax & Semantics of a Calculus for Propositional Logic=== Table 1. Syntax & Semantics of a Calculus for Propositional Logic
  463 KB (31,052 words) - 15:00, 25 August 2007
• Directory:Jon Awbrey
  ...ion_%3D_Comprehension_%C3%97_Extension Information = Comprehension × Extension] [[Tacit extension]]
  15 KB (1,907 words) - 14:08, 9 October 2017
• Directory:Titus Hoskins
  semantics or meaning: Hakia (www.hakia.com). Is it the to this massive data and build a supplemental exclusive extension of
  9 KB (1,490 words) - 13:36, 22 April 2007
• User:Jon Awbrey
  ...ion_%3D_Comprehension_%C3%97_Extension Information = Comprehension × Extension] [[Tacit extension]]
  16 KB (2,092 words) - 14:20, 14 January 2021
• User:Jon Awbrey/ARCHIVE
  ...rmation Equals Comprehension Times Extension|Information = Comprehension × Extension]] ....com/printthread.php?threadid=609&perpage=48 Information = Comprehension x Extension].
  39 KB (4,682 words) - 14:55, 21 May 2007
• Dynamics of inquiry
  ...nt to complete understanding, namely, the way of ''[[extension (semantics)|extension]]'' and the way of ''[[intension]]''. To these traditional approximations, ...ion of ''man''. Every addition to the comprehension of a term lessens its extension up to a certain point, after that further additions increase the informatio
  24 KB (3,783 words) - 00:25, 16 November 2015
• Directory:Peter Hale
  It could be possible to extend the semantics used in the specification of models to allow the creation of a framework fo Elenius, D., 2005. The OWL-S Editor - A Domain-Specific Extension to Protégé. In: 8th Intl. Protégé Conference - July 18-21, 2005 - Madri
  19 KB (2,806 words) - 13:35, 22 April 2007
• Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
  ...ideas about information, along with its relationship to comprehension and extension, in what certain accidents of personal history lead me to think of as the ' ...a dynamic concept, like ''system in motion''. Then the Instances are the extension of that concept through some space, and the Properties are the comprehensio
  73 KB (8,310 words) - 00:36, 27 April 2017
• Directory:Jon Awbrey/MathJax Problems
  Figure 71. Tacit Extension te_12_3 (Syll_12) Figure 72. Tacit Extension te_13_2 (Syll_13)
  59 KB (5,442 words) - 19:40, 8 November 2016
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  |+ style="height:30px" | <math>\text{Table 5.} ~~ \text{Syntax and Semantics of a Calculus for Propositional Logic}\!</math> The preceding discussion outlined the ideas leading to the differential extension of propositional logic. The next task is to lay out the concepts and termi
  158 KB (22,468 words) - 03:24, 27 December 2016
• Sign relation
  Understood in terms of its ''set-theoretic extension'', a sign relation <math>L\!</math> is a ''subset'' of a ''cartesian produc ...lementary relation'', that is, one element of the relation's set-theoretic extension.
  58 KB (8,260 words) - 03:40, 21 November 2016
• Relation (mathematics)
  ...pproach presented in this article treats a relation as the set-theoretic ''extension'' of a relational concept or term.&nbsp; An alternative, ''intensional appr * Tarski, A. (1956/1983), ''Logic, Semantics, Metamathematics, Papers from 1923 to 1938'', J.H. Woodger (trans.), 1st&nb
  20 KB (2,925 words) - 17:08, 14 November 2015
• Boolean algebras canonically defined
  ...ht-bit) constants correspond to the columns for the input variables in the extension of the above tables to three variables. This technique is almost universal ...dic after an initial finite bout of lawlessness. They constitute a proper extension of Example 5 (meaning that Example 5 is a proper subalgebra of Example 7) a
  46 KB (7,114 words) - 18:24, 2 October 2007
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  |+ <math>\text{Table 1.}~~\text{Syntax and Semantics of a Calculus for Propositional Logic}\!</math> ...tial space <math>X = P \times Q,\!</math> its ''(first order) differential extension'' <math>\mathrm{E}X\!</math> is constructed according to the following spec
  131 KB (20,198 words) - 15:38, 2 December 2015
• Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
  I will be making use of the ''cactus language'' extension of Peirce's Alpha Graphs, so called because it uses a species of graphs tha ...lgebra and propositional calculus makes it possible to entertain a further extension, to what we may call ''differential logic'', because it develops this basic
  134 KB (16,535 words) - 15:30, 11 October 2013
• Philosophy of mathematics
  ...ic Law V" (for concepts ''F'' and ''G'', the extension of ''F'' equals the extension of ''G'' if and only if for all objects ''a'', ''Fa'' if and only if ''Ga'' ...ling under the concept ''G'' if and only if the extension of ''F'' and the extension of ''G'' can be put into [[bijection|one-to-one correspondence]]). Frege re
  73 KB (10,917 words) - 19:48, 6 September 2017
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ==Formal extension : Cactus calculus== The first extension is the ''reflective extension of logical graphs'', or what may be described as the ''cactus language'', a
  157 KB (17,761 words) - 03:44, 10 November 2016
• Charles Sanders Peirce
  * Defined in extension, a ''k-adic relation'' ''L'' is a set of ''k''-tuples. It is critically important to understand that a relation in extension is a ''[[set]]'', in other words, an aggregate entity or a collection of th
  93 KB (14,277 words) - 20:00, 28 July 2017

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