According to Kant, the axioms of intuition, i.e. space and time, must provide an organization of the sensory experience. However, this first orderliness of empirical sensations seems to depend on a kind of faculty pertaining to subjectivity, rather than to the encounter of these same intuitions with the real properties of phenomena. Starting from an analysis of some very significant developments in mathematical and theoretical physics in the last decades, in which intuition played an important role, we argue that nevertheless (...) intuition comes into play in a fundamentally different way to that which Kant had foreseen: in the form of a formal or “categorical” yet not sensible intuition. We show further that the statement that our space is mathematically three-dimensional and locally Euclidean by no means follows from a supposed a priori nature of the sensible or subjective space as Kant claimed. In fact, the three-dimensional space can bear many different geometrical and topological structures, as particularly the mathematical results of Milnor, Smale, Thurston and Donaldson demonstrated. On the other hand, it has been stressed that even the phenomenological or perceptual space, and especially the visual system, carries a very rich geometrical organization whose structure is essentially non-Euclidean. Finally, we argue that in order to grasp the meaning of abstract geometric objects, as n-dimensional spaces, connections on a manifold, fiber spaces, module spaces, knotted spaces and so forth, where sensible intuition is essentially lacking and where therefore another type of mathematical idealization intervenes, we need to develop a new form of intuition. (shrink)

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)

The Univalent Foundations of Mathematics provide not only an entirely non-Cantorian conception of the basic objects of mathematics but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a pragmatist reading of the structuralist thesis in the philosophy of mathematics, which I will use to define a criterion that a formal (...) system must satisfy if it is to be regarded as a “structuralist foundation.” I will then explain why both set-theoretic foundations like ZFC and category-theoretic foundations like ETCS satisfy this criterion only to a very limited extent. Then I will argue that UF is better-able to live up to the proposed criterion for a structuralist foundation than any currently available foundational proposal. First, by showing that most criteria of identity in the practice of mathematics can be formalized in terms of the preferred criterion of identity between the basic objects of UF. Second, by countering several objections that have been raised against UF’s capacity to serve as a foundation for the whole of mathematics. (shrink)

In order to make sense of Scotus’s claim that rationality is perfected only by the will, a Scotistic doctrine of truth is developed in a speculative way. It is claimed that synthetic a priori truths are truths of the will, which are existential truths. This insight holds profound theological implications and is used on the one hand to criticize Kant's conception of existence, and on the other hand, to offer another explanation of the sense according to which the existence of (...) things is grasped. (shrink)

Kant's reasoning in his special metaphysics of nature is often opaque, and the character of his a priori foundation for Newtonian science is the subject of some controversy. Recent literature on the Metaphysical Foundations of Natural Science has fallen well short of consensus on the aims and reasoning in the work. Various of the doctrines and even the character of the reasoning in the Metaphysical Foundations have been taken to present insuperable obstacles to accepting Kant's claim to ground Newtonian science. (...) Gordon Brittan and Gerd Buchdahl, amongst others, have argued that Kant's stated aims in this case are not to be taken at face value, and that prior ontological commitments play a hidden but central role in Kant's special metaphysics. ;Michael Friedman has shown how Kant's stated aims can be taken seriously with his ingenious reconstruction of the Metaphysical Foundations as a demonstration of the a priori basis for our thinking bodies to be in true motion and in absolute space. However, Friedman does not address the issue of matter theory--despite the importance of the issue to Kant. I argue that a strict reading of both the stated aims and doctrines of the Metaphysical Foundations is possible, since much of Kant's reasoning about the empirical concept of matter can be explained by his views on how the construction of empirical concepts is possible. ;Kant's quasi-mathematical constructions are pivotal in Friedman's interpretation. Constructibility is Kant's criterion of acceptability for the concepts of natural science. Yet Kant notoriously fails to construct the dynamical concept of matter, and accepts this failure with an equally notorious complacency. I argue that Kant's criteria of empirical concept construction, apart from any prior ontological commitments, are enough to generate his views on matter. Kant's failure to construct the requisite concept of matter can be ascribed to a missing law of nature, a law of the relation of forces the discovery of which Kant thought imminent. I conclude that matter theory is central to the Metaphysical Foundations, but that this does not undermine Kant's stated aim of giving the a priori ground of Newtonian science. (shrink)

