About: Logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Logic
skos:broader	dbpedia:Category:Interdisciplinary_fields dbpedia:Category:Abstraction dbpedia:Category:Formal_sciences dbpedia:Category:Mathematics dbpedia:Category:Branches_of_philosophy dbpedia:Category:Mathematics]]_only_subcategory_[[Category:Mathematical_logic
skos:prefLabel	Logic
is skos:broader of	dbpedia:Category:Buddhist_logic dbpedia:Category:History_of_logic dbpedia:Category:Logic_conferences dbpedia:Category:Logic_families dbpedia:Category:Non-classical_logic dbpedia:Category:Philosophical_logic dbpedia:Category:Theorems dbpedia:Category:Engineered_languages dbpedia:Category:Latin_logical_phrases dbpedia:Category:Supertasks dbpedia:Category:Critical_thinking dbpedia:Category:Logical_fallacies dbpedia:Category:Mathematics dbpedia:Category:Theories_of_deduction dbpedia:Category:Wikipedia:Books_on_logic dbpedia:Category:Arguments dbpedia:Category:Dialectic dbpedia:Category:Dichotomies dbpedia:Category:Logic_Portal dbpedia:Category:Logic_books dbpedia:Category:Logic_puzzles dbpedia:Category:Logic_to_do dbpedia:Category:Logicians dbpedia:Category:Mathematical_logic dbpedia:Category:Metalogic
is skos:subject of	dbpedia:Abductive_reasoning dbpedia:Common_sense dbpedia:Syllogism dbpedia:Inductive_reasoning dbpedia:Reasoning dbpedia:Relevance dbpedia:Affirming_the_consequent dbpedia:Connotation dbpedia:Inference dbpedia:Dichotomy dbpedia:Logical_equivalence dbpedia:Proof_theory dbpedia:Apophasis dbpedia:Predicate_(grammar) dbpedia:Law_of_excluded_middle dbpedia:Assertoric dbpedia:Term_logic dbpedia:Doxastic_logic dbpedia:Function_and_Concept dbpedia:Chicken_or_the_egg dbpedia:Hume's_principle dbpedia:Digital_timing_diagram dbpedia:Contraposition dbpedia:Soundness dbpedia:Münchhausen_Trilemma dbpedia:Pragmatic_maxim dbpedia:Resolution_(logic) dbpedia:Abjunction dbpedia:Algebraic_logic dbpedia:Ariadne's_thread_(logic) dbpedia:Axiom_independence dbpedia:Barcan_formula dbpedia:Circumscription_(taxonomy) dbpedia:Conflation dbpedia:Exclusive dbpedia:Indirect_self-reference dbpedia:Informal_logic dbpedia:One-sided_argument dbpedia:Statement_(logic) dbpedia:Transposition_(logic) dbpedia:Chain_of_events dbpedia:Chu_space dbpedia:Cointerpretability dbpedia:Condensed_detachment dbpedia:Conditional_disjunction dbpedia:Connexive_logic dbpedia:Consequent dbpedia:Constructive_dilemma dbpedia:Cotolerant_sequence dbpedia:Counterintuitive dbpedia:Cratylism dbpedia:Degree_of_truth dbpedia:Dialectica_space dbpedia:Dictum_de_omni_et_nullo dbpedia:Distribution_rule dbpedia:Empty_name dbpedia:Enumerative_definition dbpedia:Erotetics dbpedia:Finitary_relation dbpedia:Formal_fallacy dbpedia:Functional_decomposition dbpedia:Herbrandization dbpedia:Hetucakra dbpedia:Hypostatic_abstraction dbpedia:Intension dbpedia:Intensional_fallacy dbpedia:Jacobus_Naveros dbpedia:Logic_of_information dbpedia:Logical_implication dbpedia:Minimal_negation_operator dbpedia:Misconception dbpedia:Multiple-conclusion_logic dbpedia:Proposition dbpedia:Axiom dbpedia:Counterexample dbpedia:Logic dbpedia:Mathematical_logic dbpedia:Canonical_form dbpedia:Quantification dbpedia:Objectivity_(philosophy) dbpedia:Truth_value dbpedia:Cigarette_smokers_problem dbpedia:Reflexive_relation dbpedia:Description_logic dbpedia:Deduction_theorem dbpedia:Clause_(logic) dbpedia:Don't-care_(logic) dbpedia:Grelling–Nelson_paradox dbpedia:Megarian_school dbpedia:Metamathematics dbpedia:Predicables dbpedia:RAS_syndrome dbpedia:Principle_of_contradiction dbpedia:Logical_equality dbpedia:Abacus_logic dbpedia:Affine_logic dbpedia:Antepredicament dbpedia:Argument_map dbpedia:Barbershop_paradox dbpedia:Logical_NOR dbpedia:Extensional_definition dbpedia:Fitch's_paradox_of_knowability dbpedia:Biconditional_introduction dbpedia:Conditional_proof dbpedia:Continuous_predicate dbpedia:Contraposition_(traditional_logic) dbpedia:Cyclic_negation dbpedia:Denying_the_antecedent dbpedia:Doxa dbpedia:Equisatisfiability dbpedia:Fallacy_of_distribution dbpedia:Fitch-style_calculus dbpedia:Formalism_(philosophy) dbpedia:Harrop_formula dbpedia:Informal_fallacy dbpedia:Intensional_logic dbpedia:Introduction_to_boolean_algebra dbpedia:Is_logic_empirical? dbpedia:Just-so_story dbpedia:Kurt_Gödel_Society dbpedia:Lexical_definition dbpedia:Logica_nova dbpedia:Logical_form dbpedia:Logical_graph dbpedia:Meta-sentence dbpedia:Natural_kind dbpedia:Neutrality_(philosophy) dbpedia:Reason dbpedia:Logical_disjunction dbpedia:Peano_axioms dbpedia:Epicureanism dbpedia:Burden_of_proof dbpedia:Lateral_thinking dbpedia:If_and_only_if dbpedia:Apodicticity dbpedia:Boolean_logic dbpedia:Exclusive_or dbpedia:Generalization dbpedia:Philosophy_of_logic dbpedia:Contradiction dbpedia:As_I_was_going_to_St_Ives dbpedia:Logical_biconditional dbpedia:Curry's_paradox dbpedia:Law_of_thought dbpedia:Double_negative dbpedia:Existential_graph dbpedia:Free_variables_and_bound_variables dbpedia:Classical_logic dbpedia:Laws_of_Form dbpedia:Linear_partial_information dbpedia:Linear_temporal_logic dbpedia:Multi-valued_logic dbpedia:Monotonicity_of_entailment dbpedia:Rule_of_inference dbpedia:Charles_Sanders_Peirce_bibliography dbpedia:Structural_induction dbpedia:Supposition_theory dbpedia:Forward_chaining dbpedia:Truth_function dbpedia:Ad_captandum dbpedia:Antecedent_(logic) dbpedia:Atomic_action dbpedia:Atomic_sentence dbpedia:Gain_(information_retrieval) dbpedia:Law_of_identity dbpedia:Symbolic_logic dbpedia:Proof_procedure dbpedia:Quantization_(linguistics) dbpedia:Combinational_logic dbpedia:Commutativity_of_conjunction dbpedia:Composition_of_Causes dbpedia:Conditional_quantifier dbpedia:Definitions_of_logic dbpedia:Diagrammatic_reasoning dbpedia:Difference_(philosophy) dbpedia:Disjunction_elimination dbpedia:Entitative_graph dbpedia:Evolutionary_logic dbpedia:Formal_semantics dbpedia:Forward_thinking dbpedia:History_of_logic dbpedia:Idempotency_of_entailment dbpedia:Index_of_logic_articles dbpedia:Intended_interpretation dbpedia:Intensional_definition dbpedia:Intensional_statement dbpedia:Inverse_consequences dbpedia:List_of_paradoxes dbpedia:Logic_alphabet dbpedia:Logical_extreme dbpedia:Logical_harmony dbpedia:Löb's_theorem dbpedia:Markov's_principle dbpedia:Mutually_exclusive_events dbpedia:Non-Aristotelian_logic dbpedia:Non-logical_symbol dbpedia:Open_coloring_axiom dbpedia:Performative_contradiction dbpedia:Concept dbpedia:Critical_thinking dbpedia:Polarity_item dbpedia:Analogy dbpedia:Logical_connective dbpedia:Operator dbpedia:Oxymoron dbpedia:Pleonasm dbpedia:Redundancy_(language) dbpedia:Subjectivity dbpedia:Antinomy dbpedia:Argument dbpedia:Self-reference dbpedia:Logical_conjunction dbpedia:De_Morgan's_laws dbpedia:Existential_quantification dbpedia:Argumentation_theory dbpedia:A_fortiori_argument dbpedia:Porphyrian_tree dbpedia:Game_semantics dbpedia:Ternary_logic dbpedia:Inquiry dbpedia:Eristic dbpedia:Principle_of_explosion dbpedia:Fluidics dbpedia:Formal_ontology dbpedia:Boolean_algebra_(logic) dbpedia:Boolean_network dbpedia:Isagoge dbpedia:Modus_tollendo_ponens dbpedia:Nixon_diamond dbpedia:AND-OR-Invert dbpedia:Anangeon dbpedia:Belief_revision dbpedia:Case_analysis dbpedia:Catch-22_(logic) dbpedia:Ontological_commitment dbpedia:Conversion_(logic) dbpedia:Defeasible_reasoning dbpedia:Hazard_(logic) dbpedia:Biconditional_elimination dbpedia:Canonical_form_(Boolean_algebra) dbpedia:Relation_reduction dbpedia:Catuṣkoṭi dbpedia:Classical_modal_logic dbpedia:Common_knowledge_(logic) dbpedia:Comparability dbpedia:Colorless_green_ideas_sleep_furiously dbpedia:Conjunction_introduction dbpedia:Cumulativity dbpedia:Defeasible_logic dbpedia:Disjunction_introduction dbpedia:Double_negative_elimination dbpedia:Downward_entailing dbpedia:Explanandum dbpedia:Extensional_context dbpedia:Fallacy_of_four_terms dbpedia:Finite_model_property dbpedia:Formal_epistemology dbpedia:HPO_formalism dbpedia:Inconsistent_triad dbpedia:Insolubilia dbpedia:Law_of_contraries dbpedia:Logical_reasoning dbpedia:Logonym dbpedia:Multigrade_operator dbpedia:Multimodal_logic dbpedia:Non-monotonic_logic dbpedia:Obversion dbpedia:Original_proof_of_Gödel's_completeness_theorem dbpedia:Peirce's_law dbpedia:Perceptual_paradox dbpedia:Practical_arguments dbpedia:Pragmatic_theory_of_truth dbpedia:Predicate_abstraction dbpedia:Presupposition_(philosophy) dbpedia:Quasi-syllogism dbpedia:Self-refuting_idea dbpedia:Ship_of_Theseus dbpedia:Statistical_syllogism dbpedia:Status_paradox dbpedia:Supertask dbpedia:Tetralemma dbpedia:Term_logic/Danielsavoiu's_summary dbpedia:Universal_logic dbpedia:Toulmin_method dbpedia:Truth-value_semantics dbpedia:Truth_condition dbpedia:Univocity dbpedia:Nonfirstorderizability dbpedia:Object_of_the_mind dbpedia:Ontic dbpedia:Ostensive_definition dbpedia:Outline_of_logic dbpedia:Persuasive_definition dbpedia:Precising_definition dbpedia:Principle_of_nonvacuous_contrast dbpedia:Probabilistic_argumentation dbpedia:Probabilistic_logic dbpedia:Propositional_representation dbpedia:Retroduction dbpedia:Round_square_copula