U indirektnom deduktivnom dokazu tezu, odnosno, teoremu, dokazujemo tako što dokazujemo da negacija teze nije istinita. Ovaj isti postupak primenjivali smo kada smo metodom svođenja na protivrečnost dokazivali da je neka formula tautologija. Sada taj postupak možemo primeniti na bilo koju tezu. Da je negacija teze netačna dokazujemo tako što pokažemo da iz nje logički […]

Već smo u početnoj lekciji ovog odeljka rekli da, osim deduktivnog dokaza, postoji i induktivno dokazivanje i induktivni dokaz. Rekli smo i da je samo prvi, deduktivni dokaz, dokaz u striktno logičkom smislu, odnosno, samo u deduktivnom dokazu važi da ako su argumenti istiniti, teza ili teorema mora biti istinita, što znači da je striktno […]

Iskaz se u logici definiše kao rečenica koja može biti istinita ili lažna, odnosno, kao rečenica za koju ima smisla pitati da li je istinita ili lažna. Iskazi se po ovoj osobini razlikuju od mnogih drugih vrsta rečenica. Pitanja, molbe i naredbe, na primer, nisu iskazi jer se u odnosu na neko pitanje ili molbu […]

Najpre ćemo ponoviti kako se iskazi koji imaju predikatsku formu (S ni/je P) dele po kvantitetu i kvalitetu. Po kvantitetu iskazi se dele na univerzalne, partikularne i singularne. Univerzalni iskazi govore nešto o svim članovima neke klase, partikularni tvrde da barem jedan član klase ima neku osobinu (a možda i svi), a singularni govore o […]

Zaključivanje je možda najbolje definisao Imanuel Kant (Immanuel Kant, 1724-1804): zaključivanje je proces izvođenja jednog stava iz jednog ili više drugih stavova. Onda kada možemo opravdati uverenje da je zaključak već bio sadržan u premisama, odnosno, da zaključak mora biti istinit ako su premise istinite, onda je zaključivanje deduktivno. Ali, mi ne možemo da zaključujemo […]

U prošloj lekciji definisali smo neposredno zaključivanje kao zaključivanje iz jedne premise pri kome se svi pojmovi koji se nalaze u premisama pojavljuju i u zaključku. Razlikujemo tri oblika takvog zaključivanja: konverziju, obverziju i kontrapoziciju. Oblici neposrednog zaključivanja Konverzija Konverzija je oblik zaključivanja u kome iz jednog AEIO stava zaključujemo na novi stav u kome […]

Rekli smo već da prema broju premisa i načinu zaključivanja, sva zaključivanja možemo podeliti na neposredna i posredna. Neposredno zaključivanje smo obradili u prethodnoj lekciji. Posredno zaključivanje je zaključivanje koje polazi od dve ili više premisa i kod koga se neki pojmovi koji se pojavljuju u premisama ne pojavljuju u zaključku. Ovi pojmovi nazivaju se […]