Seminar for
Mathematical Logic
PROGRAM
Sastanci Seminara za matematicku logiku Matematickog instituta
SANU odrzavace se i u akademskoj 2003/2004. godini po pravilu petkom od
16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.
PETAK, 04. jun 2004.G. U 16.15 SATI
PETAK, 11. jun 2004.G. U 16.15 SATI
PETAK, 18. jun 2004.G. U 16.15 SATI
PETAK, 25. jun 2004.G. U 16.15 SATI
U Beogradu, 01.05.2004.
Rukovodioci seminara:
Azurirani programi svih seminara Matematickog instituta SANU mogu se naci
na adresi www.mi.sanu.ac.yu.
Program Seminara za logiku za jun 2004
Nema sastanka Seminara.
Nicholas Asher (Department of Philosophy, Texas University, Austin)
TOOLS FOR FORMAL PRAGMATICS
Abstract: In this talk it will be introduced an important tool for formal
pragmatics. This tool is conditional nonmomotonic logic which has been
developed out of efforts in AI to model problems of common sense
reasoning. Though modelling common sense reasoning completely has now been
acknowledged to be an "AI complete" problem by many, the tools that grew
out of those efforts have extremely useful applications in linguistics, in
particular lexical semantics and pragmatics. A type of conditional
nonmonotonic logic will be discussed and some applications and, time
permitting, also will be discussed a reflection of that sort of logic
within a system of types that has been useful for thinking of lexical
semantics.
Nedeljko Stefanovic (Gradjevinski fakultet Univerziteta u Beogradu)
O MOGUCNOSTIMA FORMALNOG METODA U TEORIJI SKUPOVA (On the possibility of
formal Method in Set Theory)
Rezime: Na predavanju ce biti prikazana magistarska teza predavaca.
(Speaker will give the summary of his master's thesis.)
Svetozar Sindjelic (Filozofski fakultet Univerziteta u Beogradu)
PROBLEM INDUKCIJE (The problem of induction)
Rezime: Osvrt na filozofski problem indukcije od Hjuma (Hume) preko Popera
(Popper) do danas.
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.