Tag Archives: Logic

Peirce’s Law

Posted on October 6, 2008 by Jon Awbrey

Peirce’s law is a logical proposition that states a non-obvious truth of classical logic and affords a novel way of defining classical propositional calculus. Continue reading →

Posted in C.S. Peirce, Equational Inference, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Law, Proof Theory, Propositional Calculus, Propositions As Types Analogy, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , | 15 Comments

Praeclarum Theorema

Posted on October 5, 2008 by Jon Awbrey

The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus that was noted and named by G.W. Leibniz. Continue reading →

Posted in Abstraction, Animata, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Form, Graph Theory, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Praeclarum Theorema, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , | 17 Comments

Logical Graphs • Formal Development

Posted on September 19, 2008 by Jon Awbrey

Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner. Continue reading →

Posted in Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , | 41 Comments

Hypostatic Abstraction

Posted on August 8, 2008 by Jon Awbrey

Hypostatic Abstraction (HA) is a formal operation on a subject–predicate form that preserves its information while introducing a new subject and upping the “arity” of its predicate. To cite a notorious example, HA turns “Opium is drowsifying” into “Opium has dormitive virtue”. Continue reading →

Posted in Abstraction, Article, C.S. Peirce, Hypostatic Abstraction, Logic, Logic of Relatives, Logical Graphs, Mathematics, Molière, Peirce, Reification, Relation Theory | Tagged , , , , , , , , , , , | 5 Comments

Pragmatic Maxim

Posted on August 7, 2008 by Jon Awbrey

The pragmatic maxim is a guideline for the practice of inquiry formulated by Charles Sanders Peirce. Serving as a normative recommendation or a regulative principle in the normative science of logic, its function is to guide the conduct of thought toward the achievement of its aims, advising the addressee on an optimal way of “attaining clearness of apprehension”. Continue reading →

Posted in C.S. Peirce, Logic, Method, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, References, Sources | Tagged , , , , , , , , | 29 Comments

Logic of Relatives

Posted on July 31, 2008 by Jon Awbrey

The logic of relatives, more precisely, the logic of relative terms, is the study of relations as represented in symbolic forms known as “rhemes”, “rhemata”, or “relative terms”. Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematical Logic, Mathematics, Relation Theory, Semiotics | Tagged , , , , , , | 5 Comments

Semeiotic

Posted on July 30, 2008 by Jon Awbrey

Theory of Signs Semeiotic is one of the terms C.S. Peirce used for his theory of triadic sign relations and it serves to distinguish his theory of signs from other approaches to the same subject matter, more generally referred to … Continue reading →

Posted in C.S. Peirce, Icon Index Symbol, Logic, Logic of Relatives, Logic of Science, Mathematics, Peirce, Pragmatics, Relation Theory, Semantics, Semeiosis, Semeiotic, Semiosis, Semiotics, Sign Relations, Syntax, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 9 Comments

Logical Graphs • Introduction

Posted on July 29, 2008 by Jon Awbrey

A logical graph is a graph-theoretic structure in one of the styles of graphical syntax that Charles Sanders Peirce developed for logic. Continue reading →

Posted in Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Diagrammatic Reasoning, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 43 Comments

Differential Logic

Posted on July 29, 2008 by Jon Awbrey

The Logic of Change and Difference Differential logic is the logic of variation — the logic of change and difference. Differential logic is the component of logic whose object is the description of variation, for example, the aspects of change, … Continue reading →

Posted in Differential Logic, Discrete Dynamical Systems, Logic, Logical Graphs, Mathematics, Visualization | Tagged , , , , , | 14 Comments