About: Classical logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Class of formal logics

Property	Value
dbo:description	première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique (fr) branca della logica formale (it) class of formal logics (en) logische Systeme (de) sistema formal (es) variante máis común de lóxica dedutiva (gl) matematiksel mantıkta 19. yüzyılın sonundan itibaren geliştirilen ilk dil ve matematiksel akıl yürütme biçimlendirmesi (tr) 形式論理の部類 (ja)
dbo:thumbnail	wiki-commons:Special:FilePath/Begriffsschrift_Titel.png?width=300
dbo:wikiPageWikiLink	dbc:Classical_logic dbc:History_of_logic dbr:Non-classical_logic dbr:Term_logic dbr:Gottlob_Frege dbr:Principle_of_explosion dbr:John_Venn dbr:Monotonicity_of_entailment dbr:Stoic_logic dbr:Quantifier_(logic) dbr:Arithmetic dbr:Set_theory dbr:Bertrand_Russell dbr:First-order_logic dbr:Two-element_Boolean_algebra dbr:Algebraic_logic dbr:Propositional_calculus dbr:Propositional_logic dbr:Law_of_noncontradiction dbr:Ernst_Schröder_(mathematician) dbr:Existential_import dbr:Willard_Van_Orman_Quine dbr:Aristotle dbr:Giuseppe_Peano dbr:Begriffsschrift dbr:Boolean_algebra_(structure) dbr:Problem_of_multiple_generality dbc:Logic dbr:Geometry dbr:Ludwig_Wittgenstein dbr:Calculus_ratiocinator dbr:Classical_antiquity dbr:David_Hilbert dbr:Charles_Sanders_Peirce dbr:Principle_of_bivalence dbr:Augustus_De_Morgan dbr:Hugh_MacColl dbr:Logical_operator dbr:Boolean-valued_semantics dbr:George_Boole dbr:Law_of_excluded_middle dbr:Mathematical_logic dbr:Logicism dbr:Higher-order_logic dbr:Boolean_logic dbr:Analytic_philosophy dbr:Bernard_Bolzano dbr:Semantics dbr:Leibniz dbr:Jan_Łukasiewicz dbr:William_Stanley_Jevons dbr:Foundations_of_mathematics dbr:Commutativity_of_conjunction dbr:Idempotency_of_entailment dbr:A._N._Whitehead dbr:De_Morgan_duality dbr:File:Begriffsschrift_Titel.png dbr:Deductive_logic dbr:Double_negation_elimination dbr:Tractatus_Logico_Philosophicus
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Commons-inline dbt:Main dbt:Reflist dbt:Portal_bar dbt:ISBN dbt:Classical_logic dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Classical_logic dbc:History_of_logic dbc:Logic
rdfs:label	Classical logic (en) Lògica clàssica (ca) Klassische Logik (de) Klasika logiko (eo) Lógica clásica (es) Logique classique (fr) 古典論理 (ja) Logica classica (it) 고전 논리 (ko) Klassieke logica (nl) Lógica clássica (pt) Классическая логика (ru) Класична логіка (uk) Klassisk logik (sv) 经典逻辑 (zh)
owl:sameAs	freebase:Classical logic wikidata:Classical logic dbpedia-it:Classical logic dbpedia-nl:Classical logic dbpedia-de:Classical logic dbpedia-fr:Classical logic dbpedia-zh:Classical logic dbpedia-ja:Classical logic dbpedia-pt:Classical logic dbpedia-es:Classical logic dbpedia-fa:Classical logic dbpedia-ru:Classical logic dbpedia-sv:Classical logic dbpedia-ko:Classical logic dbpedia-et:Classical logic dbpedia-ca:Classical logic http://d-nb.info/gnd/4333219-5 dbpedia-eo:Classical logic dbpedia-mk:Classical logic dbpedia-sk:Classical logic dbpedia-tl:Classical logic dbpedia-uk:Classical logic dbpedia-global:Classical logic dbr:Classical logic
prov:wasDerivedFrom	wikipedia-en:Classical_logic?oldid=1266662201&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Begriffsschrift_Titel.png
foaf:isPrimaryTopicOf	wikipedia-en:Classical_logic
is dbo:notableIdea of	dbr:Gottlob_Frege__Gottlob_Frege__1
is dbo:wikiPageDisambiguates of	dbr:Classical
is dbo:wikiPageRedirects of	dbr:History_of_classical_logic dbr:Classical_logics dbr:Crisp_logic
is dbo:wikiPageWikiLink of	dbr:Admissible_rule dbr:Jean_Nicod dbr:Currying dbr:William_of_Soissons dbr:Non-classical_logic dbr:Wason_selection_task dbr:Principle_of_explosion dbr:Isaac_Watts dbr:Nicholas_Rescher dbr:Involution_(mathematics) dbr:Trivialism dbr:Simpson's_paradox dbr:Natural_deduction dbr:Consequentia_mirabilis dbr:Sequent_calculus dbr:Empty_product dbr:Paradoxes_of_material_implication dbr:Outline_of_philosophy dbr:Lambda_calculus dbr:SKI_combinator_calculus dbr:Quantifier_(logic) dbr:Rule_of_inference dbr:Minimal_logic dbr:Alexander_Fiske-Harrison dbr:Consistency dbr:Set_theory dbr:Bertrand_Russell dbr:Russell's_paradox dbr:Presuppositional_apologetics dbr:Paraconsistent_mathematics dbr:Quantum_economics dbr:Cut-elimination_theorem dbr:Strict_conditional dbr:Disjunctive_syllogism dbr:Conditional_sentence dbr:Proof_theory dbr:Philosophical_logic dbr:Philosophy_of_logic dbr:Satisfiability dbr:Type_theory dbr:Pluralism_(philosophy) dbr:Heyting_algebra dbr:Vacuous_truth dbr:Object_of_the_mind dbr:Conditioned_disjunction dbr:False_(logic) dbr:Friedman_translation dbr:Fuzzy_concept dbr:Bar_induction dbr:Handbook_of_Automated_Reasoning dbr:Deviant_logic dbr:Double-negation_translation dbr:Standard_logic dbr:Hermann_Weyl dbr:Susanne_Bobzien dbr:Cirquent_calculus dbr:Deductive_reasoning dbr:Rationality dbr:Modus_ponens dbr:Absorption_law dbr:Constructive_analysis dbr:Logic dbr:Dialetheism dbr:Vagueness dbr:Quantum_logic dbr:Index_of_philosophy_articles_(A–C) dbr:Inhabited_set dbr:Ivan_Orlov_(philosopher) dbr:Psychologism dbr:Lindenbaum–Tarski_algebra dbr:Linear_logic dbr:Substructural_logic dbr:Smooth_infinitesimal_analysis dbr:Calculus_of_structures dbr:Call-with-current-continuation dbr:Implicational_propositional_calculus dbr:Index_of_logic_articles dbr:Principle_of_distributivity dbr:Propositional_proof_system dbr:Dialectic dbr:Euclidean_geometry dbr:Intuitionistic_logic dbr:Psychology_of_reasoning dbr:Relevance_logic dbr:Interpretation_(logic) dbr:Annihilation_(disambiguation) dbr:Alan_Ross_Anderson dbr:Truth-bearer dbr:MINLOG dbr:Lambda-mu_calculus dbr:Hilbert–Bernays_paradox dbr:Kurt_Gödel dbr:Contradiction dbr:Material_nonimplication dbr:Paraconsistent_logic dbr:Argumentation_scheme dbr:Double_negation dbr:Logical_connective dbr:Many-valued_logic dbr:Negation dbr:Principle_of_bivalence dbr:Truth_value dbr:Continuum_hypothesis dbr:Shield_of_the_Trinity dbr:Fred_Sommers dbr:Truth_function dbr:Nuel_Belnap dbr:Glossary_of_areas_of_mathematics dbr:Pseudo-order dbr:The_Missing_Shade_of_Blue dbr:Free_choice_inference dbr:Material_conditional dbr:Fuzzy_logic dbr:Logical_equivalence dbr:Continuation-passing_style dbr:Method_of_analytic_tableaux dbr:B,_C,_K,_W_system dbr:Modus_tollens dbr:Mizar_system dbr:Higher-order_logic dbr:Hypothetical_syllogism dbr:Steiner–Lehmus_theorem dbr:Indian_logic dbr:Complete_theory dbr:Free_logic dbr:Branching_quantifier dbr:CADE_ATP_System_Competition dbr:CARINE dbr:Apartness_relation dbr:Prenex_normal_form dbr:De_Morgan's_laws dbr:Proof_by_contradiction dbr:Constructivism_(philosophy_of_mathematics) dbr:Vampire_(theorem_prover) dbr:Is_Logic_Empirical? dbr:Literal_(mathematical_logic) dbr:Intermediate_logic dbr:Second-order_propositional_logic dbr:Fatalism dbr:Glossary_of_mathematical_symbols dbr:Dempster–Shafer_theory dbr:Jan_Łukasiewicz dbr:Curry–Howard_correspondence dbr:Logical_disjunction dbr:Counterfactual_conditional dbr:Bunched_logic dbr:Church's_thesis_(constructive_mathematics) dbr:Commutativity_of_conjunction dbr:Preface_paradox dbr:Classical dbr:Law_of_thought dbr:Classical_mathematics dbr:Remote_sensing_(geology) dbr:Computability_logic dbr:Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) dbr:Ice_(Dukaj_novel) dbr:Reason_maintenance dbr:Łoś–Vaught_test dbr:Modal_algebra dbr:Monoidal_t-norm_logic dbr:Heyting_field dbr:Drinker_paradox dbr:Quasi-set_theory dbr:No–no_paradox dbr:Import–export_(logic) dbr:Outline_of_logic dbr:An_Introduction_to_the_Philosophy_of_Mathematics dbr:Buddhist_logico-epistemology dbr:The_Law_of_Non-Contradiction dbr:Carlo_Dalla_Pozza dbr:Schrödinger_logic dbr:Logic:_The_Laws_of_Truth dbr:Ian_Rumfitt dbr:Knower_paradox dbr:Game_semantics dbr:HOL_(proof_assistant) dbr:Supervaluationism dbr:History_of_classical_logic dbr:Classical_logics dbr:Crisp_logic dbr:List_of_Hilbert_systems
is dbp:notableIdeas of	dbr:Gottlob_Frege
is foaf:primaryTopic of	wikipedia-en:Classical_logic