Category Archives: Article

Peirce’s Law

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 Article, Computation, Logic, Logical Graphs, Peirce, Peirce's Law, Programming, Proof Theory, Propositions As Types Analogy, Type Theory | Tagged , , , , , , , , , | 2 Comments

Praeclarum Theorema

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 Article, Deduction, Diagrammatic Reasoning, Graph Theory, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Painted Cacti, Peirce, Praeclarum Theorema, Pragmatism, Semiotics, Spencer Brown, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Logical Graphs : 2

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 Article, Deduction, Graph Theory, Logic, Logical Graphs, Mathematics, Peirce, Pragmatism, Semiotics, Visualization | Tagged , , , , , , , , , | 8 Comments

Hypostatic Abstraction

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, Hypostatic Abstraction, Logic, Logic of Relatives, Logical Graphs, Mathematics, Molière, Peirce, Reification, Relation Theory | Tagged , , , , , , , , , ,

Pragmatic Maxim

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 Article, Logic, Method, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, References, Sources | Tagged , , , , , , , , | 13 Comments

Semeiotic

Theory of Signs Semeiotic is one of the terms C.S. Peirce used to describe 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 … Continue reading

Posted in Article, Logic, Logic of Relatives, Mathematics, Peirce, Philosophy, Pragmatics, Pragmatism, Relation Theory, Semantics, Semiotics, Sign Relations, Syntax, Triadic Relations | Tagged , , , , , , , , , , , , , | Leave a comment

Logical Graphs : 1

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 Article, Deduction, Graph Theory, Logic, Logical Graphs, Mathematics, Peirce, Pragmatism, Semiotics, Visualization | Tagged , , , , , , , , , | 8 Comments