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
***********************************************************