La
déduction logique est un type de relation que l'on rencontre en
logique mathématique. Elle relie des
propositions dites
prémisses à une proposition dite
conclusion et préserve la
vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est
valide et si les prémisses sont
vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion
vient des prémisses. L'analyse philosophique pose des questions comme ou . La
logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences logiques et de la vérité logique.