About: Deviant logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Deviant logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/ADfkSU5Ko9

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.

Attributes	Values
rdfs:label	Deviant logic (en)
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)
dcterms:subject	Non-classical logic
Wikipage page ID	4135768 (xsd:integer)
Wikipage revision ID	1115274425 (xsd:integer)
Link from a Wikipage to another Wikipage	Modal logic Principle of bivalence Theorem Linear logic Mathematician Willard Van Orman Quine Paraconsistent logic Non-classical logic Well-formed formula Jan Łukasiewicz Achille Varzi (philosopher) Susan Haack Poles Classical logic Set (mathematics) Vagueness Nonmonotonic logic Logician Non-classical logic Philosophy of logic Subset Substructural logic Systems of logic Trivalent logic
sameAs	Deviant logic Deviant logic Deviant logic
dbp:wikiPageUsesTemplate	dbt:Reflist
has 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)
prov:wasDerivedFrom	wikipedia-en:Deviant_logic?oldid=1115274425&ns=0
page length (characters) of wiki page	4020 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Deviant_logic
is Link from a Wikipage to another Wikipage of	Deductive reasoning Duhem–Quine thesis Index of logic articles Index of philosophy articles (D–H) Logic Deviant (disambiguation) Deviant Logic Fuzzy concept Paraconsistent logic Philosophical logic Non-classical logic Philosophy of logic Outline of logic Quasi-deviant logic Extended logic
is Wikipage redirect of	Deviant Logic Quasi-deviant logic Extended logic
is Wikipage disambiguates of	Deviant (disambiguation)
is foaf:primaryTopic of	wikipedia-en:Deviant_logic

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 51 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software