In this paper, I argue that although Kant’s account of empirical schemata in the Critique of Pure Reason is primarily used to explain the shared content of intuitions and empirical concepts, it is also informed by methodological problems in natural history. I argue that empirical schemata, which are rules for determining the spatiotemporal form of objects, not only serve to connect individual intuitions with concepts, but also concern the very features of objects on the basis of which they were connected (...) and ordered in taxonomic systems based on similarity of form. I then suggest that Kant likely had scientific illustrations in mind in his discussion of empirical images in the Schematism chapter and that his account of schemata can help explain the epistemic function of these images in early modern science. (shrink)

Que tipo de objetos são os diagramas, os quais podem ser manipulados lógica e matematicamente e também servem para obter conhecimento? Neste artigo, proporei uma maneira de responder a esta pergunta. Sustentarei a hipótese, inspirada por Kant e Peirce, de que os diagramas são uma classe de objetos híbridos com um aspecto intelectual e outro sensível. Os lógicos e matemáticos estão interessados e estudam uma certa estrutura que se exemplifica em um diagrama, embora não de maneira perfeita. Devido a seu (...) caráter sensível e a sua acessibilidade, tais diagramas permitem a manipulação e a experimentação, mas unicamente em virtude do tipo de relações por eles implicadas tornam possíveis juízos absolutamente universais. (shrink)

Proposition I.1 is, by far, the most popular example used to justify the thesis that many of Euclid’s geometric arguments are diagram-based. Many scholars have recently articulated this thesis in different ways and argued for it. My purpose is to reformulate it in a quite general way, by describing what I take to be the twofold role that diagrams play in Euclid’s plane geometry (EPG). Euclid’s arguments are object-dependent. They are about geometric objects. Hence, they cannot be diagram-based unless diagrams (...) are supposed to have an appropriate relation with these objects. I take this relation to be a quite peculiar sort of representation. Its peculiarity depends on the two following claims that I shall argue for: ( i ) The identity conditions of EPG objects are provided by the identity conditions of the diagrams that represent them; ( ii ) EPG objects inherit some properties and relations from these diagrams. (shrink)

The problem of ‘collective unity’ in the transcendental philosophies of Kant and Husserl is investigated on the basis of number’s exemplary ‘collective unity’. To this end, the investigation reconstructs the historical context of the conceptuality of the mathematics that informs Kant’s and Husserl’s accounts of manifold, intuition, and synthesis. On the basis of this reconstruction, the argument is advanced that the unity of number – not the unity of the ‘concept’ of number – is presupposed by each transcendental philosopher in (...) their accounts of the transcendental foundation of manifold, intuition, and synthesis. This presupposition is ultimately traced to Kant’s and Husserl’s responses to Hume’s philosophy of human understanding and the critical limits of what Kant calls the ‘qualitative’ unity of transcendental consciousness. These critical limits are exposed in both philosophers’ attempts to account for that ‘qualitative’ unity on the basis of the ‘quantitative’ unity of number. (shrink)

This paper gives a contextualized reading of Kant's theory of real definitions in geometry. Though Leibniz, Wolff, Lambert and Kant all believe that definitions in geometry must be ‘real’, they disagree about what a real definition is. These disagreements are made vivid by looking at two of Euclid's definitions. I argue that Kant accepted Euclid's definition of circle and rejected his definition of parallel lines because his conception of mathematics placed uniquely stringent requirements on real definitions in geometry. Leibniz, Wolff (...) and Lambert thus accept definitions that Kant rejects because they assign weaker roles to real definitions. (shrink)

