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>
sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!
Administered by:
Server stats:
579active users
sigmoid.social: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.4
#logicaldynamics
0 posts · 0 participants · 0 posts today
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 • 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 Propositional Calculus • Discussion 9<br>• <a href="https://inquiryintoinquiry.com/2024/01/21/differential-propositional-calculus-discussion-9/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/01</span><span class="invisible">/21/differential-propositional-calculus-discussion-9/</span></a></p><p> ❝Consider what effects that might conceivably have <br> practical bearings you conceive the objects of your <br> conception to have. Then, your conception of those <br> effects is the whole of your conception of the object.❞</p><p>— C.S. Peirce • The Maxim of Pragmatism</p><p>Re: Facebook Discussion<br>• <a href="https://www.facebook.com/JonnyCache/posts/pfbid022WSZBCe85n6KZ35ZumgABL3SgDgotwgT9RYiLxiYwAizJjQNeLyAUWyCSMzKP12fl" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">facebook.com/JonnyCache/posts/</span><span class="invisible">pfbid022WSZBCe85n6KZ35ZumgABL3SgDgotwgT9RYiLxiYwAizJjQNeLyAUWyCSMzKP12fl</span></a></p><p>Re: Tim Browning<br>• <a href="https://www.facebook.com/JonnyCache/posts/pfbid0shLb5x7y9j7CuPSorRMXVBjXiaqEKnR7bb37uN9xxFfVnsEVhcjXPcPtXi97hJNyl?comment_id=1321064655185834" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">facebook.com/JonnyCache/posts/</span><span class="invisible">pfbid0shLb5x7y9j7CuPSorRMXVBjXiaqEKnR7bb37uN9xxFfVnsEVhcjXPcPtXi97hJNyl?comment_id=1321064655185834</span></a></p><p>Tim Browning wrote:<br>Makes me wonder if all that is the case, i.e. the universe, is the existence of objects (materialism) or information (idealism).</p><p>“Objects of your conception” seems to imply a transcendent perspective that can distinguish between concept and object. Am I overthinking this?<br>[end quote]</p><p>Hi Tim,</p><p>It helps to read “object” in a fuller sense than we often do in billiard‑ball philosophies, as a lot gets lost in the translation from the Greek “pragma” from which pragmatism naturally takes it cue. For a sample of that fuller sense see the following lexicon entry.</p><p>πρᾶγμα • Liddell, H.G., and Scott, R. (1925), A Greek-English Lexicon (1940 edition)<br>• <a href="https://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3Dpra%3Dgma" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">perseus.tufts.edu/hopper/text?</span><span class="invisible">doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3Dpra%3Dgma</span></a></p><p>Perseus Digital Library<br>• <a href="https://www.perseus.tufts.edu/hopper/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">perseus.tufts.edu/hopper/</span><span class="invisible"></span></a></p><p>Resources —</p><p>Pragmatic Maxim<br>• <a href="https://inquiryintoinquiry.com/2008/08/07/pragmatic-maxim/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2008/08</span><span class="invisible">/07/pragmatic-maxim/</span></a></p><p>Differential Logic and Dynamic Systems<br>• <a href="https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3" 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_and_Dynamic_Systems_%E2%80%A2_Part_3</span></a> </p><p>Differential Logic • Analytic Expansions<br>• <a href="https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3#Analytic_Expansions" 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_and_Dynamic_Systems_%E2%80%A2_Part_3#Analytic_Expansions</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> <br><a href="https://mathstodon.xyz/tags/Pragma" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Pragma</span></a> <a href="https://mathstodon.xyz/tags/Pragmata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Pragmata</span></a> <a href="https://mathstodon.xyz/tags/PragmaticMaxim" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PragmaticMaxim</span></a> <a href="https://mathstodon.xyz/tags/PracticalBearings" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PracticalBearings</span></a> <a href="https://mathstodon.xyz/tags/ConceptionOfEffects" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ConceptionOfEffects</span></a></p>
Jon Awbrey<p>Differential Propositional Calculus • 37<br>• <a href="https://inquiryintoinquiry.com/2024/01/01/differential-propositional-calculus-37/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/01</span><span class="invisible">/01/differential-propositional-calculus-37/</span></a></p><p>Foreshadowing Transformations • Extensions and Projections of Discourse —</p><p>❝And, despite the care which she took to look behind her at every moment, she failed to see a shadow which followed her like her own shadow, which stopped when she stopped, which started again when she did, and which made no more noise than a well‑conducted shadow should.❞</p><p>— Gaston Leroux • The Phantom of the Opera</p><p>Many times in our discussion we have occasion to place one universe of discourse in the context of a larger universe of discourse. An embedding of the type \([\mathcal{X}] \to [\mathcal{Y}]\) is implied any time we make use of one basis \(\mathcal{X}\) which happens to be included in another basis \(\mathcal{Y}.\) When discussing differential relations we usually have in mind the extended alphabet \(\mathfrak{Y}\) has a special construction or a specific lexical relation with respect to the initial alphabet \(\mathfrak{X},\) one which is marked by characteristic types of accents, indices, or inflected forms.</p><p>Resources —</p><p>Differential Logic and Dynamic Systems<br>• <a href="https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3" 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_and_Dynamic_Systems_%E2%80%A2_Part_3</span></a> </p><p>Differential Logic • Foreshadowing Transformations<br>• <a href="https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3#Foreshadowing_Transformations" 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_and_Dynamic_Systems_%E2%80%A2_Part_3#Foreshadowing_Transformations</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 • Discussion 8<br>• <a href="https://inquiryintoinquiry.com/2023/12/30/differential-propositional-calculus-discussion-8/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/12</span><span class="invisible">/30/differential-propositional-calculus-discussion-8/</span></a></p><p>Re: Differential Propositional Calculus • 33<br>• <a href="https://inquiryintoinquiry.com/2023/12/27/differential-propositional-calculus-33/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/12</span><span class="invisible">/27/differential-propositional-calculus-33/</span></a></p><p>Re: Laws of Form • Lyle Anderson <br>• <a href="https://groups.io/g/lawsofform/message/2797" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">groups.io/g/lawsofform/message</span><span class="invisible">/2797</span></a> </p><p>LA: ❝Some of your diagrams, specifically Figure 16. A Couple of Fourth Gear Orbits, are beginning to look like Heim's sketches for the structure of the photon. […] I can't quite see the connection, yet, but maybe you can.❞</p><p>Lyle,</p><p>There is a curious analogy between the primitive operations which lie at the basis of logical graphs and basic themes of quantum mechanics, for example, the evaluation of a minimal negation operator proceeds in a manner reminiscent of the way a wave function collapses. That's something I noticed early on in my work on logical graphs but I haven't got much further than the mere notice so far.</p><p>I confess I've never gotten around to tackling Heim's work — Peirce and Spencer Brown have loaded more than enough on my plate for any one lifetime — I do see lots of partial derivatives so maybe there's a connection there — if I had to guess I would imagine any structure generated by a differential law as simple as what we have here is bound to find itself inhabiting all sorts of mathematical niches.</p><p>Regards,</p><p>Jon</p><p>Resources —</p><p>Differential Logic and Dynamic Systems<br>• <a href="https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_2" 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_and_Dynamic_Systems_%E2%80%A2_Part_2</span></a> </p><p>Differential Logic • Drives and Their Vicissitudes<br>• <a href="https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_2#Drives" 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_and_Dynamic_Systems_%E2%80%A2_Part_2#Drives</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 • Discussion 7<br>• <a href="https://inquiryintoinquiry.com/2023/12/02/differential-propositional-calculus-discussion-7/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/12</span><span class="invisible">/02/differential-propositional-calculus-discussion-7/</span></a></p><p>Re: Differential Propositional Calculus • Discussion 1<br>• <a href="https://inquiryintoinquiry.com/2020/03/12/differential-propositional-calculus-discussion-1/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/03</span><span class="invisible">/12/differential-propositional-calculus-discussion-1/</span></a></p><p>Reinaldo Cristo asks what I think of the following thesis:</p><p>❝We can say that emptiness came first, as it is the basis of the invention of mathematics, our perception, and numerical base 2. Do you agree or disagree?❞</p><p>I reply as follows:</p><p>A great many things in life and mathematics are built up through the persistent application of the most elementary steps to the humblest of beginnings. So there may be something to that.</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>
TrendingLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload