Tag Archives: Logic

Animated Logical Graphs • 13

Cf: Survey of Animated Logical Graphs The blog post linked above updates my Survey of Resources for Animated Logical Graphs.  It contains links to basic expositions and extended discussions of the graphs themselves, deriving from the Alpha Graphs C.S. Peirce used … 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

Survey of Animated Logical Graphs • 2

This is one of several Survey posts I’ll be drafting from time to time, starting with minimal stubs and collecting links to the better variations on persistent themes I’ve worked on over the years.  After that I’ll look to organizing … Continue reading

Posted in Abstraction, Amphecks, Animata, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Surveys, Theorem Proving, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Semiotics, Semiosis, Sign Relations • 4

Re: Semiotic Triangle • John Corcoran Concepts for Peirce are mental symbols, so they fall under the general designation of signs.  For triadic sign relations in general, then, we are considering a triadic relation among objects of signs, signs of … Continue reading

Posted in C.S. Peirce, Cybernetics, Logic, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations | Tagged , , , , , , , , | Leave a comment

Abductive Inference, Concept Formation, Hypothesis Formation • 1

In pragmatic semiotics, concept formation like hypothesis formation falls under the heading of abductive inference.  A lot has been said and there’s a lot more to say about that, but things are too much in flux right now to allow … Continue reading

Posted in Abduction, C.S. Peirce, Concept Formation, Differential Calculus, Differential Logic, Dyadic Relations, Dynamical Systems, Dynamics, Geometry, Hypothesis, Hypothesis Formation, Inference, Logic, Logic of Relatives, Mathematics, Mental Models, Peirce, Physics, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Signspiel • 1

Re: Ontolog Forum • John Sowa All sorts of players have given us all sorts of spiel about speech acts over the years, but Peirce stands out from the chorus in giving us generative models of semiosis based on triadic … Continue reading

Posted in C.S. Peirce, Cybernetics, Logic, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations | Tagged , , , , , , , , | Leave a comment

Individuality, Identity, Teridentity • 1

Some problems cannot be solved in the paradigms where they first appear, which is why we keep recurring to them without quite freeing ourselves from the loops in which they ensnare us.  Questions about the supposed uniqueness of supposed individuals … Continue reading

Posted in C.S. Peirce, Doctrine of Individuals, Icon Index Symbol, Identity, Individuality, Individuals, Logic, Logic of Relatives, Logical Atoms, Mathematics, Peirce, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations | Tagged , , , , , , , , , , , , , , , | Leave a comment

{ Information = Comprehension × Extension } • Discussion 17

Re: Ontolog Forum • Joseph Simpson We are in the middle of trying to work out what Peirce had in mind with his concept of information.  He appears to have developed it from purely logical considerations, if logic can remain … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Information Theory, Inquiry, Intension, Logic, Logic of Science, Peirce, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment