It is a common thought that mathematics can be not only true but also beautiful, and many of the greatest mathematicians have attached central importance to the aesthetic merit of their theorems, proofs and theories. But how, exactly, should we conceive of the character of beauty in mathematics? In this paper I suggest that Kant's philosophy provides the resources for a compelling answer to this question. Focusing on §62 of the ‘Critique of Aesthetic Judgment’, I argue against the common view (...) that Kant's aesthetics leaves no room for beauty in mathematics. More specifically, I show that on the Kantian account beauty in mathematics is a non-conceptual response felt in light of our own creative activities involved in the process of mathematical reasoning. The Kantian proposal I thus develop provides a promising alternative to Platonist accounts of beauty widespread among mathematicians. While on the Platonist conception the experience of mathematical beauty consists in an intellectual insight into the fundamental structures of the universe, according to the Kantian proposal the experience of beauty in mathematics is grounded in our felt awareness of the imaginative processes that lead to mathematical knowledge. The Kantian account I develop thus offers to elucidate the connection between aesthetic reflection, creative imagination and mathematical cognition. (shrink)

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)

Kant’s investigations into so‐called a priori judgments of pure mathematics in the Critique of Pure Reason (KrV) are mainly confined to geometry and arithmetic both of which are grounded on our pure forms of intuition, space, and time. Nevertheless, as regards notions such as irrational numbers and continuous magnitudes, such a restricted account is crucially problematic. I argue that algebra can play a transcendental role with respect to the two pure intuitive sciences, arithmetic and geometry, as the condition of their (...) possibility. It follows that Kant’s schematism of the concept of magnitude ought to be quantitatively represented in algebraic formulas in general, and also undergo several modifications in order to suit continuities. (shrink)

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

Kant held that under the concept of √2 falls a geometrical magnitude, but not a number. In particular, he explicitly distinguished this root from potentially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant's philosophy this identification is impossible.

Defences of Kant's foundations of geometry fall short if they are unable to equally ground Euclidean and non-Euclidean geometries. Thus, Kant's account must be separated from geometrical postulates. I argue that characterizing space as the form of outer intuition must be independent of postulates. Geometrical postulates are then expressions of particular spatializing activities made possible by the a priori intuition of space. While Amit Hagar contends that this is to speak of noumena, I argue that a Kantian account of space (...) as the form of outer attention-directing remains seated in the subject. (shrink)

In theCritique of Pure Reason,Kant argues for two principles that concern magnitudes. The first is the principle that ‘All intuitions are extensive magnitudes,’ which appears in the Axioms of Intuition ; the second is the principle that ‘In all appearances the real, which is an object of sensation, has an intensive magnitude, that is, a degree,’ which appears in the Anticipations of Perception. A circle drawn in geometry and the space occupied by an object such as a book are paradigm (...) examples of extensive magnitudes, while the intensity of a light is a paradigm example of an intensive magnitude. These principles justify and explain the possibility of applying mathematics to objects of experience. The Axioms principle also explains the possibility of any mathematical cognition at all. (shrink)

Kant's Critique of Pure Reason makes important claims about space, time and mathematics in both the Transcendental Aesthetic and the Axioms of Intuition, claims that appear to overlap in some ways and contradict in others. Various interpretations have been offered to resolve these tensions; I argue for an interpretation that accords the Axioms of Intuition a more important role in explaining mathematical cognition than it is usually given. Appreciation for this larger role reveals that magnitudes are central to Kant's philosophy (...) of mathematics and to the part that intuition plays in it. (shrink)

Despite the importance of Kant's claims about mathematical cognition for his philosophy as a whole and for subsequent philosophy of mathematics, there is still no consensus on his philosophy of arithmetic, and in particular the role he assigns intuition in it. This inquiry sets aside the role of intuition for the nonce to investigate Kant's conception of natural number. Although Kant himself doesn't distinguish between a cardinal and an ordinal conception of number, some of the properties Kant attributes to number (...) can be characterized as cardinal or ordinal. This essay argues that Kant's conception of number includes both cardinal and ordinal elements; it suggests that the cardinal elements provide the basis of a conception of number in general, while the ordinal elements contribute to specifying the exact size of particular collections. In considering these elements, roles for intuition begin to emerge, setting the stage for a reevaluation of the role of intuition in Kant's arithmetic. (shrink)

