Katherine Dunlop

This chapter endorses Lucy Allais’s attribution of a non-conceptualist view to Kant and her methodology of appealing to contemporary cognitive science. In particular, it agrees with Allais that intuition should be understood as the result of cognitive processing (rather than as brutely given). But the chapter argues that Allais’s choice of ‘binding’ as an empirical model (for the generation of intuition) is not apt, proposing instead that the processing that generates intuition should be taken to implement empirically-identified ‘principles of object perception’. It is argued that representation conforming to these principles need not qualify as conceptual by Kant’s standards.

J. H. Lambert proved important results of what we now think of as non-Euclidean geometries, and gave examples of surfaces satisfying their theorems. I use his philosophical views to explain why he did not think the certainty of Euclidean geometry was threatened by the development of what we regard as alternatives to it. Lambert holds that theories other than Euclid’s fall prey to skeptical doubt. So despite their satisfiability, for him these theories are not equal to Euclid’s in justification. Contrary to recent interpretations, then, Lambert does not conceive of mathematical justification as semantic. According to Lambert, Euclid overcomes doubt by means of postulates. Euclid’s theory thus owes its justification not to the existence of the surfaces that satisfy it, but to the postulates according to which these “models” are constructed. To understand Lambert’s view of postulates and the doubt they answer, I examine his criticism of Christian Wolff’s views. I argue that Lambert’s view reflects insight into traditional mathematical practice and has value as a foil for contemporary, model-theoretic, views of justification.

This chapter argues that Chapter V of Institutions, “On Space”, is concerned mainly with the manner in which and process by which we represent space and related notions, rather than (as is usually supposed) the dispute between relationalist and absolutist spatial metaphysics. Du Châtelet distinguishes several stages in the formation of the idea of space, of which the first is the representation of extension. I show that the idea of extension is thinner in content than that of space, and argue that this makes the former idea especially suitable to illustrate the role of abstract representation in science.

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.