Dedekind’s methodology, in his classic booklet on the foundations of arithmetic, has been the topic of some debate. While some authors make it closely analogue to Hilbert’s early axiomatics, others emphasize its idiosyncratic features, most importantly the fact that no axioms are stated and its careful deductive structure apparently rests on definitions alone. In particular, the so-called Dedekind “axioms” of arithmetic are presented by him as “characteristic conditions” in the _definition_ of the complex concept of a _simply infinite_ system. Making (...) sense of Dedekind’s method may be dependent on an analysis of the classical model of deductive science, as presented by authors from the eighteenth and early nineteenth centuries. Studying the modern reconstructions of Euclidean geometry, we show that they did not presuppose deductive independence of the axioms from the definitions. Authors like Wolff elaborated a mathematics _based on definitions_, and the Wolffian model of deductive science shows significant coincidences with Dedekind’s method, despite the great differences in content and approach. Wolff had a conception of definitions as _genetic_, which bears some similarities with Kant’s idea of synthetic definitions: they are understood as positing the content of mathematical concepts and introducing thought objects (_Gedankendinge_) that are the objects of mathematics. The emphasis on the spontaneity of the understanding, which can be found in this philosophical tradition, can also be fruitfully related with Dedekind’s idea of the “free creation” of mathematical objects. (shrink)

This paper considers Kant's understanding of conceptual representation in light of his view of geometry.

This paper argues that in Christian Wolff’s theory of knowledge, logical regimentation does not take the place of experiential justification, but serves to facilitate the application of empirical information and clearly exhibit its warrant. My argument targets rationalistic interpretations such as R. Lanier Anderson’s. It is common ground in this dispute that making concepts “distinct” issues in the premises on which all deductive justification rests. Against the view that concepts are made distinct only by analysis, which is carried out by (...) the understanding independently of experience, I contend that for Wolff some distinct concepts are arrived at through experience. I emphasize that Wolff countenances empirical methods of obtaining distinct concepts even in mathematics. This striking feature of his view indicates how its empiricist elements can be reconciled with his injunction to follow “mathematical” method. (shrink)

In his 1763 Prize Essay, Kant is thought to endorse a version of formalism on which mathematical concepts need not apply to extramental objects. Against this reading, I argue that the Prize Essay has sufficient resources to explain how the objective reference of mathematical concepts is secured. This account of mathematical concepts’ objective reference employs material from Wolffian philosophy. On my reading, Kant's 1763 view still falls short of his Critical view in that it does not explain the universal, unconditional (...) applicability of mathematical concepts. (shrink)

This book is a welcome contribution to the literature on Kant's philosophy of mathematics in two particular respects. First, the author systematically traces the development of Kant's thought on mathematics from the very early pre-Critical writings through to the Critical philosophy. Secondly, it puts forward a challenge to contemporary Anglo-Saxon commentators on Kant's philosophy of mathematics which merits consideration.A central theme of the book is that an adequate understanding of Kant's pronouncements on mathematics must begin with the recognition that mathematics (...) in Kant's time was poised at the beginning of what Pierobon calls the ‘algebraic revolution’ of the nineteenth century. For Kant, Euclidean geometry, with its heavy reliance on the geometric image, was the paradigm of certainty. The algebraic revolution of the nineteenth century replaced that paradigm with an algebraic formalism, thereby freeing mathematics from any connection to the geometric image, and also severing the link to intuition. Pierobon describes this as the ‘divergence between the image and writing [l'écriture]’. So great was the shift, Pierobon suggests, that, after the developments of the nineteenth century, it became difficult to find any sense in Kant's conception of mathematics as sensible knowledge. This, certainly, was the view of Russell, who notoriously claimed in Mysticism and Logic that modern developments in logic dealt a ‘fatal blow to the Kantian philosophy’ and that ‘the whole doctrine of a priori intuitions, by which Kant explained the possibility of pure mathematics, is wholly inapplicable to mathematics in its present form’.1 Pierobon claims, though, that much of Anglo-Saxon commentary on Kant's philosophy of mathematics begins from this ‘rationalist and logicist’ position, reading Kant's philosophy of mathematics from a post-algebraic-revolution perspective. This book attempts to offer a corrective to that position by offering a Kantian conception of mathematics …. (shrink)

