"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 second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought 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.

Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic.

This book presents the first critical evaluation of all four of Kanta (TM)s antinomies of pure reason by applying the instruments of formal logic and by testing the validity of the antinomies against the criteria of modern science and natural philosophy. The author first reconstructs at length the a ~metaphysical deductiona (TM)? of the transcendental and cosmological ideas of reason. Kant's doctrine of the antinomies of pure reason is then placed in the context of his theoretical philosophy, and this is followed by a philological and formal-logical analysis of the four antinomies. Using the findings of modern science and natural philosophy, the author finally presents a systematic evaluation of Kanta (TM)s argumentation.