According to the received view, Charles S. Peirce's theory of diagrammatic reasoning is derived from Kant's philosophy of mathematics. For Kant, only mathematics is constructive/synthetic, logic being instead discursive/analytic, while for Peirce, the entire domain of necessary reasoning, comprising mathematics and deductive logic, is diagrammatic, i.e. constructive in the Kantian sense. This shift was stimulated, as Peirce himself acknowledged, by the doctrines contained in Friedrich Albert Lange's Logische Studien (1877). The present paper reconstructs Peirce's reading of Lange's book, and illustrates (...) what, according to Peirce, was right and what was problematic in Lange's account of reasoning. It further seeks to explain how Peirce's theory of deductive reasoning was a combination of Kant's philosophy of mathematics and Lange's philosophy of logic. (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)

Einleitung Die Kantische Philosophie der Mathematik ist nach einer weitverbreiteten Meinung in ihren Grundzügen überholt. Die moderne Mathematik gilt, ganz unkantisch, als analytisches Denken. Im folgenden soll für eine partielle Verteidigung von Kants Philosophie der Mathematik argumentiert werden. Sie hat nämlich den Gegenstandsbezug der Mathematik und deren Anwendungsrelation zu ihrem zentralen Problem gemacht. Für Kant war es die Anschauung, die den gegenständlichen Bezug ermöglichen sollte und in dieser Funktion ist sie, wie von einem anwendungsorientierten Standpunkt aus argumentiert wird, keineswegs überholt. (...) Die Verteidigung ist aber nur partiell, da Kant von einem apriorisch fixierten Anschauungsbegriff ausging und es diesen durch einen „naturalisierten“ Begriff zu ersetzen gilt. (shrink)

In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, i.e. separately (...) for each inference step. Between inference steps, several kinds of paraphrasing are allowed. Today we formalise globally: we choose a symbolisation that works for the entire argument, and thus we eliminate intuitive steps and changes of viewpoint during the argument. Frege and Peano recast the logical rules so as to make this possible. I comment also on the traditional assumption that logical processing takes place at the top syntactic level, and I question Johan’s view that natural logic is ‘natural’. (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)

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)

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 early major works, Cassirer and Schlick differently recast traditional doctrines of the concept and of the relation of concept to intuitive content along the lines of recent epistemological discussions within the exact sciences. In this, they attempted to refashion epistemology by incorporating as its basic principle the notion of functional coordination, the theoretical sciences' own methodological tool for dispensing with the imprecise and unreliable guide of intuitive evidence. Examining their respective reconstructions of the theory of knowledge provides an axis (...) of comparison along which to locate Cassirer's Neo-Kantianism and Schlick's pre-positivist empiricism, and an immediate background of contrast to the subsequent rise of logical empiricism. For in the absence of intuition all our knowledge is without objects and therefore remains entirely empty. (Kant A62/B87) And how awkward is the human mind in diving the nature of things when forsaken by the analogy of what we see and touch directly? (Boltzmann 1895). (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)

