Tag Archives: Logic

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 4

Posted on December 17, 2018 by Jon Awbrey

Re: Systems Science • LT To clarify my previous remark about General Systems Theory, I wasn’t trying to define a whole field but merely to describe my experience in forums like these, where it took me a while to realize … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 3

Posted on December 12, 2018 by Jon Awbrey

Re: Systems Science • (1) • (2) • (3) Various discussions in various places bring back to mind this thread from early this fall, prompting me to make a try at continuing it.  Here’s a series of blog posts where … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Semiotics, Semiosis, Sign Relations • 3

Posted on December 11, 2018 by Jon Awbrey

For ease of reference, here are two variants of Peirce’s 1902 definition of a sign, which he gives in the process of defining logic. Selections from C.S. Peirce, “Carnegie Application” (1902) No. 12.  On the Definition of Logic Logic will … Continue reading →

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 24 Comments

Semiotics, Semiosis, Sign Relations • 2

Posted on December 10, 2018 by Jon Awbrey

Here are links to more complete discussions of semiotics. Sign Relations • OEIS Wiki • Wikiversity The approach described here develops from what I regard as the core definition of triadic sign relations, one explicit enough to support a consequential … Continue reading →

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 24 Comments

Semiotics, Semiosis, Sign Relations • 1

Posted on December 9, 2018 by Jon Awbrey

A first mention of semiotics (and cybersemiotics) in a discussion group gave me a chance to begin a fresh introduction to the subject.  I thought it might be useful to share that here. Here’s the intro to Semiotics I wrote … Continue reading →

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 25 Comments

Theme One • A Program Of Inquiry 17

Posted on December 7, 2018 by Jon Awbrey

The move is all over but the unpacking, and the time looks ripe to pick up the following thread from last spring.  Here, by way of a quick refresher, are a few Tables from earlier discussions. Theme One • A … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Pragmatic Semiotic Information • Discussion 11

Posted on December 2, 2018 by Jon Awbrey

Re: Ontolog Forum • Ferenc Kovacs Re: Anja-Karina Pahl • Contradiction and Analogy as the Basis for Inventive Thinking One of the insights coming out of Peirce’s logical work is the fact that negative operations are more powerful than positive … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Intention, Logic, Logic of Science, Mathematics, Measurement, Observation, Peirce, Perception, Phenomenology, Physics, Pragmatic Semiotic Information, Pragmatism, Probability, Quantum Mechanics, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Pragmatic Semiotic Information • Discussion 10

Posted on November 20, 2018 by Jon Awbrey

Re: Ontolog Forum Artem Kaznatcheev posted an interesting discussion on his blog under the title “Models as Maps and Maps as Interfaces” that I saw as fitting under this head.  A reader of Peirce may recognize critical insights of pragmatic thought … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Intention, Logic, Logic of Science, Mathematics, Measurement, Observation, Peirce, Perception, Phenomenology, Physics, Pragmatic Semiotic Information, Pragmatism, Probability, Quantum Mechanics, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Indicator Functions • Discussion 1

Posted on October 10, 2018 by Jon Awbrey

Peter Smith, on his Logic Matters blog, asks the question, “What Is A Predicate?”, and considers a number of answers. There are of course other possible answers, and one I learned quite early on, arising very naturally in applying mathematical … Continue reading →

Posted in Boole, Boolean Functions, C.S. Peirce, Category Theory, Indication, Indicator Functions, Logic, Mathematics, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Set Theory, Venn Diagrams | Tagged , , , , , , , , , , , , | 1 Comment

{ Information = Comprehension × Extension } • Comment 8

Posted on October 8, 2018 by Jon Awbrey

So what is all this fuss about the relation between inquiry and signs, as analyzed in Peirce’s theories of their structure and function and synthesized in his theory of information? The best way I’ve found to see where the problem … Continue reading →

Posted in Abduction, Belief Fixation, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Peirce, Peirce's Categories, Pragmatism, Scientific Method, Semiotic Information, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 8 Comments