Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Classical_logic> ?p ?o }
Showing triples 1 to 100 of
100
with 100 triples per page.
- Classical_logic abstract "Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well. They are characterised by a number of properties: Law of excluded middle and double negative elimination Law of noncontradiction, and the principle of explosion Monotonicity of entailment and idempotency of entailment Commutativity of conjunction De Morgan duality: every logical operator is dual to anotherWhile not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics.The intended semantics of classical logic is bivalent. With the advent of algebraic logic it became apparent however that classical propositional calculus admits other semantics. In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra; \"true\" corresponds to the maximal element of the algebra, and \"false\" corresponds to the minimal element. Intermediate elements of the algebra correspond to truth values other than \"true\" and \"false\". The principle of bivalence holds only when the Boolean algebra is taken to be the two-element algebra, which has no intermediate elements.".
- Classical_logic wikiPageID "55868".
- Classical_logic wikiPageLength "5091".
- Classical_logic wikiPageOutDegree "50".
- Classical_logic wikiPageRevisionID "697756237".
- Classical_logic wikiPageWikiLink Algebraic_logic.
- Classical_logic wikiPageWikiLink Algebraic_semantics_(mathematical_logic).
- Classical_logic wikiPageWikiLink Aristotle.
- Classical_logic wikiPageWikiLink Begriffsschrift.
- Classical_logic wikiPageWikiLink Boolean_algebra.
- Classical_logic wikiPageWikiLink Boolean_algebra_(structure).
- Classical_logic wikiPageWikiLink Category:Classical_logic.
- Classical_logic wikiPageWikiLink Category:History_of_logic.
- Classical_logic wikiPageWikiLink Category:Logic.
- Classical_logic wikiPageWikiLink Category:Term_logic.
- Classical_logic wikiPageWikiLink Commutativity_of_conjunction.
- Classical_logic wikiPageWikiLink Computability_logic.
- Classical_logic wikiPageWikiLink De_Morgans_laws.
- Classical_logic wikiPageWikiLink Deviant_logic.
- Classical_logic wikiPageWikiLink Dialetheism.
- Classical_logic wikiPageWikiLink Double_negation.
- Classical_logic wikiPageWikiLink First-order_logic.
- Classical_logic wikiPageWikiLink Fuzzy_logic.
- Classical_logic wikiPageWikiLink George_Boole.
- Classical_logic wikiPageWikiLink Gottlob_Frege.
- Classical_logic wikiPageWikiLink Graham_Priest.
- Classical_logic wikiPageWikiLink Idempotency_of_entailment.
- Classical_logic wikiPageWikiLink Intuitionistic_logic.
- Classical_logic wikiPageWikiLink Law_of_excluded_middle.
- Classical_logic wikiPageWikiLink Law_of_noncontradiction.
- Classical_logic wikiPageWikiLink Linear_logic.
- Classical_logic wikiPageWikiLink Logic.
- Classical_logic wikiPageWikiLink Logical_connective.
- Classical_logic wikiPageWikiLink Logical_consequence.
- Classical_logic wikiPageWikiLink Many-valued_logic.
- Classical_logic wikiPageWikiLink Modal_logic.
- Classical_logic wikiPageWikiLink Monotonicity_of_entailment.
- Classical_logic wikiPageWikiLink Non-monotonic_logic.
- Classical_logic wikiPageWikiLink Organon.
- Classical_logic wikiPageWikiLink Paraconsistent_logic.
- Classical_logic wikiPageWikiLink Principle_of_bivalence.
- Classical_logic wikiPageWikiLink Principle_of_explosion.
- Classical_logic wikiPageWikiLink Propositional_calculus.
- Classical_logic wikiPageWikiLink Relevance_logic.
- Classical_logic wikiPageWikiLink Semantics.
- Classical_logic wikiPageWikiLink Square_of_opposition.
- Classical_logic wikiPageWikiLink Susan_Haack.
- Classical_logic wikiPageWikiLink Syllogism.
- Classical_logic wikiPageWikiLink Truth_function.
- Classical_logic wikiPageWikiLink Truth_value.
- Classical_logic wikiPageWikiLink Two-element_Boolean_algebra.
- Classical_logic wikiPageWikiLinkText "Boolean logic".
- Classical_logic wikiPageWikiLinkText "Classical logic".
- Classical_logic wikiPageWikiLinkText "Classical propositional calculus".
- Classical_logic wikiPageWikiLinkText "Classical".
- Classical_logic wikiPageWikiLinkText "Greek or Classical Logic".
- Classical_logic wikiPageWikiLinkText "Non-classical logic".
- Classical_logic wikiPageWikiLinkText "alternative logical systems".
- Classical_logic wikiPageWikiLinkText "classical context".
- Classical_logic wikiPageWikiLinkText "classical logic".
- Classical_logic wikiPageWikiLinkText "classical propositional logic".
- Classical_logic wikiPageWikiLinkText "classical".
- Classical_logic wikiPageWikiLinkText "laws of logic".
- Classical_logic wikiPageWikiLinkText "logical laws".
- Classical_logic wikiPageWikiLinkText "non-classical logics".
- Classical_logic wikiPageWikiLinkText "non-classical".
- Classical_logic wikiPageWikiLinkText "standard logical systems".
- Classical_logic wikiPageWikiLinkText "traditional, "classical" logic".
- Classical_logic wikiPageWikiLinkText "traditionally".
- Classical_logic wikiPageUsesTemplate Template:Classical_logic.
- Classical_logic wikiPageUsesTemplate Template:Main.
- Classical_logic wikiPageUsesTemplate Template:Mathematical_logic.
- Classical_logic wikiPageUsesTemplate Template:Portal.
- Classical_logic wikiPageUsesTemplate Template:Reflist.
- Classical_logic subject Category:Classical_logic.
- Classical_logic subject Category:History_of_logic.
- Classical_logic subject Category:Logic.
- Classical_logic subject Category:Term_logic.
- Classical_logic type Concept.
- Classical_logic comment "Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.".
- Classical_logic label "Classical logic".
- Classical_logic sameAs Q236975.
- Classical_logic sameAs Klassische_Logik.
- Classical_logic sameAs Klassikaline_loogika.
- Classical_logic sameAs منطق_کلاسیک.
- Classical_logic sameAs Logique_classique.
- Classical_logic sameAs Logica_classica.
- Classical_logic sameAs 古典論理.
- Classical_logic sameAs Класична_логика.
- Classical_logic sameAs Klassieke_logica.
- Classical_logic sameAs Lógica_clássica.
- Classical_logic sameAs m.0fhpt.
- Classical_logic sameAs Классическая_логика.
- Classical_logic sameAs Klassisk_logik.
- Classical_logic sameAs Klasikong_lohika.
- Classical_logic sameAs Класична_логіка.
- Classical_logic sameAs Q236975.
- Classical_logic sameAs 经典逻辑.
- Classical_logic wasDerivedFrom Classical_logic?oldid=697756237.
- Classical_logic isPrimaryTopicOf Classical_logic.