Tag Archives: Mathematics

Relations & Their Relatives • Discussion 19

Re: Category Theory • Henry Story HS: Could one not say that Frege also had a three part relation?  I guess:  for singular terms their Sense and Reference. […] His argument could be explained very simply.  Imagine you start with … Continue reading

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 1 Comment

Relations & Their Relatives • Discussion 18

Re: Relations & Their Relatives • Review 1 Re: Category Theory • Morgan Rogers MR: So a “sign process” would be a subset , where is a time domain? There are a couple of ways we usually see the concept … Continue reading

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 1 Comment

Relations & Their Relatives • Review 1

Peirce’s notation for elementary relatives was illustrated earlier by a dyadic relation from number theory, namely for being a divisor of Cf: Relations & Their Relatives • 3 Table 1 shows the first few ordered pairs of the relation on positive … Continue reading

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 2 Comments

Relations & Their Relatives • Comment 3

Here’s a couple of selections from Peirce’s 1870 Logic of Relatives bearing on the proper use of individuals in mathematics, and thus on the choice between nominal thinking and real thinking. 😸 Mathematical Demonstration & the Doctrine of Individuals • … Continue reading

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 1 Comment

Relations & Their Relatives • Comment 2

Before I forget how I got myself into this particular briar patch — I mean the immediate occasion, not the long ago straying from the beaten path — it was largely in discussions with Henry Story where he speaks of … Continue reading

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 1 Comment

Descriptive and Normative • Discussion 1

Re: Logical Graphs • Discussion 3 Re: Laws of Form • John Mingers JM: I hesitate to enter into this debate but I would want to draw different distinctions to normative/descriptive. I would distinguish (following philosopher Roy Bhaskar) between the … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Relations & Their Relatives • Comment 1

I opened a topic on Relation Theory in the Logic stream of Category Theory Zulipchat to discuss the logic of relative terms and the mathematics of relations as they develop from Peirce’s first breakthroughs (1865–1870).  As I have mentioned on … Continue reading

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 1 Comment

Logical Graphs • Discussion 4

Re: Category Theory • Henry Story HS: Evan Patterson’s “Knowledge Representation in Bicategories of Relations” is also drawn up in terms of string diagrams, as a way of explaining the W3C RDF and OWL standards.  So it looks like we … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Notes On Categories • 2

Re: Category Theory • Joe Moeller JM: In category theory, we have this perspective that we should focus attention on maps, on the relationships between objects, rather than on the objects themselves.  What’s your favorite examples of people giving a … Continue reading

Posted in Abstraction, Category Theory, Computing, Graph Theory, Logic, Mathematics, Relation Theory, Type Theory | Tagged , , , , , , , | Leave a comment

Logical Graphs • Discussion 3

Re: Peirce List • JFS • RM • ET • RM • JFS • JFS • RM Dear John, Robert, Edwina, The Peirce List discussion on “thinking in diagrams vs thinking in words” called to mind the time I spent … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments