ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Seminar for Mathematical Logic

 

PROGRAM Program Seminara za logiku za jun 2004

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
Nema sastanka Seminara.


PETAK, 11. jun 2004.G. U 16.15 SATI
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.

PETAK, 18. jun 2004.G. U 16.15 SATI
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.)

PETAK, 25. jun 2004.G. U 16.15 SATI
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.

U Beogradu, 01.05.2004.

Rukovodioci seminara:
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.

Azurirani programi svih seminara Matematickog instituta SANU mogu se naci na adresi www.mi.sanu.ac.yu.