Tag Archives: Logic

Sign Relations • Dyadic Aspects

Posted on June 21, 2020 by Jon Awbrey

For an arbitrary triadic relation whether it is a sign relation or not, there are six dyadic relations obtained by projecting on one of the planes of the -space   The six dyadic projections of a triadic relation are defined … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 3 Comments

Animated Logical Graphs • 33

Posted on June 18, 2020 by Jon Awbrey

A reader’s request for more examples of animated logical graphs prompted me to look again at the User Guide for my Theme One Program, whose exposition develops a series of logical graphs increasing in complexity from extremely simple to more substantial … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic • Discussion 3

Posted on June 17, 2020 by Jon Awbrey

Re: R.J. Lipton • P<NP Instead of boolean circuit complexity I would look at logical graph complexity, where those logical graphs are constructed from minimal negation operators. Physics once had a frame problem (complexity of dynamic updating) long before AI … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Sign Relations • Examples

Posted on June 16, 2020 by Jon Awbrey

Because the examples to follow have been artificially constructed to be as simple as possible, their detailed elaboration can run the risk of trivializing the whole theory of sign relations.  Despite their simplicity, however, these examples have subtleties of their … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 4 Comments

Sign Relations • Discussion 5

Posted on June 16, 2020 by Jon Awbrey

Re: Sign Relations • Discussion 4 Re: Peirce List • Jon Awbrey • Gary Fuhrman • Jon Alan Schmidt • Jon Awbrey The transformative idea in Peirce’s case of the French interpreter is not the convertibility of term logic, propositional … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 9 Comments

Sign Relations • Discussion 4

Posted on June 15, 2020 by Jon Awbrey

Re: Peirce List • Edwina Taborsky A note on a couple of recurring themes may be useful at this point. Peirce’s “metaphorical argument” for transforming discussion of interpretive agents, whether individuals or communities, to discussion of interpretant signs is as … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 11 Comments

Animated Logical Graphs • 32

Posted on June 14, 2020 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Proof Checking Dear Dick/Ken, Here’s a place where I explore different shapes of proofs in a propositional calculus deriving from the graphical systems of Charles S. Peirce and G. Spencer Brown. Propositional Equation Reasoning Systems • Analysis … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Sign Relations • Discussion 3

Posted on June 13, 2020 by Jon Awbrey

Re: Sign Relations • Definition Re: Ontolog Forum • Alex Shkotin (1) (2) Regarding Peirce’s definition of a sign linked above, Alex Shkotin writes: A Sign is unusually active in Peirce’s definition: A (a sign) brings B (interpretant sign) into … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 8 Comments

Sign Relations • Signs and Inquiry

Posted on June 11, 2020 by Jon Awbrey

There is a close relationship between the pragmatic theory of signs and the pragmatic theory of inquiry.  In fact, the correspondence between the two studies exhibits so many congruences and parallels it is often best to treat them as integral … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 3 Comments

Sign Relations • Discussion 2

Posted on June 10, 2020 by Jon Awbrey

Re: Cybernetics • Bernard C.E. Scott Re: Sign Relations • Definition Regarding Peirce’s definition of a sign given in the previous post, Bernard Scott writes: It is very helpful [to] distinguish Peirce’s formal semiotic (his logic) from psychological, and by … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 7 Comments