About: Outline of logic

Property	Value
dbo:description	overview of and topical guide to logic (en)
dbo:wikiPageExternalLink	http://legacy.earlham.edu/~peters/courses/log/transtip.htm http://kpaprzycka.swps.edu.pl/xLogicSelfTaught/LogicSelfTaught.html http://www.think-logically.co.uk/lt.htm http://etext.lib.virginia.edu/DicHist/analytic/anaVII.html http://www.fallacyfiles.org/taxonomy.html http://www.fecundity.com/logic/
dbo:wikiPageWikiLink	dbr:Axiomatic_system dbr:Axiomatization dbr:Post_correspondence_problem dbr:Constructible_universe dbr:Primitive_recursive_function dbr:Tetralemma dbr:Multiset dbr:Ambiguity dbr:Predicate_(mathematical_logic) dbr:Polylogism dbr:Practical_syllogism dbr:Explanatory_power dbr:Plural_quantification dbr:Noncommutative_logic dbr:Nonfirstorderizability dbr:Congruence_relation dbr:Predicate_variable dbr:Index_set dbr:List_of_undecidable_problems dbr:Aristotelian_logic dbr:Classical_logic dbr:Non-classical_logic dbr:Term_logic dbr:Accuracy_and_precision dbc:Mathematics-related_lists dbr:Finite_set dbr:Logic_programming dbr:Decidophobia dbr:Principle_of_explosion dbr:Formalism_(philosophy) dbr:Disjoint_sets dbr:Polish_notation dbr:Soundness dbr:Enumeration dbr:True_quantified_Boolean_formula dbr:Trivialism dbr:Sophistical_Refutations dbr:Degree_of_truth dbr:Cognitive_bias dbr:Self-reference dbr:Uncountable_set dbr:Range_of_a_function dbr:Categorial_grammar dbr:Port-Royal_Logic dbr:Monotonicity_of_entailment dbr:Philosophy dbr:Complement_(set_theory) dbr:Countable_set dbr:Field_of_sets dbr:Function_composition dbr:Lambda_calculus dbr:Variable_(mathematics) dbr:Cantor's_diagonal_argument dbr:Combinatory_categorial_grammar dbr:The_Foundations_of_Arithmetic dbr:Association_for_Symbolic_Logic dbr:Bias dbr:Language,_Truth,_and_Logic dbr:Deflationary_theory_of_truth dbc:Outlines_of_mathematics_and_logic dbr:Resolution_(logic) dbr:Validity_(logic) dbr:Löwenheim–Skolem_theorem dbr:Recursively_enumerable_language dbr:Rule_of_inference dbr:Categories_(Aristotle) dbr:Generalized_quantifier dbr:Denying_the_antecedent dbr:Composition_of_relations dbr:Peirce's_law dbr:Syntax_(logic) dbr:Existential_fallacy dbr:Parity_function dbr:Truth_condition dbr:List_of_philosophers_of_language dbr:Minimal_logic dbr:Consistency dbr:Empty_function dbr:History_of_logic dbr:Set_theory dbr:Dispositional_and_occurrent_belief dbr:First-order_logic dbr:Natural_language dbr:Russell's_paradox dbr:Set_(mathematics) dbr:Sorites_paradox dbr:Outline_of_discrete_mathematics dbr:Pragmatism dbr:Reference dbr:Cardinal_number dbr:Principia_Mathematica dbr:Pointed_set dbr:Two-element_Boolean_algebra dbr:Deontic_logic dbr:Logical_consequence dbr:Non-monotonic_logic dbr:Strict_conditional dbr:Recursive_language dbr:Description_logic dbr:Confirmation_bias dbr:Decidability_(logic) dbr:Disjunctive_syllogism dbr:The_Art_of_Being_Right dbr:Identity_(mathematics) dbr:Atomic_formula dbr:Codomain dbr:Conceptualism dbr:Finitary_relation dbr:Nominalism dbr:Proof_theory dbr:Propositional_calculus dbr:Propositional_logic dbr:Truth_table dbr:Zeroth-order_logic dbr:Philosophical_logic dbr:Philosophy_of_logic dbr:Evidence dbr:Exclusive_or dbr:Organon dbr:Law_of_noncontradiction dbr:Contingency_(philosophy) dbr:List_of_paradoxes dbr:Satisfiability dbr:Type_theory dbr:Free_variables_and_bound_variables dbr:Sufficient_condition dbr:Metalogic dbr:Propositional_formula dbr:Logical_atomism dbr:Metatheorem dbr:Metatheory dbr:Possible_world dbr:Topics_(Aristotle) dbr:Dependency_relation dbr:Prudence dbr:Singleton_(mathematics) dbr:Quantum_logic_gate dbr:Source_criticism dbr:Functional_completeness dbr:Boolean_ring dbr:Independence_(mathematical_logic) dbr:Conditioned_disjunction dbr:Formal_semantics_(natural_language) dbr:Counterpart_theory dbr:Covering_relation dbr:Deviant_logic dbr:Partial_equivalence_relation dbr:Linear_temporal_logic_to_Büchi_automaton dbr:Linguistics_and_Philosophy dbr:Argumentation_theory dbr:Baralipton dbr:End_term dbr:Middle_term dbr:Proposition dbr:Statement_(logic) dbr:Syllogism dbr:Syllogistic_fallacy dbr:Inference dbr:Rigour dbr:Deductive_reasoning dbr:Paradox dbr:Posterior_Analytics dbr:Prior_Analytics dbr:Deductive_system dbr:Formal_system dbr:Mereology dbr:Modus_ponens dbr:Tractatus_Logico-Philosophicus dbr:Well-formed_formula dbr:Gödel's_completeness_theorem dbr:Preorder dbr:Absorption_law dbr:Computable_function dbr:Sentence_(mathematical_logic) dbr:Principles_of_Mathematical_Logic dbr:Infinity dbr:Logic dbr:Mathematics dbr:Propaganda dbr:Abductive_reasoning dbr:Church–Turing_thesis dbr:Effective_method dbr:Domain_of_a_function dbr:Formal_language dbr:Inverse_function dbr:Logical_conjunction dbr:Metalanguage dbr:Ordered_pair dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Modal_logic dbr:Tautology_(logic) dbr:Dialetheism dbr:Vagueness dbr:Contraposition_(traditional_logic) dbr:Presupposition dbr:Relevance dbr:Transposition_(logic) dbr:Partial_function dbr:Description dbr:Quantum_logic dbr:Extension_(predicate_logic) dbr:Free_Boolean_algebra dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Bijection,_injection_and_surjection dbr:Infinitary_logic dbr:Intensional_logic dbr:Psychologism dbr:Computation dbr:Coreflexive_relation dbr:Halting_problem dbr:Reflexive_relation dbr:Symmetric_relation dbr:Doxastic_logic dbr:Post's_theorem dbr:Completeness_(logic) dbr:Begriffsschrift dbr:Computability_theory dbr:Formal_science dbr:Disjoint_union dbr:Linear_logic dbr:Relation_algebra dbr:Socratic_method dbr:Substructural_logic dbr:Implicant dbr:Propaganda_techniques dbr:Symmetric_Boolean_function dbr:List_of_first-order_theories dbr:Boolean_algebra_(structure) dbr:Categorical_logic dbr:Emotional_reasoning dbr:Index_of_logic_articles dbr:Prewellordering dbr:Projection_(set_theory) dbr:Belief dbc:Logic dbc:Mathematical_logic dbr:Explanation dbr:Formal_logic dbr:Game_theory dbr:Idempotence dbr:Probability dbr:Probability_theory dbr:Truth dbr:Arithmetical_set dbr:Identity_(philosophy) dbr:Logical_NOR dbr:Analysis dbr:Decision_theory dbr:Inductive_reasoning dbr:Intuitionistic_logic dbr:Proper_subset dbr:Proper_superset dbr:Reason dbr:Reasoning dbr:Relevance_logic dbr:Subset dbr:Superset dbr:Type–token_distinction dbr:Interpretation_(logic) dbr:Structure_(mathematical_logic) dbr:Extensionality dbr:Forcing_(mathematics) dbr:Converse_relation dbr:Formal_proof dbr:Square_of_opposition dbr:Baroco dbr:Socratic_dialogue dbr:Logical_hexagon dbr:Montague_grammar dbr:Informal_fallacy dbr:Logical_truth dbr:Non-standard_model dbr:Deductive_closure dbr:Euclidean_relation dbr:Meaning_(non-linguistic) dbr:Conjunction_elimination dbr:Axiom dbr:Computer_science dbr:Critical_thinking dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Antecedent_(logic) dbr:Antinomy dbr:Consequent dbr:Provability_logic dbr:Recursion_(computer_science) dbr:Name dbr:Rhetoric dbr:Definition dbr:Metasyntactic_variable dbr:Contradiction dbr:Ramism dbr:Binary_relation dbr:Equivalence_relation dbr:Occam's_razor dbr:Partition_of_a_set dbr:Enthymeme dbr:Material_nonimplication dbr:Paraconsistent_logic
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Main dbt:Reflist dbt:Logic dbt:Logical_connectives dbt:Sister_project_links dbt:Outlines dbt:Short_description
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1
dct:subject	dbc:Mathematics-related_lists dbc:Outlines_of_mathematics_and_logic dbc:Outlines dbc:Logic dbc:Mathematical_logic
rdfs:label	Outline of logic (en)
owl:sameAs	freebase:Outline of logic yago-res:Outline of logic wikidata:Outline of logic dbpedia-global:Outline of logic
prov:wasDerivedFrom	wikipedia-en:Outline_of_logic?oldid=1284978243&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Outline_of_logic
is dbo:wikiPageRedirects of	dbr:Foundations_of_logic dbr:Outline_of_Logic dbr:Outline_of_formal_logic dbr:Outline_of_philosophical_logic dbr:List_of_basic_Logic_topics dbr:List_of_basic_logic_topics dbr:List_of_basic_topics_in_logic dbr:List_of_logic_topics dbr:List_of_topics_in_logic dbr:Logic_Education dbr:Topic_outline_of_logic dbr:Topical_outline_of_logic
is dbo:wikiPageWikiLink of	dbr:Outline_of_philosophy dbr:Universal_Decimal_Classification dbr:Index_of_philosophy_articles_(I–Q) dbr:Library_of_Congress_Classification dbr:Index_of_philosophy dbr:Index_of_logic_articles dbr:Outline_of_academic_disciplines dbr:Bliss_bibliographic_classification dbr:List_of_academic_fields dbr:Foundations_of_logic dbr:Outline_of_Logic dbr:Outline_of_formal_logic dbr:Outline_of_philosophical_logic dbr:List_of_basic_Logic_topics dbr:List_of_basic_logic_topics dbr:List_of_basic_topics_in_logic dbr:List_of_logic_topics dbr:List_of_topics_in_logic dbr:Logic_Education dbr:Topic_outline_of_logic dbr:Topical_outline_of_logic
is foaf:primaryTopic of	wikipedia-en:Outline_of_logic