The location problem in social ontology

Mental, mathematical, and moral facts are difficult to accommodate within an overall worldview due to the peculiar kinds of properties inherent to them. In this paper I argue that a significant class of social entities also presents us with an ontological puzzle that has thus far not been addressed satisfactorily. This puzzle relates to the location of certain social entities. Where, for instance, are organizations located? Where their members are, or where their designated offices are? Organizations depend on their members for their existence, but the members of an organization can be where the organization is not. The designated office of an organization, however, need be little more than a mailbox. I argue that the problem can be solved by conceptualizing the relation between social entities and non-social entities as one of constitution, a relation of unity without identity. Constituted objects have properties that cannot be reduced to properties of the constituting objects. Thus, my attempt to solve the Location Problem results in an argument in favor of a kind of non-reductive materialism about the social.     

Why inference to the best explanation doesn’t secure empirical grounds for mathematical platonism

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist.

     

Smelling objects

Objects are central to perception and our interactions with the world. We perceive the world as parsed into discrete entities that instantiate particular properties, and these items capture our attention and shape how we interact with the environment. Recently there has been some debate about whether the sense of smell allows us to perceive odours as discrete objects, with some suggesting that olfaction is aspatial and doesn’t allow for object-individuation. This paper offers two empirically tractable criteria for assessing whether particular objects are exhibited in perceptual experience—(1) susceptibility to figure-ground segregation and (2) perceptual constancies—and argues that these criteria are fulfilled by olfactory perception, and thus there are olfactory objects. I argue that there are, in fact, two different ways that olfaction allows for figure-ground segregation. First, I look at various Gestalt grouping principles, which are thought to govern when features are perceived as grouped into structured wholes, segregated from everything around them. I argue that these principles apply to olfactory experience, providing evidence of non-spatial figure-ground segregation. Second, I defend the contentious idea that a spatial variety of figure-ground segregation can also occur in olfaction. To see this, however, we need to look to empirical evidence showing that tactile stimulation and bodily movements play a crucial role in olfactory phenomenology. Finally, I draw on empirical evidence and olfactory phenomenology to argue that there are perceptual constancies in olfactory experience, allowing us to perceive odours as coherent objects that survive shifts in our perspectives on the world.

     

Virtue Ethics

I discuss a puzzle that shows there is a need to develop a new metaphysical interpretation of mathematical theories, because all well-known interpretations conflict with important aspects of mathematical activities. The new interpretation, I argue, must authenticate the ontological commitments of mathematical theories without curtailing mathematicians' freedom and authority to creatively introduce mathematical ontology during mathematical problem-solving. Further, I argue that these two constraints are best met by a metaphysical interpretation of mathematics that takes mathematical entities to be constitutively constructed by human activity in a manner similar to the constitutive construction of the US Supreme Court by certain legal and political activities. Finally, I outline some of the philosophical merits of metaphysical interpretations of mathematical theories of this type.     

Variations on a Montagovian theme

What are the objects of knowledge, belief, probability, apriority or analyticity? For at least some of these properties, it seems plausible that the objects are sentences, or sentence-like entities. However, results from mathematical logic indicate that sentential properties are subject to severe formal limitations. After surveying these results, I argue that they are more problematic than often assumed, that they can be avoided by taking the objects of the relevant property to be coarse-grained (“sets of worlds”) propositions, and that all this has little to do with the choice between operators and predicates.     

Is transcendental idealism coherent?

I argue that transcendental idealism can be understood as a coherent and plausible account of experience. I begin by proposing an interpretation of the claim that we know only appearances that does not imply that the objects of experience are anything other than independently real objects. As I understand it, the claim here is abouthow objects appear to us, and not aboutwhat objects appear to us. After this, I offer a version of a correspondence account of veridical experience, in virtue of which these independent entities can satisfy the contents of our experiences. Specifically, I claim that veridical experience can be construed as a kind of map of reality in itself, and that these independent entities satisfy the contents of our experiences when they are, given the proper method of projection, the objects mapped by those experiences.     

Platonism and metaphor in the texts of mathematics: Gödel and Frege on mathematical knowledge

In this paper, I challenge those interpretations of Frege that reinforce the view that his talk of grasping thoughts about abstract objects is consistent with Russell's notion of acquaintance with universals and with Gödel's contention that we possess a faculty of mathematical perception capable of perceiving the objects of set theory. Here I argue the case that Frege is not an epistemological Platonist in the sense in which Gödel is one. The contention advanced is that Gödel bases his Platonism on a literal comparison between mathematical intuition and physical perception. He concludes that since we accept sense perception as a source of empirical knowledge, then we similarly should posit a faculty of mathematical intuition to serve as the source of mathematical knowledge. Unlike Gödel, Frege does not posit a faculty of mathematical intuition. Frege talks instead about grasping thoughts about abstract objects. However, despite his hostility to metaphor, he uses the notion of ‘grasping’ as a strategic metaphor to model his notion of thinking, i.e., to underscore that it is only by logically manipulating the cognitive content of mathematical propositions that we can obtain mathematical knowledge. Thus, he construes ‘grasping’ more as theoretical activity than as a kind of inner mental ‘seeing’.

     

Knowing how things might have been

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be.

     

Indispensability and Holism

It is claimed that the indispensability argument for the existence of mathematical entities (IA) works in a way that allows a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist. This is supposed to be possible by virtue of the appeal to confirmational holism that enters into the formulation of IA. Holism about confirmation is supposed to be motivated in analogy with holism about falsification. I present an account of how holism about falsification is supposed to be motivated. I argue that the argument for holism about falsification is in tension with how we think about confirmation and with two principles suggested by Quine for construing a plausible variety of holism. Finally, I show that one of Quine’s principles does not allow a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist.     

Intrinsic Explanation and Field’s Dispensabilist Strategy

Abstract

Hartry Field defended the importance of his nominalist reformulation of Newtonian Gravitational Theory, as a response to the indispensability argument, on the basis of a general principle of intrinsic explanation. In this paper, I argue that this principle is not sufficiently defensible, and can not do the work for which Field uses it. I argue first that the model for Field’s reformulation, Hilbert’s axiomatization of Euclidean geometry, can be understood without appealing to the principle. Second, I argue that our desires to unify our theories and explanations undermines Field’s principle. Third, the claim that extrinsic theories seem like magic is, in this case, really just a demand for an account of the applications of mathematics in science. Finally, even if we were to accept the principle, it would not favor the fictionalism that motivates Field’s argument, since the indispensabilist’s mathematical objects are actually intrinsic to scientific theory.     

Conceptual Contingency and Abstract Existence

I discuss the issue of whether the existence or non-existence of mathematical entities is a contingent matter. I focus on the debate between Hartry Field and Bob Hale and Crispin Wright, and I argue that a good reason for accepting that mathematical entities contingently exist or contingently fail to exist has been overlooked by all participants in this debate.     

Editorial Notice

Abstract

John McDowell has claimed that the rational link between perceptions and empirical judgements allows us to perceive objects as belonging to a wider reality, one which extends beyond the objects perceived. In this way, we can be said to have a perceptual awareness of the world. I argue that McDowell's account of this perceptual awareness does not succeed. His account as it stands does not have the resources to explain how our perceptions can present objects as belonging to a wider reality, regardless of the judgements we make about that reality. I suggest that we can give a better account of this perceptual awareness of the world by appealing to transcendental phenomenology. A phenomenological study of perceptual experiences describes how they are structured by a sense of the perceived objects as belonging to a world containing other objects of possible perception. I shall outline this sense we have of the world, and argue that it allows us to perceive objects as belonging to a wider reality. Transcendental phenomenology can thus help to explain our perceptual awareness of the world.     

Fictional objects, non-existence, and the principle of characterization

I advance an objection to Graham Priest??s account of fictional entities as nonexistent objects. According to Priest, fictional characters do not have, in our world, the properties they are represented as having; for example, the property of being a bank clerk is possessed by Joseph K. not in our world but in other worlds. Priest claims that, in this way, his theory can include an unrestricted principle of characterization for objects. Now, some representational properties attributed to fictional characters, a kind of fictional entities, involve a crucial reference to the world in which they are supposed to be instantiated. I argue that these representational properties are problematic for Priest??s theory and that he cannot accept an unrestricted version of the principle of characterization. Thus, while not refuting Priest??s theory, I show that it is no better off than other Meinongian theories.     

A General Theory of Location Based on the Notion of Entire Location

It would be a good thing to have at our disposal a general theory of location that is neutral with respect to (i.e. that does not rule out or entail) (i) the view that some objects have more than one exact location, (ii) the view that some objects are located without having an exact location, and (iii) the view that some objects are “spanners”—where a spanner is an object exactly located at a region that has proper parts but which has no proper part exactly located at a proper part of the region. As far as I know, no theory of location that can be found in the literature has this feature. I put forward a new theory that does—or so I argue. The theory takes as its sole locational primitive the notion of being entirely located at.

     

KOOKY OBJECTS REVISITED: ARISTOTLE'S ONTOLOGY

Abstract: This is an investigation of Aristotle's conception of accidental compounds (or “kooky objects,” as Gareth Matthews has called them)—entities such as the pale man and the musical man. I begin with Matthews's pioneering work into kooky objects, and argue that they are not so far removed from our ordinary thinking as is commonly supposed. I go on to assess their utility in solving some familiar puzzles involving substitutivity in epistemic contexts, and compare the kooky object approach to more modern approaches involving the notion of referential opacity. I conclude by proposing that Aristotle provides an implicit role for kooky objects in such metaphysical contexts as the Categories and Metaphysics.     

ANSELMIAN SPACETIME: OMNIPRESENCE AND THE CREATED ORDER

For Anselm, the attribute of omnipresence is not merely concerned with where God exists, but with where and when God exists. His account of this attribute thus precipitates a discourse on the nature of space and time: how they are related to God, to one another, and to the rest of the created order. In the course of this analysis Anselm articulates a number of positions which are generally thought to be the sole possession of modernity. In Part One of what follows I argue, first, that Anselm provides us with an analysis of objects which have both spatial and temporal parts, and second, that he provides us with a clear distinction between those objects which persist by enduring through time in their entirety and those which persist by being temporally extended. In Part Two I argue that Anselm's analysis of omnipresence is consciously informed by a conception of spacetime, according to which space and time form a single, four‐dimensional manifold in which objects both persist and move.     

Artifacts and affordances

What are the affordances of artifacts? One view is that the affordances of artifacts, just as the affordances of natural objects, pertain to possible ways in which they can be manipulated (e.g., a computer keyboard affords grasping). Another view maintains that, given that artifacts are sociocultural objects, their affordances pertain primarily to their culturally-derived function (e.g., a computer keyboard affords typing). Whereas some have tried to provide a unifying notion of affordance to capture both aspects, here I argue that they should be kept separate. In this paper, I introduce a distinction between standard affordances, which concern the function of artifacts, and ad-hoc affordances, which refer to how artifacts are manipulated. I then argue for the neuropsychological plausibility of such a distinction, linking it to the dissociation between function knowledge and manipulation knowledge. Finally, I defend the equal status of these forms of knowledge and, hence, of standard and ad-hoc affordances, and I show that this has some implications for the debate on the role of motor processes in the conceptual knowledge of artifacts.

     

Endurantist and perdurantist accounts of persistence

In this paper, I focus on three issues intertwined in current debates between endurantists and perdurantists—(i) the dimension of persisting objects, (ii) whether persisting objects have timeless, or only time-relative, parts, and (iii) whether persisting objects have proper temporal parts. I argue that one standard endurantist position on the first issue is compatible with standard perdurantist positions on parthood and temporal parts. I further argue that different accounts of persistence depend on the claims about objects’ dimensions and not on the auxiliary claims about parthood and temporal parts.