Professional Documents
Culture Documents
Simbolicka logika ili deduktivna matematska logika je ona koja u centar svog istrazivanja
postavlja jedan iskaz koji moze biti istiniti ili neistinit.Dijeli se na racun iskaza i na racun
predikada.Mozemo je definirati kao predstavljanje odredenih ideja,pojmova,misli
pomocu karakteristicnih ili ugovorenih znakova,koji oznacavaju neki pojam,koji su
elementi njihovog znacenja i koji reprezentativno u sebi sadrza smisao nekog predmeta ili
apstraktne pojave.
Logicku implikaciju dobivamo kada kombinujemo dva iskaza pomocu rijeci ako.Zavisna
recenica kojoj prethodi rijec ako zove se anticedent a glavna recenica pred kojom je rijec
onda naziva se konsekvent.Kada tvrdimo implikaciju ne moze se desiti da anticedet bude
istini a konsekvent lazan.Ona je istinita kada: su anticedent i konsekvent istiniti,kada je
anticedent lazan a konsekvent istinit,kada su konsekvent i anticedent lazni.
Racun predikata predstavlja logiku drugog reda,u kojoj trebas definisati sta su
kvantifikatori (i ja to nisam nasla)i ta logika bazira se na problemu predikata.
10.Kako Frege definira broj? Broj ne znaci nista dok nije u brojevnoj formi poslat cu ti u
maili gdje ces naci bolji odgovor na ovo pitanje jer ga nisam ni ja stigla pronaci i
uraditi.Jednostavno je.
11.Sta je za Frega stav? Za Fregea stav predstavlja osnovnu jedinicu znacenja koja ima
neku vrijednost.Stav ili iskaz je funkciaj svih dijelova ili rijeci koje u njega spadaju.T
vise nema subjekta u smislu subjekatsko predikatske logike vec je subjekat funkcija
predikata.