I. In this paper I want to sketch an account of the role of skepticism in Kant's critical philosophy.1 The critical philosophy set forth in the Critique of Pure Reason (henceforth: the Critique) grew from and responds to a complex set of philosophical concerns. Among these two of special importance are concerns to address skepticism and to develop a reformed metaphysics. This much is widely rec...

THE PURPOSE OF THIS BOOK is to examine the concept of freedom in five key canonical figures: Hobbes, Locke, Rousseau, Kant, and Mill. The importance of the concept of freedom is, I assume, self-evident to readers of this book: it is clearly a, if not the, key concept of the modern canon. Defining “the canon” of modern political theory in terms of these five figures, rather than Hume, Hegel, Mar...

We describe a database for number fields that has been integrated into the algebraic number theory system Kant. The database gives efficient access to the tables of number fields that have been computed during the last years and is easily extended. A set of functions that are specific for a number field database has been integrated into the user interface Kash of Kant. The user has thus the pos...

Kant famously claims that autonomy is the ground of dignity. If he is correct about the grounding relationship, then doubts about our autonomy entail doubts about our dignity. Here, I attempt to show that Kant is sensitive to this problem, and invokes the ‘fact of reason’ (Faktum der Vernunft) as the key piece of evidence for our autonomy, and therefore our dignity. But as is well known, Kant’s...

This paper describes the integration of a Turkish generation system with the KANT knowledge-based machine translation system to produce a prototype English–Turkish interlingua-based machine translation system. These two independently constructed systems were successfully integrated within a period of two months, through development of a module which maps KANT interlingua expressions to Turkish ...

Large-scale lexical knowledge acquisition is one of the most time critical steps in developing a knowledge-based machine translation system. In particular, developing the syntactic lexicon for the target language can be an unwieldy task, as on-line knowledge assets are likely to be more scarce than for the source language. This paper addresses this problem within the KANT machine translation sy...

Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous clai...