Kant famously declares that “although all our cognition commences with experience, … it does not on that account all arise from experience”. This marks Kant’s disagreement with empiricism, and his contention that human knowledge and experience require both sensation and the use of certain a priori concepts, the Categories. However, this is only the surface of Kant’s much deeper, though neglected view about the nature of reason and judgment. Kant holds that even our a priori concepts are acquired, not from (...) sensation, but “originally,” because our mind has a fundamental capacity to judge that, upon sensory stimulation, generates the Categories through its basic logical functions of judgment. This “epigenesis” of reason and our fundamental capacity to judge that drives it is the topic of Longuenesse’s fascinating book, and the source of her title. (shrink)

"Kant and the Capacity to Judge" will prove to be an important and influential event in Kant studies and in philosophy.

This influential study of Kant in which Strawson seeks to detach the true analytical and critical achievement of Kant's work from the unacceptable metaphysics with which it is entangled. This title available in eBook format. Click here for more information.Visit our eBookstore at: www.ebookstore.tandf.co.uk.

In this new book, Michael Friedman argues that Kant's continuing efforts to find a metaphysics that could provide a foundation for the sciences is of the utmost ...

Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say (...) that logic is distinctively formal? (shrink)

In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...) formulation of Full Intuitionistic Linear Logic; the nub of the problem is the interaction between par and linear implication. We present here a term assignment system which gives an interpretation of proofs as some kind of non-deterministic function. In this way we find a system which does enjoy cut elimination. The system is a direct result of an analysis of the categorical semantics, though we make an effort to present the system as if it were purely a proof-theoretic construction. (shrink)

In this innovative study Patricia Kitcher argues that we can only understand the deduction of the categories in Kant's Critique of Pure Reason in terms of his attempt to fathom the psychological prerequisites of thought. Thus a consideration of his conception of psychology is essential to an understanding of his philosophy. Kitcher specifically considers Kant's claims about the unity of the thinking self; the spatial forms of human perceptions; the relations among mental states necessary for them to have content; the (...) relations between perceptions and judgment; and the limits of philosophical insight into psychological processes. (shrink)

We give an intuitionistic axiomatisation of real closed fields which has the constructive reals as a model. The main result is that this axiomatisation together with just the decidability of the order relation gives the classical theory of real closed fields. To establish this we rely on the quantifier elimination theorem for real closed fields due to Tarski, and a conservation theorem of classical logic over intuitionistic logic for geometric theories.

This paper argues that Kant's idea for a new kind of logic is bound up with a very specific strategy for obtaining truth criteria, where he takes Christian Wolff to have failed. While the First Critique 's argument against any universal criterion for empirical truth has almost always been treated as extraneous to the main concerns of the Transcendental Analytic, I argue that Kant inserted it at an important juncture in the text to illustrate a signal difference between traditional logics (...) and transcendental logic. Namely, while a criterion of truth as correspondence cannot be provided by traditional logics, since they cannot, in Kant's view, identify an object determinately and distinguish it from others, transcendental logic overcomes that particular barrier. The key to the improvement is to be found in how Kant modifies Wolffian order and “transcendental truth”, while still retaining them as central elements of his project. Once we have reconstructed Kant's strategy, we also gain a new perspective on Kant's puzzling assessments of his relation to Berkeley. (shrink)

This is a very important book. It has already become required reading for researchers on the relation between the exact sciences and Kant’s philosophy. The main theme is that Kant’s continuing program to find a metaphysics that could provide a foundation for the science of his day is of crucial importance to understanding the development of his philosophical thought from its earliest precritical beginnings in the thesis of 1747, right through the highwater years of the critical philosophy, to his last (...) unpublished writings in the Opus postumum. In the course of articulating this theme, Friedman has made extensive use of detailed historical information about their scientific and mathematical background to illuminate Kant’s texts. Over and over again, such information is used to suggest interesting and quite subtle interpretations for texts that may have seemed puzzling or just wrong-headed. (shrink)

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), Günther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.