Abduction, Deduction, Induction, Analogy, Inquiry : 26

Re: Gil KalaiAvi Wigderson : “Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution!”

Projects giving a central place to computation in scientific inquiry go back to Hobbes and Leibniz, at least, and then came Babbage and Peirce.  One of the first issues determining their subsequent development is the degree to which one identifies computation and deduction.  The next question concerns how many types of reasoning one counts as contributing to the logic of empirical science:

  1. Is deduction alone sufficient?
  2. Are deduction and induction irreducible to each other and sufficient in tandem?
  3. Are there three irreducible types of inference:  abduction, deduction, induction?

cc: Systems ScienceStructural ModelingOntolog ForumLaws of FormCybernetics

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Peirce, Problem Solving, Semiotics | Tagged , , , , , , , , , , , , , , , | 2 Comments

Animated Logical Graphs • 28

Re: Ontolog ForumJSJA

I will have to focus on other business for a couple of weeks — so just by way of reminding myself what we were talking about at this juncture where logical graphs and differential logic intersect, here’s my comment on R.J. Lipton and K.W. Regan’s blog post about Discrepancy Games and Sensitivity.

Just by way of a general observation, concepts like discrepancy, influence, sensitivity, etc. are differential in character, so I tend to think the proper grounds for approaching them more systematically will come from developing the logical analogue of differential geometry.

I took a few steps in this direction some years ago in connection with an effort to understand a certain class of intelligent systems as dynamical systems.  There’s a motley assortment of links here:

Resources

cc: Systems ScienceStructural ModelingOntolog ForumLaws of FormCybernetics

Quote | Posted on by | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 27

The rules given in the previous post for evaluating cactus graphs were given in purely formal terms, that is, by referring to the mathematical forms of cacti without mentioning their potential for logical meaning.  As it turns out, two ways of mapping cactus graphs to logical meanings are commonly found in practice.  These two mappings of mathematical structure to logical meaning are formally dual to each other and known as the Entitative and Existential interpretations respectively.  The following Table compares the entitative and existential interpretations of the primary cactus structures, from which the rest of their semantics can be derived.

Logical Interpretations of Cactus Structures

cc: Systems ScienceStructural ModelingOntolog ForumLaws of FormCybernetics

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 26

This post and the next wrap up the Themes and Variations section of my speculation on Futures Of Logical Graphs.  I made an effort to “show my work”, reviewing the steps I took to arrive at the present perspective on logical graphs, whistling past the least productive of the blind alleys, cul-de-sacs, detours, and forking paths I explored along the way.  It can be useful to tell the story that way, partly because others may find things I missed down those roads, but it does call for a recap of the main ideas I would like readers to take away.

Partly through my reflections on Peirce’s use of operator variables I was led to what I called the reflective extension of logical graphs, or what I now call the “cactus language”, after its principal graph-theoretic data structure.  This graphical formal language arises from generalizing the negation operator {}^{\backprime\backprime} \texttt{(} ~ \texttt{)} {}^{\prime\prime} in a particular direction, treating {}^{\backprime\backprime} \texttt{(} ~ \texttt{)} {}^{\prime\prime} as the controlled, moderated, or reflective negation operator of order 1, and adding another operator for each integer parameter greater than 1.  This family of operators is symbolized by bracketed argument lists of the forms {}^{\backprime\backprime} \texttt{(} ~ \texttt{)} {}^{\prime\prime}, {}^{\backprime\backprime} \texttt{(} ~ \texttt{,} ~ \texttt{)} {}^{\prime\prime}, {}^{\backprime\backprime} \texttt{(} ~ \texttt{,} ~ \texttt{,} ~ \texttt{)} {}^{\prime\prime}, and so on, where the number of places is the order of the reflective negation operator in question.

Two rules suffice for evaluating cactus graphs:

  • The rule for evaluating a k-node operator, corresponding to an expression of the form {}^{\backprime\backprime} x_1 x_2 \ldots x_{k-1} x_k {}^{\prime\prime}, is as follows:

    Node Evaluation Rule

  • The rule for evaluating a k-lobe operator, corresponding to an expression of the form {}^{\backprime\backprime} \texttt{(} x_1 \texttt{,} x_2 \texttt{,} \ldots \texttt{,} x_{k-1} \texttt{,} x_k \texttt{)} {}^{\prime\prime}, is as follows:

    Lobe Evaluation Rule

cc: Systems ScienceStructural ModelingOntolog ForumLaws of FormCybernetics

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Animated Logical Graphs • 25

Let’s examine the formal operation table for the third in our series of reflective forms to see if we can elicit the general pattern:

