Category Archives: Set Theory

Survey of Relation Theory • 1

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

Objective Frameworks • Properties and Instances 1

Dealing with sign relations containing many types of signs — icons, indices, symbols, and more complex varieties — calls for a flexible and powerful organizational framework, one with the ability to grow and develop over time.  This is one of … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Inquiry, Interpretive Frameworks, Logic, Logic of Relatives, Mathematics, Objective Frameworks, Peirce, Relation Theory, Relative Membership, Semiotics, Set Theory, Sign Relations | Tagged , , , , , , , , , , , , , | 2 Comments

Indicator Functions • 1

Re: R.J. Lipton and K.W. Regan • Who Invented Boolean Functions? One of the things it helps to understand about 19th Century mathematicians, and those who built the bridge to the 20th, is that they were capable of high abstraction … Continue reading

Posted in Abstraction, Boole, Boolean Functions, C.S. Peirce, Category Theory, Characteristic Functions, Euler, Indicator Functions, John Venn, Logic, Mathematics, Peirce, Propositional Calculus, Set Theory, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , , | Leave a comment