Consecința logică (numită și implicări sau implicații logice) este un concept fundamental în logică care descrie relația dintre afirmațiile care sunt adevărate atunci când o afirmație rezultă logic din una sau mai multe afirmații. Un argument logic valid este acela în care concluzia este consecința premiselor.Beall, JC and Restall, Greg, Logical Consequence The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).
O propoziție se numește o consecință logică a unui set de propoziții, pentru un anumit limbaj, dacă și numai dacă, folosind doar logica (adică, fără a ține cont de interpretările personale ale propozițiilor), propoziția trebuie să fie adevărată dacă fiecare propoziție din set este adevărată.McKeon, Matthew, Logical Consequence Internet Encyclopedia of Philosophy.
Alfred Tarski a identificat trei caracteristici ale unei caracterizări adecvate a implicării:
Relația de consecință logică se bazează pe forma logică a propozițiilor; Relația este a priori, adică poate fi determinată cu sau fără a ține cont de dovezile empirice (experiența senzorială); Relația de consecință logică are o componentă modală.
Note
Categorie:Operații binare Categorie:Concepte în logică Categorie:Unități semantice Categorie:Logică filozofică Categorie:Raționament deductiv