In this paper, I critically discuss Frege’s philosophy of geometry with special emphasis on his position in The Foundations of Arithmetic of 1884. In Sect. 2, I argue that that what Frege calls faculty of intuition in his dissertation is probably meant to refer to a capacity of visualizing geometrical configurations structurally in a way which is essentially the same for most Western educated human beings. I further suggest that according to his Habilitationsschrift it is through spatial intuition that we (...) come to know the axioms of Euclidean geometry. In Sect. 3, I argue that Frege seems right in claiming in The Foundations, §14 that the synthetic nature of the Euclidean axioms follows from the fact that they are independent of one another and of the primitive laws of logic. If the former were dependent on the latter, they would be analytic in Frege’s sense of analyticity. But then they would not be independent of one another and due to their mutual provability would lose their status as axioms of Euclidean geometry, since according to Frege an axiom of a theory T is per definitionen unprovable in T. I further argue that only by invoking pure spatial intuition can Frege “explain” the epistemological status of the axioms of Euclidean geometry completely: their synthetic a priori nature. Finally, I argue that his view about independence in The Foundations, §14 seems to clash with his conception of independence in his mature period. In Sect. 4, I scrutinize Frege’s somewhat vague, but unduly neglected remarks in The Foundations, §26 on space, spatial intuition and the axioms of Euclidean geometry. I argue that for the sake of coherence Frege should have said unambiguously that space is objective, that it is independedent not only of our spatial intuition, but of our mental life altogether including our judgements about space, instead of encouraging the possible conjecture that in his view it contains an objective and a subjective component. I further argue that for Frege the objectivity of both space and the axioms of Euclidean geometry manifests itself in our universal and compulsory acknowledgement of the Euclidean axioms as true. I conclude Sect. 4 by arguing that there is a conflict between the subjectivity of our spatial intuitions as stressed in The Foundations, §26 and Frege’s thesis in his dissertation that the axioms of Euclidean geometry derive their validity from the nature of our faculty of intuition. To resolve this conflict, I propose that in the light of his avowed realism in The Foundations Frege could have replaced his early thesis by saying that although we come to know the axioms of Euclidean geometry through spatial intuition and are justified in acknowledging them as true on the basis of geometrical intuition, their truth is independent not only of the nature of our faculty of intuition and singular acts of intuition, but of our mental processes and activities in general, including the inner mental act of judging. In Sect. 5, I argue that Frege most likely did not adopt Kant’s method of acquiring geometrical knowledge via the ostensive construction of concepts in spatial intuition. In contrast to Kant, Frege holds that the axioms of three-dimensional Euclidean geometry express state of affairs about space obtaining independently of our spatial intuition. In Sect. 6, I conclude with a summarized assessment of Frege’s philosophy of geometry. (shrink)

In the theoretical philosophy of Immanuel Kant, the term object has an extensive and far-reaching significance, and it can therefore be understood as a theory of objects. This becomes particularly clear when it is observed that all of his guidelines can be traced to different concepts of objects and their combination. With his concept of the object of experience, he attempts to mediate incompatible aspects in this: in relation to the object of experience, we have apodictic claims but at the (...) same time our knowledge of the object develops and contains the possibility of historical progress. This theory of objects was elaborated by Kant with regard to natural science and the claim of its metaphysical foundation. For this reason, Kant’s concept of object is inherently linked with his concept of science. Astronomy is at the core of his investigation, because it represents a perfect example of a so-called proper and rational natural science. (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)

That Wittgenstein in the Tractatus likens logic to geometry has been noticed; however, the extent and force of the analogy he develops between logical form and a broadly Kantian account of geometry has not been sufficiently appreciated. In this paper, I trace Wittgenstein's analogy in detail by looking closely at the relevant texts. I then suggest that we regard the fact that Wittgenstein develops his account of logical form by analogy with a Kantian account of geometry as evidence for the (...) bold thesis that Wittgenstein belongs within a Kantian epistemological tradition. Finally, I supply two small pieces of the interpretive puzzle needed to support the larger thesis: first, evidence that Wittgenstein's concern with logical form involves a crucial epistemological component; second, a sketch of how Wittgenstein's account of logical and mathematical knowledge can be viewed as continuing a Kantian tradition. (shrink)

In recent years, several scholars have been investigating Frege’s mathematical background, especially in geometry, in order to put his general views on mathematics and logic into proper perspective. In this article I want to continue this line of research and study Frege’s views on geometry in their own right by focussing on his views on a field which occupied center stage in nineteenth century geometry, namely, projective geometry.

Until recently, leading work on the philosophy of thought experiments mistakenly credited Mach with coining the term. While Ørsted’s prior use has become more widely acknowledged, there remains a c...

This paper is a brief history of natural logic at the interface of logic, linguistics, and nowadays also other disciplines. It merely summarizes some facts that deserve to be common knowledge.

Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire span of Paschs (...) highly original, but virtually unknown, philosophy of mathematics is presented. (shrink)

