#REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory]]
82 bytes (9 words) - 00:18, 27 November 2008
#REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy]]
80 bytes (10 words) - 00:22, 27 November 2008
#REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]
86 bytes (10 words) - 02:42, 9 September 2017
{{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}}
==Functional Conception of Quantification Theory==
105 KB (15,890 words) - 03:12, 4 July 2013
{{DISPLAYTITLE:Functional Logic : Inquiry and Analogy}}
...he three fundamental types of reasoning that Peirce adopted from classical logic. In Peirce's analysis both inquiry and analogy are complex programs of rea
106 KB (13,991 words) - 18:45, 18 March 2020
#REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory]]
82 bytes (9 words) - 00:18, 27 November 2008
#REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy]]
80 bytes (10 words) - 00:22, 27 November 2008
#REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]
86 bytes (10 words) - 02:42, 9 September 2017
===Sep — Zeroth Order Logic===
===Dec — Functional Conception Of Quantificational Logic===
7 KB (890 words) - 14:20, 12 June 2009
: 1-adic functional case:
: 2-adic functional case:
5 KB (718 words) - 02:12, 13 September 2016
...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
...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
{{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}}
==Functional Conception of Quantification Theory==
105 KB (15,890 words) - 03:12, 4 July 2013
{{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}}
==A Functional Conception of Propositional Calculus==
22 KB (3,003 words) - 21:40, 2 July 2008
* [[Logic of relatives]]
* [[Logic of relatives]]
43 KB (6,715 words) - 13:25, 22 June 2009
...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
...tt{(} x_1 \texttt{,} \ldots \texttt{,} x_k \texttt{)}~\!</math> a discrete functional analogue of a point-omitted neighborhood in ordinary real analysis, more ex
23 KB (3,337 words) - 13:54, 3 September 2017
...[[Peter Lombard]], Burley opposed Ockham on a number of points concerning logic and [[natural philosophy]].
...the [[propositional logic|propositional calculus]] over the [[first-order logic|predicate calculus]], despite the fact that the latter had been the main fo
9 KB (1,124 words) - 11:25, 18 January 2009
And here is a classical logic proof of the type proposition:
...tentative link between the pattern of information conversion implicated in functional application and the pattern of information conversion involved in the logic
150 KB (9,422 words) - 23:54, 6 July 2013
==Logic of Relatives==
|+ '''Table 14.1 Semantic Translation : Functional Form'''
24 KB (2,668 words) - 11:18, 14 October 2025
...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
...study from the perspectives of abstract algebra on the one hand and formal logic on the other.
25 KB (3,665 words) - 21:04, 16 November 2015
* [[Logic of relatives]]
* [[Logic of relatives]]
46 KB (7,067 words) - 04:10, 22 May 2010
...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
...er of relations. Relations and their combinations may be described in the logic of relative terms, in set theories of various kinds, and through a broadeni
65 KB (6,802 words) - 18:14, 14 November 2015
{{DISPLAYTITLE:Functional Logic : Inquiry and Analogy}}
...he three fundamental types of reasoning that Peirce adopted from classical logic. In Peirce's analysis both inquiry and analogy are complex programs of rea
106 KB (13,991 words) - 18:45, 18 March 2020
<font size=4>'''Differential Logic : Series A'''</font><br>
...e you have a really decent calculus for boolean functions or propositional logic, whatever you want to call it, is to compute the differentials of these fun
112 KB (11,050 words) - 14:19, 22 May 2007