Die am häufigsten in der Philosophie verwendete deduktive Logik ist eine von zwei Klassifikationen für logische Argumente. Im Gegensatz zur induktiven Logik beginnt die deduktive Logik mit vermutlich wahren Prämissen und zieht dann eine Deduktion aus diesen Prämissen. Sowohl deduktive als auch induktive Logik werden nur in Argumenten verwendet.
Die induktive Logik beginnt mit Fakten, von denen bekannt ist, dass sie wahr sind, wie z. B. Statistiken, und zielt darauf ab, den Grund für diese Statistiken auf logische und vernünftige Weise zu erklären. Die deduktive Logik hingegen beginnt mit einer Menge von Prämissen und leitet aus diesen Prämissen eine logische Schlussfolgerung ab. Prämissen sind Aussagen, die wahr oder falsch sein können, aber für den Zweck der Argumentation als Tatsache angesehen werden.
Die deduktive Logik beschäftigt sich mehr mit der Struktur des Arguments als mit dem Inhalt des Arguments. In einem deduktiven Argument sagt man, dass Prämisse A und Prämisse B wahr sind und daher auch Konklusion C wahr ist. Außerhalb der Philosophie sind Geometriebeweise eine Art deduktive Logik. Tatsächlich lässt sich die Struktur anhand einfacher Zahlen deutlich erkennen. Wenn beispielsweise A gleich 1 und B gleich 2 ist, dann muss C gleich 3 sein.
Ein deduktives Argument kann entweder gültig oder ungültig sein. Da deduktive Argumente auf der Annahme basieren, dass die Prämissen wahr sind, kann ein Argument gültig sein, ohne wahr zu sein. Zum Beispiel das Argument: „Alle grauhaarigen Frauen sind Großmütter. Betty ist eine grauhaarige Frau. Deshalb muss Betty Großmutter sein“, ist gültig, aber falsch.
Wenn die Prämissen wahr sind, dann ist auch die Schlussfolgerung wahr, dass Betty eine Großmutter ist. Die erste Prämisse stimmt jedoch nicht. Alle grauhaarigen Frauen sind nicht unbedingt Großmütter, also ist Betty nicht unbedingt Großmutter. Wenn ein Argument gültig, aber unwahr ist, dann ist eine Prämisse in diesem Argument falsch.
Ungültige Argumente treten auf, wenn die Schlussfolgerung nicht logisch aus den Prämissen folgt. Das Folgende ist ein Beispiel für ein ungültiges Argument: „Layla ist immer hungrig, nachdem sie getanzt hat. Layla hat Hunger. Deshalb hat Layla getanzt.“
Tanzen ist nur eine Sache von vielen, die zu Hunger führt. Layla könnte hungrig sein, weil sie getanzt hat, aber sie könnte hungrig sein, weil sie den ganzen Tag nichts gegessen hat. Obwohl die Prämissen wahr sind, folgt die Konklusion nicht logisch aus den Prämissen und ist daher ungültig.
Sowohl deduktive als auch induktive Logik werden nur in Argumenten verwendet. Argumente sind Dinge, die strittig sind oder denen widersprochen werden kann. Beschreibungen oder einfache Meinungen sind keine Argumente und daher kann auch keine Logik verwendet werden. Zum Beispiel zu sagen: „Mein Lieblingseis ist Butterpekannuss“ ist nur eine Meinung und kann daher nicht bestritten werden.