Category Archives: Visualization

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

Here is the next part of §3. Application of the Algebraic Signs to Logic. Peirce’s 1870 “Logic of Relatives” • Selection 4 The Signs for Addition The sign of addition is taken by Boole so that denotes everything denoted by … Continue reading

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Relation Theory, Semiotics, Triadicity, Visualization | Tagged , , , , , , , | 13 Comments

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

We move on to the next part of §3. Application of the Algebraic Signs to Logic. Peirce’s 1870 “Logic of Relatives” • Selection 3 The Signs of Inclusion, Equality, Etc. I shall follow Boole in taking the sign of equality … Continue reading

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Relation Theory, Semiotics, Triadicity, Visualization | Tagged , , , , , , , | 12 Comments

Peirce’s 1870 “Logic of Relatives” • Selection 2

We continue with §3. Application of the Algebraic Signs to Logic. Peirce’s 1870 “Logic of Relatives” • Selection 2 Numbers Corresponding to Letters I propose to use the term “universe” to denote that class of individuals about which alone the … Continue reading

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Relation Theory, Semiotics, Triadicity, Visualization | Tagged , , , , , , , | 16 Comments

Peirce’s 1870 “Logic of Relatives” • Selection 1

We pick up the text at §3. Application of the Algebraic Signs to Logic. Peirce’s 1870 “Logic of Relatives” • Selection 1 Use of the Letters The letters of the alphabet will denote logical signs. Now logical terms are of … Continue reading

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Relation Theory, Semiotics, Triadicity, Visualization | Tagged , , , , , , , | 11 Comments

Peirce’s 1870 “Logic of Relatives” • Preliminaries

In the beginning was the three-pointed star, One smile of light across the empty face; One bough of bone across the rooting air, The substance forked that marrowed the first sun; And, burning ciphers on the round of space, Heaven … Continue reading

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Relation Theory, Semiotics, Triadicity, Visualization | Tagged , , , , , , , | 28 Comments

Objects, Models, Theories • 1

Happy Birthday, Charles Sanders Peirce❢ — September 10, 1839 Re: Artem Kaznatcheev • Three Types of Mathematical Models Comment 1 In speaking of models one tends to find denizens of different disciplines talking at cross purposes to one another.  Logicians … Continue reading

Posted in Adaptive Systems, Analogy, Biological Systems, C.S. Peirce, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mathematics, Mental Models, Model Theory, Pragmata, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , | 8 Comments

How To Succeed In Proof Business Without Really Trying

Re: R.J. Lipton • Surely You Are Joking? Comment 1 Even at the mailroom entry point of propositional calculus, there is a qualitative difference between insight proofs and routine proofs.  Human beings can do either sort, as a rule, but … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automatic Theorem Proving, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Graph Theory, Logic, Logical Graphs, Minimal Negation Operators, Model Theory, Peirce, Praeclarum Theorema, Proof Theory, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , , , | 7 Comments

Special Classes of Propositions

Adapted from Differential Propositional Calculus • Special Classes of Propositions A basic proposition, coordinate proposition, or simple proposition in the universe of discourse is one of the propositions in the set Among the propositions in are several families of propositions … Continue reading

Posted in Boolean Functions, Computational Complexity, Differential Logic, Equational Inference, Functional Logic, Indication, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Visualization | 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

Theme One • A Program Of Inquiry 1

Re: Peirce List • Jerry Chandler • Jon Awbrey • Gary Richmond • Christophe Menant I view psychology, throughout its many branches, as a fascinating and compelling collection of subjects, so much so I spent one of my parallel lives … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Semiotics, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments