ŠTO JE LOGIKA (10)
Nema ulomka jer je objava zaštićena.
Nema ulomka jer je objava zaštićena.
28. ožujka 2026. / čita se 24 minute
ŠTO JE LOGIKA (9)
U devetom nastavku serijala o logici, Zvonimir Šikić pokazuje kako aksiomi prvog reda ne mogu jednoznačno odrediti beskonačne matematičke strukture. Zbog tog ograničenja, poznati sustavi poput aritmetike, realnih brojeva i teorije skupova neizbježno imaju i svoje nestandardne modele.
18. studenoga 2025. / čita se 14 minuta
ŠTO JE LOGIKA (8)
U 8. nastavku serijala o logici, Zvonimir Šikić se bavi interpretacijama kvantificiranih formi, kroz koje one dobivaju svoje značenje. Korak po korak uvodi relacijske strukture i pojam istinitosti forme u strukturi, te preko generalizirane implikacije i Bethovih semantičkih stabala dolazi do potpunosti Gentzenovog sekventnog Q-sustava za logiku predikata.
11. rujna 2025. / čita se 15 minuta
POVIJEST LOGIKE (7)
U razradi apstrakata i kvantifikacije, Zvonimir Šikić pokazuje kako se složene tvrdnje prevode u predikatske forme, uvodi pravila prolaza kvantifikatora te dokazuje ekvivalentnost i odlučivost monadske logike, dok ističe da su poliadski predikati izražajniji i da redoslijed kvantifikatora tada postaje presudan.