Category Archives: Logic

Inquiry Live and Logic Live

Posted on May 17, 2012 by Jon Awbrey

Prompted by observations I made over a long period of time about the problems of fragmentation and increasing insularity in web communities and inspired in part by discussions I had with Michel Bauwens of the Peer2Peer (P2P) Foundation, I started … Continue reading →

Posted in C.S. Peirce, Inquiry, Logic | Tagged , , | Leave a comment

Modus Dolens

Posted on May 10, 2012 by Jon Awbrey

A yet innominate mode of inference has become so frequent in certain quarters that the time has come to fashion a suitable name for it. The scheme of thought in question goes a bit like this: If A, then B. … Continue reading →

Posted in Humor, Logic, Rhetoric | Tagged , , | 5 Comments

What Peirce Preserves

Posted on May 7, 2012 by Jon Awbrey

Re: Peirce List • On Peirce Preservation Cf: Inquiry List • What Peirce Preserves Looking back from this moment, I think I see things a little differently.  The critical question is whether our theoretical description of inquiry gives us a … Continue reading →

Posted in C.S. Peirce, Inquiry, Logic, Mathematics | Tagged , , , | 1 Comment

Paradisaical Logic and the After Math

Posted on April 9, 2012 by Jon Awbrey

Re: Peter Cameron • Cultures, Tribes, or Just an Illusion? Re: Peirce List • (1) (2) (3) (4) Not too coincidentally with the mention of Peirce’s existential graphs, a tangent of discussion elsewhere brought to mind an old favorite passage … Continue reading →

Posted in Amphecks, C.S. Peirce, Critical Thinking, Inquiry, Logic, Logic of Relatives, Logical Graphs, Logical Reflexion, Mathematics, Peirce, Relation Theory, Second Intentions, Semiotics, Sign Relations, Truth Theory, Visualization | Tagged , , , , , , , , , , , , , , , | 2 Comments

C.S. Peirce • Relatives of Second Intention

Posted on April 7, 2012 by Jon Awbrey

Selections from C.S. Peirce, “The Logic of Relatives”, CP 3.456–552 488.   The general method of graphical representation of propositions has now been given in all its essential elements, except, of course, that we have not, as yet, studied any truths … Continue reading →

Posted in Abstraction, Amphecks, C.S. Peirce, Cognition, Experience, Inquiry, Logic, Logic of Relatives, Logical Graphs, Logical Reflexion, Mathematics, Peirce, Relation Theory, Second Intentions, Semiotics, Sign Relations, Truth Theory | Tagged , , , , , , , , , , , , , , , , | 7 Comments

C.S. Peirce • The Reality of Thirdness

Posted on March 16, 2012 by Jon Awbrey

Selections from C.S. Peirce, “Lowell Lectures of 1903”, CP 1.343–349 343.   We may say that the bulk of what is actually done consists of Secondness — or better, Secondness is the predominant character of what has been done.  The immediate … Continue reading →

Posted in C.S. Peirce, Comprehension, Inquiry, Intension, Intention, Intentionality, Logic, Meaning, Peirce, Peirce's Categories, Pragmatic Cosmos, Purpose, Reality, References, Semiotics, Sign Relations, Sources, Thirdness, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , | Leave a comment

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