Seminar for GENERAL PROOF THEORY

PROGRAM

Plan rada Seminara za opstu teoriju dokaza za jun 2017.

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, 05.06.2017. u 18:00, Sala 301f, MI SANU, Kneza Mihaila 36
Eberhard Karls, Universitat Tubingen, Germany
THE COMPLETENESS PROBLEM IN PROOF-THEORETIC SEMANTICS
Abstract: Several options for the definition of proof-theoretic validity and their respective problems are discussed. It is shown that intuitionistic logic is not complete for any of these options. Only a weak version of completeness can be established. This shows that Prawitz's completeness conjecture of 1971 cannot be upheld. As a conclusion, one should either look for an alternative logic, or look for an alternative semantics, or give up the validity-based conception of proof-theoretic semantics altogether.

PONEDELJAK, 19.06.2017. u 18:00, Sala 301f, MI SANU, Kneza Mihaila 36
Vladan Perisic, Pravoslavni bogoslovski fakultet, Beograd
ONTOLOSKI STATUS MATEMATICKIH ENTITETA U PLATONIZMU, ARISTOTELIZMU I HRISCANSTVU
Rezime: Kakav je ontoloski status matematickih entiteta (tacaka, linija, brojeva...)? Na koji nacin oni postoje? Da li postoje nezavisno od nas (naseg misljenja, jezika i naseg celokupnog postojanja), kao sto tvrdi Platon? Ili mozda postoje u culnim, opazljivim predmetima, samo ako se oni sagledavaju na neki poseban nacin, kako je sklon da veruje Aristotel? Ili su pak oni jednostavno nepromenljive "misli" nepromenljivog Boga, kako su uvereni neki hriscani? I, shodno tome, da li celokupan univerzum matematickih entiteta matematicar samo otkriva, buduci da on "negde" (gde?) postoji i ceka da bude otkriven, ili ga pak izumeva i konstruise?

***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************