Search results

• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  ...ate the ''models'', and regions excluded represent the ''non-models'' of a proposition. To recognize and formalize the natural cohesion of these two layers of co ...proposition of rank <math>0\!</math> is <math>1,\!</math> and the singular proposition of rank <math>0\!</math> is <math>\texttt{(} a_1 \texttt{)(} a_2 \texttt{)(
  519 KB (74,456 words) - 15:46, 3 October 2013
• Directory:Jon Awbrey/VORPALS
  # What is the character of a mathematical proposition? ...cist, all mathematical statements are precisely of the same type; they are analytic truths, or tautologies.
  177 KB (26,694 words) - 02:20, 15 December 2010
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  Consider the logical proposition represented by the following venn diagram: '''Figure 1. Proposition''' <math>q : X \to \mathbb{B}</math>
  369 KB (46,156 words) - 04:20, 27 December 2016
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  ...ate the ''models'', and regions excluded represent the ''non-models'' of a proposition. To recognize and formalize the natural cohesion of these two layers of co ...of rank 0 is 0, the positive proposition of rank 0 is 1, and the singular proposition of rank 0 is (''a''₁)(''a''₂)(''a''₃).
  394 KB (54,134 words) - 14:30, 3 March 2023
• Philosophy of mathematics
  # What is the character of a mathematical proposition? ...e number of ways of expressing what is in some sense the same fact (if the proposition is true) while apparently not talking about the same objects is especially
  73 KB (10,917 words) - 19:48, 6 September 2017
• Differential Logic and Dynamic Systems
  ...ate the ''models'', and regions excluded represent the ''non-models'' of a proposition. To recognize and formalize the natural cohesion of these two layers of co ...ive proposition of rank <math>0</math> is <math>1,</math> and the singular proposition of rank <math>0</math> is <math>\texttt{(} a_1 \texttt{)(} a_2 \texttt{)(}
  528 KB (75,728 words) - 21:56, 14 January 2021
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  ...ate the ''models'', and regions excluded represent the ''non-models'' of a proposition. To recognize and formalize the natural cohesion of these two layers of co ...proposition of rank <math>0\!</math> is <math>1,\!</math> and the singular proposition of rank <math>0\!</math> is <math>\texttt{(} a_1 \texttt{)(} a_2 \texttt{)(
  529 KB (75,750 words) - 14:32, 3 March 2023
• Directory:Jon Awbrey/Papers/Cactus Language
  ...sentence of the language, or its interpolated parse graph, into a logical proposition, in effect, ending up with an indicator function as the object denoted by t ...equipping or providing each abstractly well-formed sentence with a logical proposition for it to denote. A semantic interpretation of the cactus language is carr
  211 KB (31,551 words) - 20:44, 2 August 2017
• Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
  ...and all ''conceptions''. Most combinations of words are also symbols. A proposition, an argument, even a whole book may be, and should be, a single symbol.</p> <p>Accordingly, if we are engaged in symbolizing and we come to such a proposition as &ldquo;Neat, swine, sheep, and deer are herbivorous&rdquo;, we know firs
  362 KB (47,812 words) - 19:40, 9 November 2016
• User:Jon Awbrey/PROSPECT
  of perspectives between AI and systems theory. However, the proposition The primary factorization is typically only the first in a series of analytic
  162 KB (25,941 words) - 13:28, 9 January 2008
• Directory:The Wikipedia Point of View/Peter Damian Evidence
  ...ered properly until 2008). My main area of expertise is in Anglo-American analytic philosophy (I graduated from a good British university in the 1970's, did m * '''[http://en.wikipedia.org/wiki/Unity_of_the_proposition Unity of the proposition]''' (viewed [http://stats.grok.se/en/200809/Unity_of_the_proposition 165] t
  19 KB (2,842 words) - 11:26, 1 April 2011
• User:Jon Awbrey/Examples Of Inquiry
  denote the proposition Q = Conjunction (P_1, P_2, P_3, P_4). denote the proposition L = Disjunction (S_1, S_2, S_3, S_4).
  139 KB (16,717 words) - 14:30, 12 September 2017
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  ...end. It is a feature of modernism that it produces an overemphasis on the analytic aspect of the process of description while marginalizing or trivializing th ...servation were recognized to arise from the pressure toward articulate and analytic description. There is a tension between the informal context and the forma
  92 KB (15,197 words) - 14:40, 24 August 2017
• User:Jon Awbrey/Philosophical Notes
  ...l Notes#SABI. Synthetic/Analytic &#8799; Boundary/Interior|SABI. Synthetic/Analytic &#8799; Boundary/Interior]] | propositions. Any one proposition written down by itself
  594 KB (95,507 words) - 17:36, 14 July 2017
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  Start with a proposition of the form x & y, which The proposition xy may be taken as a boolean function f(x, y)
  899 KB (89,922 words) - 19:22, 6 December 2014
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  ...he separation of perspectives between AI and systems theory. However, the proposition that these two realms share a common fund of theory and practice, not only ...unded into a question about the reality of all the various distinctions of analytic order. Do the postulated levels really exist in nature, or do they arise o
  226 KB (34,541 words) - 14:20, 20 August 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
  ...st? In this project I will give preference to two kinds of technique, one analytic and one synthetic. The methodology that underlies this approach has two components: The analytic component involves describing the performance and competence of intelligent
  241 KB (38,416 words) - 15:14, 15 April 2017
• User:Jon Awbrey/Mathematical Notes
  analytic geometry, because instead of thinking about | All analytic considerations of geometry begin with a space filled with stacks
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...hidden features of its object. This section presents a variety of these ''analytic intensional representations'' (AIRs) for the sign relations <math>L(\text{A ...al level of reflection on a POV requires a language that is articulate and analytic enough to transform each thesis posed in it into the form of a question. A
  725 KB (109,715 words) - 18:09, 28 August 2014
• User:Jon Awbrey/IDS
  of technique, one analytic and one synthetic. The analytic component involves describing the performance and
  665 KB (109,541 words) - 02:46, 13 September 2010

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