28. ožujka 2026. / Uncategorized
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.
Zvonimir Šikić
18. studenoga 2025. / Perspektive
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.
Zvonimir Šikić
11. rujna 2025. / Rasprave
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.
Zvonimir Šikić
12. kolovoza 2025. / Perspektive
U uvodu u bulovsku logiku pojmova, Zvonimir Šikić povezuje pojmovne i egzistencijske forme, uvodi interpretacije kroz B–strukture i objašnjava kako logičke veze među pojmovima zahtijevaju sofisticiranije testove valjanosti nego što ih nudi istinosno–funkcionalna analiza.
Zvonimir Šikić
27. lipnja 2025. / Perspektive
Aristotelova silogistika bila je prva formalna logička teorija, a dvije tisuće godina bila je i jedina simbolička logika, piše Zvonimir Šikić. Ona se može svesti na jednostavnu primjenu Vennovih dijagrama, no bitna je kako bi se jasnije predočio napredak na polju logike u proteklih sto pedeset godina.
Zvonimir Šikić
26. svibnja 2025. / Perspektive
U četvrtom nastavku serijala o povijesti logike, Zvonimir Šikić pokazuje kako su Fregeov modus ponens i minimalna logika evoluirali u Knealeove multiplarne dedukcije koje zatvaraju krug korektnosti, potpunosti i odlučivosti.
Zvonimir Šikić
6. svibnja 2025. / Perspektive
Ontološki dokaz Kurta Gödela logički vodi do Boga koji nužno postoji, piše Zvonimir Šikić. No taj “matematički” Bog dijeli malo toga s božanstvima stvarnih vjera. Međutim, čim dopustimo da pozitivna svojstva variraju, otvara se prostor za pluralnost bogova bližu religijskoj praksi.
Zvonimir Šikić
15. siječnja 2025. / Perspektive
U trećem nastavku serijala o logici, Zvonimir Šikić fokusira se na pojmove logičke korektnosti, potpunosti i kompaktnosti, te predstavlja pravila i definicije za konstrukciju Bethovih semantičkih stabala.
Zvonimir Šikić
25. rujna 2024. / Rasprave
U drugom nastavku serijala o logici, Zvonimir Šikić proširuje teorijske temelje logike sudova funkcijama kondicionalom i bikondicionalom, te pojašnjava logički pojam implikacije unutar IF-sekventi.
Zvonimir Šikić
8. kolovoza 2024. / Rasprave
U prvom nastavku serijala o logici, Zvornimir Šikić predstavlja njene temeljne forme, definicije i teoreme, te pokazuje kako je apstrahiranje formi iz prirodnih jezika logiku čvrsto vezalo uz njihovu sintaksu.
Zvonimir Šikić