It is often maintained that one insight of Kant's Critical philosophy is its recognition of the need to distinguish accounts of knowledge acquisition from knowledge justification. In particular, it is claimed that Kant held that the detailing of a concept's acquisition conditions is insufficient to determine its legitimacy. I argue that this is not the case at least with regard to geometrical concepts. Considered in the light of his pre-Critical writings on the mathematical method, construction in the Critique can be (...) seen to be a form of concept acquisition, one that is related to the modal phenomenology of geometrical judgement. (shrink)

I present a systematic interpretation of the foundational purpose of constructions in ancient Greek geometry. I argue that Greek geometers were committed to an operationalist foundational program, according to which all of mathematics—including its entire ontology and epistemology—is based entirely on concrete physical constructions. On this reading, key foundational aspects of Greek geometry are analogous to core tenets of 20th-century operationalist/positivist/constructivist/intuitionist philosophy of science and mathematics. Operationalism provides coherent answers to a range of traditional philosophical problems regarding classical mathematics, such (...) as the epistemic warrant and generality of diagrammatic reasoning, superposition, and the relation between constructivism and proof by contradiction. Alleged logical flaws in Euclid can be interpreted as sound operationalist reasoning. Operationalism also provides a compelling philosophical motivation for the otherwise inexplicable Greek obsession with cube duplication, angle trisection, and circle quadrature. Operationalism makes coherent sense of numerous specific choices made in this tradition, and suggests new interpretations of several solutions to these problems. In particular, I argue that: Archytas’s cube duplication was originally a single-motion machine; Diocles’s cissoid was originally traced by a linkage device; Greek conic section theory was thoroughly constructive, based on the conic compass; in a few cases, string-based constructions of conic sections were used instead; pointwise constructions of curves were rejected in foundational contexts by Greek mathematicians, with good reason. Operationalism enables us to view the classical geometrical tradition as a more unified and philosophically aware enterprise than has hitherto been recognised. (shrink)

The chapter begins with an initial survey of ups and downs of contextualist history of philosophy during the twentieth century in Britain and America, which finds that historically serious history of philosophy has been on the rise. It then considers ways in which the study of past philosophy has been used and is used in philosophy, and makes a case for the philosophical value and necessity of a contextually oriented approach. It examines some uses of past texts and of history (...) that reveal limits to noncontextual history, including Strawson's Kant, Rorty's grand diagnosis of the Western tradition, and Friedman on Kant's philosophy of mathematics. It then considers ways in which the history of philosophy may become philosophically deeper by becoming more historical, and instances in which history of philosophy of various stripes has or may deliver a philosophical payoff. Along the way, it urges historians of philosophy to attend not only to individual philosophers and their problems and projects, but also to the larger shape of the history of philosophy and its narrative themes. (shrink)

The role and place of transcendental psychology in Kant's Critique of Pure Reason has been a source of some contention. This work presents a detailed argument for restoring transcendental psychology to a central place in the interpretation of Kant's Analytic, in the process providing a detailed response to more "austere" analytic readings.

En este texto se desarrollan algunas ideas que Kant plantea sobre la ontología de los objetos geométricos. En primer lugar, una vez que se abstraen ciertos componentes de la intuición empírica, queda como resultado la intuición pura. Aquello ocurre porque la intuición pura es la forma de la intuición empírica, es decir, no corresponde a un componente que podría presentarse al margen de aquella. En segundo lugar, las partes del espacio son posteriores a éste, dado que éstas son limitaciones del (...) mismo. A partir de ello, puede afirmarse que las partes del espacio comparten el mismo estatus ontológico que éste. En tercer lugar, el espacio propiamente no existe, aunque se le atribuye una cierta forma de realidad, el ser un ens imaginarium, en virtud de ser forma de los fenómenos, de los cuales sí es posible afirmar que realmente existen. Por lo tanto, a partir de lo anterior puede afirmarse que los objetos geométricos son entia imaginaria. (shrink)