The direct proof of transcendental idealism, in the Transcendental Aesthetic of Kant's First Critique, has borne the brunt of enormous criticism. Much of this criticism has arisen from a confusion regarding the epistemological nature of the arguments Kant proposes with the alleged ontological conclusions he draws. In this paper I attempt to deflect this species of criticism. I concentrate my analysis on the Metaphysical Expositions of Space and Time. I argue that the argument form of the Metaphysical Expositions is that (...) of disjunctive syllogism and that Kant's primary target of attack is that of Leibnizian relativism. I provide a detailed analysis and reconstruction of the arguments of the Metaphysical Expositions, defending Kant against various claims of argumentative invalidity and incoherence. I conclude by identifying what can properly be inferred regarding the ontological nature of space and time, given my reconstructions of the arguments, and by suggesting the manner in which Kant can deflect objections from the other major proponent of transcendental realism, namely, Newtonian absolutism. (shrink)

Matthias Neuber’s book represents an important contribution to the relatively young discipline of the History of Philosophy of Science. Starting roughly in the 1980s, increasing attention has been devoted not only to the relationship between philosophy and the history of science, but to an accurate historical reconstruction of earlier projects within philosophy of science. One of the most outstanding results of these investigations has probably been the radical reshaping of the rather caricatural image of logical empiricism—for better or worse the (...) core of the philosophical heritage of many philosophers of science—summarized in the so-called ‘standard view’. By analyzing the historical, sociological, and philosophical questions surrounding logical empiricism new light has been shed on the sense of a cultural, social, and political mission that characterized it before its emigration from Europe to North America in the 1930s and 1940s. What came to be known as .. (shrink)

The modem rationalist tradition initiated by Descartes has as one of its central tenets the independence of the human understanding from the senses. Regardless of the different ways in which independence from experience is understood, there is much common ground among the modem views on the a priori. Yet Kant, culminating this tradition, introduces an entirely new conception of the a priori never before articulated in the history of philosophy. This is the notion of elements in knowledge which are independent (...) of experience but nevertheless closely connected, in a special way, with experience.Although for Kant the a priori has a privileged position in the structure of knowledge - as it has for other modem rationalist philosophers - one of the most striking, and often neglected, aspect of his conception of the a priori is the great extent to which it is opposed to foundationalism. (shrink)

In the 1930s Otto Selz developed a novel approach to the psychology of perception which he called “synthetic psychology of wholes”. This “synthetic psychology” is based on a phenomenological description of the structural relationships between elementary items building up integral wholes. The present article deals with Selz’s account of spatial cognition within this general framework. Selz Zeitschrift für Psychologie, 114, 351–362 argues that his approach to spatial cognition delivers answers to the long-discussed question of the epistemological status of the laws (...) of geometry. More specifically he tries to derive the Euclidean axioms from the structural laws valid for phenomenal space. After a brief description of the discussion of the status of geometry in the 1920s/1930, the present article explains Selz’s understanding of “phenomenology”. Section 4 then deals with Selz’s attempt to derive the Euclidean laws from the structural phenomenological laws of space. Selz’s attempted derivation suffers from some formal shortcomings, which however can be repaired. The question arises, though, whether the necessary improvements do not rely upon more intricate geometric intuitions and thus render Selz’s attempt to base geometry upon the phenomenology of spatial cognition circular. (shrink)

This article criticizes the attempts by Bas van Fraassen and Michael Friedman to address the challenge to rationality posed by the Kuhnian analysis of scientific revolutions. In the paper, I argue that van Fraassen's solution, which invokes a Sartrean theory of emotions to account for radical change, does not amount to justifying rationally the advancement of science but, rather, despite his protestations to the contrary, is an explanation of how change is effected. Friedman's approach, which appeals to philosophical developments at (...) a meta-theoretical level, does not really address the problem of rationality as posed by Kuhn's work. Instead of showing how, despite revolutions, scientific development is, indeed, rational, he gives a transcendental account of rational scientific progress. (shrink)