Logical consequence
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.
- Comment
- enLogical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.
- Has abstract
- enLogical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth. Logical consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation. A sentence is said to be a logical consequence of a set of sentences, for a given language, if and only if, using only logic (i.e., without regard to any personal interpretations of the sentences) the sentence must be true if every sentence in the set is true. Logicians make precise accounts of logical consequence regarding a given language , either by constructing a deductive system for or by formal intended semantics for language . The Polish logician Alfred Tarski identified three features of an adequate characterization of entailment: (1) The logical consequence relation relies on the logical form of the sentences: (2) The relation is a priori, i.e., it can be determined with or without regard to empirical evidence (sense experience); and (3) The logical consequence relation has a modal component.
- Id
- enp/i050280
- Is primary topic of
- Logical consequence
- Label
- enLogical consequence
- Link from a Wikipage to an external page
- www.collegepublications.co.uk/logic/mlf/%3F00029
- books.google.com/books%3Fid=lvsVFxK3BPcC&q=consequence%7Cisbn=9780674537866
- books.google.com/books%3Fid=qW8x7sQ4JXgC&q=consequence%7Cisbn=9780486432281
- plato.stanford.edu/entries/conditionals%7C
- www.math.niu.edu/~richard/Math101/implies.pdf
- archive.org/details/theoryoflogicalc0000wojc
- www.allwords.com/word-implicant.html
- Link from a Wikipage to another Wikipage
- Abstract algebraic logic
- Alfred Tarski
- Alonzo Church
- Ampheck
- A priori and a posteriori
- Argument
- Boolean algebra (logic)
- Boolean domain
- Boolean function
- Boolean logic
- Category:Binary operations
- Category:Concepts in logic
- Category:Deductive reasoning
- Category:Logical consequence
- Category:Metalogic
- Category:Philosophical logic
- Category:Propositional calculus
- Category:Syntax (logic)
- Causality
- Concept
- Consequent
- Deductive reasoning
- Deductive system
- Double turnstile
- Emil Leon Post
- Empirical evidence
- Formalism (philosophy of mathematics)
- Formal language
- Formal proof
- Formal system
- German language
- Gödel
- If and only if
- Inference rule
- Intended interpretation
- Interpretation (logic)
- Intuitionist
- J. Barkley Rosser
- Kleene
- Logic
- Logical form
- Logical graph
- Logical possibility
- Logical truth
- Logic gate
- Material conditional
- Michael Dummett
- Modal logic
- Model theory
- Monotonicity of entailment
- Oxford University Press
- Peirce's law
- Philosophical analysis
- Philosophical logic
- Polish language
- Possible world
- Premise
- Probabilistic logic
- Proof theory
- Propositional calculus
- Schema (logic)
- Sole sufficient operator
- Statement (logic)
- Strict conditional
- Substitution (logic)
- Tautological consequence
- Tautology (logic)
- Theory of justification
- Therefore sign
- Turnstile (symbol)
- Universal quantification
- Validity (logic)
- SameAs
- 3TFqe
- 4161414-8
- Consecuencia lógica
- Conseqüència
- Consequência lógica
- Déduction logique
- Implikacija
- Implikacja logiczna
- Implikation
- Konsekuensi logis
- Konsekvenco
- Konsekvens (logik)
- Logical consequence
- Logisch gevolg
- Looginen seuraus
- m.0c6np
- Q374182
- Λογική συνέπεια
- Логичка импликација
- Умовивід
- Умозаключение
- Умозаключение
- הסקת מסקנות
- استتباع منطقي
- استلزام
- निष्कर्ष (तर्क)
- ผลพวงเชิงตรรกะ
- 蕴涵
- 論理的帰結
- 논리적 귀결
- SeeAlso
- Double turnstile
- Non-monotonic logic
- Therefore sign
- Subject
- Category:Binary operations
- Category:Concepts in logic
- Category:Deductive reasoning
- Category:Logical consequence
- Category:Metalogic
- Category:Philosophical logic
- Category:Propositional calculus
- Category:Syntax (logic)
- Title
- enImplication
- WasDerivedFrom
- Logical consequence?oldid=1119536098&ns=0
- WikiPageLength
- 17698
- Wikipage page ID
- 37531624
- Wikipage revision ID
- 1119536098
- WikiPageUsesTemplate
- Template:Authority control
- Template:Citation
- Template:Cite book
- Template:Cite IEP
- Template:Cite SEP
- Template:Common logical symbols
- Template:Commons category
- Template:Div col begin
- Template:Div col end
- Template:Formal semantics
- Template:InPho
- Template:Logic
- Template:Logical connectives
- Template:Mathematical logic
- Template:PhilPapers
- Template:Redirect
- Template:Reflist
- Template:See also
- Template:Short description
- Template:Springer