Seminar for GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za novembar 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, 28.11.2016. u 18:00, Sala 301f, MI SANU, Kneza Mihaila 36
Goran Rujevic, Filozofski fakultet, Novi Sad
LOGIKA I FIZIKA
Rezime: Bice razmotren jedan od najvaznijih pokusaja da se logika upotrebi za resavanje problema nastalih u fizici, i to ne samo preko formalizacije, nego i preko teorijskog okvira za tumacenje fizickih fenomena. Radi se o Rajhenbahovom pokusaju da za resavanje takozvanih „kauzalnih anomalija“ kopenhaske interpretacije kvantne mehanike upotrebi Lukasjevicevu trovalentnu logiku prosirenu dodatnim pravilima za negaciju i implikaciju. Interakcija logike i fizike se proucava i u savremenoj filozofiji.
***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************