The aggregate EIRP of an N-element antenna array is proportional to N 2. This observation illustrates an effective approach for providing deep space networks with very powerful uplinks. The increased aggregate EIRP can be employed in a number of ways, including improved emergency communications, reaching farther into deep space, increased uplink data rates, and the flexibility of simultaneously providing more than one uplink beam with the array. Furthermore, potential for cost savings also exists since the array can be formed using (...) small apertures. (shrink)

In this paper, I investigate an important aspect of Kant’s theory of pure sensible intuition. I argue that, according to Kant, a pure concept of space warrants and constrains intuitions of finite regions of space. That is, an a priori conceptual representation of space provides a governing principle for all spatial construction, which is necessary for mathematical demonstration as Kant understood it.Author Keywords: Kant; Space; Pure sensible intuition; Philosophy of mathematics.

En este artículo se examina la noción kantiana de las demostraciones matemáticas. Esta noción se encuentra desarrollada en el apartado titulado “Disciplina de la razón pura en su uso dogmático” de la _Crítica de la razón pura. _En este texto, Kant explica por qué los procedimientos exitosos en el conocimiento matemático resultan impracticables en metafísica. En primer lugar se estudian dos pasajes en los que el filósofo describe dos demostraciones: la demostración de la congruencia de los ángulos de la base (...) de un triángulo isósceles, y la demostración de que la suma de los ángulos internos de cualquier triángulo es igual a dos rectos. A continuación, se examina la descripción de la demostración matemática como una prueba apodíctica en la intuición. Este análisis muestra que la demostración matemática no constituye la misma clase de procedimiento presentado como demostración en los §§57 y 59 de la _Crítica del Juicio._. (shrink)

The aim of this paper is to show that attention to Kant's philosophy of mathematics sheds light on the doctrine that there are two stems of the cognitive capacity, which are distinct, but equally necessary for cognition. Specifically, I argue for the following four claims: The distinctive structure of outer sensible intuitions must be understood in terms of the concept of magnitude. The act of sensibly representing a magnitude involves a special act of spontaneity Kant ascribes to a capacity he (...) calls the productive imagination. Contrary to what is assumed by many commentators, it is not the case that the Two Stems Doctrine implies that a representation is either sensible or spontaneity-dependent, but not both. Outer sensible intuitions are both sensible and spontaneity-dependent – they are sensible because they exhibit the kind of structure Kant takes to be distinctive of outer sensible intuitions, and they depend on spontaneity because they are cases of sensibly representing a magnitude. (shrink)

The paper attempts to summarize the debate on Kant’s philosophy of geometry and to offer a restricted area of mathematical practice for which Kant’s philosophy would be a reasonable account. Geometrical theories can be characterized using Wittgenstein’s notion of pictorial form . Kant’s philosophy of geometry can be interpreted as a reconstruction of geometry based on one of these forms — the projective form . If this is correct, Kant’s philosophy is a reasonable reconstruction of such theories as projective geometry; (...) and not only as they were practiced in Kant’s time, but also as architects use them today. (shrink)

In this interesting and engaging book, Shabel offers an interpretation of Kant's philosophy of mathematics as expressed in his critical writings. Shabel's analysis is based on the insight that Kant's philosophical standpoint on mathematics cannot be understood without an investigation into his perception of mathematical practice in the seventeenth and eighteenth centuries. She aims to illuminate Kant's theory of the construction of concepts in pure intuition—the basis for his conclusion that mathematical knowledge is synthetic a priori. She does this through (...) a contextualized interpretation of his notion of mathematical construction, which she argues can be approached by looking at Euclid's Elements and Christian Wolff's mathematical textbooks. The importance of the former for her interpretation is justified by the fact that nearly all of Kant's mathematical examples in the Critique are Euclidean propositions. The importance of the latter is revealed through the fact that Wolff's textbooks were not only widely read and representative of the state of elementary mathematics during Kant's time; Kant was also intimately familiar with them. During the thirty years prior to the publication of the Critique, he used the textbooks in the college-level introductory courses in mathematics and physics that he taught.In the introduction to her book, Shabel helpfully distinguishes her approach to Kant's philosophy of mathematics from that of previous commentators. She points out that most commentators assessed Kant's thoughts on mathematics in terms of the ‘supposedly devastating effects of the discovery of non-Euclidean geometry on his theory of space’ .1 Bertrand Russell, for example, criticized Kant for his lack of a proper …. (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)

