Category Archives: Mathematics

Peirce’s 1885 “Algebra of Logic” • Selection 4

Posted on April 1, 2024 by Jon Awbrey

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs (concl.) In this paper, I purpose to develop an algebra adequate to the treatment of all problems … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Peirce’s 1885 “Algebra of Logic” • Selection 3

Posted on March 30, 2024 by Jon Awbrey

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs (cont.) For instance, take the syllogistic formula, This is really a diagram of the relations of and … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Peirce’s 1885 “Algebra of Logic” • Selection 2

Posted on March 26, 2024 by Jon Awbrey

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs (cont.) I have taken pains to make my distinction of icons, indices, and tokens clear, in order … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Peirce’s 1885 “Algebra of Logic” • Selection 1

Posted on March 24, 2024 by Jon Awbrey

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs Any character or proposition either concerns one subject, two subjects, or a plurality of subjects.  For example, … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Survey of Relation Theory • 8

Posted on March 23, 2024 by Jon Awbrey

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 , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Survey of Animated Logical Graphs • 7

Posted on March 18, 2024 by Jon Awbrey

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications. Beginnings Logical Graphs … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Differential Logic, 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 , , , , , , , , , , , , , , , , , , , , , , , , | 46 Comments

Survey of Pragmatic Semiotic Information • 8

Posted on March 1, 2024 by Jon Awbrey

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 25 Comments

Survey of Inquiry Driven Systems • 6

Posted on February 28, 2024 by Jon Awbrey

This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject. An inquiry driven system is a system having among its state variables some … Continue reading →

Posted in Abduction, Adaptive Systems, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Cybernetics, Deduction, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Logic, Logic of Science, Mathematics, Mental Models, Pragmatic Maxim, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 19 Comments

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 4

Posted on February 27, 2024 by Jon Awbrey

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce.  Particular attention is paid to the way the inferential rudiments combine to … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Deduction, Dewey, Discovery, Doubt, Fixation of Belief, Functional Logic, Icon Index Symbol, Induction, Inference, Information, Inquiry, Invention, Logic, Logic of Science, Mathematics, Morphism, Paradigmata, Paradigms, Pattern Recognition, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, Scientific Inquiry, Scientific Method, Semiotics, Sign Relations, Surveys, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Survey of Theme One Program • 6

Posted on February 26, 2024 by Jon Awbrey

This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning.  I … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 35 Comments