Najava: dedukcija i upotrebe jezika

SEMINAR ZA OPSTU TEORIJU DOKAZA

Matematicki institut SANU, Beograd

Na Seminaru za opstu teoriju dokaza u februaru mesecu 2016. treba da se odrzi sledece predavanje:

________________________________

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.

________________________________

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.

Kosta Dosen, rukovodilac Seminara