Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Classical_logic> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items 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 the 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 another;While 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 wikiPageRevisionID "541383152".
- Classical_logic hasPhotoCollection Classical_logic.
- Classical_logic subject Category:Classical_logic.
- Classical_logic subject Category:Term_logic.
- 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 label "Klassieke logica".
- Classical_logic label "Klassische Logik".
- Classical_logic label "Logica classica".
- Classical_logic label "Logique classique".
- Classical_logic label "Lógica clássica".
- Classical_logic label "Классическая логика".
- Classical_logic label "古典論理".
- Classical_logic label "经典逻辑".
- Classical_logic sameAs Klassische_Logik.
- Classical_logic sameAs Logique_classique.
- Classical_logic sameAs Logica_classica.
- Classical_logic sameAs 古典論理.
- Classical_logic sameAs Klassieke_logica.
- Classical_logic sameAs Lógica_clássica.
- Classical_logic sameAs m.0fhpt.
- Classical_logic sameAs Q236975.
- Classical_logic sameAs Q236975.
- Classical_logic wasDerivedFrom Classical_logic?oldid=541383152.
- Classical_logic isPrimaryTopicOf Classical_logic.