Seminar for GENERAL PROOF THEORY

PROGRAM

Plan rada Seminara za opstu teoriju dokaza za april 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, 03.04.2017. u 18:00, Sala 301f, MI SANU, Kneza Mihaila 36
Vladimir Drekalovic, Filozofski fakultet Univerziteta Crne Gore u Niksicu
DOKAZ I MATEMATICKI PLATONIZAM
Rezime: Glediste matematickog platonizma prema kojem matematicki objekti postoje mozemo pratiti još od antickog vremena. Naime, vec u nekim od Platonovih dijaloga nalazimo njegove obrise. Vezu tog gledista sa pojmom dokaza mozemo posmatrati barem u dva konteksta. Prvi se odnosi na pokusaje da se tvrdnja o ontoloskom statusu matematickih objekata dokaze i na taj nacin odbrani. Neki anticki pokusaji da se takav dokaz izvede imaju metafizicki karakter. S druge strane, jedan skorasnji pokusaj dokaza te tvrdnje ima kao pozadinu drugaciju krajnost – ekstremni empirizam. Drugi kontekst se odnosi na sljedece pitanje: da li se dokazivanje novih cinjenica proizvoljne matematicke teorije moze posmatrati bez protivrecnosti u vezi sa gorepomenutim gledistem matematickog platonizma o postojanju matematickih objekata?

PONEDELJAK, 10.04.2017. u 18:00, Sala 301f, MI SANU, Kneza Mihaila 36
Jovana Kostic i Katarina Maksimovic, Filozofski fakultet, Beograd
TENIJEROVA STRUKTURALNA SINTAKSA I FORMALNI JEZIK PREDIKATSKE LOGIKE
Rezime: Na predavanju ce biti predstavljene ideje francuskog lingviste Tenijera (Lucien Tesniére) koje su dovele do zasnivanja takozvanih gramatika zavisnosti (dependency grammars). Ispitacemo u kojoj se meri te ideje mogu dovesti u vezu sa formalnim jezikom predikatske logike. Mogucnost tog povezivanja sugerise Tenijerovo shvatanje glagola kao necega što ima centralnu ulogu u odredjivanju sintaksne strukture recenice, a koje je blisko shvatanju predikata u predikatskoj logici. Takodje je Tenijerovo pripisivanje valentnosti glagolima u vezi sa pripisivanjem arnosti predikatima. Na kraju cemo se osvrnuti na znatno poznatiju alternativu gramatikama zavisnosti – gramatike konstitucije (constituency grammars) ciji je glavni predstavnik Comski (Noam Chomsky) i ispitati koja od navedene dve vrste lingvistickih teorija jeste bliza predikatskoj logici.

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