It is occasionally claimed that the important work of philosophers, physicists, and mathematicians in the nineteenth and in the early twentieth centuries made Kant’s critical philosophy of geometry look somewhat unattractive. Indeed, from the wider perspective of the discovery of non-Euclidean geometries, the replacement of Newtonian physics with Einstein’s theories of relativity, and the rise of quantificational logic, Kant’s philosophy seems “quaint at best and silly at worst”.1 While there is no doubt that Kant’s transcendental project involves his own conceptions (...) of Newtonian physics, Euclidean geometry and Aristotelian logic, the issue at stake is whether the replacement of these conceptions collapses Kant’s philosophy into an unfortunate embarrassment.2 Thus, in evaluating the debate over the contemporary relevance of Kant’s philosophical project one is faced with the following two questions: (1) Are there any contradictions between the scientific developments of our era and Kant’s philosophy? (2) What is left from the Kantian legacy in light of our modern conceptions of logic, geometry and physics? Within this broad context, this paper aims to evaluate the Kantian project vis à vis the discovery and application of non-Euclidean geometries. Many important philosophers have evaluated Kant’s philosophy of geometry throughout the last century,3 but opinions with regard to the impact of non-Euclidean geometries on it diverge. In the beginning of the century there was a consensus that the Euclidean character of space should be considered as a consequence of the Kantian project, i.e., of the metaphysical view of space and of the synthetic a priori character of geometry. The impact of non-Euclidean geometries was then thought as undermining the Kantian project since it implied, according to positivists such.. (shrink)

I use recent work on Kant and diagrammatic reasoning to develop a reconsideration of central aspects of Kant’s philosophy of geometry and its relation to spatial intuition. In particular, I reconsider in this light the relations between geometrical concepts and their schemata, and the relationship between pure and empirical intuition. I argue that diagrammatic interpretations of Kant’s theory of geometrical intuition can, at best, capture only part of what Kant’s conception involves and that, for example, they cannot explain why Kant (...) takes geometrical constructions in the style of Euclid to provide us with an a priori framework for physical space. I attempt, along the way, to shed new light on the relationship between Kant’s theory of space and the debate between Newton and Leibniz to which he was reacting, and also on the role of geometry and spatial intuition in the transcendental deduction of the categories. (shrink)

Although it is clear that Sir William Rowan Hamilton supported a Kantian account of algebra, I argue that there is an important sense in which Hamilton's philosophy of mathematics can be situated in the Newtonian tradition. Drawing from both Niccolo Guicciardini's (2009) and Stephen Gaukroger's (2010) readings of the Newton–Leibniz controversy over the calculus, I aim to show that the very epistemic ideals that underpin Newton's argument for the superiority of geometry over algebra also motivate Hamilton's philosophy of algebra. Namely, (...) Hamilton's defense of algebra, like Newton's defense of geometry, is driven by the claim that a mathematical science must have a proper object and thus a basis in truth. In particular, Hamilton aims to show that algebra is not a mere language, or tool, or a mere “art”; instead, he argues, algebra is a bona fide mathematical science, like geometry, because its methods also provide true and accurate insight into a genuine subject matter, namely, the pure form of temporal intuition. (shrink)

The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the truth of Euclidean geometry. Similarly, advancements in algebra challenged the view that temporal intuition provides a foundation for both it and arithmetic. Mathematics seemed increasingly detached from experience as well as its form; moreover, with advances in symbolic logic, mathematical inference also seemed independent of intuition. This paper considers various philosophical responses to (...) these changes, focusing on the idea of modifying Kant’s conception of intuition in order to accommodate the increasing abstractness of mathematics. It is argued that far from clinging to an outdated paradigm, programs based on new conceptions of intuition should be seen as motivated by important philosophical desiderata, such as the truth, apriority, distinctiveness and autonomy of mathematics. (shrink)