Kant’s Metaphysical Foundations of Natural Science (MFNS), published in 1786, has proved difficult to situate in the context of eighteenth-century responses to Newton. One point beyond dispute is that Kant is not satisfied with the “metaphysical foundations” thus far proffered by Newton and his followers. He echoes some familiar Leibnizian criticisms (such as those concerning absolute space) and, in a passage we will examine closely, insists that rejecting “the concept of an original attraction” would put Newton “at variance with himself” (4:515). In light of Kant’s robust defense of the immediacy and universality of gravitational attraction, the overall similarity between his three “mechanical laws” and Newton’s “Axioms, or Laws of Motion” has made it the “standard” view that Kant “intends to justify Newtonian science in general and Newtonian mechanics in particular as stated in” Newton’s laws of motion (Watkins 2019, 89). But it is unclear whether the alternative “foundations” he proposes are for Newton’s theory of motion or something more akin to Leibniz’s physics. Recent scholarship has documented the Leibnizian provenance of Kant’s three laws, and argued for the relevance of later figures strongly influenced by Leibniz.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Kant's Transcendental Deduction by Alison LaywineKatherine DunlopAlison Laywine. Kant's Transcendental Deduction. Oxford: Oxford University Press, 2020. Pp. iv + 318. Hardback, $80.00.Alison Laywine's contribution to the rich literature on Kant's "Transcendental Deduction of the Categories" stands out for the novelty of its approach and conclusions. Laywine's declared "strategy" is "to compare and contrast" the Deduction with the Duisburg Nachlaß, an important set of manuscript jottings from the 1770s (10). But her approach is also deeply informed by Kant's writings on metaphysics from the 1750s and 1760s; moreover, she gives attention to ancient Greek geometry and its importance for Kant's thought.I believe Laywine's most important interpretative claim is that the Transcendental Deduction's "final step" addresses "the question of how nature is possible" (210). Here, 'nature' is understood in what Kant calls the "formal sense," as "the totality of rules under which appearances must stand if they are to be thought as joined in one experience" (Prolegomena, §36; cf. B 165). This constitutes a novel answer to the problem posed in Dieter Henrich's landmark 1969 paper "The Proof Structure of the Transcendental Deduction" (Review of Metaphysics 22 [1969]: 640–59): how to understand §§21–26 of the (B-edition) Deduction as proving more than the thesis already stated in §20 (that the manifold in an intuition necessarily stands under the categories).Crucial support for Laywine's interpretation comes from §26 of the Deduction, which claims the possibility of cognizing objects "a priori through categories... as far as the laws of their combination are concerned, thus the possibility of as it were prescribing the law to nature and even making [nature] possible," is now "to be explained" (B 159). Kant does not use the term 'world' in this passage (as he does in Prolegomena §36). But Laywine contends that here the word 'nature' "has unmistakable, deliberate, cosmological connotations," and in fact "means 'world' in the sense of Kant's early cosmology": roughly, a whole unified by means of laws (12–13).The "cosmological" language of §26 does not recur in the following, officially concluding, section of the Deduction. So, we might ask whether Kant's explanation of how the understanding prescribes laws to nature is integral to the Deduction; Henry Allison, for instance, describes this explanation as an "appendix" (Kant's Transcendental Deduction: An Analytical-Historical Commentary [Oxford: Oxford University Press, 2015], 9). The question of whether it belongs integrally has bite because, as Laywine makes clear in her "Conclusion," the universal laws at issue are just the Analogies of Experience. Thus, the passage could be read as the "promissory note with a forward-looking reference to the System of Principles" that she finds missing from the Deduction (289). Laywine meets such worries by arguing that "the reappropriation [from the pre-Critical period] of the general cosmology is actually [End Page 162] doing... a lot of hard work" in the Deduction (13). This sustained argument comes to a head in chapter 4, which contends that each of the two steps into which Laywine divides the first half of the (B-edition) Deduction, treated in chapters 2 and 3 (respectively), relies on cosmological presuppositions.Chapter 2 analyzes the conception of knowledge as relation to an object that is asserted (in §17) to rely on the synthetic unity of apperception. Laywine traces this conception to the Duisburg Nachlaß's account of "exposition," which relates concepts a priori to appearances, in something like the way that geometrical construction relates them to pure intuition. (Laywine further connects the Latin term expositio to the Greek ekthesis, which expositio translates in the context of geometrical proof. She thereby gives the notion of ekthesis broader importance than does Jaakko Hintikka, who noted its relevance to Kant's philosophy of mathematics in "Kant on the Mathematical Method" [Monist 51 (1967): 352–75]. Laywine claims that Borelli's edition of Euclid could have been Kant's source for the term, but I doubt it was known to Kant and his contemporaries, since it is not among the editions cited by Christian Wolff; Commandino seems likelier to me. Chapter 2 is concerned to articulate the notion of...

Tyler Burge is an American philosopher whose body of work spans several areas of theoretical philosophy in the analytic tradition. While Burge has made important contributions to the philosophy of language and logic, he is most renowned for his work in philosophy of mind and epistemology. In particular, he is known for articulating and developing a view he labels ‘anti-individualism.’ In his later work, Burge connects his views with state-of-the-art scientific theory. Despite this emphasis on empirical considerations, Burge stands in an important relationship to the rationalist tradition in philosophy. This entry surveys Burge’s work and seeks to situate it in the larger philosophical landscape.

Part 1 of this article exposed a tension between Poincaré’s views of arithmetic and geometry and argued that it could not be resolved by taking geometry to depend on arithmetic. Part 2 aims to resolve the tension by supposing not merely that intuition’s role is to justify induction on the natural numbers but rather that it also functions to acquaint us with the unity of orders and structures and show practices to fit or harmonize with experience. I argue that in this manner, intuition serves the epistemological function of warranting generalizations and justifying practices. In particular, it justifies the application of group-theoretic notions in geometry but not the use of set-theoretic notions in arithmetic.

The geometrical results included in De Corpore were intended to demonstrate the power of Hobbes’s approach to philosophy and cement his standing as a mathematician. They were promptly refuted, making his geometry an object of derision. I defend Hobbes’s mathematical program by showing that it addressed important needs and that similar ideas formed the basis of Newton’s calculus. In closing, I consider how placing Hobbes’s geometrical doctrine in its historical setting can further our understanding of his philosophy.