\begin{array}{|*{3}{c}||c|}  \multicolumn{4}{c}{\text{Formal Operation Table} ~ \texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}} \\[4pt]  \hline  a & b & c & \texttt{(}a\texttt{,}b\texttt{,}c\texttt{)} \\  \hline\hline  \texttt{Space}&\texttt{Space}&\texttt{Space}&\texttt{Cross} \\  \texttt{Space}&\texttt{Space}&\texttt{Cross}&\texttt{Space} \\  \texttt{Space}&\texttt{Cross}&\texttt{Space}&\texttt{Space} \\  \texttt{Space}&\texttt{Cross}&\texttt{Cross}&\texttt{Cross} \\  \hline  \texttt{Cross}&\texttt{Space}&\texttt{Space}&\texttt{Space} \\  \texttt{Cross}&\texttt{Space}&\texttt{Cross}&\texttt{Cross} \\  \texttt{Cross}&\texttt{Cross}&\texttt{Space}&\texttt{Cross} \\  \texttt{Cross}&\texttt{Cross}&\texttt{Cross}&\texttt{Cross} \\  \hline  \end{array}

Or, thinking in terms of the corresponding cactus graphs, writing {}^{\backprime\backprime} \texttt{o} {}^{\prime\prime} for a blank node and {}^{\backprime\backprime} \texttt{|} {}^{\prime\prime} for a terminal edge, we get the following Table:

\begin{array}{|*{3}{c}||c|}  \multicolumn{4}{c}{\text{Formal Operation Table} ~ \texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}} \\[4pt]  \hline  \quad a \quad & \quad b \quad & \quad c \quad & \texttt{(}a\texttt{,}b\texttt{,}c\texttt{)} \\  \hline\hline  \texttt{o} & \texttt{o} & \texttt{o} & \texttt{|} \\  \texttt{o} & \texttt{o} & \texttt{|} & \texttt{o} \\  \texttt{o} & \texttt{|} & \texttt{o} & \texttt{o} \\  \texttt{o} & \texttt{|} & \texttt{|} & \texttt{|} \\  \hline  \texttt{|} & \texttt{o} & \texttt{o} & \texttt{o} \\  \texttt{|} & \texttt{o} & \texttt{|} & \texttt{|} \\  \texttt{|} & \texttt{|} & \texttt{o} & \texttt{|} \\  \texttt{|} & \texttt{|} & \texttt{|} & \texttt{|} \\  \hline  \end{array}

Evidently, the rule is that {}^{\backprime\backprime} \texttt{(} a \texttt{,} b \texttt{,} c \texttt{)} {}^{\prime\prime} denotes the value denoted by {}^{\backprime\backprime} \texttt{o} {}^{\prime\prime} if and only if exactly one of the variables a, b, c has the value denoted by {}^{\backprime\backprime} \texttt{|} {}^{\prime\prime}, otherwise {}^{\backprime\backprime} \texttt{(} a \texttt{,} b \texttt{,} c \texttt{)} {}^{\prime\prime} denotes the value denoted by {}^{\backprime\backprime} \texttt{|} {}^{\prime\prime}.  Examining the whole series of reflective forms shows this is the general rule.

  • In the Entitative Interpretation (\mathrm{En}), where \texttt{o} = false and \texttt{|} = true, {}^{\backprime\backprime} \texttt{(} x_1 \texttt{,} \ldots \texttt{,} x_k \texttt{)} {}^{\prime\prime} translates as “not just one of the x_j is true”.
  • In the Existential Interpretation (\mathrm{Ex}), where \texttt{o} = true and \texttt{|} = false, {}^{\backprime\backprime} \texttt{(} x_1 \texttt{,} \ldots \texttt{,} x_k \texttt{)} {}^{\prime\prime} translates as “just one of the x_j is not true”.

cc: Systems ScienceStructural ModelingOntolog ForumLaws of FormCybernetics

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 24

Re: Ontolog ForumJoseph Simpson

Boolean functions f : \mathbb{B}^k \to \mathbb{B} and different ways of contemplating their complexity are definitely the right ballpark, or at least the right planet, for field-testing logical graphs.

I don’t know much about the Boolean Sensitivity Conjecture but I did run across an enlightening article about it just yesterday and I did once begin an exploration of what appears to be a related question, Péter Frankl’s “Union-Closed Sets Conjecture”.  See the resource pages linked below.

At any rate, now that we’ve entered the ballpark, or standard orbit, of boolean functions, I can skip a bit of dancing around and jump to the next blog post I have on deck.

Resources

cc: Systems ScienceStructural ModelingOntolog ForumLaws of FormCybernetics

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 23

The following Table will suffice to show how the “streamer-cross” forms C.S. Peirce used in his essay on “Qualitative Logic” and Spencer Brown used in his Laws of Form, as they are extended through successive steps of controlled reflection, translate into syntactic strings and rooted cactus graphs:

\text{Form} \text{String} \text{Graph}
Form (a) \texttt{(} a \texttt{)} Cactus (a)
Form (a,b) \texttt{(} a \texttt{,} b \texttt{)} Cactus (a,b)
Form (a,b,c) \texttt{(} a \texttt{,} b \texttt{,} c \texttt{)} Cactus (a,b,c)

cc: Systems ScienceStructural ModelingOntolog ForumLaws of FormCybernetics

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment