About: Connexive logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Connexive logic names one class of alternative, or non-classical, logics designed to exclude the paradoxes of material implication. 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.

Property Value
dbo:abstract
  • Connexive logic names one class of alternative, or non-classical, logics designed to exclude the paradoxes of material implication. 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. Relevance logic is another logical theory that tries to avoid the paradoxes of material implication. (en)
dbo:wikiPageID
  • 12859904 (xsd:integer)
dbo:wikiPageLength
  • 6490 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1120540983 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • Connexive logic names one class of alternative, or non-classical, logics designed to exclude the paradoxes of material implication. 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. (en)
rdfs:label
  • Connexive logic (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License