Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Logic
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
693678
(xsd:integer)
dbo:
wikiPageRevisionID
1111754493
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons_category
dbt
:Portal
dbt
:See_also
dbt
:Cat_main
dbt
:Category-Logic/header
dbt
:Diffusecat
rdf:
type
skos
:Concept
rdfs:
label
Logic
(en)
skos:
broader
dbc
:Formal_sciences
dbc
:Branches_of_philosophy
skos:
prefLabel
Logic
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Logic?oldid=1111754493&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Canonical_normal_form
dbr
:Belief_revision
dbr
:Enumerative_definition
dbr
:Modal_logic
dbr
:Münchhausen_trilemma
dbr
:Metamathematics
dbr
:Metatheory
dbr
:Ontological_commitment
dbr
:Principle_of_bivalence
dbr
:Deductive_reasoning
dbr
:Antepredicament
dbr
:Apophasis
dbr
:Argument_map
dbr
:Argumentation_theory
dbr
:Persuasive_definition
dbr
:Relevance
dbr
:Unspoken_rule
dbr
:Defeasible_reasoning
dbr
:Definable_set
dbr
:Degree_of_truth
dbr
:Dynamic_semantics
dbr
:Inclusion_(logic)
dbr
:Index_of_logic_articles
dbr
:Inference
dbr
:Infinite-valued_logic
dbr
:Informal_logic
dbr
:Inverse_consequences
dbr
:Logical_abacus
dbr
:Lewis's_triviality_result
dbr
:Lexical_definition
dbr
:Simple_non-inferential_passage
dbr
:Truth-bearer
dbr
:Penrose–Lucas_argument
dbr
:Post's_lattice
dbr
:Pragmatic_mapping
dbr
:Psychology_of_reasoning
dbr
:Propositional_representation
dbr
:Syncategorematic_term
dbr
:The_Game_of_Logic
dbr
:Colorless_green_ideas_sleep_furiously
dbr
:Erotetics
dbr
:Geometric_logic
dbr
:Neutrality_(philosophy)
dbr
:Normal_form_(natural_deduction)
dbr
:Pragmatic_theory_of_truth
dbr
:Universal_logic
dbr
:Concatenation_theory
dbr
:Conceptions_of_logic
dbr
:Condensed_detachment
dbr
:Conditional_proof
dbr
:Conflation
dbr
:Equality-generating_dependency
dbr
:Principle_of_nonvacuous_contrast
dbr
:Ostensive_definition
dbr
:Ariadne's_thread_(logic)
dbr
:Linear_logic
dbr
:Logic
dbr
:Logic_and_rationality
dbr
:Ship_of_Theseus
dbr
:Composition_of_Causes
dbr
:Zeno_of_Citium
dbr
:Embedded_dependency
dbr
:Empty_name
dbr
:Tacit_assumption
dbr
:Polarity_item
dbr
:Speculative_reason
dbr
:Transferable_belief_model
dbr
:Markov's_principle
dbr
:Matching_logic
dbr
:Mutual_knowledge_(logic)
dbr
:Austrian_Ludwig_Wittgenstein_Society
dbr
:Autological_word
dbr
:Trikonic
dbr
:What_the_Tortoise_Said_to_Achilles
dbr
:HPO_formalism
dbr
:Law_of_identity
dbr
:Logic_and_dialectic
dbr
:Logic_games
dbr
:Logic_of_argumentation
dbr
:Logic_of_information
dbr
:Logic_programming
dbr
:Logical_extreme
dbr
:Logical_harmony
dbr
:Logical_intuition
dbr
:Logical_pluralism
dbr
:Logical_reasoning
dbr
:Logos
dbr
:Multiple-conclusion_logic
dbr
:Non-monotonic_logic
dbr
:Diagrammatic_reasoning
dbr
:Dialectica_space
dbr
:Dialogical_logic
dbr
:Dichotomy
dbr
:Digital_timing_diagram
dbr
:Discourse_representation_theory
dbr
:Fluidics
dbr
:Focused_proof
dbr
:Formal_ontology
dbr
:Forward_chaining
dbr
:Graphoid
dbr
:History_of_logic
dbr
:Logical_determinism
dbr
:Mutual_exclusivity
dbr
:Potentiality_and_actuality
dbr
:Quantifier_(logic)
dbr
:Quantization_(linguistics)
dbr
:Regular_modal_logic
dbr
:International_Wittgenstein_Symposium
dbr
:Counterexample
dbr
:Cratylism
dbr
:Hurford_disjunction
dbr
:Social_software_(research_field)
dbr
:Language,_Proof_and_Logic
dbr
:Birkhoff's_theorem_(equational_logic)
dbr
:Superassertibility
dbr
:Superassertible
dbr
:Herbrandization
dbr
:Term_logic
dbr
:Train_of_thought
dbr
:Witness_(mathematics)
dbr
:Topical_logic
dbr
:Soku_hi
dbr
:Reactive_synthesis
dbr
:System_F
dbr
:Difference_(philosophy)
dbr
:Don't-care_term
dbr
:Axiom
dbr
:Boolean_network
dbr
:Philosophical_analysis
dbr
:Circumscription_(taxonomy)
dbr
:Classical_logic
dbr
:Free_choice_inference
dbr
:Freethought
dbr
:Warrant_(logic)
dbr
:Inductive_reasoning
dbr
:Mind
dbr
:Narrative_logic
dbr
:Original_proof_of_Gödel's_completeness_theorem
dbr
:Canon_(basic_principle)
dbr
:Catch-22_(logic)
dbr
:Certainty
dbr
:Self-reference
dbr
:Self-refuting_idea
dbr
:Loosely_associated_statements
dbr
:Pragmatic_maxim
dbr
:Vagrant_predicate
dbr
:Extensional_and_intensional_definitions
dbr
:Extensional_context
dbr
:Extensionalism
dbr
:Imperative_logic
dbr
:Natural_kind
dbr
:Philosophical_logic
dbr
:Object_of_the_mind
dbr
:Window_operator
dbr
:Theoretical_definition
dbr
:Existential_graph
dbr
:Finite-valued_logic
dbr
:Finite_game
dbr
:Finite_model_property
dbr
:Schrödinger_logic
dbr
:Rational_fideism
dbr
:Morton's_fork
dbr
:Nonfirstorderizability
dbr
:Tetralemma
dbr
:Vacuous_truth
dbr
:Valuation-based_system
dbr
:Simplification_of_disjunctive_antecedents
dbr
:Vector_logic
dbr
:Warnier/Orr_diagram
dbr
:Non-classical_logic
dbr
:Philosophy_of_logic
dbr
:Vaisheshika
dbr
:Tuple-generating_dependency
dbr
:Zhegalkin_polynomial
dbr
:World_Logic_Day
dbr
:Outline_of_logic
dbr
:Situational_logic
dbr
:Testability
is
dcterms:
subject
of
dbr
:Canonical_normal_form
dbr
:Belief_revision
dbr
:Enumerative_definition
dbr
:Modal_logic
dbr
:Münchhausen_trilemma
dbr
:Metamathematics
dbr
:Metatheory
dbr
:Ontological_commitment
dbr
:Principle_of_bivalence
dbr
:Deductive_reasoning
dbr
:Antepredicament
dbr
:Apophasis
dbr
:Argument_map
dbr
:Argumentation_theory
dbr
:Persuasive_definition
dbr
:Relevance
dbr
:Unspoken_rule
dbr
:Defeasible_reasoning
dbr
:Definable_set
dbr
:Degree_of_truth
dbr
:Dynamic_semantics
dbr
:Inclusion_(logic)
dbr
:Index_of_logic_articles
dbr
:Inference
dbr
:Infinite-valued_logic
dbr
:Informal_logic
dbr
:Inverse_consequences
dbr
:Logical_abacus
dbr
:Lewis's_triviality_result
dbr
:Lexical_definition
dbr
:Simple_non-inferential_passage
dbr
:Truth-bearer
dbr
:Penrose–Lucas_argument
dbr
:Post's_lattice
dbr
:Pragmatic_mapping
dbr
:Psychology_of_reasoning
dbr
:Propositional_representation
dbr
:Syncategorematic_term
dbr
:The_Game_of_Logic
dbr
:Colorless_green_ideas_sleep_furiously
dbr
:Erotetics
dbr
:Geometric_logic
dbr
:Neutrality_(philosophy)
dbr
:Normal_form_(natural_deduction)
dbr
:Pragmatic_theory_of_truth
dbr
:Universal_logic
dbr
:Concatenation_theory
dbr
:Conceptions_of_logic
dbr
:Condensed_detachment
dbr
:Conditional_proof
dbr
:Conflation
dbr
:Equality-generating_dependency
dbr
:Principle_of_nonvacuous_contrast
dbr
:Ostensive_definition
dbr
:Ariadne's_thread_(logic)
dbr
:Linear_logic
dbr
:Logic
dbr
:Logic_and_rationality
dbr
:Ship_of_Theseus
dbr
:Composition_of_Causes
dbr
:Zeno_of_Citium
dbr
:Embedded_dependency
dbr
:Empty_name
dbr
:Tacit_assumption
dbr
:Polarity_item
dbr
:Speculative_reason
dbr
:Transferable_belief_model
dbr
:Markov's_principle
dbr
:Matching_logic
dbr
:Mutual_knowledge_(logic)
dbr
:Austrian_Ludwig_Wittgenstein_Society
dbr
:Autological_word
dbr
:Trikonic
dbr
:What_the_Tortoise_Said_to_Achilles
dbr
:HPO_formalism
dbr
:Law_of_identity
dbr
:Logic_and_dialectic
dbr
:Logic_games
dbr
:Logic_of_argumentation
dbr
:Logic_of_information
dbr
:Logic_programming
dbr
:Logical_extreme
dbr
:Logical_harmony
dbr
:Logical_intuition
dbr
:Logical_pluralism
dbr
:Logical_reasoning
dbr
:Logos
dbr
:Multiple-conclusion_logic
dbr
:Non-monotonic_logic
dbr
:Diagrammatic_reasoning
dbr
:Dialectica_space
dbr
:Dialogical_logic
dbr
:Dichotomy
dbr
:Digital_timing_diagram
dbr
:Discourse_representation_theory
dbr
:Fluidics
dbr
:Focused_proof
dbr
:Formal_ontology
dbr
:Forward_chaining
dbr
:Graphoid
dbr
:History_of_logic
dbr
:Logical_determinism
dbr
:Mutual_exclusivity
dbr
:Potentiality_and_actuality
dbr
:Quantifier_(logic)
dbr
:Quantization_(linguistics)
dbr
:Regular_modal_logic
dbr
:International_Wittgenstein_Symposium
dbr
:Counterexample
dbr
:Cratylism
dbr
:Hurford_disjunction
dbr
:Social_software_(research_field)
dbr
:Language,_Proof_and_Logic
dbr
:Birkhoff's_theorem_(equational_logic)
dbr
:Superassertibility
dbr
:Superassertible
dbr
:Herbrandization
dbr
:Term_logic
dbr
:Train_of_thought
dbr
:Witness_(mathematics)
dbr
:Topical_logic
dbr
:Soku_hi
dbr
:Reactive_synthesis
dbr
:System_F
dbr
:Difference_(philosophy)
dbr
:Don't-care_term
dbr
:Axiom
dbr
:Boolean_network
dbr
:Philosophical_analysis
dbr
:Circumscription_(taxonomy)
dbr
:Classical_logic
dbr
:Free_choice_inference
dbr
:Freethought
dbr
:Warrant_(logic)
dbr
:Inductive_reasoning
dbr
:Mind
dbr
:Narrative_logic
dbr
:Original_proof_of_Gödel's_completeness_theorem
dbr
:Canon_(basic_principle)
dbr
:Catch-22_(logic)
dbr
:Certainty
dbr
:Self-reference
dbr
:Self-refuting_idea
dbr
:Loosely_associated_statements
dbr
:Pragmatic_maxim
dbr
:Vagrant_predicate
dbr
:Extensional_and_intensional_definitions
dbr
:Extensional_context
dbr
:Extensionalism
dbr
:Imperative_logic
dbr
:Natural_kind
dbr
:Philosophical_logic
dbr
:Object_of_the_mind
dbr
:Window_operator
dbr
:Theoretical_definition
dbr
:Existential_graph
dbr
:Finite-valued_logic
dbr
:Finite_game
dbr
:Finite_model_property
dbr
:Schrödinger_logic
dbr
:Rational_fideism
dbr
:Morton's_fork
dbr
:Nonfirstorderizability
dbr
:Tetralemma
dbr
:Vacuous_truth
dbr
:Valuation-based_system
dbr
:Simplification_of_disjunctive_antecedents
dbr
:Vector_logic
dbr
:Warnier/Orr_diagram
dbr
:Non-classical_logic
dbr
:Philosophy_of_logic
dbr
:Vaisheshika
dbr
:Tuple-generating_dependency
dbr
:Zhegalkin_polynomial
dbr
:World_Logic_Day
dbr
:Outline_of_logic
dbr
:Situational_logic
dbr
:Testability
is
skos:
broader
of
dbc
:Classical_logic
dbc
:Logic_and_statistics
dbc
:Logicians
dbc
:Philosophical_logic
dbc
:Fallacies
dbc
:History_of_logic
dbc
:Logic_puzzles
dbc
:Non-classical_logic
dbc
:Logical_paradoxes
dbc
:Difference
dbc
:Philosophy_of_logic
dbc
:Reasoning
dbc
:Concepts_in_logic
dbc
:Logic_organizations
dbc
:Mathematical_logic
dbc
:Dichotomies
dbc
:Logic_literature
dbc
:Logic-related_lists
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License