Već smo rekli da su u Aristotelovskoj logici svi stavovi imali predikatsku formu S je P, odnosno S nije P, a delili su se na univerzalne, partikularne i pojedinačne (singularne) stavove. Aristotel je i vrste zaključivanja definisao polazeći od ovog modela. Tako je deduktivno zaključivanje bilo ono koje polazi od univerzalnih stavova i iz njih […]
Continue Reading
Neposredno zaključivanje
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 […]
Continue Reading
Raspodeljenost termina u AEIO iskazima
Jedna veoma važna osobina pojmova (termina) u iskazu je njihova raspodeljenost koja se ogleda u tome da iskaz tvrdi nešto o celoj klasi predmeta koji potpadaju pod jedan pojam. Pojam je, dakle, u nekom iskazu raspodeljen ako taj iskaz tvrdi nešto o celoj klasi predmeta koji potpadaju pod taj pojam. Recimo, ako kažemo “Sve zebre […]
Continue Reading
Posredno zaključivanje
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 […]
Continue Reading
Figure i modusi silogizma
U prošloj lekciji, rekli smo da se broj od 256 mogućih kombinacija AEIO iskaza – modusa silogizma – svodi na 15 ispravnih modusa, po 4 u prve tri figure i tri u četvrtoj. U stvari, ukupno je 24 modusa zadovoljilo aksiome silogizma, ali smo broj 24 smanjili za 9 onih koji zaključuju iz dva univerzalna […]
Continue Reading
Pojam iskaznog računa
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 […]
Continue Reading
Definicije logičkih operacija
U prethodnoj lekciji upoznali smo se sa interpretacijom logičkih operacija (logičkih veznika) u svakodnevnom jeziku. Njihova precizna definicija data je preko istinitosnih tablica koje određuju kada je složeni iskaz koji nastaje logičkom operacijom istinit, a kada nije. Istovremeno, ove tablice su neophodne za izračunavanje vrednosti složenih iskaza. Evo tih defincija: Negacija (znak ¬ ) je […]
Continue Reading
Osnovne tautologije u iskaznom računu
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 […]
Continue Reading
Metoda istinitosnih tablica
Metoda istinitosnih tablica je drugo ime za izračunavanje vrednosti složenih formula za sve kombinacije isitinitosnih vrednosti iskaznih promenljivih. Definicije logičkih operacija iz prošle lekcije su takođe male istinitosne tablice. Ako znamo ove tablice, koje definišu vrednosti složenih iskaza koji nastaju logičkim operacijama, možemo da izračunamo vrednost svake složene formule koja sadrži te operacije za svaku […]
Continue Reading
Svođenje na normalnu iskaznu formu
Svođenje na normalnu iskaznu formu je metoda pojednostavljivanja složenih iskaza i metoda koja može poslužiti kao način da se utvrdi da li je neka formula tautologija. Normalna iskazna forma je forma koja sadrži iskazne promenljive (npr, p, q, r,…) ili njihove negacije (¬p, ¬q, …) povezane u konjukcije ili u disjunkcije. Na primer stav: (p […]
Continue Reading
Metoda svođenja na protivrečnost
Do sada smo se upoznali sa dva načina određivanja da li je neka formula tautologija ili nije. Prvi način je metoda istinitosnih tablica (u kojoj naprosto izračunamo vrednost formule za sve moguće kombinacije istinitosnih vrednosti iskaznih promenljivih) a druga je metoda svođenja na normalnu formu u kojoj složenu formulu najpre pojednostavljujemo u normalnu formu, a […]
Continue Reading
Video - IQ2 - Slavoj Žižek
© 2025 Kratka istorija filozofije. Powered by WordPress.
