Applications of Mathematical Logic in Philosophy and Linguistics
November 10th to 13th, 2000
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The first conference in this series "Foundations of the Formal Sciences I" took place in May 1999 at the Humboldt-Universität zu Berlin.
The talks of the conferences will be addressed at a general audience, but their objective is to teach techniques and methods from the different parts of the Formal Sciences to researchers from other parts.
FotFS II with the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" will bring speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. The conference will be organized into six sections:
(A) Modal Logic
(B) Philosophy of Science
(C) Theory of Truth & Definability
(D) Philosophy of Mathematics
(E) Set Theory & Model Theory in Linguistics
(F) Recursion Theory & Proof Theory in Linguistics
Each section will have two invited speakers (one hour talks) and three contributed talks (30 minute talks). The list of invited speakers includes A. Baltag (Amsterdam), A. Barberousse (Paris), J. van Benthem (Amsterdam), M. Giusto (Torino), L. Horsten (Leuven), M. Kracht (Berlin), K.-U. Kühnberger (Tübingen), M. Piazza (Roma), M. Rotter (Köln), H.-J. Tiede (Bloomington IL), L. van der Torre (Amsterdam).
All talks will be given to a general audience of mathematicians, logicians, philosophers and linguists. Since we intend to promote genuinely interdisciplinary joint work, we would like to have talks that are neither general surveys nor specialized research announcements, but presentations of problems and techniques.