Kant argues in the Critique of the Teleological Power of Judgment that the first stage in resolving the problem of teleology is conceiving it correctly. He explains that the conflict between mechanism and teleology, properly conceived, is an antinomy of the power of judgment in its reflective use regarding regulative maxims, and not an antinomy of the power of judgment in its determining use regarding constitutive principles. The matter in hand does not concern objective propositions regarding the possibility of objects (...) or actual features of certain objects, namely, organisms. It is rather a methodological issue as to the appropriate way to explain the generation, development, and function of organisms. Taken in this manner as subjective maxims guiding the explanation and inquiry of organisms, the principles of mechanism and teleology need not necessarily be seen as contradictorily opposed but instead can be combined in the study of organisms. This, however, is not enough to complete the analysis of the antinomy of the teleological power of judgment. In order to show that there is an antinomy in this case, Kant has to establish that both seemingly conflicting maxims are necessary and natural to the human mind. He does it by grounding them in the ‘special character’ or peculiarity (Eigentümlichkeit) of the human understanding. However, it is not entirely clear just what exactly this peculiarity of the human understanding is. Paul Guyer argues that Kant suggests two different accounts of the peculiarity of the human intellect. According to one account, this peculiarity consists in the fact that our understanding forms general concepts and according to another, in its propensity to proceed from the parts to the whole. I will argue in this paper that Kant puts forward a single account, in which the combination of these two features demonstrate the peculiarity of the human understanding manifested in the encounter with organisms. This account explains the necessity of the regulative maxims of mechanism and teleology, and thus completes Kant’s analysis of the antinomy of the teleological power of judgment. (shrink)

Kant’s theory of biology in the Critique of the Power of Judgment may be rejected as obsolete and attacked from two opposite perspectives. In light of recent advances in biology one can claim contra Kant, on the one hand, that biological phenomena, which Kant held could only be explicated with the help of teleological principles, can in fact be explained in an entirely mechanical manner, or on the other, that despite the irreducibility of biology to physico-mechanical explanations, it is nonetheless (...) proper science. I argue in response that Kant’s analysis of organisms is by no means obsolete. It reveals biology’s uniqueness in much the same way as several current theorists do. It brings to the fore the unique purposive characteristics of living phenomena, which are encapsulated in Kant’s concept of “natural end” and which must be explicated in natural terms in order for biology to become a science. I maintain that Kant’s reluctance to consider biology proper science is not a consequence of his critical philosophy but rather of his inability to complete this task. Kant lacked an appropriate theoretical framework, such as provided later by modern biology, which would enable the integration of the unique features of biology in an empirical system. Nevertheless, as I show in this paper, the conceptual problems with which Kant struggled attest more to the relevance and depth of his insights than to the shortcomings of his view. His contribution to the biological thought consists in insisting on an empirical approach to biology and in providing the essential philosophical underpinning of the autonomous status of biology. (shrink)

Locke and Leibniz are often classified as proponents of compatibilist theories of human freedom, since both maintain that freedom is consistent with determinism and that the difference between being and not being free turns on how one is determined. However, we will argue in this paper that their versions of compatibilism are essentially different and that they have significantly distinct commitments to compatibilism. To this end, we will first analyze the definitions and examples for freedom and necessity that Locke and (...) Leibniz present in sections 8-13 of chapter 21 of the Essay on Human Understanding and the Nouveaux essais respectively, and then conjecture how Locke and Leibniz would have continued the discussion, if they had had the opportunity to engage in an exchange of opinions. In this way, we believe, one will be in a position to understand why Leibniz thinks that Locke’s discussion of freedom “est un des plus prolixes et des plus subtils de son ouvrage.”. (shrink)

Leibniz’s main thesis regarding the nature of space is that space is relational. This means that space is not an independent object or existent in itself, but rather a set of relations between objects existing at the same time. The reality of space, therefore, is derived from objects and their relations. For Leibniz and his successors, this view of space was intimately connected with the understanding of the composite nature of material objects. The nature of the relation between space and (...) matter was crucial to the conceptualization of both space and matter. In this paper, I discuss Leibniz’s account of relational space and examine its novel elaborations by two of his successors, namely, the young Immanuel Kant and the Croat natural philosopher Roger Boscovich. Kant’s and Boscovich’s studies of Leibniz’s account lead them to original versions of the relational view of space. Thus, Leibniz’s relational space proved to be a philosophically fruitful notion, as it yielded bold and intriguing attempts to decipher the nature of space and was a key part in innovative scientific ideas. (shrink)

There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: R.S. (...) Cohen et al. (Eds.), Potentiality, Entanglement, and Passion-at-a-Distance: Quantum Mechanical Studies fo Abner Shimony, Vol. 2, Kluwer Academic Publishers, Great Britain, 1997, pp. 177–190]. Unlike some others in the literature, these notions apply not only to certain nice sets, but to general sets in Rn and other appropriate spaces. We consider some motivations for these concepts and the logical relations between them. It has been argued that d.m.z. is especially appropriate for physical applications, and on Rn with the standard measure, it is strictly stronger than r.a. [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382]. Here we show that this is the only implication that holds among our three decidabilities in that setting. Under arbitrary measures, even this implication fails. Yet for intervals of non-zero length, and more generally, convex sets of non-zero measure, the three concepts are equivalent. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

What can be more fascinating than experimental metaphysics, to quote one of Abner Shimony’s enlightening expressions? Bell inequalities are at the heart of the study of nonlocality. I present a list of open questions, organised in three categories: fundamental; linked to experiments; and exploring nonlocality as a resource. New families of inequalities for binary outcomes are presented.