Category Archives: Semiotics

Logical Graphs • Discussion 6

Re: Logical Graphs • First Impressions Re: Academia.edu • Robert Appleton RA: As a professional graphic designer and non-mathematician reading your two diagrams, I need to ask for a simpler statement of their purpose.  What do Fig 1 and Fig 2 represent … 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, Painted Cacti, Propositional Calculus, Propositional Equation Reasoning Systems, Relation Theory, Semiotics, Sign Relations, Spencer Brown, Topology, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Logical Graphs • Discussion 5

Re: Logical Graphs • First Impressions Re: Facebook • Daniel Everett DE: Nice discussion.  Development of icon-based reasoning As it happens, even though Peirce’s systems of logical graphs do have iconic features, their real power over other sorts of logical … 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, Painted Cacti, Propositional Calculus, Propositional Equation Reasoning Systems, Relation Theory, Semiotics, Sign Relations, Spencer Brown, Topology, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Logical Graphs • First Impressions

A logical graph is a graph-theoretic structure in one of the styles of graphical syntax that Charles Sanders Peirce developed for logic. Continue reading

Posted in Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Diagrammatic Reasoning, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 30 Comments

Inquiry Into Inquiry • Discussion 9

Re: Pragmatic Maxim Re: Academia.edu • Milo Gardner MG: Do you agree that Peirce was limited to bivalent logic? Taking classical logic as a basis for reasoning is no more limiting than taking Dedekind cuts as a basis for constructing … Continue reading

Posted in Automata, C.S. Peirce, Category Theory, Compositionality, Formal Languages, Inference, Information, Information Fusion, Initiative, Inquiry, Logic, Relation Theory, Semiotics, Triadic Relation Irreducibility, Visualization | Tagged , , , , , , , , , , , , , , | 5 Comments

Inquiry Into Inquiry • Discussion 8

Re: Inquiry Into Inquiry • Discussion 7 Re: Academia.edu • Milo Gardner MG: Peirce sensed that bivalent syntax was superceded by trivalent syntax, but never resolved that nagging question. The main thing is not a question of syntax but a … Continue reading

Posted in Automata, C.S. Peirce, Category Theory, Compositionality, Formal Languages, Inference, Information, Information Fusion, Initiative, Inquiry, Logic, Relation Theory, Semiotics, Triadic Relation Irreducibility, Visualization | Tagged , , , , , , , , , , , , , , | 5 Comments

Inquiry Into Inquiry • Discussion 7

Dan Everett has prompted a number of discussions on Facebook recently which touch on core issues in Peirce’s thought — but threads ravel on and fray so quickly in that medium one rarely gets a chance to fill out the … Continue reading

Posted in Automata, C.S. Peirce, Category Theory, Compositionality, Formal Languages, Inference, Information, Information Fusion, Initiative, Inquiry, Logic, Relation Theory, Semiotics, Triadic Relation Irreducibility, Visualization | Tagged , , , , , , , , , , , , , , | 5 Comments

Survey of Precursors Of Category Theory • 4

A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice.  A Survey of resources on … Continue reading

Posted in Abstraction, Ackermann, Analogy, Aristotle, C.S. Peirce, Carnap, Category Theory, Diagrams, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Kant, Logic, Mathematics, Peirce, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Relation Theory • 7

In the present Survey of blog and wiki resources for 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 … 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

Survey of Pragmatic Semiotic Information • 7

This is a Survey of blog and wiki posts on a theory of information which grows out of pragmatic semiotic ideas.  All my projects are exploratory in character but this line of inquiry is more open‑ended than most.  The question … Continue reading

Posted in Abduction, C.S. Peirce, Communication, Control, Cybernetics, Deduction, Determination, Discovery, Doubt, Epistemology, Fixation of Belief, Induction, Information, Information = Comprehension × Extension, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretation, Invention, Knowledge, Learning Theory, Logic, Logic of Relatives, Logic of Science, Mathematics, Peirce, Philosophy, Philosophy of Science, Pragmatic Information, Probable Reasoning, Process Thinking, Relation Theory, Scientific Inquiry, Scientific Method, Semeiosis, Semiosis, Semiotic Information, Semiotics, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Pragmatic Semiotic Information • Ψ

I remember it was back in ’76 when I began to notice a subtle shift of focus in the computer science journals I was reading, from discussing X to discussing Information About X, a transformation I noted mentally as whenever … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Peirce, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 3 Comments