Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Connexive_logic> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples per page.
- Connexive_logic abstract "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.".
- Connexive_logic wikiPageID "12859904".
- Connexive_logic wikiPageLength "6401".
- Connexive_logic wikiPageOutDegree "13".
- Connexive_logic wikiPageRevisionID "630088655".
- Connexive_logic wikiPageWikiLink Aristotle.
- Connexive_logic wikiPageWikiLink Boethius.
- Connexive_logic wikiPageWikiLink Category:Non-classical_logic.
- Connexive_logic wikiPageWikiLink Charles_Sanders_Peirce.
- Connexive_logic wikiPageWikiLink Chrysippus.
- Connexive_logic wikiPageWikiLink Logical_consequence.
- Connexive_logic wikiPageWikiLink Logical_truth.
- Connexive_logic wikiPageWikiLink P._F._Strawson.
- Connexive_logic wikiPageWikiLink Paradoxes_of_material_implication.
- Connexive_logic wikiPageWikiLink Reductio_ad_absurdum.
- Connexive_logic wikiPageWikiLink Relevance_logic.
- Connexive_logic wikiPageWikiLink Sextus_Empiricus.
- Connexive_logic wikiPageWikiLink Syllogism.
- Connexive_logic wikiPageWikiLinkText "Connexive logic".
- Connexive_logic wikiPageWikiLinkText "connexive logic".
- Connexive_logic wikiPageUsesTemplate Template:Non-classical_logic.
- Connexive_logic wikiPageUsesTemplate Template:Sep_entry.
- Connexive_logic subject Category:Non-classical_logic.
- Connexive_logic comment "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.".
- Connexive_logic label "Connexive logic".
- Connexive_logic sameAs Q5161806.
- Connexive_logic sameAs m.02x85cz.
- Connexive_logic sameAs Q5161806.
- Connexive_logic wasDerivedFrom Connexive_logic?oldid=630088655.
- Connexive_logic isPrimaryTopicOf Connexive_logic.