Tag Archives: Mathematics

Signs Of Signs • 1

Posted on May 27, 2015 by Jon Awbrey

Re: Michael Harris • Language About Language There is a language and a corresponding literature treating logic and mathematics as related species of communication and information gathering, namely, the pragmatic‑semiotic tradition transmitted through the lifelong efforts of C.S. Peirce.  It is … Continue reading →

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 9

Posted on May 24, 2015 by Jon Awbrey

Re: Ken Regan • The Shapes of Computations The insight it takes to find a succinct axiom set for a theoretical domain falls under the heading of abductive or retroductive reasoning, a knack as yet refractory to computational attack, but … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 11 Comments

Animated Logical Graphs • 8

Posted on May 23, 2015 by Jon Awbrey

Re: Ken Regan • The Shapes of Computations The most striking example of a “Primitive Insight Proof” (PIP❢) known to me is the Dawes–Utting proof of the Double Negation Theorem from the CSP–GSB axioms for propositional logic.  There is a … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Animated Logical Graphs • 7

Posted on May 22, 2015 by Jon Awbrey

Re: Ken Regan • The Shapes of Computations There are several issues of computation shape and proof style that raise their heads already at the logical ground level of boolean functions and propositional calculus.  From what I’ve seen, there are … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Survey of Theme One Program • 1

Posted on May 18, 2015 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 to support an integrated learning and reasoning interface, … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Semiotic Theory Of Information • 1

Posted on May 17, 2015 by Jon Awbrey

This is a Survey of previous blog and wiki posts on the Semiotic Theory Of Information.  All my projects are exploratory in essence but this line of inquiry is more open-ended than most.  The question is: What is information and how … 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 Relation Theory • 1

Posted on May 16, 2015 by Jon Awbrey

In this Survey of blog and wiki posts on 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 of … 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 , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Precursors Of Category Theory • 1

Posted on May 15, 2015 by Jon Awbrey

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

Posted in Abstraction, Ackermann, Analogy, Aristotle, C.S. Peirce, Carnap, Category Theory, Diagrams, Dyadic Relations, Equational Inference, Form, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Sign Relations, Surveys, Triadic Relations, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 18 Comments

Survey of Inquiry Driven Systems • 1

Posted on May 14, 2015 by Jon Awbrey

This is a Survey of blog and wiki posts 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 … Continue reading →

Posted in Abduction, Action, Adaptive Systems, Aristotle, Artificial Intelligence, Automated Research Tools, Change, Cognitive Science, Communication, Cybernetics, Deduction, Descartes, Dewey, Discovery, Doubt, Education, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Invention, Kant, Knowledge, Learning, Learning Theory, Logic, Logic of Science, Mathematics, Mental Models, Peirce, Pragmatic Maxim, Pragmatism, Process Thinking, Scientific Inquiry, Semiotics, Sign Relations, Surveys, Teaching, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Differential Logic • 1

Posted on May 11, 2015 by Jon Awbrey

This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Logic • Introduction Differential Propositional Calculus • Part 1 • Part 2 Differential Logic … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment