Author Archives: Jon Awbrey

Animated Logical Graphs • 44

Posted on October 6, 2020 by Jon Awbrey

Re: FB | Ecology Of Systems Thinking • Richard Saunders RS:  DNA and proteins might be good places to look for logical graphs in nature since our tech for mapping those structures has become fairly proficient lately.  Do you think … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Animated Logical Graphs • 43

Posted on October 5, 2020 by Jon Awbrey

Re: FB | Ecology Of Systems Thinking • Richard Saunders RS:  I wonder if we might find such graphs in the physical microstructures of brains, cells, proteins, etc. Dear Richard, You are reading my mind.  See the following post 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Animated Logical Graphs • 42

Posted on October 3, 2020 by Jon Awbrey

Re: Richard J. Lipton • Logical Complexity Of Proofs Re: Animated Logical Graphs • (35) (36) (37) (38) (39) (40) (41) Now that our propositional formula is cast in the form of a graph its evaluation proceeds as a sequence … 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

Pragmatic Semiotic Information • Discussion 20

Posted on September 30, 2020 by Jon Awbrey

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

Animated Logical Graphs • 41

Posted on September 29, 2020 by Jon Awbrey

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

Animated Logical Graphs • 40

Posted on September 26, 2020 by Jon Awbrey

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

Precursors Of Category Theory • Discussion 3

Posted on September 25, 2020 by Jon Awbrey

Take your place on The Great Mandala As it moves through your brief moment of time. Win or lose now you must choose now And if you lose you’re only losing your life. Peter Yarrow Re: Ontolog Forum • Alex … Continue reading →

Posted in Abstraction, Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Relation Theory, Saunders Mac Lane, Sign Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , | 6 Comments

Precursors Of Category Theory • Discussion 2

Posted on September 21, 2020 by Jon Awbrey

Re: Ontolog Forum • Alex Shkotin AS: Looking at “categories, or types” in Precursors Of Category Theory • Hilbert and Ackermann what do you think of to say “Precursors Of Type Theory” as Category Theory is a math discipline?   … Continue reading →

Posted in Abstraction, Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Relation Theory, Saunders Mac Lane, Sign Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , | 6 Comments

Survey of Precursors Of Category Theory • 2

Posted on September 20, 2020 by Jon Awbrey

A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice.  A Survey of resources on … Continue reading →

Posted in Abstraction, Ackermann, Analogy, Aristotle, C.S. Peirce, Carnap, Category Theory, Diagrams, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Kant, Logic, Mathematics, Peirce, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Precursors Of Category Theory • Discussion 1

Posted on September 13, 2020 by Jon Awbrey

Re: FB | Medieval Logic • EB • JA • JA • EB • JA • EB • JA • JA • EB JA:  In the logic of Aristotle categories are adjuncts to reasoning designed to resolve ambiguities and thus … Continue reading →

Posted in Abstraction, Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Relation Theory, Saunders Mac Lane, Sign Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , | 6 Comments