The focus of my dissertation is a general and comprehensive examination of Locke’s view of divine power. My basic argument is that John Locke is a theological voluntarist in his understanding of God’s creative and providential relationship with the world, including both the natural and moral order. As a voluntarist, Locke holds that God freely imposes both the physical and moral laws of nature onto creation by means of his will: this contrasts with the intellectualist perspective in which the laws (...) of nature emerge from the essences of things. For Locke, there are no intrinsically necessary laws in the created order: both physical and moral laws are arbitrary determinations of the divine will. While these laws are not intrinsically necessary, they are hypothetically necessary. Hypothetical necessity involves things that could have been otherwise, but which are necessary based on the supposition of a free action and other relevant conditions pertaining to the actor. Concerning God, we can understand hypothetical necessity in the following way: □ [ → Y]. X is a variable that ranges over a subset of contingent propositions about actions. ‘P’ is the proposition ‘God is perfect’. And Y is any proposition that is a necessary consequent of both X and P. In any possible world in which God performs X, it is the case that Y will obtain. Supposing that God decides to create beings like us, God must of necessity craft the moral laws of nature in a way that harmonizes with our nature. What grounds this necessity is that God must act consistently with the perfection of the divine nature: to give us a different law would be less than perfect. Furthermore, I argue that certain physical laws of nature – those that help to realize our nature – are also hypothetically necessary. (shrink)

Ott (2009) identifies two kinds of philosophical theories about laws: top-down, and bottom-up. An influential top-down reading, exemplified by Ernst Cassirer, emphasized the ‘mere form of law’. Recent bottom-up accounts emphasize the mind-independent natures of objects as the basis of laws of nature. Stang and Pollok in turn focus on the transcendental idealist elements of Kant’s theory of matter, which leads to the question: is the essence of Kantian matter that it obeys the form of law? I argue that Kant (...) has an independent theory of matter in the Metaphysical Foundations of Natural Science, one that gives what Kant himself calls a ‘real definition’ of matter as a theory-independent (if not mind-independent) entity. I argue that this matter theory underpins physical arguments about inertia and impenetrability, which resemble Einstein’s arguments about the unification of fields in general relativity. (shrink)

This paper is aimed at understanding one central aspect of Bolzano's views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue that, for Bolzano, a priori knowledge is knowledge by virtue of meaning and that Bolzano has substantial views about meaning and what it is to know the latter. In particular, Bolzano believes that meaning is determined by implicit definition, i.e. the fundamental propositions in a deductive system. I go (...) into some detail in presenting and discussing Bolzano's views on grounding, a priori knowledge and implicit definition. I explain why other aspects of Bolzano's theory and, in particular, his peculiar understanding of analyticity and the related notion of Ableitbarkeit might, as it has invariably in the past, mislead one to believe that Bolzano lacks a significant account oï a priori knowledge. Throughout the paper, I point out to the ways in which, in this respect, Bolzano's antagonistic relationship to Kant directly shaped his own views. (shrink)

In the section of the Antinomy of pure Reason Kant presents three notions of infinity. By investigating these concepts of infinity, this paper highlights important ‘building blocks’ of the structure of the mathematical antinomies, such as the ability of reason of producing ascending and descending series, as well as the notions of given and givable series. These structural features are discussed in order to clarify Ernst Zermelo’s reading of Kant’s antinomy, according to which the latter is deeply rooted in the (...) tendency of the mind of producing “creative progress” and “inclusive closure”. The aim of this paper is to explain in which sense and why Kant’s treatment of the antinomies attracts the attention of Zermelo in the early 1900s and which aspects of his second axiomatic system have been inspired by Kant’s philosophy. Thus, by reading Kant’s antinomy ‘through Zermelo’s eyes’—with emphasis on the concept of regressive series in indefinitum and on that of regressive series ad infinitum – this paper identifies the echoes of Kant’s work in the making of the ZFC set theory. (shrink)

Abstract Both parties in the active philosophical debate concerning the conceptual character of perception trace their roots back to Kant's account of sensible intuition in the Critique of Pure Reason. This striking fact can be attributed to Kant's tendency both to assert and to deny the involvement of our conceptual capacities in sensible intuition. He appears to waver between these two positions in different passages, and can thus seem thoroughly confused on this issue. But this is not, in fact, the (...) case, for, as I will argue, the appearance of contradiction in his account stems from the failure of some commentators to pay sufficient attention to Kant's developmental approach to philosophy. Although he begins by asserting the independence of intuition, Kant proceeds from this nonconceptualist starting point to reveal a deeper connection between intuitions and concepts. On this reading, Kant's seemingly conflicting claims are actually the result of a careful and deliberate strategy for gradually convincing his readers of the conceptual nature of perception. (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)

Overview of the (non)conceptualism debate in Kant studies.