med-mastodon.com is one of the many independent Mastodon servers you can use to participate in the fediverse.
Medical community on Mastodon

Administered by:

Server stats:

354
active users

#DifferentialLogic

0 posts0 participants0 posts today
Jon Awbrey<p>Cactus Language • Overview 3.2<br>• <a href="https://inquiryintoinquiry.com/2025/03/07/cactus-language-overview-3/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/07/cactus-language-overview-3/</span></a></p><p>Given a body of conceivable propositions we need a way to follow the threads of their indications from their object domain to their values for the mind and a way to follow those same threads back again. Moreover, we need to implement both ways of proceeding in computational form. Thus we need programs for tracing the clues sentences provide from the universe of their objects to the signs of their values and, in turn, from signs to objects. Ultimately, we need to render propositions so functional as indicators of sets and so essential for examining the equality of sets as to give a rule for the practical conceivability of sets. Tackling that task requires us to introduce a number of new definitions and a collection of additional notational devices, to which we now turn.</p><p>Resources —</p><p>Cactus Language • Overview<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Overview</span></a></p><p>Survey of Animated Logical Graphs<br>• <a href="https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/03</span><span class="invisible">/18/survey-of-animated-logical-graphs-7/</span></a></p><p>Survey of Theme One Program<br>• <a href="https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/26/survey-of-theme-one-program-6/</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <br><a href="https://mathstodon.xyz/tags/AutomataTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AutomataTheory</span></a> <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalLanguages</span></a> <a href="https://mathstodon.xyz/tags/FormalGrammars" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalGrammars</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GraphTheory</span></a></p>
Jon Awbrey<p>Cactus Language • Overview 3.1<br>• <a href="https://inquiryintoinquiry.com/2025/03/07/cactus-language-overview-3/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/07/cactus-language-overview-3/</span></a></p><p>In the development of Cactus Language to date the following two species of graphs have been instrumental.</p><p>• Painted And Rooted Cacti (PARCAI).<br>• Painted And Rooted Conifers (PARCOI).</p><p>It suffices to begin with the first class of data structures, developing their properties and uses in full, leaving discussion of the latter class to a part of the project where their distinctive features are key to developments at that stage. Partly because the two species are so closely related and partly for the sake of brevity, we'll always use the genus name “PARC” to denote the corresponding cacti.</p><p>To provide a computational middle ground between sentences seen as syntactic strings and propositions seen as indicator functions the language designer must not only supply a medium for the expression of propositions but also link the assertion of sentences to a means for inverting the indicator functions, that is, for computing the “fibers” or “inverse images” of the propositions.</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <br><a href="https://mathstodon.xyz/tags/AutomataTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AutomataTheory</span></a> <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalLanguages</span></a> <a href="https://mathstodon.xyz/tags/FormalGrammars" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalGrammars</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GraphTheory</span></a></p>
Jon Awbrey<p>Cactus Language • Overview 2<br>• <a href="https://inquiryintoinquiry.com/2025/03/06/cactus-language-overview-2/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/06/cactus-language-overview-2/</span></a></p><p>In order to facilitate the use of propositions as indicator functions it helps to acquire a flexible notation for referring to propositions in that light, for interpreting sentences in a corresponding role, and for negotiating the requirements of mutual sense between the two domains. If none of the formalisms readily available or in common use meet all the design requirements coming to mind then it is necessary to contemplate the design of a new language especially tailored to the purpose.</p><p>In the present application, there is a pressing need to devise a general calculus for composing propositions, computing their values on particular arguments, and inverting their indications to arrive at the sets of things in the universe which are indicated by them. </p><p>For computational purposes it is convenient to have a middle ground or an intermediate language for negotiating between the “koine” of sentences regarded as strings of literal characters and the realm of propositions regarded as objects of logical value, even if that makes it necessary to introduce an artificial medium of exchange between the two domains.</p><p>If the necessary computations are to be carried out in an organized fashion, and ultimately or partially by familiar classes of machines, then the strings expressing logical propositions are likely to find themselves parsed into tree‑like data structures at some stage of the game. As far as their abstract structures as graphs are concerned, there are several species of graph‑theoretic data structures fitting the task in a reasonably effective and efficient way.</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <br><a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalLanguages</span></a></p>
Jon Awbrey<p>Cactus Language • Overview 1.2<br>• <a href="https://inquiryintoinquiry.com/2025/03/01/cactus-language-overview-1/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/01/cactus-language-overview-1/</span></a></p><p>Resource —</p><p>For readers interested and intrepid enough to read ahead, here’s an outline of my work in progress on the OEIS Wiki, which I’ll be revising and serializing to my Inquiry blog.</p><p>Part 1<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_1" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_1</span></a></p><p>Cactus Language • Syntax<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_1#Syntax" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_1#Syntax</span></a></p><p>Part 2<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_2" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_2</span></a></p><p>Generalities About Formal Grammars<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_2#Generalities" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_2#Generalities</span></a></p><p>Part 3<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3</span></a></p><p>Cactus Language • Stylistics<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3#Stylistics" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3#Stylistics</span></a></p><p>Cactus Language • Mechanics<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3#Mechanics" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3#Mechanics</span></a></p><p>Cactus Language • Semantics<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3#Semantics" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3#Semantics</span></a></p><p>Stretching Exercises<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Part_3#Stretching_Exercises" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Part_3#Stretching_Exercises</span></a></p><p>References<br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_References" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_References</span></a></p><p>Document History <br>• <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Document_History" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Document_History</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <br><a href="https://mathstodon.xyz/tags/Automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Automata</span></a> <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalLanguages</span></a> <a href="https://mathstodon.xyz/tags/FormalGrammars" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalGrammars</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GraphTheory</span></a></p>
Jon Awbrey<p>Cactus Language • Overview 1.1<br>• <a href="https://inquiryintoinquiry.com/2025/03/01/cactus-language-overview-1/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/01/cactus-language-overview-1/</span></a></p><p>❝Thus, what looks to us like a sphere of scientific knowledge more accurately should be represented as the inside of a highly irregular and spiky object, like a pincushion or porcupine, with very sharp extensions in certain directions, and virtually no knowledge in immediately adjacent areas. If our intellectual gaze could shift slightly, it would alter each quill’s direction, and suddenly our entire reality would change.❞</p><p>— Herbert J. Bernstein • “Idols of Modern Science”</p><p>The following report describes a calculus for representing propositions as sentences, that is, as syntactically defined sequences of signs, and for working with those sentences in light of their semantically defined contents as logical propositions. In their computational representation the expressions of the calculus parse into a class of graph‑theoretic data structures whose underlying graphs are called “painted cacti”.</p><p>Painted cacti are a specialization of what graph‑theorists refer to as “cacti”, which are in turn a generalization of what they call “trees”. The data structures corresponding to painted cacti have especially nice properties, not only useful in computational terms but interesting from a theoretical standpoint. The remainder of the present Overview is devoted to motivating the development of the indicated family of formal languages, going under the generic name of Cactus Language.</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <br><a href="https://mathstodon.xyz/tags/Automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Automata</span></a> <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalLanguages</span></a> <a href="https://mathstodon.xyz/tags/FormalGrammars" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalGrammars</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GraphTheory</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 8<br>• <a href="https://inquiryintoinquiry.com/2024/12/07/differential-propositional-calculus-8-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/07/differential-propositional-calculus-8-b/</span></a></p><p>Formal Development (cont.)</p><p>Before moving on, let's unpack some of the assumptions, conventions, and implications involved in the array of concepts and notations introduced above.</p><p>A universe of discourse A° = [a₁, …, aₙ] qualified by the logical features a₁, …, aₙ is a set A plus the set of all functions from the space A to the boolean domain B = {0, 1}. There are 2ⁿ elements in A, often pictured as the cells of a venn diagram or the nodes of a hypercube. There are 2^(2ⁿ) possible functions from A to B, accordingly pictured as all the ways of painting the cells of a venn diagram or the nodes of a hypercube with a palette of two colors.</p><p>A logical proposition about the elements of A is either true or false of each element in A, while a function f : A → B evaluates to 1 or 0 on each element of A. The analogy between logical propositions and boolean-valued functions is close enough to adopt the latter as models of the former and simply refer to the functions f : A → B as propositions about the elements of A.</p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 7.2<br>• <a href="https://inquiryintoinquiry.com/2024/12/06/differential-propositional-calculus-7-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/06/differential-propositional-calculus-7-b/</span></a></p><p>Formal Development (cont.)</p><p>Table 7 summarizes the basic notations needed to describe ordinary propositional calculi in a systematic fashion.</p><p>Table 7. Propositional Calculus • Basic Notation<br>• <a href="https://inquiryintoinquiry.files.wordpress.com/2020/02/propositional-calculus-basic-notation.png" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.files.wordp</span><span class="invisible">ress.com/2020/02/propositional-calculus-basic-notation.png</span></a></p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 7.1<br>• <a href="https://inquiryintoinquiry.com/2024/12/06/differential-propositional-calculus-7-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/06/differential-propositional-calculus-7-b/</span></a></p><p>Note. Please see the blog post linked above for the proper formats of the notations used below.</p><p>Formal Development —</p><p>The preceding discussion outlined the ideas leading to the differential extension of propositional logic. The next task is to lay out the concepts and terminology needed to describe various orders of differential propositional calculi.</p><p>Elementary Notions —</p><p>Logical description of a universe of discourse begins with a collection of logical signs. For simplicity in a first approach we assume the signs are collected in the form of a finite alphabet, ‡A‡ = {“a₁”, …, “aₙ”}. The signs are interpreted as denoting logical features, for example, properties of objects in the universe of discourse or simple propositions about those objects. Corresponding to the alphabet ‡A‡ there is then a set of logical features, †A† = {a₁, …, aₙ}.</p><p>A set of logical features †A† = {a₁, …, aₙ} affords a basis for generating an n‑dimensional universe of discourse, written A° = [†A†] = [a₁, …, aₙ]. It is useful to consider a universe of discourse as a categorical object incorporating both the set of points A = &lt;a₁, …, aₙ&gt; and the set of propositions A↑ = {f : A → B} implicit with the ordinary picture of a venn diagram on n features.</p><p>Accordingly, the universe of discourse A° may be regarded as an ordered pair (A, A↑) bearing the type (Bⁿ, (Bⁿ → B)), which type designation may be abbreviated as Bⁿ +→ B or even more succinctly as [Bⁿ]. For convenience, the data type of a finite set on n elements may be indicated by either one of the equivalent notations [n] or *n*.</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 6.2<br>• <a href="https://inquiryintoinquiry.com/2024/12/04/differential-propositional-calculus-6-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/04/differential-propositional-calculus-6-b/</span></a></p><p>Cactus Calculus (cont.)</p><p>The briefest expression for logical truth is the empty word, denoted ε or λ in formal languages, where it forms the identity element for concatenation. It may be given visible expression in textual settings by means of the logically equivalent form (()), or, especially if operating in an algebraic context, by a simple 1. Also when working in an algebraic mode, the plus sign “+” may be used for exclusive disjunction. For example, we have the following paraphrases of algebraic expressions.</p><p>• x + y = (x, y)</p><p>• x + y + z = ((x, y), z) = (x, (y, z))</p><p>It is important to note the last expressions are not equivalent to the triple bracket (x, y, z). </p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 6.1<br>• <a href="https://inquiryintoinquiry.com/2024/12/04/differential-propositional-calculus-6-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/04/differential-propositional-calculus-6-b/</span></a></p><p>Cactus Calculus —</p><p>Table 6 outlines a syntax for propositional calculus based on two types of logical connectives, both of variable k‑ary scope.</p><p>• A bracketed sequence of propositional expressions (e₁, e₂, …, eₖ) is taken to mean exactly one of the propositions e₁, e₂, …, eₖ is false, in other words, their “minimal negation” is true.</p><p>• A concatenated sequence of propositional expressions e₁ e₂ … eₖ is taken to mean every one of the propositions e₁, e₂, …, eₖ is true, in other words, their “logical conjunction” is true.</p><p>Table 6. Syntax and Semantics of a Calculus for Propositional Logic<br>• <a href="https://inquiryintoinquiry.files.wordpress.com/2022/10/syntax-and-semantics-of-a-calculus-for-propositional-logic-4.0.png" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.files.wordp</span><span class="invisible">ress.com/2022/10/syntax-and-semantics-of-a-calculus-for-propositional-logic-4.0.png</span></a></p><p>All other propositional connectives may be obtained through combinations of the above two forms. As it happens, the concatenation form is dispensable in light of the bracket form but it is convenient to maintain it as an abbreviation for more complicated bracket expressions. While working with expressions solely in propositional calculus, it is easiest to use plain parentheses for bracket forms. In contexts where parentheses are needed for other purposes “teletype” parentheses (…) or barred parentheses (|…|) may be used for logical operators.</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 5<br>• <a href="https://inquiryintoinquiry.com/2024/12/03/differential-propositional-calculus-5-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/03/differential-propositional-calculus-5-b/</span></a></p><p>Casual Introduction (concl.)</p><p>Table 5 exhibits the rules of inference responsible for giving the differential proposition dq its meaning in practice.</p><p>Table 5. Differential Inference Rules<br>• <a href="https://inquiryintoinquiry.files.wordpress.com/2020/02/differential-propositional-calculus-e280a2-differential-inference-rules.png" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.files.wordp</span><span class="invisible">ress.com/2020/02/differential-propositional-calculus-e280a2-differential-inference-rules.png</span></a></p><p>If the feature q is interpreted as applying to an object in the universe of discourse X then the differential feature dq may be taken as an attribute of the same object which tells it is changing “significantly” with respect to the property q — as if the object bore an “escape velocity” with respect to the condition q.</p><p>For example, relative to a frame of observation to be made more explicit later on, if q and dq are true at a given moment, it would be reasonable to assume ¬q will be true in the next moment of observation. Taken all together we have the fourfold scheme of inference shown above.</p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 4<br>• <a href="https://inquiryintoinquiry.com/2024/12/02/differential-propositional-calculus-4-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/02/differential-propositional-calculus-4-b/</span></a></p><p>Casual Introduction (cont.)</p><p>In Figure 3 we saw how the basis of description for the universe of discourse X could be extended to a set of two qualities {q, dq} while the corresponding terms of description could be extended to an alphabet of two symbols {“q”, “dq”}.</p><p>Any propositional calculus over two basic propositions allows for the expression of 16 propositions all together. Salient among those propositions in the present setting are the four which single out the individual sample points at the initial moment of observation. Table 4 lists the initial state descriptions, using overlines to express logical negations.</p><p>Table 4. Initial State Descriptions<br>• <a href="https://inquiryintoinquiry.files.wordpress.com/2020/02/differential-propositional-calculus-e280a2-initial-state-descriptions.png" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.files.wordp</span><span class="invisible">ress.com/2020/02/differential-propositional-calculus-e280a2-initial-state-descriptions.png</span></a></p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 3.2<br>• <a href="https://inquiryintoinquiry.com/2024/12/01/differential-propositional-calculus-3-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/01/differential-propositional-calculus-3-b/</span></a></p><p>Casual Introduction (cont.)</p><p>Figure 1 represents a universe of discourse X together with a basis of discussion {q} for expressing propositions about the contents of that universe. Once the quality q is given a name, say, the symbol “q”, we have the basis for a formal language specifically cut out for discussing X in terms of q. That language is more formally known as the “propositional calculus” with alphabet {“q”}.</p><p>In the context marked by X and {q} there are just four distinct pieces of information which can be expressed in the corresponding propositional calculus, namely, the constant proposition False, the negative proposition ¬q, the positive proposition q, and the constant proposition True.</p><p>For example, referring to the points in Figure 1, the constant proposition False holds of no points, the negative proposition ¬q holds of a and d, the positive proposition q holds of b and c, and the constant proposition True holds of all points in the sample.</p><p>Figure 3 preserves the same universe of discourse and extends the basis of discussion to a set of two qualities, {q, dq}. In corresponding fashion, the initial propositional calculus is extended by means of the enlarged alphabet, {“q”, “dq”}.</p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 3.1<br>• <a href="https://inquiryintoinquiry.com/2024/12/01/differential-propositional-calculus-3-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/12</span><span class="invisible">/01/differential-propositional-calculus-3-b/</span></a></p><p>Casual Introduction (cont.)</p><p>Figure 3 returns to the situation in Figure 1, but this time interpolates a new quality specifically tailored to account for the relation between Figure 1 and Figure 2.</p><p>Figure 3. Back, To The Future<br>• <a href="https://inquiryintoinquiry.files.wordpress.com/2023/11/differential-propositional-calculus-e280a2-figure-3.png" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.files.wordp</span><span class="invisible">ress.com/2023/11/differential-propositional-calculus-e280a2-figure-3.png</span></a></p><p>The new quality, dq, is marked as a “differential quality” on account of its absence or presence qualifying the absence or presence of change occurring in another quality. As with any quality, it is represented in the venn diagram by means of a “circle” distinguishing two halves of the universe of discourse, in this case, the portions of X outside and inside the region dQ.</p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 2<br>• <a href="https://inquiryintoinquiry.com/2024/11/30/differential-propositional-calculus-2-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/11</span><span class="invisible">/30/differential-propositional-calculus-2-b/</span></a></p><p>Casual Introduction (cont.)</p><p>Now consider the situation represented by the venn diagram in Figure 2.</p><p>Figure 2. Same Names, Different Habitations<br>• <a href="https://inquiryintoinquiry.files.wordpress.com/2023/11/differential-propositional-calculus-e280a2-figure-2.png" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.files.wordp</span><span class="invisible">ress.com/2023/11/differential-propositional-calculus-e280a2-figure-2.png</span></a> </p><p>Figure 2 differs from Figure 1 solely in the circumstance that the object c is outside the region Q while the object d is inside the region Q.</p><p>Nothing says our encountering the Figures in the above order is other than purely accidental but if we interpret the sequence of frames as a “moving picture” representation of their natural order in a temporal process then it would be natural to suppose a and b have remained as they were with regard to the quality q while c and d have changed their standings in that respect. In particular, c has moved from the region where q is true to the region where q is false while d has moved from the region where q is false to the region where q is true.</p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 1<br>• <a href="https://inquiryintoinquiry.com/2024/11/29/differential-propositional-calculus-1-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/11</span><span class="invisible">/29/differential-propositional-calculus-1-b/</span></a></p><p>A “differential propositional calculus” is a propositional calculus extended by a set of terms for describing aspects of change and difference, for example, processes taking place in a universe of discourse or transformations mapping a source universe to a target universe.</p><p>Casual Introduction —</p><p>Consider the situation represented by the venn diagram in Figure 1.</p><p>Figure 1. Local Habitations, And Names<br>• <a href="https://inquiryintoinquiry.files.wordpress.com/2023/11/differential-propositional-calculus-e280a2-figure-1.png" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.files.wordp</span><span class="invisible">ress.com/2023/11/differential-propositional-calculus-e280a2-figure-1.png</span></a></p><p>The area of the rectangle represents the universe of discourse X. The universe under discussion may be a population of individuals having various additional properties or it may be a collection of locations occupied by various individuals. The area of the “circle” represents the individuals with the property q or the locations in the corresponding region Q. Four individuals, a, b, c, d, are singled out by name. As it happens, b and c currently reside in region Q while a and d do not.</p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • Overview 2<br>• <a href="https://inquiryintoinquiry.com/2024/11/27/differential-propositional-calculus-overview-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/11</span><span class="invisible">/27/differential-propositional-calculus-overview-b/</span></a></p><p>What follows is the outline of a sketch on differential propositional calculus intended as an intuitive introduction to the larger subject of differential logic, which amounts in turn to my best effort so far at dealing with the ancient and persistent problems of treating diversity and mutability in logical terms.</p><p>Note. I'll give just the links to the main topic heads below. Please follow the link at the top of the page for the full outline.</p><p>Part 1 —<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Part_1</span></a></p><p>Casual Introduction<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1#Casual_Introduction" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Part_1#Casual_Introduction</span></a> </p><p>Cactus Calculus<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1#Cactus_Calculus" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Part_1#Cactus_Calculus</span></a> </p><p>Part 2 —<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Part_2</span></a></p><p>Formal_Development<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Formal_Development" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Part_2#Formal_Development</span></a> </p><p>Elementary Notions<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Elementary_Notions" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Part_2#Elementary_Notions</span></a> </p><p>Special Classes of Propositions<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Special_Classes_of_Propositions" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Part_2#Special_Classes_of_Propositions</span></a> </p><p>Differential Extensions<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Differential_Extensions" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Part_2#Differential_Extensions</span></a> </p><p>Appendices —<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Appendices" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Appendices</span></a> </p><p>References —<br>• <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_References" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_References</span></a> </p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • Overview 1<br>• <a href="https://inquiryintoinquiry.com/2024/11/27/differential-propositional-calculus-overview-b/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/11</span><span class="invisible">/27/differential-propositional-calculus-overview-b/</span></a></p><p>❝The most fundamental concept in cybernetics is that of “difference”, either that two things are recognisably different or that one thing has changed with time.❞</p><p>— W. Ross Ashby • An Introduction to Cybernetics</p><p>Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.</p><p>In accord with the strategy of approaching logical systems in stages, first gaining a foothold in propositional logic and advancing on those grounds, we may set our first stepping stones toward differential logic in “differential propositional calculi” — propositional calculi extended by sets of terms for describing aspects of change and difference, for example, processes taking place in a universe of discourse or transformations mapping a source universe to a target universe. </p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DiscreteDynamicalSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DiscreteDynamicalSystems</span></a> <br><a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a> <br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicalDynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalDynamics</span></a></p>
Jon Awbrey<p>Differential Logic • Overview 2<br>• <a href="https://inquiryintoinquiry.com/2024/11/25/differential-logic-overview-a/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/11</span><span class="invisible">/25/differential-logic-overview-a/</span></a></p><p>Introduction<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1#Introduction" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_1#Introduction</span></a></p><p>Cactus Language for Propositional Logic<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1#Cactus_Language_for_Propositional_Logic" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_1#Cactus_Language_for_Propositional_Logic</span></a></p><p>Differential Expansions of Propositions<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1#Differential_Expansions_of_Propositions" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_1#Differential_Expansions_of_Propositions</span></a></p><p>Propositional Forms on Two Variables<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2#Propositional_Forms_on_Two_Variables" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_2#Propositional_Forms_on_Two_Variables</span></a></p><p>Transforms Expanded over Ordinary and Differential Variables<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2#Transforms_Expanded_over_Ordinary_and_Differential_Variables" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_2#Transforms_Expanded_over_Ordinary_and_Differential_Variables</span></a></p><p>Field Picture<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Field_Picture" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_3#Field_Picture</span></a></p><p>Differential Fields<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Differential_Fields" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_3#Differential_Fields</span></a></p><p>Propositions and Tacit Extensions<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Propositions_and_Tacit_Extensions" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_3#Propositions_and_Tacit_Extensions</span></a></p><p>Enlargement and Difference Maps<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Enlargement_and_Difference_Maps" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_3#Enlargement_and_Difference_Maps</span></a></p><p>Tangent and Remainder Maps<br>• <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Tangent_and_Remainder_Maps" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Part_3#Tangent_and_Remainder_Maps</span></a></p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7/</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DynamicSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DynamicSystems</span></a> <br><a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <br><a href="https://mathstodon.xyz/tags/EquationalInference" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EquationalInference</span></a> <a href="https://mathstodon.xyz/tags/MinimalNegationOperators" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MinimalNegationOperators</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a></p>
Jon Awbrey<p>Differential Logic • Overview 1<br>• <a href="https://inquiryintoinquiry.com/2024/11/25/differential-logic-overview-a/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/11</span><span class="invisible">/25/differential-logic-overview-a/</span></a></p><p>A reader once told me “venn diagrams are obsolete” and of course we all know how unwieldy they become as our universes of discourse expand beyond four or five dimensions. Indeed, one of the first lessons I learned when I set about implementing Peirce's graphs and Spencer Brown's forms on the computer is that 2‑dimensional representations of logic quickly become death traps on numerous conceptual and computational counts.</p><p>Still, venn diagrams do us good service at the outset in visualizing the relationships among extensional, functional, and intensional aspects of logic. A facility with those connections is critical to the computational applications and statistical generalizations of propositional logic commonly used in mathematical and empirical practice. All things considered, then, it is useful to make as visible as possible the links between variant styles of imagery in logical representation — and that is what I hoped to do in the sketch of Differential Logic outlined below.</p><p>Note. I'll give just the links to the main topic heads in the next post. Please follow the link at the top of this post for the full outline.</p><p>Resources —</p><p>Logic Syllabus<br>• <a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Survey of Differential Logic<br>• <a href="https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/25/survey-of-differential-logic-7/</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/DynamicSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DynamicSystems</span></a> <br><a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/BooleanDifferenceCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanDifferenceCalculus</span></a> <br><a href="https://mathstodon.xyz/tags/EquationalInference" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EquationalInference</span></a> <a href="https://mathstodon.xyz/tags/MinimalNegationOperators" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MinimalNegationOperators</span></a> <a href="https://mathstodon.xyz/tags/CalculusOfLogicalDifferences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CalculusOfLogicalDifferences</span></a></p>