Search results

• User:Jon Awbrey/TABLE
  ==Differential Logic== ===[[Zeroth Order Logic]]===
  396 KB (47,606 words) - 03:22, 26 April 2012
• Peirce's law
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...harles Sanders Peirce|Peirce, Charles Sanders]] (1885), "On the Algebra of Logic : A Contribution to the Philosophy of Notation", ''American Journal of Math
  11 KB (1,526 words) - 04:14, 18 November 2015
• Propositional calculus
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...iples of ''propositional logic'' (or ''sentential logic''). Propositional logic is a domain of formal subject matter that is, up to somorphism, constituted
  17 KB (2,301 words) - 15:56, 7 November 2015
• User:Jon Awbrey/ARCHIVE
  ===Differential Logic=== * Project Page : [[Differential Logic]]
  39 KB (4,682 words) - 14:55, 21 May 2007
• Relation reduction
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In logic and mathematics, '''relation reduction''' and '''relational reducibility'''
  29 KB (4,035 words) - 03:32, 15 November 2015
• Relation (mathematics)
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...th>-place ''predicate''.&nbsp; From the more abstract viewpoints of formal logic and model theory, the relation <math>L\!</math> is seen as constituting a '
  20 KB (2,925 words) - 17:08, 14 November 2015
• Dynamics of inquiry
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...o consider the economics of research, yet there is no positive sin against logic in ''trying'' any theory which may come into our heads, so long as it is ad
  24 KB (3,783 words) - 00:25, 16 November 2015
• Pragmatic Semiotic Information
  * [[Zeroth order logic]] ...ntersci.ss.uci.edu/wiki/index.php/Peirce%27s_Logic_Of_Information Peirce's Logic Of Information]
  20 KB (2,552 words) - 15:16, 2 March 2024
• Semiotic Information
  * [[Zeroth order logic]] ...ntersci.ss.uci.edu/wiki/index.php/Peirce%27s_Logic_Of_Information Peirce's Logic Of Information]
  20 KB (2,557 words) - 15:36, 5 November 2020
• Directory:Jon Awbrey/Papers/Semiotic Information
  * [[Zeroth order logic]] ...ntersci.ss.uci.edu/wiki/index.php/Peirce%27s_Logic_Of_Information Peirce's Logic Of Information]
  20 KB (2,560 words) - 14:10, 29 October 2016
• Minimal negation operator
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...boolean domain <math>\mathbb{B} = \{ 0, 1 \}~\!</math> is interpreted for logic in such a way that <math>0 = \mathrm{false}~\!</math> and <math>1 = \mathrm
  23 KB (3,337 words) - 13:54, 3 September 2017
• Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
  {{DISPLAYTITLE:Peirce's Logic Of Information}} |"The Logic of Science, or, Induction and Hypothesis",
  73 KB (8,310 words) - 00:36, 27 April 2017
• Relation theory
  ...">&#9758;</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
• Relation composition
  ...">&#9758;</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
• Inquiry
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...m [[Kant]], and refined in parallel with the early development of symbolic logic by [[Boole]], [[De Morgan]], and Peirce himself to address problems about t
  58 KB (7,676 words) - 22:34, 15 November 2015
• Boolean algebras canonically defined
  ...ology of [[abstract algebra]] to be applied to mathematical logic, digital logic, and the set-theoretic foundations of mathematics, among other applications ...exist. This suggests that it is impossible to have an infinitary Boolean logic for lack of terms.
  46 KB (7,114 words) - 18:24, 2 October 2007
• Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
  ...and diversity. There are several different introductions to differential logic that I have written and distributed across the Internet. You might start w ...//stderr.org/pipermail/inquiry/2004-February/thread.html#1132 Differential Logic A]
  134 KB (16,535 words) - 15:30, 11 October 2013
• Logical graph
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...the systems of graphical syntax that Charles Sanders Peirce developed for logic.
  41 KB (5,845 words) - 14:26, 6 November 2015
• User:Roygbiv/Graph
  ...ize="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...wikibiz.com/Charles_Sanders_Peirce Charles Sanders Peirce] developed for [[logic]].
  42 KB (5,905 words) - 21:49, 22 May 2010
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  ...xt{Table 5.} ~~ \text{Syntax and Semantics of a Calculus for Propositional Logic}\!</math> ...alculus, see the entries on [[minimal negation operator]]s, [[zeroth order logic]], and [[Differential Propositional Calculus#Table A1. Propositional Forms
  158 KB (22,468 words) - 03:24, 27 December 2016

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