The main goal of part 1 is to challenge the widely held view that Poincaré orders the sciences in a hierarchy of dependence, such that all others presuppose arithmetic. Commentators have suggested that the intuition that grounds the use of induction in arithmetic also underlies the conception of a continuum, that the consistency of geometrical axioms must be proved through arithmetical induction, and that arithmetical induction licenses the supposition that certain operations form a group. I criticize each of these readings. More fully, I argue that the justification Poincaré offers for the use of the group notion in geometry appears to extend to set-theoretic notions that would suffice to put arithmetic on a logical foundation, thus undermining his own case for the necessity of intuition in arithmetic. In part 2, I offer an interpretation of intuition’s role on which it justifies the use of group-theoretic, but not set-theoretic, notions.

In a crucial passage of the second-edition Transcendental Deduction, Kant claims that the concept of motion is central to our understanding of change and temporal order. I show that this seemingly idle claim is really integral to the Deduction, understood as a replacement for Locke’s “physiological” epistemology (cf. A86-7/B119). Béatrice Longuenesse has shown that Kant’s notion of distinctively inner receptivity derives from Locke. To explain the a priori application of concepts such as succession to this mode of sensibility, Kant construes the mind as receptive to its own activity. As Longuenesse understands Kant’s response to Locke, “motion” becomes little more than a metaphor for the action of understanding on inner sense. For Michael Friedman, in contrast, this passage evidences Kant’s deep concern with the foundations of Newtonian science. He reads it as a reference to inertial motion, the standard by which temporal intervals are measured. I show that Longuenesse’s and Friedman’s interpretations are in fact complementary. Both Locke and Kant are deeply concerned with the quantification of time. So Longuenesse is right that §24 is meant to supplant Locke’s account, and Friedman correctly takes it as the foundation of Kant’s account of the application of quantitative concepts to time. Kant aims, specifically, to explain cognition of time as continuous magnitude. However, Longuenesse leaves Kant without an answer to Locke’s challenge that continuous magnitude cannot be understood on the basis of discrete magnitude. And on Friedman’s view Kant’s account of the understanding’s activity presupposes, and thus cannot explain, the achievements of the mathematical sciences (such as the representation of temporal continuity). On my reading, Kant’s key contention is that we must regard the segregation of temporally ordered representation into units as the work of the understanding, rather than (as Locke views it) of sensibility. By giving the understanding this role, Kant succeeds where he takes Locke to fail. I show how the power to unify temporal representation can be ascribed to the understanding on the basis, not of assumed mathematical or scientific knowledge, but of its characterization as the power of judgment.

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.

J. H. Lambert proved important results of what we now think of as non-Euclidean geometries, and gave examples of surfaces satisfying their theorems. I use his philosophical views to explain why he did not think the certainty of Euclidean geometry was threatened by the development of what we regard as alternatives to it. Lambert holds that theories other than Euclid's fall prey to skeptical doubt. So despite their satisfiability, for him these theories are not equal to Euclid's in justification. Contrary to recent interpretations, then, Lambert does not conceive of mathematical justification as semantic. According to Lambert, Euclid overcomes doubt by means of postulates. Euclid's theory thus owes its justification not to the existence of the surfaces that satisfy it, but to the postulates according to which these "models" are constructed. To understand Lambert's view of postulates and the doubt they answer, I examine his criticism of Christian Wolff's views. I argue that Lambert's view reflects insight into traditional mathematical practice and has value as a foil for contemporary, model-theoretic, views of justification.

Newton characterizes the reasoning of Principia Mathematica as geometrical. He emulates classical geometry by displaying, in diagrams, the objects of his reasoning and comparisons between them. Examination of Newton’s unpublished texts shows that Newton conceives geometry as the science of measurement. On this view, all measurement ultimately involves the literal juxtaposition—the putting-together in space—of the item to be measured with a measure, whose dimensions serve as the standard of reference, so that all quantity is ultimately related to spatial extension. I use this conception of Newton’s project to explain the organization and proofs of the first theorems of mechanics to appear in the Principia. The placementof Kepler’s rule of areas as the first proposition, and the manner in which Newton proves it, appear natural on the supposition that Newton seeks a measure, in the sense of a moveable spatial quantity, of time. I argue that Newton proceeds in this way so that his reasoning can have the ostensive certainty of geometry.