Search results
MyWikiBiz, Author Your Legacy — Monday May 13, 2024
Jump to navigationJump to search
Page title matches
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic. The term serves to mark a level of abstraction in which the more ine10 KB (1,357 words) - 16:04, 8 November 2015
- #REDIRECT [[Zeroth order logic]]32 bytes (4 words) - 16:14, 8 November 2015
- #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]86 bytes (10 words) - 02:42, 9 September 2017
- {{DISPLAYTITLE:Functional Logic : Higher Order Propositions}} ...sitions about things in <math>X,</math> the first of a series of '''higher order propositions''' based on <math>X.</math>105 KB (15,890 words) - 03:12, 4 July 2013
Page text matches
- #REDIRECT [[Zeroth order logic]]32 bytes (4 words) - 16:14, 8 November 2015
- ===Sep — Zeroth Order Logic=== ===Dec — Functional Conception Of Quantificational Logic===7 KB (890 words) - 14:20, 12 June 2009
- #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]86 bytes (10 words) - 02:42, 9 September 2017
- {{DISPLAYTITLE:Project : Logic Of Information}} * [[Directory:Jon Awbrey/Papers/Peirce's Logic Of Information|Peirce's Logic Of Information]]2 KB (182 words) - 04:04, 19 June 2007
- ...intoinquiry.com/2012/05/17/inquiry-live-and-logic-live/ Inquiry Live & Logic Live] * [[Logic Live]]3 KB (396 words) - 19:32, 17 September 2020
- * [[Boolean logic]] * [[Zeroth order logic]]1 KB (130 words) - 20:24, 21 May 2010
- <font size=4>'''Differential Logic : Series C'''</font><br> ...od to summarize, in rough but intuitive terms, the outlook on differential logic that we have reached so far.9 KB (833 words) - 14:26, 22 May 2007
- ==Logic Syllabus== * [[Differential logic]]3 KB (346 words) - 18:30, 27 May 2020
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...]] that are subject to logical description. In formal logic, differential logic treats the principles that govern the use of a ''differential logical calcu6 KB (662 words) - 22:28, 5 November 2015
- * [[Zeroth order logic]] * [http://forum.wolframscience.com/printthread.php?threadid=726&perpage=3 Logic In Graphs]1 KB (155 words) - 13:34, 22 May 2009
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...to any number of other objects, called the ''correlates'' of the term, in order to denote a definite object, called the ''relate''<sup>1</sup> of the relat5 KB (599 words) - 20:20, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (541 words) - 16:12, 11 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic. The term serves to mark a level of abstraction in which the more ine10 KB (1,357 words) - 16:04, 8 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...aditional conceptions in philosophy, are ''aesthetics'', ''ethics'', and ''logic''.5 KB (568 words) - 16:10, 4 November 2020
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (556 words) - 16:15, 4 November 2020
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (572 words) - 04:16, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (561 words) - 19:54, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...very operator in a specified class of operators. In the context of [[logic]], it is a logical operator that suffices to generate every [[boolean-value5 KB (626 words) - 18:07, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In logic and mathematics, '''relation construction''' and '''relational constructibi5 KB (621 words) - 19:18, 14 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].<br> </p>6 KB (706 words) - 19:02, 9 June 2010
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (589 words) - 20:24, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (618 words) - 04:12, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (656 words) - 00:40, 2 November 2015
- ...menu/library/aboutcsp/awbrey/inquiry.htm Inquiry Driven Systems] — ''first part of old version'' ...ed on [[Directory:Jon Awbrey/Papers/Peirce's Logic Of Information|Peirce's Logic Of Information]]2 KB (288 words) - 18:08, 21 May 2010
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (658 words) - 02:00, 31 October 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (664 words) - 04:18, 4 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (678 words) - 03:44, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]5 KB (684 words) - 22:56, 4 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...n of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities'', Macmillan Publishers, 1854. Reprinted with correction6 KB (702 words) - 19:14, 7 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]6 KB (728 words) - 01:45, 31 October 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]6 KB (729 words) - 14:16, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. The '''logic of information''', or the ''logical theory of information'', considers the8 KB (1,038 words) - 03:24, 16 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. The '''logic of relatives''', more precisely, the '''logic of relative terms''', is the study of [[relation (mathematics)|relation]]s7 KB (919 words) - 22:48, 10 November 2015
- ...oehner (February 17, 1901 – 1955) was a member of the [[Franciscan]] order and a distinguished medieval scholar.<ref name="Bonaventure">{{cite web|url ...resting he began his work as a medieval scholar by translating [[Directory:Logic Museum/Etienne Gilson|Etienne Gilson]]'s work on [[Bonaventura|Saint Bonave5 KB (670 words) - 15:13, 5 July 2009
- ...ic school|Peripatetic]]s, to the standard collection of his six works on [[logic]]. The works are ''[[Categories (Aristotle)|Categories]]'', ''[[De Interpre ...ructured system. Indeed, parts of them seem to be a scheme of a lecture on logic. The arrangement of the works was made by [[Andronicus of Rhodes]] around8 KB (1,027 words) - 17:45, 14 February 2010
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In the formal sciences — mathematics, mathematical logic, statistics — and their applied disciplines, a boolean-valued functio7 KB (806 words) - 21:14, 5 November 2015
- ...rsci.ss.uci.edu/wiki/index.php/Peirce%27s_1870_Logic_Of_Relatives Peirce's Logic Of Relatives] ...i.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]15 KB (1,907 words) - 14:08, 9 October 2017
- 77 bytes (10 words) - 16:04, 16 April 2011
- ...s://oeis.org/wiki/User:Jon_Awbrey/Peirce%27s_Logic_Of_Information Peirce's Logic Of Information] Functional Logic [https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy (1)]16 KB (2,092 words) - 14:20, 14 January 2021
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]7 KB (915 words) - 18:58, 10 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. But first take something removable. “Cain kills Abel.” Here t8 KB (1,058 words) - 04:08, 10 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...lculus, [[propositional calculus]], sentential calculus, or [[zeroth order logic]].9 KB (1,221 words) - 15:04, 5 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...early delineations of the three types of signs is still quite useful as a first approach to understanding their differences and their relationships to each9 KB (1,162 words) - 20:54, 3 November 2015
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...e recommendation or a regulative principle in the [[normative science]] of logic, its function is to guide the conduct of thought toward the achievement of12 KB (1,764 words) - 04:32, 17 November 2015
- ...m like they belong together. Still traveling, so this will be sporadic at first. —[[User:Jon Awbrey|JA]] ...prepare equivocal signs, that are otherwise recalcitrant to being ruled by logic, for the application of logical laws. The example of ζωοΑ KB (1,988 words) - 05:06, 16 December 2013
- ==Riffs in Numerical Order== |+ style="height:25px" | <math>\text{Riffs in Numerical Order}\!</math>114 KB (10,904 words) - 18:52, 7 January 2011
- {{DISPLAYTITLE:Functional Logic : Quantification Theory}} ==Toward a Functional Conception of Quantificational Logic==81 KB (10,378 words) - 02:22, 5 July 2013
- {{DISPLAYTITLE:Functional Logic : Higher Order Propositions}} ...sitions about things in <math>X,</math> the first of a series of '''higher order propositions''' based on <math>X.</math>105 KB (15,890 words) - 03:12, 4 July 2013
- ...of the 'syllogistic', where three important principles are applied for the first time in history:<ref>Bochenski p. 63</ref> the use of variables, a purely f ...n]]: ''an ''instrument'' or ''manual'' of [[logic]] and method. It is the first part of the ''Analytics'' (the second being the ''Posterior Analytics''). W9 KB (1,457 words) - 19:14, 16 January 2013
- ...It presents a consummate integration of his ideas on the interrelations of logic, mathematics, and semeiotic, or the theory of signs. <p>Logic is the study of the essential nature of signs.</p>6 KB (1,000 words) - 17:28, 7 July 2017
