This chapter gives a detailed study of diagram-based reasoning in Euclidean plane geometry (Books I, III), as well as an exploration how to characterise a geometric practice. First, an account is given of diagram attribution: basic geometrical claims are classified as exact (equalities, proportionalities) or co-exact (containments, contiguities); exact claims may only be inferred from prior entries in the demonstration text, but co-exact claims may be asserted based on what is seen in the diagram. Diagram control by constructions is necessary (...) for this to work. Case-branching occurs when a construction renders a diagram un-representative. The roles of diagrams in reductio arguments, and of objection in probing a demonstration, are discussed. (shrink)

This entirely new translation of Critique of Pure Reason by Paul Guyer and Allan Wood is the most accurate and informative English translation ever produced of this epochal philosophical text. Though its simple, direct style will make it suitable for all new readers of Kant, the translation displays a philosophical and textual sophistication that will enlighten Kant scholars as well. This translation recreates as far as possible a text with the same interpretative nuances and richness as the original.

There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

Oxford Philosophical Texts Series Editor: John Cottingham The Oxford Philosophical Texts series consists of authoritative teaching editions of canonical texts in the history of philosophy from the ancient world down to modern times. Each volume provides a clear, well laid out text together with a comprehensive introduction by a leading specialist, giving the student detailed critical guidance on the intellectual context of the work and the structure and philosophical importance of the main arguments. Endnotes are supplied which provide further commentary (...) on the arguments and explain unfamiliar references and terminology, and a full bibliography and index are also included. The series aims to build up a definitive corpus of key texts in the Western philosophical tradition, which will form a reliable and enduring resource for students and teachers alike. David Hume's aim in writing An Enquiry concerning Human Understanding was to introduce his philosophy to a European culture in which many educated people read original works of philosophy. He gives an elegant and accessible presentation of strikingly original and challenging views about the limited powers of human understanding, the attractions of scepticism, the compatibility of free will and determinism, and weaknesses in the foundations of religion. Hume's philosophy was highly controversial in the eighteenth century and remains so today. The text printed in this edition is that of the Clarendon critical edition of Hume's works. A substantial introduction by the editor explains the intellectual background to the work and surveys its main themes. The volume also includes detailed explanatory notes on the text, a glossary of terms, a full list of references, and a section of supplementary readings. (shrink)

Robert Hanna presents a fresh view of the Kantian and analytic traditions that have dominated continental European and Anglo-American philosophy over the last two centuries, and of the connections between them. But this is not just a study in the history of philosophy, for out of this emerges Hanna's original approach to two much-contested theories that remain at the heart of contemporary philosophy. Hanna puts forward a new 'cognitive-semantic' interpretation of transcendental idealism, and a vigorous defense of Kant's theory of (...) analytic and synthetic necessary truth, making this compelling reading for all who are interested in these fundamental philosophical issues. (shrink)

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 ...

Officially, for Kant, judgments are analytic iff the predicate is "contained in" the subject. I defend the containment definition against the common charge of obscurity, and argue that arithmetic cannot be analytic, in the resulting sense. My account deploys two traditional logical notions: logical division and concept hierarchies. Division separates a genus concept into exclusive, exhaustive species. Repeated divisions generate a hierarchy, in which lower species are derived from their genus, by adding differentia(e). Hierarchies afford a straightforward sense of containment: (...) genera are contained in the species formed from them. Kant's thesis then amounts to the claim that no concept hierarchy conforming to division rules can express truths like '7+5=12.' Kant is correct. Operation concepts ( ) bear two relations to number concepts: and are inputs, is output. To capture both relations, hierarchies must posit overlaps between concepts that violate the exclusion rule. Thus, such truths are synthetic. (shrink)

This is the first volume of the first ever comprehensive edition of the works of Immanuel Kant in English translation. The eleven essays in this volume constitute Kant's theoretical, pre-critical philosophical writings from 1755 to 1770. Several of these pieces have never been translated into English before; others have long been unavailable in English. We can trace in these works the development of Kant's thought to the eventual emergence in 1770 of the two chief tenets of his mature philosophy: the (...) subjectivity of space and time, and the phenomena-noumena distinction. The volume has been furnished with substantial editorial apparatus, including a general introduction to the main themes of Kant's early thought, introduction to the individual works and re;sume;s of their contents, linguistic and factual notes, bibliographies, a glossary of key terms, and biographical-bibliographical sketches of persons mentioned by Kant. (shrink)

This landmark book is now reissued in a new edition that has been vastly rewritten and updated to respond to recent Kantian literature.

This major publication is a history of the semantic tradition in philosophy from the early nineteenth century through its incarnation in the work of the Vienna Circle, the group of logical positivists that emerged in the years 1925-1935 in Vienna who were characterised by a strong commitment to empiricism, a high regard for science, and a conviction that modern logic is the primary tool of analytic philosophy. In the first part of the book, Alberto Coffa traces the roots of logical (...) positivism in a semantic tradition that arose in opposition to Kant's theory that a priori knowledge is based on pure intuition and the constitutive powers of the mind. In Part II, Coffa chronicles the development of this tradition by members and associates of the Vienna Circle. Much of Coffa's analysis draws on the unpublished notes and correspondence of many philosophers. The book, however, is not merely a history of the semantic tradition from Kant 'to the Vienna Station'. Coffa also critically reassesses the role of semantic notions in understanding the ground of a priori knowledge and its relation to empirical knowledge and questions the turn the tradition has taken since Vienna. (shrink)

It's well-known that Kant believed that intuition was central to an account of mathematical knowledge. What that role is and how Kant argues for it are, however, still open to debate. There are, broadly speaking, two tendencies in interpreting Kant's account of intuition in mathematics, each emphasizing different aspects of Kant's general doctrine of intuition. On one view, most recently put forward by Michael Friedman, this central role for intuition is a direct result of the limitations of the syllogistic logic (...) available to Kant. On this view, Kant's reasons for introducing intuition are taken to be logical or mathematical, rather than philosophical. The other tendency, which I shall try to develop here, emphasizes an epistemological or phenomenological role for intuition in mathematics arising out of what may loosely be called Kant's ‘antiformalism.’This paper, which focuses specifically on the case of geometry, falls into two parts. First, I consider Kant's discussion of intuition in the Metaphysical Exposition of the concept of space. (shrink)

David Hume's Enquiry concerning Human Understanding is the definitive statement of the greatest philosopher in the English language. His arguments in support of reasoning from experience, and against the "sophistry and illusion"of religiously inspired philosophical fantasies, caused controversy in the eighteenth century and are strikingly relevant today, when faith and science continue to clash. The Enquiry considers the origin and processes of human thought, reaching the stark conclusion that we can have no ultimate understanding of the physical world, or indeed (...) our own minds. In either sphere we must depend on instinctive learning from experience, recognizing our animal nature and the limits of reason. Hume's calm and open-minded skepticism thus aims to provide a new basis for science, liberating us from the "superstition" of false metaphysics and religion. His Enquiry remains one of the best introductions to the study of philosophy, and his edition places it in its historical and philosophical context. (shrink)

The material contained in the following translation was given in substance by Professor Hilbertas a course of lectures on euclidean geometry at the University of G]ottingen during the wintersemester of 1898-1899. The results of his investigation were re-arranged and put into the formin which they appear here as a memorial address published in connection with the celebration atthe unveiling of the Gauss-Weber monument at G]ottingen, in June, 1899. In the French edition, which appeared soon after, Professor Hilbert made some additions, (...) particularly in the concludingremarks, where he gave an account of the results of a recent investigation made by Dr. Dehn.These additions have been incorporated in the following translation.Geometry, like arithmetic, requires for its logical development only a small number ofsimple, fundamental principles. These fundamental principles are called the axioms ofgeometry. The choice of the axioms and the investigation of their relations to one anotheris a problem which, since the time of Euclid, has been discussed in numerous excellentmemoirs to be found in the mathematical literature.1 This problem is tantamount to thelogical analysis of our intuition of space. (shrink)

This book provides a reading of Kant's theory of the construction of mathematical concepts through a fully contextualised analysis. In this work the author argues that it is only through an understanding of the relevant eighteenth century mathematics textbooks, and the related mathematical practice, that the material and context necessary for a successful interpretation of Kant's philosophy can be provided.