| dbo:abstract |
Deviant logic is a type of logic incompatible with classical logic. Philosopher Susan Haack uses the term deviant logic to describe certain non-classical systems of logic. In these logics: * the set of well-formed formulas generated equals the set of well-formed formulas generated by classical logic. * the set of theorems generated is different from the set of theorems generated by classical logic. The set of theorems of a deviant logic can differ in any possible way from classical logic's set of theorems: as a proper subset, superset, or fully exclusive set. A notable example of this is the trivalent logic developed by Polish logician and mathematician Jan Łukasiewicz. Under this system, any theorem necessarily dependent on classical logic's principle of bivalence would fail to be valid. The term deviant logic first appears in Chapter 6 of Willard Van Orman Quine's Philosophy of Logic, New Jersey: Prentice Hall (1970), which is cited by Haack on p. 15 of her book. (en) |
| dbo:wikiPageID |
4135768 (xsd:integer) |
| dbo:wikiPageLength |
4020 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1115274425 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Modal_logic dbr:Principle_of_bivalence dbr:Theorem dbr:Linear_logic dbr:Mathematician dbr:Willard_Van_Orman_Quine dbr:Paraconsistent_logic dbc:Non-classical_logic dbr:Well-formed_formula dbr:Jan_Łukasiewicz dbr:Achille_Varzi_(philosopher) dbr:Susan_Haack dbr:Poles dbr:Classical_logic dbr:Set_(mathematics) dbr:Vagueness dbr:Nonmonotonic_logic dbr:Logician dbr:Non-classical_logic dbr:Philosophy_of_logic dbr:Subset dbr:Substructural_logic dbr:Systems_of_logic dbr:Trivalent_logic |
| dbp:wikiPageUsesTemplate |
dbt:Reflist |
| dcterms:subject |
dbc:Non-classical_logic |
| rdfs:comment |
Deviant logic is a type of logic incompatible with classical logic. Philosopher Susan Haack uses the term deviant logic to describe certain non-classical systems of logic. In these logics: * the set of well-formed formulas generated equals the set of well-formed formulas generated by classical logic. * the set of theorems generated is different from the set of theorems generated by classical logic. (en) |
| rdfs:label |
Deviant logic (en) |
| owl:sameAs |
freebase:Deviant logic wikidata:Deviant logic https://global.dbpedia.org/id/4jEzR |
| prov:wasDerivedFrom |
wikipedia-en:Deviant_logic?oldid=1115274425&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Deviant_logic |
| is dbo:wikiPageDisambiguates of |
dbr:Deviant_(disambiguation) |
| is dbo:wikiPageRedirects of |
dbr:Deviant_Logic dbr:Quasi-deviant_logic dbr:Extended_logic |
| is dbo:wikiPageWikiLink of |
dbr:Deductive_reasoning dbr:Duhem–Quine_thesis dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Logic dbr:Deviant_(disambiguation) dbr:Deviant_Logic dbr:Fuzzy_concept dbr:Paraconsistent_logic dbr:Philosophical_logic dbr:Non-classical_logic dbr:Philosophy_of_logic dbr:Outline_of_logic dbr:Quasi-deviant_logic dbr:Extended_logic |
| is foaf:primaryTopic of |
wikipedia-en:Deviant_logic |