Tag Archives: Type Theory

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

Survey of Relation Theory • 3

In this Survey of previous blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many … Continue reading

Posted in Algebra, C.S. Peirce, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Logic, Logic of Relatives, Mathematics, Model Theory, Peirce, Proof Theory, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Teridentity, Thirdness, Triadic Relations, Triadicity, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Peirce’s Categories • 7

Re: Peirce List Discussion • Ben Udell The week before last my home office got tossed like a salad into the middle of our bedroom floor while workmen worked on various things that needed re-working.  There’s probably a metaphor of … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 1 Comment

Peirce’s Categories • 6

Re: Peirce List Discussion • Ben Udell I read Peirce primarily for his insights into logic, mathematics, and science, which are considerable enough to occupy several lifetimes, and I read him the same way I read other thinkers in those … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 1 Comment

Peirce’s Categories • 5

Re: Peirce List Discussion • Ben Udell For my part, I see a distinctive paradigm of thought and practice immanent in Peirce’s work and all I’ve been trying to do for many years now has been to nudge it a … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 1 Comment

Peirce’s Categories • 4

Re: Peirce List Discussions • (1) • (2) • (3) • (4) • (5) Let me state a few principles that have guided me in my efforts to read and understand Peirce for the past fifty years. There is a … Continue reading

Posted in Abstraction, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , | 1 Comment

Survey of Relation Theory • 2

In this Survey of previous blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many … Continue reading

Posted in Algebra, C.S. Peirce, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Logic, Logic of Relatives, Mathematics, Model Theory, Peirce, Proof Theory, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Teridentity, Thirdness, Triadic Relations, Triadicity, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments