Tag Archives: Type Theory

Peirce’s Categories • 12

Re: Peirce List • JFS • JBD Different minds are drawn to Peirce for different reasons and they tend to discover different stores of value there.  I was attracted to his work largely for his insights into logic, math, and … Continue reading

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

Peirce’s Categories • 11

Re: Peirce List • Helmut Raulien There is a kind of “second cousin” kinship between category markers and grammatical aspects, moods, or tenses.  In several drafts of an earlier comment I experimented with grammatical terms like conjugation, declension, diacritic, inflection, … Continue reading

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

Peirce’s Categories • 10

Re: Cybernetics • Bernard Cohen I began that note on the Precursors of Category Theory as a purely exploratory sketch, plotting a few points on a single theme with no plans of making an exhaustive survey.  Even at that I … Continue reading

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

Peirce’s Categories • 9

Re: Systems Sciences Facebook Page • JA • KAL Scanning the spectrum of sources I sampled in my Precursors of Category Theory, there are many differences in the categorical paradigms different observers developed over the centuries.  Just for starters, the … Continue reading

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 2 Comments

Peirce’s Categories • 8

Re: Peirce Society Facebook Page • Ricardo Bibi Tamtam Durski The best way to get clear about Peirce’s categories is to look to their origin in Aristotle’s concept of a category, in effect nothing more mysterious than a grammatical device … Continue reading

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | 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

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