Logika i umjetna inteligencija 2026

O kolegiju

Seminar istražuje filozofske temelje, mogućnosti i granice umjetne inteligencije kroz prizmu logike. Polazišna točka je ideja da je formalizacija mišljenja — od Aristotelovih silogizama do Turingovih strojeva — bila neophodan preduvjet nastanka računarstva i AI-ja. Kolegij je namijenjen studentima filozofije, psihologije i srodnih društveno-humanističkih studija koji žele razumjeti što AI zapravo radi, što ne može raditi i koje etičke i epistemičke izazove postavlja.

Preduvjet za praćenje kolegija je osnovno poznavanje propozicijske logike (logički veznici, tablice istinitosti, osnove formalnog zaključivanja).

Tematski blokovi

Blok I — Temelji: Od Leibnizova sna o calculus ratiocinator-u do logičkih vrata i neuronskih mreža. Istražujemo kako su formalna logika i ideja mehaničkog zaključivanja postale temelj suvremenog računarstva, što nam Gödelovi teoremi nepotpunosti govore o granicama algoritama te kako su logički veznici AND, OR i NOT doslovno ugrađeni u elektroničke sklopove i perceptrone.

Blok II — Umovi i strojevi: Turingov test, Searleova Kineska soba, teški problem svijesti i veliki jezični modeli. Propitujemo bihevioralne kriterije za inteligenciju, razlikujemo sintaksu od semantike, Dennettov funkcionalizam suočavamo s Chalmersovim kvaliama te analiziramo zašto statistička predviđanja sljedeće riječi možda nisu — a možda jesu — oblik razumijevanja.

Blok III — Znanje, učenje i zaključivanje: Humeov problem indukcije susreće strojno učenje; pretreniranost i pristranost u podatcima; neprozirnost neuronskih mreža i epistemičko opravdanje; socijalna epistemologija i pitanje što se događa kad AI prepakirava kolektivnu mudrost — i kolektivne predrasude — interneta.

Blok IV — Etika i budućnost: Algoritamska pristranost i formalno nekompatibilni pojmovi pravednosti (studija slučaja COMPAS); problem usklađivanja i zašto Asimovljevi zakoni ne funkcioniraju; debata o singularnosti i uloga filozofije u oblikovanju tehnološke budućnosti.

Format

Seminar se sastoji od 12 tema, od kojih svaka uključuje kratki teorijski uvod, ključne pojmove i pitanja za seminarsku raspravu. Svaka tema osmišljena je za jedan seminar od 90 minuta. Uz kolegij je dostupan otvoreni wiki u kojem studenti mogu bilježiti, dopunjavati i ispravljati sadržaj.