Tag Archives: Deduction

Pragmatic Semiotic Information • Discussion 19

Posted on January 22, 2020 by Jon Awbrey

Re: Differential Logic and Dynamic Systems Re: FB | Systems Sciences • Kenneth Lloyd An exchange on Facebook took me back to recent discussions of pragmatic truth and long-running discussions of pragmatic semiotic information.  Just by way of a note … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Intention, Logic, Logic of Science, Mathematics, Measurement, Observation, Peirce, Perception, Phenomenology, Physics, Pragmatic Semiotic Information, Pragmatism, Probability, Quantum Mechanics, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Pragmatic Semiotic Information • Discussion 18

Posted on October 3, 2019 by Jon Awbrey

Re: FB | Peirce Society • John Corcoran To address Was ist und was soll Information sein? in a Peircean context we need to grasp or at least try to grapple with Peirce’s inklings about information.  As it happens, I’ve … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Intention, Logic, Logic of Science, Mathematics, Measurement, Observation, Peirce, Perception, Phenomenology, Physics, Pragmatic Semiotic Information, Pragmatism, Probability, Quantum Mechanics, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Animated Logical Graphs • 31

Posted on September 1, 2019 by Jon Awbrey

Re: Systems Science • Aleksandar Malečić Re: Animated Logical Graphs • 21 AM: Each step on its own, as far as I can follow them, makes sense.  You are, if I understand it correctly, trying to figure out something fundamental, … Continue reading →

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Animated Logical Graphs • 30

Posted on August 25, 2019 by Jon Awbrey

The duality between Entitative and Existential interpretations of logical graphs is a good example of a mathematical symmetry, in this case a symmetry of order two.  Symmetries of this and higher orders give us conceptual handles on excess complexity in … Continue reading →

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 22 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 27

Posted on August 20, 2019 by Jon Awbrey

Re: Gil Kalai • Avi Wigderson : Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution! I took a look at Avi’s paper “On the Nature of the Theory of Computation” (OtNotToC).  There is … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 6 Comments

Animated Logical Graphs • 29

Posted on August 11, 2019 by Jon Awbrey

Re: Animated Logical Graphs • 21 Re: Ontolog Forum • Joseph Simpson JS: I tend to view equivalence and distinction as relationships as opposed to operations.  I do not know if this makes any significant difference in this context. Dear Joe, … Continue reading →

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 26

Posted on August 6, 2019 by Jon Awbrey

Re: Gil Kalai • Avi 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, … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 10 Comments

Animated Logical Graphs • 28

Posted on August 3, 2019 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Discrepancy Games and Sensitivity Re: Ontolog Forum • Joseph Simpson Re: Animated Logical Graphs • 24 I will have to focus on other business for a couple of weeks — so just by … Continue reading →

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Animated Logical Graphs • 27

Posted on July 31, 2019 by Jon Awbrey

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 … Continue reading →

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 11 Comments

Animated Logical Graphs • 26

Posted on July 28, 2019 by Jon Awbrey

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 … Continue reading →

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 14 Comments