Search results

• Entitative graph
  ...name of <i>qualitative logic</i> in the 1880s, taking the coverage of the formalism only as far as the propositional or sentential aspects of logic are concern
  2 KB (235 words) - 16:40, 11 June 2025
• Directory:Jon Awbrey/MATH
  Three schools, [[intuitionism]], [[logicism]], and [[formalism]], emerged around the start of the [[20th century]] in response to the incr Three schools, [[intuitionism]], [[logicism]], and [[formalism]], emerged around the start of the [[20th century]] in response to the incr
  105 KB (15,875 words) - 22:02, 25 January 2008
• User:Jon Awbrey/MATH
  Three schools, [[intuitionism]], [[logicism]], and [[formalism]], emerged around the start of the [[20th century]] in response to the incr Three schools, [[intuitionism]], [[logicism]], and [[formalism]], emerged around the start of the [[20th century]] in response to the incr
  105 KB (15,873 words) - 11:53, 20 August 2007
• Philosophy of mathematics
  ...right up to the present time frame, as mathematical [[category theory]], a formalism that many mathematicians regard as the natural language of contemporary mat ...tures of mathematical [[epistemology]] and [[ontology]]. Three schools, [[formalism]], [[intuitionism]], and [[logicism]], emerged at this time, partly in resp
  73 KB (10,917 words) - 19:48, 6 September 2017
• Directory:Jon Awbrey/VORPALS
  ...be presented in this article. Three of these, intuitionism, logicism and formalism, emerged around the start of the 20th century in response to the increasing ==Formalism==
  177 KB (26,694 words) - 02:20, 15 December 2010
• Propositional calculus
  * Depending on the precise formal grammar or the grammar formalism that is being used, syntactic auxiliaries like the left parenthesis, "(", a
  17 KB (2,301 words) - 15:56, 7 November 2015
• Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
  ...'Algorithms and Complexity'', pp. 188&ndash;201, but translate his logical formalism into cactus language, which is more efficient in regard to the number of pr
  134 KB (16,535 words) - 15:30, 11 October 2013
• Logical graph
  ...d ''existential graphs'', Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic
  41 KB (5,845 words) - 14:26, 6 November 2015
• User:Roygbiv/Graph
  ...[[existential graph]]s'', Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic
  42 KB (5,905 words) - 21:49, 22 May 2010
• User:Jon Awbrey/PEIRCE
  ...s been crossed, and that the crossers thereof have hefted or sublimated '[[formalism]]' to the status of a full-blown [[Weltanschauung]] rather than a simple [[ ...ess followed by the slough of despond. The inflationary boom that raises 'formalism' beyond its formative sphere as one among a host of equally useful heuristi
  74 KB (11,616 words) - 23:56, 21 May 2010
• Charles Sanders Peirce
  ...s been crossed, and that the crossers thereof have hefted or sublimated '[[formalism]]' to the status of a full-blown [[Weltanschauung]] rather than a simple [[ ...ess followed by the slough of despond. The inflationary boom that raises 'formalism' beyond its formative sphere as one among a host of equally useful heuristi
  93 KB (14,277 words) - 20:00, 28 July 2017
• User:Jon Awbrey/Mathematical Notes
  group's discussion of content, formalism, motivation, or whatever. people who see the need for ontology but not the need for an opaque formalism,
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...ines of inquiry it suggests to greater lengths, and to apply the tentative formalism to an issue of pressing concern, namely, the question of what kind of disti ...liminate variables altogether from the primitive conceptual basis of one's formalism, replacing every form of substitution with a form of application. In the a
  725 KB (109,715 words) - 18:09, 28 August 2014
• Directory:Jon Awbrey/Papers/Cactus Language
  ...strings belong to it and what strings do not. Thus, the formal grammar, a formalism that appears to be even more skeletal than the formal language, still has b
  211 KB (31,551 words) - 20:44, 2 August 2017
• User:Jon Awbrey/PROSPECT
  One goal of this work is to develop a formalism adequate to the description of
  162 KB (25,941 words) - 13:28, 9 January 2008
• User:Jon Awbrey/IDS
  But an overall purpose of this formalism is to represent the objects and 2. To use this modicum of formalism to define a number of conceptual
  665 KB (109,541 words) - 02:46, 13 September 2010
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  ...eds.), ''To H.B. Curry : Essays on Combinatory Logic, Lambda Calculus, and Formalism'', Academic Press, London, UK, 1980.
  519 KB (74,456 words) - 15:46, 3 October 2013
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  ...eds.), ''To H.B. Curry : Essays on Combinatory Logic, Lambda Calculus, and Formalism'', Academic Press, London, UK, 1980.
  394 KB (54,134 words) - 14:30, 3 March 2023
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  HT: Even so, I see from your commentary that if your formalism is to work ...(eds.) To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, London, UK, 1980.
  899 KB (89,922 words) - 19:22, 6 December 2014
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
  But an overall purpose of this formalism is to represent the objects and constituencies ''known to'' specific interp
  241 KB (38,416 words) - 15:14, 15 April 2017

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