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 […]

Iskazni račun je deo savremene logike koja se počela razvijati u drugoj polovini 19. veka sa radovima Džordža Bula, Avgustina De Morgana i Gotliba Fregea, a nastavila da se uobličava u 20. veku kroz radove Ludviga Vitgenštajna, Jana Lukašijeviča, Alfreda Tarskog i mnogobrojnih drugih logičara. Za razliku od klasične logike, u iskaznom računu se ne […]

Iako je izbor osnovnih tautologija nužno relativan, neke tautologije se mogu izdvojiti kao najvažnije u iskaznom računu, bilo zbog toga što opisuju tradicionalne zakone mišljenja bilo zbog toga što su nezaobilazne u pojednostavljivanju formula. Sada ćemo ih navesti: Zakoni mišljenja: Zakon neprotivrečnosti:  ¬ (p ∙ ¬ p) Zakon isključenja trećeg:  p v ¬ p Ova […]