Tag Archives: Visualization

Logical Graphs • Discussion 6

Posted on August 29, 2023 by Jon Awbrey

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

Posted on August 28, 2023 by Jon Awbrey

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

Posted on August 24, 2023 by Jon Awbrey

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

Differential Logic • The Logic of Change and Difference

Posted on August 22, 2023 by Jon Awbrey

Differential logic is the logic of variation — the logic of change and difference. Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes … Continue reading →

Posted in Animata, Boolean Difference Calculus, Boolean Functions, C.S. Peirce, Differential Logic, Differential Propositions, Discrete Dynamical Systems, Leibniz, Logic, Logical Graphs, Minimal Negation Operators, Visualization | Tagged , , , , , , , , , , , | 6 Comments

Inquiry Into Inquiry • Discussion 9

Posted on August 19, 2023 by Jon Awbrey

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

Posted on August 18, 2023 by Jon Awbrey

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

Posted on August 17, 2023 by Jon Awbrey

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

Functional Logic • Inquiry and Analogy • 21

Posted on July 19, 2023 by Jon Awbrey

Inquiry and Analogy • Generalized Umpire Operators To get a better handle on the space of higher order propositions and continue developing our functional approach to quantification theory, we’ll need a number of specialized tools.  To begin, we define a … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Functional Logic • Inquiry and Analogy • 20

Posted on July 18, 2023 by Jon Awbrey

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Table 21 provides a thumbnail sketch of the relationships discussed in this section. Resources Logic Syllabus Boolean Function Boolean-Valued Function Logical Conjunction Minimal Negation Operator Introduction to Inquiry … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Functional Logic • Inquiry and Analogy • 19

Posted on July 17, 2023 by Jon Awbrey

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Reflection is turning a topic over in various aspects and in various lights so that nothing significant about it shall be overlooked — almost as one might turn … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments