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)

Among Leibniz’s contributions to the philosophy of mind, two topics bear relevance to contemporary discussions in cognitive sciences: the mind-body problem, and the universal language. Leibniz’s deterministic view rejects inter-substance causality between mental and bodily states, as well as between mental or bodily states of different individuals. In addition, Leibniz believed in the need to enhance communication through a universal language based on symbolic representations. Here I reconsider Leibniz’s ideas in the light of experimental evidence coming from mirror neurons. These (...) recently discovered brain cells, responsive to both action execution and observation, are thought to enable the interpretation of the action performer’s intentions through their representation in the observer’s own brain, thus storing embodied shared representations. I propose that mirror neurons’ cross-modal responsiveness, whereby seeing an action being performed by somebody else triggers similar neural response to that of performing that action oneself, can be interpreted as an instantiation of intersubstance causality. I suggest that mirror neurons’ properties speak not only to the non-dualistic equation, supported by brain science in general, whereby in a given individual, mental states arise from bodily states but also introduce the possibility that bodily states may arise from someone else’s bodily states. In addition, I propose that this automatic embodied flow of information between individuals (from performer to observer) bears relevance to Leibniz’s intuitions on symbols. Specifically, I suggest that the shared representations stored in mirror neurons, thought to enable the interpretation of the action performer’s intentions, may be seen as a biological instantiation of Leibniz’s planned, but never realized, universal characteristic. (shrink)

In The Logic of Sense, Deleuze effectively argues that two types of relation between events govern their ‘evental’ or ‘ideal play’, and ultimately underlie determined substances, that is, worldly individuals and persons. Leibniz calls these relations ‘compossibility’ and ‘incompossibility’. Deleuze calls them ‘convergence’ and ‘divergence’. This paper explores how Deleuze appropriates and extends a number of Leibnizian concepts in order to ground the idea that events have ontological priority over substances ‘all the way down’.

The mythical1 hungry ass, facing two identical bundles of hay equidistant from him, has engendered two related questions. Can he choose one of the bundles, there seemingly being nothing to incline him one way or the other? If he can, the second puzzle — pertaining to rational choice — arises. It seems the ass cannot rationally choose one of the bundles, because there is no sufficient reason for any choice.2In what follows, I will argue that choice is possible even when (...) there is no option which is better than the others (section II), and that it is perfectly reasonable to choose an option even when there is no sufficient reason for it (section III). I will then (section IV) point to another puzzling feature of the .. (shrink)

According to the received view, Hume is a much more rigorous and consistent concept-empiricist than Locke. Hume is supposed to have taken as a starting point Locke's meaning-empiricism, and worked out its full radical implications. Locke, by way of contrast, cowered from drawing his theory's strange consequences. The received view about Locke's and Hume's concept-empiricism is mistaken, I shall argue. Hume may be more uncompromising (although he too falters), but he is not more rigorous than Locke. It is not because (...) of (intellectual) timidity that Locke does not draw Hume's conclusions from his empiricism. It is, rather, because of his much sounder method. (shrink)

The Exclusion Argument has afflicted non-reductionists for decades. In this article, I attempt to show that emergentism—the view that mental entities can downwardly cause physical entities in a non-overdetermining way—is the most plausible approach to solving the exclusion problem. The emergentist approach is largely absent in contemporary philosophy of mind, because emergentism rejects the Causal Closure of Physics, a doctrine embraced by almost all physicalists. This article, however, challenges the consensus on causal closure and defends a physicalist version of emergentism. (...) On closer examination, I find that neither physical evidence nor physicalist considerations can satisfactorily support causal closure. Moreover, I argue that two competing approaches that accept causal closure, compatibilism and autonomism, involve ad hoc postulations of mental causation. Therefore, all things considered, emergentism is the best option available to non-reductive physicalists. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

Hume sought to analyse our propositionally-structured thought in terms of our ultimate awareness of nothing but objects, sensory impressions or their imagistic copies, The ideas of space and time are often regarded as exceptions to his Copy Theory of impressions and ideas. On grounds strictly internal to Humes account of the generality of thought. This ultimately reveals the limits of the Copy Theory and of Concept Empiricism. The key is to recognise how very capacious is our (Humean) imaginative capacity to (...) associate particular perceptions by various fine-grained determinable resemblances. (shrink)

Theories concerning the structure, or format, of mental representation should (1) be formulated in mechanistic, rather than metaphorical terms; (2) do justice to several philosophical intuitions about mental representation; and (3) explain the human capacity to predict the consequences of worldly alterations (i.e., to think before we act). The hypothesis that thinking involves the application of syntax-sensitive inference rules to syntactically structured mental representations has been said to satisfy all three conditions. An alternative hypothesis is that thinking requires the construction (...) and manipulation of the cognitive equivalent of scale models. A reading of this hypothesis is provided that satisfies condition (1) and which, even though it may not fully satisfy condition (2), turns out (in light of the frame problem) to be the only known way to satisfy condition (3). (shrink)

This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (shrink)

Objective probability in quantum mechanics is often thought to involve a stochastic process whereby an actual future is selected from a range of possibilities. Everett’s seminal idea is that all possible definite futures on the pointer basis exist as components of a macroscopic linear superposition. I demonstrate that these two conceptions of what is involved in quantum processes are linked via two alternative interpretations of the mind-body relation. This leads to a fission, rather than divergence, interpretation of Everettian theory and (...) to a novel explanation of why a principle of indifference does not apply to self-location uncertainty for a post-measurement, pre-observation subject, just as Sebens and Carroll claim. Their Epistemic Separability Principle is shown to arise out of this explanation and the derivation of the Born rule for Everettian theory is thereby put on a firmer footing. (shrink)

I propose a novel compatibilist interpretation of Leibniz’s mature views concerning what is metaphysically basic. Drawing on a compatibilist reading of Aristotle on primary substance in the Categories and Metaphysics Z, I argue that Leibniz is working with two complementary ways of being metaphysically basic—one applying to immaterial monads, the other to corporeal substances. Although corporeal substances derive their status as basic from their dominant monads, they are nevertheless fully real, unified, and genuinely capable of acting. This perspective respects Leibniz’s (...) idealist tendencies and his commitment to the reality of bodies without attributing inconsistency to his considered views. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.Harmonizing Leibniz’s OntologyVolume 51, Issue 3ANDREW D. H. STUMPF DOI: https://doi.org/10.1017/S0012217312000704Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. Harmonizing Leibniz’s OntologyVolume 51, Issue 3ANDREW D. H. STUMPF DOI: https://doi.org/10.1017/S0012217312000704Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. Harmonizing Leibniz’s OntologyVolume 51, Issue 3ANDREW D. H. STUMPF DOI: https://doi.org/10.1017/S0012217312000704Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

I propose a new argument showing that conscious vision sometimes depends constitutively on conscious attention. I criticise traditional arguments for this constitutive connection, on the basis that they fail adequately to dissociate evidence about visual consciousness from evidence about attention. On the same basis, I criticise Ned Block's recent counterargument that conscious vision is independent of one sort of attention (‘cognitive access'). Block appears to achieve the dissociation only because he underestimates the indeterminacy of visual consciousness. I then appeal to (...) empirical work on the interaction between visual indeterminacy and attention, to argue for the constitutive connection. (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)

Many historical and philosophical studies treat infinity as an exclusively quantitative notion, whose proper domain of application is mathematics and physics. The main aim of this paper is to disentangle, by critically examining, three notions of infinity in the early modern period, and to argue that one—but only one—of them is quantitative. One of these non-quantitative notions concerns being or reality, while the other concerns a particular iterative property of an aggregate. These three notions will emerge through examination of three (...) central figures in the period: Locke, Descartes, and Leibniz. (shrink)

If a spinning sphere casts a shadow, does the shadow also spin? This riddle is the point of departure for an investigation into the nature of shadow movement. A general theory of motion will encompass all moving things, not just physical objects. Ultimately, I argue that round shadows do indeed spin. Shadows are followers of the objects that cast them. Parts of the shadow correspond to parts of the leader, so motion of the caster's parts accounts for motions of the (...) shadow's parts. I conclude with a discussion of how the dynamic aspects of shadows impose subtle constraints on other puzzles about shadows. (shrink)

Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural number concept (...) from these beginnings. Proposals for arriving at natural number by (empirical) induction presuppose the mathematical concepts they seek to explain. Moreover, standard experimental tests for children's understanding of number terms do not necessarily tap these concepts. (2) True concepts of number do appear, however, when children are able to understand generalizations over all numbers; for example, the principle of additive commutativity (a+b=b+a). Theories of how children learn such principles usually rely on a process of mapping from physical object groupings. But both experimental results and theoretical considerations imply that direct mapping is insufficient for acquiring these principles. We suggest instead that children may arrive at natural numbers and arithmetic in a more top-down way, by constructing mathematical schemas. (shrink)

This article examines some of the most important metaphors and analogies that epistemologists have used to discuss the structure and validity of knowledge. After reviewing foundational, coherentist, and other metaphors for knowledge, we discuss the metaphilosophical significance of the prevalence of such metaphors. We argue that they support a view of philosophy as akin to science rather than poetry or rhetoric.

This paper examines some of the most important metaphors and analogies that epistemologists have used to discuss the structure and validity of knowledge. After reviewing foundational, coherentist, and other metaphors for knowledge, we discuss the metaphilosophical significance of the prevalence of such metaphors. We argue that they support a view of philosophy as akin to science rather than poetry or rhetoric. Keywords: epistemology, metaphor, analogy, metaphilosophy, foundations, coherence.

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

How much is given in perceptual experience, and how much must be constructed? John Locke's answer to this question contains two prima facie incompatible strands. On the one hand, he claims that ideas of primary qualities come to us passively, through multiple senses: the idea of a sphere can be received either by sight or touch. On the other hand, Locke seemingly thinks that a faculty he calls “judgment” is needed to create visual ideas of three‐dimensional shapes. How can these (...) accounts be made consistent? The problem comes to a head in the discussion of Molyneux's problem: can a person born blind and then made to see identify a sphere and a cube, when he had only touched them in the past? Locke's answer is no, but, as George Berkeley points out, it is hard to see why: if the ideas of shapes come to us through sight as well as touch, nothing should stop Molyneux man from instantly recognizing sphere and cube. Pace much of the existing literature, I argue that although Locke does think we receive visual ideas of primary qualities, the faculty of judgment is required to “inflate” those ideas into three dimensions and to correct for other perspectival distortions. I then show how this answer is consistent with the rest of his theory of perception. (shrink)

John Locke’s claims about relations (such as cause and effect) and mixed modes (such as beauty and murder) have been controversial since the publication of the Essay. His earliest critics read him as a thoroughgoing anti-realist who denies that such things exist. More charitable readers have sought to read Locke’s claims away. Against both, I argue that Locke is making ontological claims, but that his views do not have the absurd consequences his defenders fear. By examining Locke’s texts, as well (...) as the intellectual context in which they were written, I show that Locke’s position is at once radical and thoroughly traditional. (shrink)

It seems evident that things sometimes get bigger by acquiring new parts. But there is an ancient argument purporting to show that this is impossible: the paradox of increase or growing argument.i Here is a sketch of the paradox. Suppose we have an object, A, and we want to make it bigger by adding a part, B. That is, we want to bring it about that A first lacks and then has B as a part. Imagine, then, that we conjoin (...) B to A in some appropriate way. Never mind what A and B are, or what this conjoining amounts to: let A be anything that can gain a part if anything can gain a part, and let B be the sort of thing that can become a part of A, and suppose we do whatever it would take to make B come to be a part of A if this is possible at all. Have we thereby made B a part of A? It seems not. We seem only to have brought it about that B is attached to A, like this. (shrink)

The paradox of increase in an ancient argument purporting to show that nothing can grow by acquiring new parts. If it is sound, similar reasoning leads to the more general conclusion that nothing can ever change its parts. After discussing the implicationsof this principle, the paper lays out the paradox in a way that reveals the premises that figure in it. It emerges that the paradox has no easy solution, and can be resisted only by taking on one of five (...) serious metaphysical commitments. (shrink)

The article presents a formalization of Thomas Aquinas proof for the indestructibility of the human soul. The author of the formalization—the first of its kind in the history of philosophy—is Father Joseph Maria Bocheński. The presentation involves no more than updating the logical symbolism used and accompanies the logical formulae with ordinary language paraphrases in order to ease the reader’s understanding of the formulae. “The fundamental idea of the Thomist proof is of utmost simplicity: things which are destructible are destructible (...) either per se or per accidens; but the human soul is destructible neither per se nor per accidens: therefore the human soul is not destructible”. Bochenski’s words required him to devote considerable effort for the sake of precision of the symbolic language that would be maximally adequate to Thomas’ discourse. Moreover, I have thought it necessary to provide an ample commentary to the traditional and contemporary semantical presuppositions of Aquinas philosophical anthropology in light of Bocheński’s interpretation thereof. (shrink)

We see no grounds for insisting that, because the concept natural number is abstract, its foundations must be innate. It is possible to specify domain general learning processes that feed into more abstract concepts of numerical infinity. By neglecting the messiness of children's slow acquisition of arithmetical concepts, Rips et al. present an idealized, unnecessarily insular, view of number development.

The paper examines three essays that Leibniz wrote in 1688, immediately after the composition of the Discourse on Metaphysics, one of his most organic philosophical works. The main topics which emerge from these essays are: the relationship between substance and accidents; the nature of accidents; and, more generally, the nature of abstract entities. Given that accidents' nature is that of changing, Leibniz sees how hard it is to give an account of the relationship between substance and accidents that does not (...) imply any change in the substance, when its accidents undergo a change. To find a way out of this problem, Leibniz assumes that abstract terms (whiteness, wisdom, etc.) do not name real properties or real parts of substances, and that any sentence containing real abstract terms can be rephrased as a sentence containing logical abstract terms, which do no imply any commitment to the existence of real properties. Coherently with this nominalistic attitude, Leibniz ends up, in the Theodicy and in his correspondence with Des Bosses, considering accidents as modes or internal modifications of the substance. (shrink)

The paper examines three essays that Leibniz wrote in 1688, immediately after the composition of the Discourse on Metaphysics, one of his most organic philosophical works. The main topics which emerge from these essays are: the relationship between substance and accidents; the nature of accidents; and, more generally, the nature of abstract entities. Given that accidents’ nature is that of changing, Leibniz sees how hard it is to give an account of the relationship between substance and accidents that does not (...) imply any change in the substance, when its accidents undergo a change. To find a way out of this problem, Leibniz assumes that abstract terms do not name real properties or real parts of substances, and that any sentence containing real abstract terms can be rephrased as a sentence containing logical abstract terms, which do no imply any commitment to the existence of real properties. Coherently with this nominalistic attitude, Leibniz ends up, in the Theodicy and in his correspondence with Des Bosses, considering accidents as modes or internal modifications of the substance. (shrink)

A critical discussion of Shoemaker's argument for the possibility of time without change, intended as an argument against relationist conceptions of time. A relational view of time is proposed based on the primitive identity of events (or whatever entities are the basic subjects of change and lack thereof).

Darwin’s (1871/1981) observation that evolution has produced in us certain emotions responding to right and wrong conduct that lack any obvious basis in individual utility is a useful springboard from which to clarify the role of emotion in moral judgment. The problem is whether a certain class of moral judgment is “constituted” or “driven by” emotion (Greene, 2008, p. 108) or merely correlated with emotion while being generated by unconscious computations (e.g., Huebner, Dwyer, & Hauser, 2008). With one exception, all (...) of the “personal” vignettes devised by Greene and colleagues (2001, 2004) and subsequently used by other researchers (e.g., Koenigs et al., 2007), in their fMRI and behavioral studies of emotional engagement in moral judgment, involve violent crimes or torts. These studies thus do much more than highlight the role of emotion in moral judgment; they also support the classical rationalist thesis that moral rules are engraved in the mind. (shrink)

Existing interpretations of Kant’s appeal to the spontaneity of the mind focus almost exclusively on the discussion of pure apperception in the Transcendental Deduction. The risk of such a strategy lies in the considerable degree of abstraction at which the argument of the Deduction is carried out: existing interpretations fail to reconnect adequately with any ground-level perspective on our cognitive lives. This paper works in the opposite direction. Drawing on Kant’s suggestion that the most basic picture we can have of (...) our cognitive capacity already makes reference to its state of excellence, or health (“sound understanding”), I set out by assembling Kant’s normative ground-level view of our cognitive lives, and then search for the fundamental condition of its possibility. This leads me to Kant’s conception of reflection as a normative requirement of judgment. Through examination of Kant’s remarks on reflection, I connect Kant’s preoccupation with the enlightenment ideal of originality (thinking for oneself) with his central appeal to the spontaneity of the mind. (shrink)

In this article I examine Michel Serres’s seminal study of Leibniz: Le Système de Leibniz et ses modèles mathématiques, a book which, in spite of its significance, has never been dis...

Leibniz speaks, in a variety of contexts, of there being two realms—a "kingdom of power or efficient causes" and "a kingdom of wisdom or final causes." This essay explores an often overlooked application of Leibniz's famous "two realms doctrine." The first part turns to Leibniz's work in optics for the roots of his view that nature can be seen as being governed by two complete sets of equipotent laws, with one set corresponding to the efficient causal order of the world, (...) and the other to its teleological order. The second part offers an account of how this picture of lawful over-determination is to be reconciled with Leibniz's mature metaphysics. The third addresses a line of objection proposed by David Hirschmann to the effect that Leibniz's doctrine undermines his stated commitment to an efficient, broadly mechanical account of the natural world. Finally, the fourth part suggests that Leibniz's thinking about the harmony of final and efficient causes in connection with corporeal nature may help to shed light on his understanding of the teleological unfolding of monads as well. (shrink)

In this article, I look at recent developments in the field of the Philosophy of the relationship between morality, understood in a realist manner, and the primary object of religious belief in the monotheistic religions, God. Some contemporary solutions to the Euthyphro dilemma and versions of moral arguments for the existence of God are discussed.

According Leibniz's thesis of universal expression, each substance expresses the whole world, i.e. all other substances, or, as Leibniz frequently states, from any given complete individual notion (which includes, in internal terms, everything truly attributable to a substance) one can "deduce" or "infer" all truths about the whole world. On the other hand, in Leibniz's view each (created) substance is internally individuated, self-sufficient and independent of other (created) substances. What may be called Leibniz's expression problem is, how to reconcile these (...) views with each other, that is, how a substance that expresses the whole world, even in the sense that the whole world can be "inferred" from its complete individual notion, can be self-sufficient and internally individuated. The purpose of this paper is to give an exact account of this tricky problem of universal expression, an account that retains substances' self-sufficiency under the constraint that all truths about the whole world are to be obtained from complete individual notions. It will also be shown how the explication of universal expression to be given accounts for Leibniz's thesis of universal change, i.e. the view that any change in any substance is reflected as a real, internal change in each and every other substance. (shrink)

The paper discusses Leibniz's theory of denominations, expression, and individual notions, the central claim being that the key to many of Leibniz's fundamental theses is to consider his argument, starting from his predicate-in-subject account of truth (that in a true statement the notion of the predicate is contained in that of the subject), against purely extrinsic denominations: this argument shows why there is an internal foundation for all denominations, why everything in the world is interconnected, why each substance expresses all (...) the others, and why every change in the world is reflected as a real, internal change in every substance. (shrink)