Tag Archives: Mathematics

Functional Logic • Inquiry and Analogy • Preliminaries

Posted on June 20, 2023 by Jon Awbrey

Functional Logic • Inquiry and Analogy This report discusses C.S. Peirce’s treatment of analogy, placing it in relation to his overall theory of inquiry.  We begin by introducing three basic types of reasoning Peirce adopted from classical logic.  In Peirce’s analysis … 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

Logic Syllabus • Discussion 2

Posted on June 4, 2023 by Jon Awbrey

Re: Logic Syllabus Re: Laws of Form • John Mingers JM: Is [the “just one true” operator] the same or different to xor?  I have read that xor is true when an odd number of variables are true which would … Continue reading →

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 5 Comments

Logic Syllabus • Discussion 1

Posted on June 2, 2023 by Jon Awbrey

Re: Logic Syllabus Re: Laws of Form • John Mingers JM: In a previous post you mentioned the minimal negation operator.  Is there also the converse of this, i.e. an operator which is true when exactly one of its arguments … Continue reading →

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 5 Comments

Mathematical Demonstration and the Doctrine of Individuals • 2

Posted on May 16, 2023 by Jon Awbrey

Selection from C.S. Peirce’s “Logic Of Relatives” (1870) In reference to the doctrine of individuals, two distinctions should be borne in mind.  The logical atom, or term not capable of logical division, must be one of which every predicate may … Continue reading →

Posted in C.S. Peirce, Deduction, Doctrine of Individuals, Foundations of Mathematics, Identity, Information = Comprehension × Extension, Logic, Logic of Relatives, Mathematical Demonstration, Mathematics, Relation Theory | Tagged , , , , , , , , , , | 7 Comments

Mathematical Demonstration and the Doctrine of Individuals • 1

Posted on May 16, 2023 by Jon Awbrey

Selection from C.S. Peirce’s “Logic Of Relatives” (1870) Demonstration of the sort called mathematical is founded on suppositions of particular cases.  The geometrician draws a figure;  the algebraist assumes a letter to signify a single quantity fulfilling the required conditions.  … Continue reading →

Posted in C.S. Peirce, Deduction, Doctrine of Individuals, Foundations of Mathematics, Identity, Information = Comprehension × Extension, Logic, Logic of Relatives, Mathematical Demonstration, Mathematics, Relation Theory | Tagged , , , , , , , , , , | 7 Comments

Survey of Cybernetics • 3

Posted on April 26, 2023 by Jon Awbrey

Again, in a ship, if a man were at liberty to do what he chose, but were devoid of mind and excellence in navigation (αρετης κυβερνητικης), do you perceive what must happen to him and his fellow sailors? Plato • … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Differential Logic • 5

Posted on April 25, 2023 by Jon Awbrey

This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment. Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Inquiry Driven Systems • 5

Posted on April 23, 2023 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Relation Theory • Discussion 5

Posted on April 22, 2023 by Jon Awbrey

Re: Survey of Relation Theory Re: Ontolog Forum • Ravi Sharma RS: Is there also an attempt at integrating these relation concepts?  Like a meta‑model of relations? Dear Ravi, I haven’t run across the concept of a meta‑model before so … 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, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Relation Theory • Discussion 4

Posted on April 19, 2023 by Jon Awbrey

Re: Survey of Relation Theory Re: Ontolog Forum • Ravi Sharma RS: Is there also an attempt at integrating these relation concepts?  Like a meta‑model of relations? Dear Ravi, Thanks for the question.  I believe I’d say yes to the … 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, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 5 Comments