Seminar for GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za oktobar 2015.
Predavanje treba da se odrzi u sali 301f Matematickog instituta (Knez Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja predavanja. Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje, nego samo s vremena na vreme.
Ponedeljak, 26. oktobar, u 18:00
Radmila Jovanovic, Filozofski fakultet, Beograd
SEMANTIKE TEORIJE IGARA
Rezime. Prvu semantiku teorije igara predlozili su Lorencen i Lorenc pedesetih godina dvadesetog veka i nazvali je *logika dijaloga*. Godine 1968. Hintika i Sandu razradili su drugaciju takvu semantiku, koja je vezana za teoriju modela i poznata pod imenom *game-theoretical semantics*. Pocetkom devedesetih godina oni su obratili paznju na teoriju igara sa nepotpunim informacijama, sto je dovelo do formulisanja takozvane *independence-friendly logic*. Mada se za nju tvrdi da je logika prvog reda, njen jezik po svojoj ekspresivnosti prevazilazi jezik klasicnog predikatskog racuna u toj meri da cini nemogucom potpunu aksiomatizaciju. U ovom predavanju bice pokazano da za postizanje Hintikinih ciljeva nije neophodno (ni pozeljno) koristiti logiku koja nema potpunu aksiomatizaciju, i za koju nije moguce formulisati odgovarajucu teoriju dokaza.
OBAVESTENJE: Na Filozofskom fakultetu u Beogradu od 24. do 26. aprila ce se odrzati Druga beogradska postdiplomska konferencija iz filozofije i logike:
https://2ndbelgradephilosophy.wordpress.com/
U okviru konferencije ce se, u nedelju 26. aprila, odrzati Simpozijum iz teorije dokaza koji se organizuje zajedno sa Seminarom za opstu teoriju dokaza.
Program Simpozijuma mozete pronaci na ovom linku .
Abstrakti radova se nalaze na ovom linku .
***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************