This review of contemporary discussions of Kantian philosophy of mathematics is timed for the publication of the essay Kant’s Philosophy of Mathematics. Volume 1: The Critical Philosophy and Its Roots (2020) edited by Carl Posy and Ofra Rechter. The main discussions and comments are based on the texts contained in this collection. I first examine the more general questions which have to do not only with the philosophy of mathematics, but also with related areas of Kant’s philosophy, e. g. the (...) question: What is intuition and singular term? Then I look at more specific questions, e. g.: What is the subject of arithmetic and what is the significance of diagrams in mathematical reasoning? As a result, the reader is presented with a fairly complete overview of modern discussions which can be used as an introduction to the problem field of Kant’s philosophy of mathematics. (shrink)

Kant’s theory of arithmetic is not only a central element in his theoretical philosophy but also an important contribution to the philosophy of arithmetic as such. However, modern mathematics, especially non-Euclidean geometry, has placed much pressure on Kant’s theory of mathematics. But objections against his theory of geometry do not necessarily correspond to arguments against his theory of arithmetic and algebra. The goal of this article is to show that at least some important details in Kant’s theory of arithmetic can (...) be picked up, improved by reconstruction and defended under a contemporary perspective: the theory of numbers as products of rule following construction presupposing successive synthesis in time and the theory of arithmetic equations, sentences or “formulas”—as Kant says—as synthetic a priori. In order to do so, two calculi in terms of modern mathematics are introduced which formalise Kant’s theory of addition as a form of synthetic operation. (shrink)

Kant's theory of arithmetic is not only a central element in his theoretical philosophy but also an important contribution to the philosophy of arithmetic as such. However, modern mathematics, especially non-Euclidean geometry, has placed much pressure on Kant's theory of mathematics. But objections against his theory of geometry do not necessarily correspond to arguments against his theory of arithmetic and algebra. The goal of this article is to show that at least some important details in Kant's theory of arithmetic can (...) be picked up, improved by reconstruction and defended under a contemporary perspective: the theory of numbers as products of rule following construction presupposing successive synthesis in time and the theory of arithmetic equations, sentences or "formulas"—as Kant says—as synthetic a priori. In order to do so, two calculi in terms of modern mathematics are introduced which formalise Kant's theory of addition as a form of synthetic operation. (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)

Neo-Kantianism emerged over the course of the 1860s and it occupied a leading position in the German universities from the 1870s until the First World War. Demands for getting "back to Kant" had become common since the early 1860s, and these demands were discussed in the meetings of the Philosophical Society of Berlin (Philosophische Gesellschaft zu Berlin; PGB), which was the international organization of Hegelians. In this paper I address some reactions among the PGB members to the 1860s Kant revival. (...) The journal "Der Gedanke", the organ of the PGB, reported closely how Kant returned to the spotlight of German philosophy. The reactions of the PGB members to the Kant revival was not only critical. Over the course of the 1860s the interest on Kant among the members grew little by little. (shrink)

O artigo visa mostrar como o gesto filosófico reinholdiano de construção de uma filosofia elementar e o fichteano de fundamentar toda filosofia como ciência rigorosa em uma intuição intelectual alcançada através de um postulado, mais do que uma traição da impostação fundamental da crítica da razão kantiana, refletem uma tentativa de aprofundar elementos implícitos nela, sobretudo no que diz respeito à sua dimensão metodológica. Isto permite estabelecer uma continuidade entre o criticismo de Kant e o chamado de idealismo alemão que (...) ultrapassa toda concepção baseada sobre uma apropriação indevida ou uma assimilação seletiva do criticismo por parte deste último, e pode ser entendida como presentificação. (shrink)

El objetivo del presente artículo es ofrecer una interpretación de la doctrina del esquematismo de los conceptos empíricos y matemáticos presentada por Kant en su Crítica de la razón pura. Mostramos que los esquemas de los conceptos empíricos y matemáticos son procedimientos de síntesis gobernados por reglas conceptuales. Aunque no consideramos que esta doctrina kantiana carece de problemas, nuestro trabajo muestra que: 1) esos esquemas pueden distinguirse rigurosamente de sus correspondientes conceptos; 2) esos esquemas no son entidades superfluas. Estas conclusiones (...) se alcanzan mostrando que el contenido de un concepto determina la unidad de elementos sensibles que tiene que ser efectuada por un esquema en tanto procedimiento de síntesis. (shrink)