Pragmatic Semiotic Information • Discussion 11

Re: Ontolog ForumFerenc 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 operations in the sense that negative operations can generate all possible operations while positive operations by themselves do not suffice.  This is epitomized by his discovery of the amphecks as sole sufficient operators for propositional logic.

The propositional logic algorithm I wrote for my Theme One Program turns this principle to good effect in two ways:

  • The graph-theoretic syntax is based on a graph-theoretic operator, a type of controlled negation called the minimal negation operator, that generalizes Peirce’s graph-theoretic operator for negation.
  • It turns out that recognizing contradictions quickly makes for a high degree of efficiency in finding the “models” or satisfying interpretations of a propositional formula.

Relations of contradiction are also critical in statistical inference, but I’ll need to save that for another day.


  • Ampheck • (1)(2)
  • Minimal Negation Operator • (1)(2)

cc: Systems ScienceStructural Modeling

This entry was 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 and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Pragmatic Semiotic Information • Discussion 11

  1. Pingback: Pragmatic Semiotic Information • Discussion 11 – The Philosophical Hack

  2. Pingback: Survey of Pragmatic Semiotic Information • 4 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.