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)

What is central to the progression of a sequence is the idea of succession, which is fundamentally a temporal notion. In Kant's ontology numbers are not objects but rules (schemata) for representing the magnitude of a quantum. The magnitude of a discrete quantum 11...11 is determined by a counting procedure, an operation which can be understood as a mapping from the ordinals to the cardinals. All empirical models for numbers isomorphic to 11...11 must conform to the transcendental determination of time-order. (...) Kant's transcendental model for number entails a procedural semantics in which the semantic value of the number-concept is defined in terms of temporal procedures. A number is constructible if and only if it can be schematized in a procedural form. This representability condition explains how an arbitrarily large number is representable and why Kant thinks that arithmetical statements are synthetic and not analytic. (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.

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)

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)

I advance a novel interpretation of Kant's argument that our original representation of space must be intuitive, according to which the intuitive status of spatial representation is secured by its infinitary structure. I defend a conception of intuitive representation as what must be given to the mind in order to be thought at all. Discursive representation, as modelled on the specific division of a highest genus into species, cannot account for infinite complexity. Because we represent space as infinitely complex, the (...) spatial manifold cannot be generated discursively and must therefore be given to the mind, i.e. represented in intuition. (shrink)

In his Tractatus Logico-Philosophicus Ludwig Wittgenstein (1889–1951) presents the concept of order in terms of a notational iteration that is completely logical but not part of logic. Logic for him is not the foundation of mathematical concepts but rather a purely formal way of reflecting the world that at the minimum adds absolutely no content. Order for him is not based on the concepts of logic but is instead revealed through an ideal notational series. He states that logic is “transcendental”. (...) As such it requires an ideal that his philosophical method eventually forces him to reject. I argue that Wittgenstein’s philosophy is more dialectical than transcendental. (shrink)

ABSTRACT I suggest how a broadly Kantian critique of classical logic might spring from reflections on constructibility conditions. According to Kant, mathematics is concerned with objects that are given through ‘arbitrary synthesis,’ in the form of ‘constructions of concepts’ in the medium of ‘pure intuition.’ Logic, by contrast, is narrowly constrained – it has no objects of its own and is fixed by the very forms of thought. That is why there is not much room for developments within logic, as (...) compared to the progress in mathematics. Kant’s view of logic remains critical, though – through considerations that are effectively on the scope and limits of classical logic and which play a part in his transcendental idealism. The most important ones are to be found in his critique of the use of reductio ad absurdum proofs in metaphysics and his solutions to the ‘antinomies of pure reason.’ Arguably, these considerations carry over to mathematics as well – by way of ‘analogues’ to the antinomies – in particular in resolving infinity paradoxes. (shrink)

ABSTRACT This paper seeks to clarify Husserl’s critical remarks about Kant’s view of logic by comparing their respective views of logic. In his Formal and Transcendental Logic Husserl criticizes Kant for not asking transcendental questions about formal logic, but rather ascribing an ‘extraordinary apriority’ to it. He thinks the reason for Kant’s uncritical attitude to logic lies in Kant’s view of logic as directed toward the subjective, instead of being concerned with a ‘“world” of ideal Objects’. Whereas for Kant, general (...) logic is about laws of reasoning. Husserl thinks that formal logic should describe formal structures. Husserl claims that if Kant had had a more comprehensive concept of logic, he would have thought of raising critical questions about how logic is possible. This kind of criticism cannot itself use forms of judgments or syllogisms of logic, nor even the ‘inferential’ [schliessende] method more generally, but should be descriptive in nature. Husserl's transcendental phenomenology is the method for such criticism. The paper argues that this results in reflection, and possibly revision, of the logical principles with respect to the normative goals governing the investigation in question. (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 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 recent years non-conceptual content theorists have taken Kant as a reference point on account of his notion of intuition (§§ 1-2). The present work aims at exploring several complementary issues intertwined with the notion of non-conceptual content: of these, the first concerns the role of the intuition as an indexical representation (§ 3), whereas the second applies to the presence of a few epistemic features articulated according to the distinction between knowledge by acquaintance and knowledge by description (§ 4). (...) This work intends to dismiss the possibility that intuition may have an autonomous function of de re knowledge in support of an interpretative reading which can be labelled as weak conceptualism. To this end, the exploration will be conducted from a strictly transcendental perspective – i.e., by referring to the so called theory of the “concept of a transcendental object”. (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, so (...) the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (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)