Co to jest logika dedukcyjna?

Najczęściej używana w filozofii logika dedukcyjna jest jedną z dwóch klasyfikacji argumentów logicznych. W przeciwieństwie do logiki indukcyjnej, logika dedukcyjna zaczyna się od przypuszczalnie prawdziwych przesłanek, a następnie dokonuje dedukcji z tych przesłanek. Zarówno logika dedukcyjna, jak i indukcyjna są używane tylko w argumentach.
Logika indukcyjna zaczyna się od faktów, o których wiadomo, że są prawdziwe, takich jak statystyki, i ma na celu wyjaśnienie przyczyn tych statystyk w logiczny, rozsądny sposób. Logika dedukcyjna natomiast zaczyna się od zbioru przesłanek i z tych przesłanek wyprowadza logiczny wniosek. Przesłanki to stwierdzenia, które mogą być prawdziwe lub nie, ale dla celów argumentacji są traktowane jako fakty.

Logika dedukcyjna zajmuje się bardziej strukturą argumentu niż treścią argumentu. W argumencie dedukcyjnym stwierdza się, że przesłanka A i przesłanka B są prawdziwe, a zatem wniosek C również jest prawdziwy. Poza filozofią, dowody geometrii są rodzajem logiki dedukcyjnej. W rzeczywistości strukturę można wyraźnie zobaczyć za pomocą prostych liczb. Na przykład zakładając, że A jest równe 1, a B jest równe 2, to C musi być równe 3.

Argument dedukcyjny może być poprawny lub nieprawidłowy. Ponieważ argumenty dedukcyjne opierają się na założeniu, że przesłanki są prawdziwe, argument może być ważny, ale nie jest prawdziwy. Na przykład argument: „Wszystkie siwowłose kobiety to babcie. Betty to siwowłosa kobieta. Dlatego Betty musi być babcią”, jest słuszne, ale jest fałszywe.

Jeśli przesłanki są prawdziwe, to wniosek, że Betty jest babcią, również jest prawdziwy. Pierwsza przesłanka nie jest jednak prawdziwa. Wszystkie siwowłose kobiety niekoniecznie są babciami, więc Betty niekoniecznie jest babcią. Jeśli argument jest prawidłowy, ale nieprawdziwy, to przesłanka w tym argumencie jest fałszywa.

Nieprawidłowe argumenty występują, gdy wniosek nie wynika logicznie z przesłanek. Oto przykład nieprawidłowego argumentu: „Layla jest zawsze głodna po tańcu. Layla jest głodna. Dlatego Layla tańczyła.
Taniec to tylko jedna z wielu rzeczy, które powodują głód. Layla mogła być głodna, ponieważ tańczyła, ale mogła być głodna po prostu dlatego, że nie jadła przez cały dzień. Chociaż przesłanki są prawdziwe, wniosek nie wynika logicznie z przesłanek, a zatem jest nieważny.

Zarówno logika dedukcyjna, jak i indukcyjna są używane tylko w argumentach. Argumenty to rzeczy, które są dyskusyjne lub można się z nimi nie zgodzić. Opisy lub zwykła opinia nie są argumentami i dlatego żadna forma logiki nie może być użyta. Na przykład powiedzenie „Moje ulubione lody to maślany orzech” jest tylko opinią i dlatego nie można się z nimi spierać.