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.[1][2]
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:
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:
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:
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.
Reference
Eksterni linkovi
- Indeks filozofije: hipotetički silogizam (engleski)