Tag Archives: Deduction

Pragmatic Semiotic Information • Discussion 20

Re: R.J. Lipton and K.W. Regan • IBM Conference on the Informational Lens A little bit of history recoded … It may be worth noting the Information Revolution in our understanding of science began in the mid 1860s when C.S. Peirce … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 41

Re: Richard J. Lipton • Logical Complexity Of Proofs Re: Animated Logical Graphs • (35) (36) (37) (38) (39) (40) Last time we looked at a formula of propositional logic Leibniz called a Praeclarum Theorema (PT).  We don’t concur it’s … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs • 40

Re: Richard J. Lipton • Logical Complexity Of Proofs Re: Animated Logical Graphs • (35) (36) (37) (38) (39) One way to see the difference between insight proofs and routine proofs is to pick a single example of a theorem … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Animated Logical Graphs • 39

Re: Richard J. Lipton • Logical Complexity Of Proofs Happy Peirce’s Birthday, Everyone ❢ We’ve been discussing aspects of proof style arising in connection with the complexity of proofs.  In previous posts we took up (1) the aspect of formal … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Animated Logical Graphs • 38

Re: Richard J. Lipton • Logical Complexity Of Proofs Three examples of propositional proofs in logical graphs using equational inference rules can be found at the following location. Propositional Equation Reasoning Systems • Exemplary Proofs Animated proofs of the three … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Animated Logical Graphs • 37

Re: Richard J. Lipton • Logical Complexity Of Proofs Another dimension of proof style has to do with how much information is kept or lost as the argument develops.  For the moment let’s focus on classical deductive reasoning at the … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Animated Logical Graphs • 36

Re: Richard J. Lipton • Logical Complexity Of Proofs Dear Dick, You asked, “Is this measure, the logical flow of a proof, of any interest?” I was not sure how you define the measure of flow in a proof — … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Animated Logical Graphs • 35

Re: Richard J. Lipton • Logical Complexity Of Proofs The smoothest way I know to do propositional calculus is by using minimal negation operators as primitives, parsing propositional formulas into (painted and rooted) cactus graphs, and using the appropriate extension … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Animated Logical Graphs • 34

Re: Ontolog Forum • John Sowa Re: Peirce List • John Sowa Dear John, I can’t imagine why anyone would bother with Peirce’s logic if it’s just Frege and Russell in a different syntax, which has been the opinion I … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Inquiry Driven Systems • 2

This is a Survey of previous blog and wiki posts on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject. An inquiry driven system is a system having among its state … Continue reading

Posted in Abduction, Action, Adaptive Systems, Aristotle, Artificial Intelligence, Automated Research Tools, Change, Cognitive Science, Communication, Cybernetics, Deduction, Descartes, Dewey, Discovery, Doubt, Education, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Invention, Kant, Knowledge, Learning, Learning Theory, Logic, Logic of Science, Mathematics, Mental Models, Peirce, Pragmatic Maxim, Pragmatism, Process Thinking, Scientific Inquiry, Semiotics, Sign Relations, Surveys, Teaching, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment