HISTORY OF LOGIC
cod. 04161

Academic year 2007/08
1° year of course - Second semester
Professor
Academic discipline
Logica e filosofia della scienza (M-FIL/02)
Field
Filosofia teoretica
Type of training activity
Characterising
40 hours
of face-to-face activities
5 credits
hub:
course unit
in - - -

Learning objectives

Critical lecture of Klima's articles and discussion on the quantification problem.

Prerequisites

No one

Course unit content

<br />The interpretation of quantification in G Klima’s article, “Old directions in Free Logic: Existence and Reference in Medieval Logic”.<br /> <br />In this paper the author gives an informal account of how it was possible for medieval logicians to maintain Aristotle’s theory of the four categoricals and to dispense with their existential assumptions. The author also indicates how his informal account can be put to work in a formal semantic system. By this he aims to show that the ideas of medieval logicians can provide us with valuable insights even in the apparently modern field of free logic.<br /> 

Full programme

- - -

Bibliography

<br />Klima, G.(1990). “Approaching Natural Language Via Mediaeval Logic” in: J. Bernard - J. Kelemen, Zeichen, Denken, Praxis, Institut fur Sozio-Semiotische Studien, Wien, 1990, 249-267. Anche a:<br />http://www.fordham.edu/gsas/phil/klima/NLN.htm<br />Klima, G. (1991). “Latin as a Formal Language, Outline of a Buridan Semantics”, Cahiers de l’Institut du Moyen-Age Grec et Latin 61, 78-106.<br />Klima, G. (2000). “The Medieval Problem of Universals”, in Stanford Enc. of Phil.<br />Klima, G. (2001). “Old Directions in Free Logic: Existence and Reference in Medieval Logic”, in K. Lambert, Free Logics, Akademia Verlag, Sankt Augustin bei Bonn. <br /> Pinzani, R. (2003). La logica di Boezio, 176-200.

Teaching methods

- - -

Assessment methods and criteria

- - -

Other information

- - -