27. lipnja 2025. / Članci
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. / Članci
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. / Članci
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. / Članci
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ć
18. lipnja 2023. / Rasprave
Logika počiva na binarnim propozicijama - one mogu biti istinite ili lažne. U 6. članku o vjerojatnosti, Zvonimir Šikić pokazuje kako se vjerojatnost može promatrati kao proširena propozicijska logika, u kojoj propozicije mogu biti više ili manje vjerojatne, a u drugom dijelu teksta demonstrira generalizaciju propozicijskih formula.
Zvonimir Šikić