Zaključivanje i valjanost
Što se ispituje
Domena Zaključivanje i valjanost provjerava strukturu argumenta, razlikovanje valjanosti od istinitosti i zvučnosti, prepoznavanje valjanih oblika te pronalaženje protuprimjera.
Pravila
- Argument čine premise i zaključak; valjanost ovisi o obliku, ne o stvarnoj istinitosti premisa.
- Deduktivno valjan argument: nemoguće je da su sve premise istinite, a zaključak lažan.
- Zvučan argument je valjan i ima istinite premise.
- Za nevaljanost je dovoljno naći interpretaciju u kojoj su premise istinite, a zaključak lažan.
- Induktivni argumenti ocjenjuju se kao jaki ili slabi, ne kao deduktivno valjani.
Riješeni primjer
“Svi ljudi su smrtni. Sokrat je čovjek. Dakle Sokrat je smrtan.” Oblik je: ∀x(Čx → Sx), Čs, dakle Ss. To je valjan modus ponens na predikatnoj razini. Argument je zvučan ako su obje premise istinite; valjanost sama ne jamči istinitost premisa.
Zamke
Lažno je zaključiti da je argument nevaljan zato što je zaključak lažan ili da je valjan zato što je zaključak istinit. Ne zamjenjujte nužan i dovoljan uvjet. Kod entimema nedostajuću premisu treba eksplicirati prije ocjene valjanosti. Kod oblika kao što su modus ponens, modus tollens, disjunktivni silogizam i hipotetički silogizam provjerite odgovaraju li premise točno shemi; ako oblik odstupa, tražite protuprimjer.