Seminar for GENERAL PROOF THEORY

PROGRAM

Plan rada Seminara za opstu teoriju dokaza za decembar 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, 28. decembar, u 18:00
Milos Adzic, Filozofski fakultet, Beograd
GEDEL O APSOLUTNOM DOKAZU I LOGICI POJMOVA

Rezime. Medju mnogim vaznim temama kojima se Kurt Gedel posvetio u svojim razgovorima sa Hao Vangom, dve se izdvajaju kao posebno zanimljive. Prva se tice pojma apsolutnog dokaza a druga njegove intenzionalne logike pojmova, koja bi, kada bude razvijena, trebalo da ojaca pojmovni realizam koji je zastupao.
Neke od Gedelovih opaski o ovim temama ce nam posluziti kao inspiracija i pokusacemo da ga interpretiramo sa stanovista savremene logike a posebno teorije 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
***********************************************************