Hipotetički silogizam

Hipotetički silogizam je silogizam čija je bar jedna premisa hipotetički stav. Druga premisa može biti kategorički ili hipotetički stav. Drevne reference upućuju na radove Teofrasta i Eudema kao prva istraživanja ove vrste silogizama.

Vrste

Hipotetički silogizmi dele se na mešovite i čiste.

Mešoviti

Modus ponens

Modus ponendo ponens, poznatiji kao modus ponens, posebna je vrsta hipotetičkog silogizma. Shematski se može prikazati na sledeći način:

Ako P, onda Q.

P.

Stoga, Q.

Modus ponens prikazuje se pomoću simbola iskaznog računa na sledeći način:

$P\to Q,\;P\;\;\vdash \;\;Q$

Primer na srpskohrvatskom:

Ako kiša pada, onda trava raste.

Kiša pada.

Stoga, trava raste.

Modus tollens

Modus tollendo tollens, poznatiji kao modus tollens, posebna je vrsta hipotetičkog silogizma. Shematski se može prikazati na sledeći način:

Ako P, onda Q.

Q je netačno.

Stoga, P je netačno.

Modus tollens prikazuje se pomoću simbola iskaznog računa na sledeći način:

$P\to Q,\neg Q\vdash \neg P$

Primer na srpskohrvatskom:

Kad bi Dunav bio vreo, svako bi jeo riblju čorbu.

Međutim, svako ne jede riblju čorbu.

Stoga, Dunav nije vreo.

Čisti

Čisti hipotetički silogizam posebna je vrsta hipotetičkog silogizma. Shematski se može prikazati na sledeći način:

Ako P, onda Q.

Ako Q, onda R.

Stoga, ako P, onda R.

Čisti hipotetički silogizam prikazuje se pomoću simbola iskaznog računa na sledeći način:

$P\to Q,Q\to R\vdash \ P\to R$

Primer na srpskohrvatskom:

Ako završim tehnički fakultet, naći ću dobro plaćen posao.

Ako nađem dobro plaćen posao, vodiću lagodan život.

Stoga, ako završim tehnički fakultet, vodiću lagodan život.

Greške

U nastavku su navedene najčešće greške u ovakvoj vrsti zaključivanja.

Afirmacija konsekvensa

Logička greška koja uključuje neispravan modus ponens naziva se afirmacija konsekvensa. Shematski se može prikazati na sledeći način:

Ako P, onda Q.

Q je tačno.

Stoga, P je tačno.

Primer na srpskohrvatskom:

Ako kiša pada, ulice su mokre.

Ulice su mokre.

Stoga, kiša pada.

Negacija antecedensa

Logička greška koja uključuje neispravan modus tollens naziva se negacija antecedensa. Shematski se može prikazati na sledeći način:

Ako P, onda Q.

P je netačno.

Stoga, Q je netačno.

Primer na srpskohrvatskom:

Ako kiša pada, ulice su mokre.

Kiša ne pada.

Stoga, ulice nisu mokre.

Vanjske veze

• Indeks filozofije: hipotetički silogizam (engleski)