Category Archives: Predicate Calculus

Peirce’s 1870 “Logic of Relatives” • Comment 3

Posted on February 3, 2022 by Jon Awbrey

In passing to more complex combinations of relative terms and the extensional relations they denote, as we began to do in Comments 10.6 and 10.7, I used words like composite and composition along with the usual composition sign to describe … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Peirce’s 1870 “Logic of Relatives” • Discussion 5

Posted on January 8, 2022 by Jon Awbrey

Re: Conceptual Graphs • Peiyuan Zhu PZ: I’m studying imprecise probabilities which initially works as an extension in Boole’s Laws of Thoughts.  It seems like Boole was solving a set of algebraic equations for probabilities where some of the probabilities … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Peirce’s 1870 “Logic of Relatives” • Discussion 4

Posted on December 15, 2021 by Jon Awbrey

Re: Peirce’s 1870 “Logic of Relatives” • Proto-Graphical Syntax Re: FB | Ancient Logic • Henning Engebretsen HE: What’s your point, it’s obviously too graphical, but perhaps you are driving at something else.  Explain? Dear Henning, My aim here is … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Peirce’s 1870 “Logic of Relatives” • Discussion 3

Posted on December 10, 2021 by Jon Awbrey

All other sciences without exception depend upon the principles of mathematics;  and mathematics borrows nothing from them but hints. C.S. Peirce • “Logic of Number” A principal intention of this essay is to separate what are known as algebras of … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Peirce’s 1870 “Logic Of Relatives” • Discussion 2

Posted on October 24, 2019 by Jon Awbrey

Re: Ecology of Systems Thinking • RS • TM My previous comment summed up my observations of a general drift toward “absolutist and dyadic ways of thinking” in various communities of inquiry of interest to me over the past 20 … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Peirce’s 1870 “Logic Of Relatives” • Comment 2

Posted on October 22, 2019 by Jon Awbrey

In a recent post on a related topic I gave this assessment of our present situation: One of the more disconcerting developments, I might say “devolutions”, I’ve observed over the past 20 years has been the general slippage back to … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 1

Posted on October 22, 2019 by Jon Awbrey

Peirce often stressed his Logic of Relatives as the key to unlocking many puzzles.  As I read him, it was Peirce’s drive to understand the Logic of Science that required the grounding of logic in the mathematical forms of triadic … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Peirce’s 1870 “Logic Of Relatives” • Discussion 1

Posted on September 30, 2019 by Jon Awbrey

Re: Ontolog Forum • John Bottoms Re: History View Blog • A Yukaghir Girl Writes A Love Letter Re: Peirce’s 1870 “Logic Of Relatives” • Proto-Graphical Syntax John Bottoms, writing in the Ontolog Forum, compared the graphic I drew for … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Peirce’s 1870 “Logic of Relatives” • Overview

Posted on September 24, 2019 by Jon Awbrey

My long ago encounter with Peirce’s 1870 paper, “Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole’s Calculus of Logic”, was one of the events precipitating my return from the hazier … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 16 Comments

The Difference That Makes A Difference That Peirce Makes • 18

Posted on July 24, 2017 by Jon Awbrey

Re: Peter Smith • Which Is The Quantifier? From a functional logic point of view logicians dropped a step backward when they passed from Peirce’s and to the current convention of using and for logical quantifiers.  There’s a rough indication … 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