Connexive logic

Connexive logic

Connexive logic names one class of alternative, or non-classical, logics designed to exclude the so-called paradoxes of material implication. (Other logical theories with the same agenda include relevance logic, also known as relevant logic.) The characteristic that separates connexive logic from other non-classical logics is its acceptance of Aristotle's Thesis, i.e. the formula,

  • ~(~p → p)

as a logical truth. Aristotle's Thesis asserts that no statement follows from its own denial. Stronger connexive logics also accept Boethius' Thesis,

  • ((p → q) → ~(p → ~q))

which states that if a statement implies one thing, it does not imply its opposite.

Contents

History

Connexive logic is arguably one of the oldest approaches to logic. Aristotle's Thesis is named after Aristotle because he uses this principle in a passage in the Prior Analytics.

It is impossible that the same thing should be necessitated by the being and the not-being of the same thing. I mean, for example, that it is impossible that B should necessarily be great if A is white, and that B should necessarily be great if A is not white. For if B is not great A cannot be white. But if, when A is not white, it is necessary that B should be great, it necessarily results that if B is not great, B itself is great. But this is impossible. An. Pr. ii 4.57b3.

The sense of this passage is to perform a reductio ad absurdum proof on the claim that two formulas, (A → B) and (~A → B), can be true simultaneously. The proof is,

  1. (A → B) hypothesis
  2. (~A → B) hypothesis
  3. (~B → ~A) 1, Transposition
  4. (~B → B) 2, 3, Hypothetical Syllogism

Aristotle then declares step 4 to be impossible, completing the reductio. But if step 4 is impossible, it must be because Aristotle accepts its denial, ~(~B → B), as a logical truth.

Aristotelian syllogisms (as opposed to Boolean syllogisms) appear to be based on connexive principles. For example, the contrariety of A and E statements, "All S are P," and "No S are P," follows by a reductio ad absurdum argument similar to the one given by Aristotle.

Later logicians, notably Chrysippus, are also thought to have endorsed connexive principles. By 100 C.E. logicians had divided into four or five distinct schools concerning the correct understanding of conditional ("if...then...") statements. Sextus Empiricus described one school as follows.

And those who introduce the notion of connexion say that a conditional is sound when the contradictory of its consequent is incompatible with its antecedent.

The term "connexivism" is derived from this passage (as translated by Kneale and Kneale).

It is believed that Sextus was here describing the school of Chrysippus. That this school accepted Aristotle's thesis seems clear because the definition of the conditional,

  • (p → q) =df ~(p ° ~q) - where ° indicates compatibility,

requires that Aristotle's Thesis be a logical truth, provided we assume that every statement is compatible with itself - which seems fairly fundamental to the concept of compatibility.

The medieval philosopher Boethius also accepted connexive principles. In De Syllogismo Hypothetico, he argues that from, "If A, then if B then C," and "If B then not-C," we may infer "not-A," by Modus Tollens. However, this follows only if the two statements, "If B then C," and "If B then not-C," are considered incompatible.

Since Aristotelian logic was the standard logic studied until the 19th Century, it could reasonably be claimed that connexive logic was the accepted school of thought among logicians for most of Western history. (Of course, logicians were not necessarily aware of belonging to the connexivist school.) However, in the 19th Century Boolean syllogisms, and a propositional logic based on truth-functions, became the standard. Since then, relatively few logicians have subscribed to connexivism. These few include E. J. Nelson and P. F. Strawson.

Connecting antecedent to consequent

The objection that is made to the truth-functional definition of conditionals is that there is no requirement that the consequent actually follow from the antecedent. So long as the antecedent is false or the consequent true, the conditional is considered to be true whether there is any relation between the antecedent and the consequent or not. Hence, as the philosopher Charles Sanders Peirce once remarked, you can cut up a newspaper, sentence by sentence, put all the sentences in a hat, and draw any two at random. It is guaranteed that either the first sentence will imply the second, or vice versa. But when we use the words "if" and "then" we generally mean to assert that there is some relation between the antecedent and the consequent. What is the nature of that relationship? Relevance (or Relevant) logicians take the view that, in addition to saying that the consequent cannot be false while the antecedent is true, the antecedent must be "relevant" to the consequent. At least initially, this means that there must be at least some terms (or variables) that appear in both the antecedent and the consequent. Connexivists generally claim instead that there must be some "real connection" between the antecedent and the consequent, such as might be the result of real class inclusion relations. For example, the class relations, "All men are mortal," would provide a real connection that would warrant the conditional, "If Socrates is a man, then Socrates is mortal." However, more remote connections, for example "If she apologized to him, then he lied to me," (suggested by Bennett) still defy connexivist analysis.

References

  • Angell R. B. A-Logic, Washington: University Press of America, 2002.
  • Bennett, J. A Philosophical Guide to Conditionals. Oxford: Clarendon. 2003.
  • Kneale, M. and Kneale, W. The Development of Logic. Oxford: Clarendon. 1984.
  • McCall, S. "Connexive Implication," The Journal of Symbolic Logic, Vol. 31, No. 3 (1966), pp. 415 - 433.

External Links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

  • Hugh MacColl — (1837 1909) was a Scot who trained as a mathematician and evolved into a logician. MacColl was the youngest son of a poor highland family which was at least in part Gaelic speaking. Hugh s father died when he was still an infant and it is largely …   Wikipedia

  • Paradoxien der materialen Implikation — Die Paradoxien der materialen Implikation oder Subjunktion sind eine Gruppe von Formeln der Aussagenlogik, die zwar Tautologien, aber intuitiv problematisch sind. Die Ursache der Paradoxien liegt darin, dass die Interpretation der Wahrheit einer… …   Deutsch Wikipedia

  • Game semantics — (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval …   Wikipedia

  • Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… …   Wikipedia

  • Hugh MacColl — Hugh MacColl. Hugh MacColl (1837 1909) fue un matemático escocés que se destacó en el campo de la lógica. Contenido 1 Vida 2 …   Wikipedia Español

  • Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

  • Condicional material — El condicional material, también conocido como implicación material, condicional funcional de verdad o simplemente condicional, es una constante lógica que conecta dos proposiciones. El condicional material intenta ser la versión formal del… …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”