Category Archives: Logic

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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 5

Re: Ontolog Forum • Paul Tyson Dear Paul, “How We Think” is a topic for the descriptive science of psychology, and its ways are legion beyond definitive or exhaustive description. “How We Ought To Think” if we wish to succeed … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 4

Re: Peirce List • Helmut Raulien Dear Helmut, It’s one of the occupational hazards of the classifying mind that one can start out consciously characterizing aspects of real situations and end up unwittingly thinking one’s gotten everything under the sun sorted … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 3

Re: Peirce List • Gary Fuhrman Dear Gary, Auke van Breemen wrote: AvB: It seems to come down to:  never consider the textual production of a scientist only in itself, but also look at the reality the text tries to … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 2

Re: Peirce List • Auke van Breemen AvB: It seems to come down to:  never consider the textual production of a scientist only in itself, but also look at the reality the text tries to explain. Dear Auke, Exactly! We … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Mathematical Method • Discussion 1

Re: Peirce List • John Sowa Dear John, Thanks for the notice of Carolyn Eisele’s article — it’s always worth reading what she has to say.  We’ve had discussions of Peirce’s distinction between theorematic and corollarial reasoning before and I … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Differential Analytic Turing Automata • Discussion 2

Re: Scott Aaronson • The Busy Beaver Frontier Dear Scott, This discussion inspired me to go back and look at some of the work I did in the late 80s when I was trying to understand Cook’s Theorem.  One of … Continue reading

Posted in Algorithms, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Differential Analytic Turing Automata, Differential Logic, Logic, Logical Graphs, Peirce, Propositional Calculus, Turing Machines | Tagged , , , , , , , , , , , | Leave a comment

Riffs and Rotes • 5

Re: Scott Aaronson • The Busy Beaver Frontier All my favorite integer sequences, some very fast growing, spring from the “lambda point” where graph theory, logic, and number theory meet.  My fascination with them goes back to a time when … Continue reading

Posted in Algebra, Combinatorics, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , , | 2 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 9

Re: FB | Systems Sciences • Kenneth Lloyd Dear Kenneth, Mulling over recent discussions put me in a pensive frame of mind and my thoughts led me back to my first encounter with category theory.  I came across the term … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic, Dynamic Systems, Tangent Functors • Comment 1

Seeing as how quasi-neural models and the recurring issues of logical-symbolic vs. quantitative-connectionist paradigms have come round again, as they do every dozen or twenty years or so, I thought I might refer again to work I started initially in that … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment