Search results

• Directory:Jon Awbrey/Papers/Propositions As Types
  One is given a syntactic specification of the following form: ...<math>x\!</math> is of the type <math>A,\!</math> while a notation of the form <math>x \overset{A}{\underset{B}{\Downarrow}}</math> means that <math>x\!</
  150 KB (9,422 words) - 23:54, 6 July 2013
• Directory:Jon Awbrey/ELSEWHERE
  ...are indeed ''truth-bearers''. This judgment is typically expressed in the form of a specific ''truth predicate'', whose positive application to a sign, or ...egard to an object, and it includes all forms of [[belief revision]] and [[logical inference]], including ''[[scientific method]]''. A sign-to-sign transactio
  33 KB (4,956 words) - 22:18, 25 January 2008
• Pragmatic Semiotic Information
  ...her past, or present, or prospective, just more DOTS. This is the special form to which we frequently find the idea of an information channel being reduce * Peirce, C.S. (1867), &ldquo;Upon Logical Comprehension and Extension&rdquo;, [http://www.iupui.edu/~peirce/writings/
  20 KB (2,552 words) - 15:16, 2 March 2024
• Semiotic Information
  ...her past, or present, or prospective, just more DOTS. This is the special form to which we frequently find the idea of an information channel being reduce * Peirce, C.S. (1867), &ldquo;Upon Logical Comprehension and Extension&rdquo;, [http://www.iupui.edu/~peirce/writings/
  20 KB (2,557 words) - 15:36, 5 November 2020
• Directory:Jon Awbrey/Papers/Semiotic Information
  ...her past, or present, or prospective, just more DOTS. This is the special form to which we frequently find the idea of an information channel being reduce * Peirce, C.S. (1867), &ldquo;Upon Logical Comprehension and Extension&rdquo;, [http://www.iupui.edu/~peirce/writings/
  20 KB (2,560 words) - 14:10, 29 October 2016
• Directory:Jon Awbrey/Papers/Change In Logic
  This is yet another variant of the previous form, the logical side of the analogy a bit more fully, and to take up
  73 KB (6,208 words) - 04:08, 11 December 2016
• Sign relation
  ...significance&rdquo; (John Dewey). Thus, there is an active and intricate form of cooperation that needs to be appreciated and maintained between these co ...ation'' (SOI) associated with each language user can be represented in the form of an individual [[three-place relation]] called the ''sign relation'' of t
  58 KB (8,260 words) - 03:40, 21 November 2016
• Boolean algebras canonically defined
  ...[[digital circuits]], the latter to any area of mathematics for which sets form a natural foundation. Boolean algebra thus permits the general methodology ...19th century with the work of [[Boole]], [[Peirce]], and others seeking a logical analogue to algebra. The ring basis emerged in the 20th century with the w
  46 KB (7,114 words) - 18:24, 2 October 2007
• Duns Scotus
  ...for instance, humans have at least two substantial forms, the soul and the form of the body (''forma corporeitas'') (cf. ''Ordinatio'' 4, d. 11, q. 3, n. 5 ...tary on the ''Sentences'', leading him to doubt whether he had written any logical works at all <ref>Ashworth 1987</ref>. The Questions on the Prior Analytic
  20 KB (2,997 words) - 19:25, 22 February 2009
• Directory:Jon Awbrey/Papers/Syntactic Transformations
  ...import of these ideas in greater depth, it serves to establish a number of logical relations and set-theoretic identities that can be found to hold among thei # The logical language of sentences
  129 KB (17,728 words) - 22:14, 9 December 2015
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  In their abstract form these structures are most closely related to built up from a basic data structure called an "idea-form flag".
  94 KB (8,938 words) - 22:12, 9 December 2015
• Pragmatism
  ...sm a bad name by his over-the-top rhetoric and defence of the most extreme form of pragmatism. Secondary sources on the work of Schiller are extremely rare ...us of nonsense metaphysics. However, there is not the stress on action in logical positivism as there is in pragmatism. Furthermore, the pragmatists rarely u
  23 KB (3,340 words) - 13:12, 16 September 2010
• Directory:Jon Awbrey/MathJax Problems
  ...ul to observe that the implication relation indicated by the propositional form <math>x \Rightarrow y\!</math> is equivalent to an order relation <math>x \ ...mmon idiom in the use of order relation symbols, one that represents their logical conjunction by way of a concatenated syntax. Thus, <math>p \le q \le r\!</
  59 KB (5,442 words) - 19:40, 8 November 2016
• Inquiry
  ...often made in this connection is to call deduction a ''[[demonstrative]]'' form of inference, while abduction and induction are classed as ''[[non-demonstr ...that it provides us with doubly instructive exercises in the use of his [[logical graph]]s, taken at the level of his so-called '[[alpha graph]]s'.
  58 KB (7,676 words) - 22:34, 15 November 2015
• User:Jon Awbrey/MATH
  | become more logical. The consequence is that it has working models of reality take on a substantial mathematical form, but
  105 KB (15,873 words) - 11:53, 20 August 2007
• Directory:Jon Awbrey/MATH
  | become more logical. The consequence is that it has working models of reality take on a substantial mathematical form, but
  105 KB (15,875 words) - 22:02, 25 January 2008
• Directory:Logic Museum/Every man is an animal
  64 bytes (9 words) - 18:01, 12 October 2010
• Directory:Jon Awbrey/Papers/Cactus Rules
  of k expressions is read as their k-adic logical conjunction, second, a bracket of the form (e_1, ..., e_k) is read to say that exactly one
  343 KB (13,950 words) - 02:46, 23 May 2009
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems
  =====The Will to Form===== =====A Form of Recursion=====
  15 KB (1,597 words) - 12:00, 15 April 2017
• Pragmatic theory of truth
  ...are indeed ''truth-bearers''. This judgment is typically expressed in the form of a specific ''truth predicate'', whose positive application to a sign, or ...aring that in mind, the problem of defining truth reduces to the following form:
  33 KB (4,907 words) - 04:32, 22 September 2014

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