Category Archives: Predicate Calculus

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

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

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

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 , , , , , , , , , , , , , , , , , , , , , | 1 Comment

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

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

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

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

Peirce’s 1870 “Logic Of Relatives” • Overview

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 , , , , , , , , , , , , , , , , , , , , , | 1 Comment

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