Tag Archives: Duality

Peirce’s 1870 “Logic of Relatives” • Comment 3

In passing to more complex combinations of relative terms and the extensional relations they denote, as we began to do in Comments 10.6 and 10.7, I used words like composite and composition along with the usual composition sign to describe … Continue reading

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Charles Sanders Peirce, George Spencer Brown, and Me • 16

Re: Conceptual Graphs • Gary Zhu GZ: I’m quite confused on why people are interested in Laws of Form. What is LOF trying to do? Is it just rewriting logic or is there something more fundamental. e.g. a universal algebraic … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1870 “Logic of Relatives” • Discussion 5

Re: Conceptual Graphs • Peiyuan Zhu PZ: I’m studying imprecise probabilities which initially works as an extension in Boole’s Laws of Thoughts.  It seems like Boole was solving a set of algebraic equations for probabilities where some of the probabilities … Continue reading

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1870 “Logic of Relatives” • Discussion 4

Re: Peirce’s 1870 “Logic of Relatives” • Proto-Graphical Syntax Re: FB | Ancient Logic • Henning Engebretsen HE: What’s your point, it’s obviously too graphical, but perhaps you are driving at something else.  Explain? Dear Henning, My aim here is … Continue reading

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1870 “Logic of Relatives” • Discussion 3

All other sciences without exception depend upon the principles of mathematics;  and mathematics borrows nothing from them but hints. C.S. Peirce • “Logic of Number” A principal intention of this essay is to separate what are known as algebras of … Continue reading

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 2 Comments

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

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

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

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 4 Comments

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

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Logical Graphs, Iconicity, Interpretation • Discussion 2

Re: Logical Graphs, Iconicity, Interpretation • 2 Re: Laws of Form • John Mingers JM: The quote you have given does not match the standard Peircean trichotomy of icon, index, symbol.  See this quote from [CP 4.447 …] Dear John, I … 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

Logical Graphs, Iconicity, Interpretation • Discussion 1

Re: Logical Graphs, Iconicity, Interpretation • 1 Re: Laws of Form • John Mingers JM: I’m impressed that you have read Ricoeur — my impression is that Americans don’t have much time for Continental philosophy (a huge generalisation of course). … 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