Search results

Page title matches

• Zeroth order logic
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic.&nbsp; The term serves to mark a level of abstraction in which the more ine
  10 KB (1,357 words) - 16:04, 8 November 2015
• Zeroth Order Logic
  #REDIRECT [[Zeroth order logic]]
  32 bytes (4 words) - 16:14, 8 November 2015

Page text matches

• Zeroth Order Logic
  #REDIRECT [[Zeroth order logic]]
  32 bytes (4 words) - 16:14, 8 November 2015
• User:Jon Awbrey/HISTORY
  ===Sep &mdash; Zeroth Order Logic=== ===Dec &mdash; Functional Conception Of Quantificational Logic===
  7 KB (890 words) - 14:20, 12 June 2009
• Directory:Jon Awbrey/Projects/Semiotic Theory Of Information
  * [[Boolean logic]] * [[Zeroth order logic]]
  1 KB (130 words) - 20:24, 21 May 2010
• Directory:Jon Awbrey/Projects/Logic Of Information
  {{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
• Zeroth order logic
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic.&nbsp; The term serves to mark a level of abstraction in which the more ine
  10 KB (1,357 words) - 16:04, 8 November 2015
• Directory:Jon Awbrey/Projects/Cactus Language
  * [[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
• Logic Live
  ...intoinquiry.com/2012/05/17/inquiry-live-and-logic-live/ Inquiry Live &amp; Logic Live] * [[Logic Live]]
  3 KB (396 words) - 19:32, 17 September 2020
• Logic Syllabus
  ==Logic Syllabus== * [[Differential logic]]
  3 KB (346 words) - 18:30, 27 May 2020
• Differential logic
  ...">&#9758;</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 calcu
  6 KB (662 words) - 22:28, 5 November 2015
• Logical matrix
  ...">&#9758;</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
• Relative term
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]
  5 KB (599 words) - 20:20, 16 November 2015
• Descriptive science
  ...">&#9758;</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
• Normative science
  ...">&#9758;</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
• Parametric operator
  ...">&#9758;</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
• Boolean domain
  ...">&#9758;</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
• Sole sufficient operator
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...very operator in a specified class of operators.&nbsp; In the context of [[logic]], it is a logical operator that suffices to generate every [[boolean-value
  5 KB (626 words) - 18:07, 7 November 2015
• Relation construction
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In logic and mathematics, '''relation construction''' and '''relational constructibi
  5 KB (621 words) - 19:18, 14 November 2015
• Boolean function
  ...">&#9758;</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
• User:Jon Awbrey/SYLLABUS
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].<br>&nbsp;</p>
  6 KB (706 words) - 19:02, 9 June 2010
• Multigrade operator
  ...">&#9758;</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
• Logical disjunction
  ...">&#9758;</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
• Logical conjunction
  ...">&#9758;</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
• Logical equality
  ...">&#9758;</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
• Logical NNOR
  ...">&#9758;</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
• Logical NAND
  ...">&#9758;</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
• Exclusive disjunction
  ...">&#9758;</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
• Universe of discourse
  ...">&#9758;</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 correction
  6 KB (702 words) - 19:14, 7 November 2015
• Logical negation
  ...">&#9758;</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
• Logic of information
  ...">&#9758;</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 the
  8 KB (1,038 words) - 03:24, 16 November 2015
• Logic of relatives
  ...">&#9758;</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]]s
  7 KB (919 words) - 22:48, 10 November 2015
• Boolean-valued function
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In the formal sciences &mdash; mathematics, mathematical logic, statistics &mdash; and their applied disciplines, a boolean-valued functio
  7 KB (806 words) - 21:14, 5 November 2015
• Ampheck
  ...">&#9758;</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
• Hypostatic abstraction
  ...">&#9758;</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
• Directory:Jon Awbrey
  ...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
• Continuous predicate
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]
  8 KB (1,058 words) - 04:08, 10 November 2015
• User:Jon Awbrey
  ...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
• Semeiotic
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * Peirce, C.S. (1865), "On the Logic of Science", Harvard University Lectures, CE&nbsp;1, 161&ndash;302.
  9 KB (1,162 words) - 20:54, 3 November 2015
• Pragmatic maxim
  ...">&#9758;</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 of
  12 KB (1,764 words) - 04:32, 17 November 2015
• Truth table
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]
  16 KB (2,190 words) - 03:25, 30 October 2015
• Logical implication
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...ank Markham Brown|Brown, Frank Markham]] (2003), ''Boolean Reasoning: The Logic of Boolean Equations'', 1st edition, Kluwer Academic Publishers, Norwell, M
  16 KB (2,147 words) - 20:18, 4 November 2015
• 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
• User:Jon Awbrey/DIFF/A
  <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
• Truth theory
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...rlies a particular conception of truth, such as those used in art, ethics, logic, mathematics, philosophy, the sciences, or any discussion that either menti
  37 KB (5,460 words) - 14:45, 17 November 2015
• Pragmatic theory of truth
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...be discussed to much effect outside the context of inquiry, knowledge, and logic, all very broadly considered.
  33 KB (4,907 words) - 04:32, 22 September 2014
• Sign relation
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...a sign is one that he gives in the context of providing a definition for ''logic'', and so it is informative to view it in that setting.
  58 KB (8,260 words) - 03:40, 21 November 2016
• Directory:Jon Awbrey/THEORY
  ...ular conception of [[truth]], such as those used in [[art]], [[ethics]], [[logic]], [[mathematics]], [[philosophy]], the [[science]]s, or any discussion tha ...een truth and ''[[logical validity]]'', "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale
  81 KB (11,851 words) - 22:22, 25 January 2008
• User:Jon Awbrey/THEORY
  ...ular conception of [[truth]], such as those used in [[art]], [[ethics]], [[logic]], [[mathematics]], [[philosophy]], the [[science]]s, or any discussion tha ...een truth and ''[[logical validity]]'', "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale
  81 KB (11,851 words) - 18:53, 20 August 2007
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  {{DISPLAYTITLE:Differential Logic : Introduction}} ...tes any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation that pervad
  131 KB (20,198 words) - 15:38, 2 December 2015
• User:Jon Awbrey/Differential Logic Archive 2002
  ==Differential Logic 2002== or propositional logic, whatever you want to call it,
  134 KB (14,931 words) - 13:30, 5 December 2014
• Introduction to Inquiry Driven Systems
  80 bytes (10 words) - 11:56, 6 October 2010
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...iconicity are worth buying, at least when it comes to graphical systems of logic, it will useful to introduce one more distinction that affects the types of ...w.math.uic.edu/~kauffman/Arithmetic.htm Box Algebra, Boundary Mathematics, Logic, and Laws of Form].
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  .../math> respectively. The early CSP, as in his essay on &ldquo;Qualitative Logic&rdquo;, and also GSB, emphasized the <math>\mathrm{En}\!</math> interpretat These operators may be interpreted for logic as assertions about the values of their listed arguments, resulting in the
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Cactus Language
  ...onal logic'', ''sentential calculus'', or more inclusively, ''zeroth order logic'' (ZOL). Any style of declarative programming, also called ''logic programming'', depends on a capacity, as embodied in a programming language
  211 KB (31,551 words) - 20:44, 2 August 2017
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  ...the special fields that study these abilities, from psychology, education, logic, and the philosophy of science. This particular hybrid of work easily fits ...y, formulated by C.S. Peirce from his lifelong investigations of classical logic and experimental reasoning. For my purposes, all this certification means
  121 KB (16,341 words) - 04:34, 30 October 2015
• User:Jon Awbrey/Examples Of Inquiry
  of propositional models, sentential logic, or zeroth order logic. starting about a decade ago, to begin to develop a "differential logic",
  139 KB (16,717 words) - 14:30, 12 September 2017
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  {{DISPLAYTITLE:Peirce's 1870 Logic Of Relatives}} The path to understanding Peirce's system and its wider implications for logic can be smoothed by paraphrasing his notations in a variety of contemporary
  226 KB (33,992 words) - 16:22, 29 December 2017
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  ===Differential Logic : First Approach=== ...re us, we have come to the verge of seeing how the word "model" is used in logic, namely, to distinguish whatever things satisfy a description.
  369 KB (46,156 words) - 04:20, 27 December 2016
• User:Jon Awbrey/EXIT
  ...an, and scarcely at all as a philosopher. Even his work in philosophy and logic will not be understood until this fact becomes a standing premise of Peirci ...th previous editors. It purpose was to place some of Peirce's projects in logic within the context of his times, partly by comparing one of his important s
  147 KB (23,399 words) - 12:51, 20 August 2007
• Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
  ...information that he developed from the time of his lectures on the &ldquo;Logic of Science&rdquo; at Harvard University (1865) and the Lowell Institute (18 ==Selections from Peirce's “Logic of Science” (1865&ndash;1866)==
  362 KB (47,812 words) - 19:40, 9 November 2016
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  ==Differential Logic 2003&ndash;2004== DLOG A. Differential Logic -- Series A
  899 KB (89,922 words) - 19:22, 6 December 2014
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...inating it altogether as a primitive notion from the basis of mathematical logic (van Heijenoort, 355&ndash;366). ...shion. This section presents the elements of a calculus for propositional logic that I described in earlier work (Awbrey, 1989 and 1994). The imminent use
  725 KB (109,715 words) - 18:09, 28 August 2014
• User:Jon Awbrey/Philosophical Notes
  ...Jon Awbrey/Philosophical Notes#JITL. Just In Time Logic|JITL. Just In Time Logic]] | signifying facts of logic being very few in comparison with those which
  594 KB (95,507 words) - 17:36, 14 July 2017
• User:Jon Awbrey/IDS
  (Wirth 1976, 49, 303) have a long ancestry in logic and philosophy, going back logic (the normative study of how we ought to think in order to accomplish
  665 KB (109,541 words) - 02:46, 13 September 2010