- Frege (G9280)
Professor : Haim Gaifman
Description : Frege’s philosophy, from its early stages to the latest works; the background of his work; its interactions with and impact on other philosophical projects; and its later influence in analytic philosophy. Emphasis on Frege’s philosophy of language, and its ramifications for current debates, as well as his views on logic and mathematics.
- Formal Ontology (G9509)
Professor : Achille Varzi
Description : This seminar examines the hypothesis that mereology (the study of the relations between parts and wholes) and topology (understood as the study of the qualitative relations of connection and compactness) jointly provide a fundamental framework for the formal-ontological analysis of the objects of ordinary experience. - Truth (G9531)
Professor : Haim Gaifman or/and Achille Varzi
Description : This seminar will survey the main philosophical theories of truth and the connections of truth and meaning, and truth and realism. Among the topics to be covered are: the correspondence theory, minimalist theories, Tarski’s “semantic conception of truth”, the prosentential theory, truth and meaning in Davidson and Dummett, the semantical paradoxes, the linguistic hierarchy, various solutions to the paradoxes. - Vagueness (G9525)
Professor : Haim Gaifman or/and Achille Varzi
Description : A comprehensive examination of the main issues raised by the phenomenon of vagueness in logic, metaphysics, and the philosophy of language. Topics include: semantic vagueness, vagueness in the world, vagueness and perception, the logic of vagueness, higher-order vagueness. Critical appraisal of various competing theories, including: semanticism, epistemicism, intuitionism, fuzzy-logicism, supervaluationism, pragmatism, nihilism. - Explanation and Induction (G9563)
Professor : Haim Gaifman or Jeffery Helzner
*The above is an incomplete list of courses, the course descriptions are taken from the professors who offered the course.