Category Archives: Zeroth Order Logic

The Difference That Makes A Difference That Peirce Makes : 18

Re: Peter Smith • Which Is The Quantifier? From a functional point of view it was a step backward when we passed from Peirce’s and to the current convention of and for logical quantifiers.  There’s a rough indication of what … Continue reading

Posted in C.S. Peirce, Category Theory, Complementarity, Duality, Formal Languages, Higher Order Propositions, Indicator Functions, Inquiry, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Pragmatism, Predicate Calculus, Propositional Calculus, Propositions, Quantifiers, Relation Theory, Semiotics, Type Theory, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me • 2

Re: Laws Of Form Discussion • JA • JB • AM I’m making an effort to present this material in a more gradual and logical order than I’ve ever managed to do before.  There are issues about the relationship between … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 1

Re: Laws Of Form Discussion • Jon Awbrey It’s almost 50 years now since I first encountered the volumes of Peirce’s Collected Papers in the math library at Michigan State, and shortly afterwards a friend called my attention to the … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me

Re: Laws Of Form Discussion • James Bowery James Bowery left a comment on my blog and opened a thread in the Yahoo! group devoted to discussing the mathematics of George Spencer Brown’s Laws of Form.  I’ve been meaning to … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 1

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition that extends from Aristotle through C.S. Peirce.  Particular attention is paid to the ways these inferential rudiments combine to form … Continue reading

Posted in Abduction, Aristotle, C.S. Peirce, Deduction, Dewey, Discovery, Doubt, Fixation of Belief, Functional Logic, Icon Index Symbol, Induction, Inference, Information, Inquiry, Invention, Logic, Logic of Science, Mathematics, Morphism, Paradigmata, Paradigms, Pattern Recognition, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, Scientific Inquiry, Scientific Method, Semiotics, Sign Relations, Surveys, Syllogism, Triadic Relations, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Animated Logical Graphs : 10

Re: Peirce List Discussion • Charles Pyle Let’s consider Peirce’s logical graphs at the alpha level, the abstract forms of which can be interpreted for propositional logic.  I say “can be interpreted” advisedly because the system of logical graphs itself … Continue reading

Posted in Abstraction, Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Complementarity, Computational Complexity, Constraint Satisfaction Problems, Diagrammatic Reasoning, Duality, Graph Theory, Interpretation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Theorem Proving, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Differential Logic • 1

This is a Survey of previous blog and wiki posts on Differential Logic, material that I plan to develop toward a more compact and systematic account. Elements Differential Logic • Introduction Differential Propositional Calculus Architectonics Minimal Negation Operator Cactus Language … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Equational Inference, Frankl Conjecture, Functional Logic, Graph Theory, Hill Climbing, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Surveys, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment