Seminar for
GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za februar 2016.
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, 29. februar, u 18:00
Katarina Maksimovic
Filozofski fakultet, Beograd
DEDUKCIJA I UPOTREBE JEZIKA
Rezime. Bice kritikovana dogma da iskljucivo iskazi mogu biti premise i
zakljucci dedukcija. Veliki ruski matematicar Kolmogorov je doveo tu dogmu
u pitanje interpretacijom intuicionisticke logike prema kojoj premise i
zakljucci dedukcija u matematici nisu iskazi vec problemi. Bice ispitana
mogucnost da se problemi o kojima govori Kolmogorov shvate kao imperativi,
i takodje odnos izmedju Kolmogorovljeve interpretacije intuicionisticke
logike i logike imperativa. Glavnim problemom logike imperativa smatra se
Jergensenova dilema, koja pociva na pomenutoj dogmi. Toj dogmi mozemo da se
suprotstavimo u teoriji dokaza i tako resimo Jergensenovu dilemu.
***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************