# Category Archives: Set Theory

## Survey of Relation Theory • 5

In this Survey of 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 of … Continue reading

## Relation Theory • Discussion 3

Re: Relation Theory • (1) • (2) • (3) • (4) • (5) Re: Laws of Form • James Bowery JB: Thanks for that very rigorous definition of “relation theory”. Its “trick” of including the name of the -relation in … Continue reading

## Relation Theory • Discussion 2

Re: Relation Theory • (1) • (2) • (3) • (4) Re: FB | Charles S. Peirce Society • Joseph Harry JH: These are iconic representations dealing with logical symbolic relations, and so of course are semiotic in Peirce’s sense, … Continue reading

## Category Theory • Comment 1

I’m deep in the middle of upgrading my intro to sign relations and I am determined to stick to it this time but there will be a phase when it’s critical to bring category theory to bear on the development.  … Continue reading

## Relation Theory • Discussion 1

Re: Cybernetics • Arthur Phillips Responding to what I’ll abductively interpret as a plea for relevance from the cybernetic galley, let me give a quick review of where we are in this many-oared expedition. Our reading of Ashby (see Survey … Continue reading

## Survey of Relation Theory • 4

In this Survey of 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 of … Continue reading

## Indicator Functions • Discussion 1

Peter Smith, on his Logic Matters blog, asks the question, “What Is A Predicate?”, and considers a number of answers. There are of course other possible answers, and one I learned quite early on, arising very naturally in applying mathematical … Continue reading

## Survey of Relation Theory • 3

In this Survey of 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 of … Continue reading

## Survey of Relation Theory • 2

In this Survey of 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 of … Continue reading

## Signs Of Signs • 4

Re: Michael Harris • Language About Language But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical” and “fundamental” questions.  There seems to be no logical distinction.  The … Continue reading