Michaela McSweeney

The study of perception and the role of the senses have recently risen to prominence in philosophy and are now a major area of study and research. However, the philosophical history of the senses remains a relatively neglected subject. Moving beyond the current philosophical canon, this outstanding collection offers a wide-ranging and diverse philosophical exploration of the senses, from the classical period to the present day. Written by a team of international contributors, it is divided into six parts: Perception from Non-Western Perspectives Perception in the Ancient Period Perception in the Medieval Latin/Arabic Period Perception in the Early Modern Period Perception in the Post-Kantian Period Perception in the Contemporary Period. The volume challenges conventional philosophical study of perception by covering a wide range of significant, as well as hitherto overlooked, topics, such as perceptual judgment, temporal and motion illusions, mirror and picture perception, animal senses and cross-modal integration. By investigating the history of the senses in thinkers such as Plotinus, Auriol, Berkeley and Cavendish; and considering the history of the senses in diverse philosophical traditions, including Chinese, Indian, Byzantine, Greek and Latin it brings a fresh approach to studying the history of philosophy itself. Including a thorough introduction as well as introductions to each section by the editors, The Senses and the History of Philosophy is essential reading for students and researchers in the history of philosophy, perception, philosophy of mind, philosophical psychology, aesthetics and eastern and non-western philosophy. It will also be extremely useful for those in related disciplines such as psychology, religion, sociology, intellectual history and cognitive sciences.

In his brief treatment of memory, Hume characterizes memory using two kinds of criteria: ideas’ phenomenal character and their correspondence to the past experiences from which they derived. These criteria have seemed so perplexing to interpreters, both individually and jointly, that Hume’s account of memory is commonly considered one of the weakest parts of his philosophical system. This paper defends Hume’s criteria by showing that they achieve two theoretical aims: a scientific classification of ideas and a definition of ‘memory.’ In particular, I argue that Hume’s definition of ‘memory’ is cogent in light of Putnamian considerations about definitions.

Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions.

Martin Heidegger closes his Winter Semester 1927–28 lectures by claiming that Kant’s Critique of Pure Reason, read through the lens of Edmund Husserl’s phenomenology, confirmed the accuracy of his philosophical path culminating in Being and Time. A notable interpretation of Heidegger’s debt to Kant, advanced by William Blattner, presents Heidegger as a temporal idealist. I argue that attention to Husserl’s adaptation of Kant’s critical philosophy shows that both Husserl and Heidegger are realists. I make my case by tracing a unified philosophical problematic through three puzzling passages: the Schematism chapter of the first Critique, Husserl’s thought experiment of the destruction of the world in Ideas, and the passage in Being and Time that motivates Blattner’s idealist reading. Husserl and Heidegger give accounts, derived from Kant, of how the consciousness of time makes it possible for objects to be perceived as enduring unities, as well as ‘genealogies of logic’ that show how a priori knowledge, including ontology, is possible. These accounts are idealistic only in the sense that they concern the ideal or essential features of intentionality in virtue of which it puts us in touch with things as they are independently of the contributions of any mind of any type.

In his recent book, Daniel Korman contrasts ontological conservatives with permissivists and eliminativists about ontology. Roughly speaking, conservatives admit the existence of ‘ordinary objects' like trees, dogs, and snowballs, but deny the existence of ‘extraordinary objects', like composites of trees and dogs. Eliminativists, on the other hand, deny many or all ordinary objects, while permissivists accept both ordinary and extraordinary objects. Our aim in this paper is to outline some of our reasons for being drawn to permissivism, as well as some of our misgivings about conservative metaphysics. In the first section, we discuss a tempting epistemic line of argument against conservatism. This isn’t a line of argument we find especially promising. Our most basic complaint against conservatism is not that conservatism has poor epistemic standing even if true, but instead that conservatism is weird. We develop this thought in the second part of the paper. In the final section we discuss some larger methodological issues about the project of ontology.

Amodal completion is the representation of occluded parts of perceived objects. We argue for the following three claims: First, at least some amodal completion-involved experiences can ground knowledge about the occluded portions of perceived objects. Second, at least some instances of amodal completion-grounded knowledge are not sensitive, that is, it is not the case that in the nearest worlds in which the relevant claim is false, that claim is not believed true. Third, at least some instances of amodal completion-grounded knowledge are not safe, that is, it is not the case that in all or nearly all near worlds where the relevant claim is believed true, that claim is in fact true. Thus, certain instances of amodal completion-grounded knowledge refute both the view that knowledge is necessarily sensitive and the view that knowledge is necessarily safe.

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed.

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”

Recent work in the philosophy of mathematics has suggested that mathematical structuralism is not committed to a strong form of the Identity of Indiscernibles (II). José Bermúdez demurs, and argues that a strong form of II can be warranted on structuralist grounds by countenancing identity properties, or haecceities, as legitimately structural. Typically, structuralists dismiss such properties as obviously non-structural. I will argue to the contrary that haecceities can be viewed as structural but that this concession does not warrant Bermúdez’s version of II but, rather, another easily falsified version. I close with some reflections on reference vis-à-vis structurally indiscernible objects.

According to substantivalism, spacetime points and regions are real entities whose existence is not dependent on matter. In this paper, I motivate and defend a version of substantivalism which takes the totality of spacetime as fundamental, and show how this position avoids certain problem cases, in particular the objection from static Leibniz shifts, and better conforms to how we think about space in physics. I argue that, even though the static Leibniz shifts do not show ordinary substantivalism is committed to in-principle undetectable physical structure ), they do indicate something problematic about the modal profile of space-time and its constituents. While the problem is modal, the solution cannot be solely a matter of revising the substantivalist's modal claims. Rather, I argue, the substantivalist must revise her background ontology of space-time. I show how this can be done by developing substantivalist theory that rejects this picture in favor of an alternative ontology of space-time in the spirit of priority monism.

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.

This article develops the Pure Logic of Iterated Full Ground (PLIFG), a logic of ground that can deal with claims of the form “ϕ grounds that (ψ grounds θ)”—what we call iterated grounding claims. The core idea is that some truths Γ ground a truth ϕ when there is an explanatory argument (of a certain sort) from premisses Γ to conclusion ϕ. By developing a deductive system that distinguishes between explanatory and nonexplanatory arguments we can give introduction rules for operators for factive and nonfactive full ground, as well as for a propositional “identity” connective. Elimination rules are then found by using a proof-theoretic inversion principle.

A synchronic probability is the probability at a time that an outcome occurs at that very time. Common sense invokes synchronic probabilities with values between 0 and 1, as do scientific theories such as classical statistical mechanics. Recently, philosophers have argued about whether any synchronic probabilities are best interpreted as objective chances. I add to this debate an underappreciated reason we might have to believe in synchronic chance; it might turn out that the best interpretation of our common sense and scientific theories is one in which the macrophysical properties of physical systems are partly determined by synchronic chance distributions over microphysical properties of those systems. Additionally, I argue against the common charge that synchronic probability fails to satisfy various platitudes about chance—most notably Lewis’s Principal Principle.

According to David Lewis’s Principal Principle, our beliefs about the objective chances of outcomes determine our rational credences in those outcomes. Lewis influentially argues that any adequate metaphysics of objective chance must explain why the Principal Principle holds. Since no theory of chance is widely agreed to have met this burden, I suggest we change tack. On the view I develop, a central aspect of the Principal Principle holds not because of what objective chances are but rather because of the explanatory role that objective chances play for the rational agents who believe in them.

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism.

What, if anything, is fanaticism? Philosophers including Locke, Hume, Shaftesbury, and Kant offered an account of fanaticism, analyzing it as (1) unwavering commitment to an ideal, together with (2) unwillingness to subject the ideal (or its premises) to rational critique and (3) the presumption of a non-rational sanction for the ideal. In the first part of the paper, I explain this account and argue that it does not succeed: among other things, it entails that a paradigmatically peaceful and tolerant individual can be a fanatic. The following sections argue that the fanatic is distinguished by four features: (4) the adoption of sacred values; (5) the need to treat these values as unconditional in order to preserve a particular form of psychic unity; (6) the sense that the status of these values is threatened by lack of widespread acceptance; and (7) the identification with a group, where the group is defined by shared commitment to the sacred values. If the account succeeds, it not only reveals the nature of fanaticism, but also uncovers a distinctive form of ethical critique: we can critique a way of understanding values not on the grounds that it is false, but on the grounds that it promotes a particular form of social pathology.

This paper is about the putative theoretical virtue of strength, as it might be used in abductive arguments to the correct logic in the epistemology of logic. It argues for three theses. The first is that the well-defined property of logical strength is neither a virtue nor a vice, so that logically weaker theories are not—all other things being equal—worse or better theories than logically stronger ones. The second thesis is that logical strength does not entail the looser characteristic of scientific strength, and the third is that many modern logics are on a par—or can be made to be on a par—with respect to scientific strength.

Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to answer the question of how beliefs in such attributions are justified, on both its descriptive and normative interpretations; I aim to say when we generally take ourselves to be justified in forming such beliefs, and to make it plausible that beliefs formed this way really are justified.We can ask such questions about many domains but there are special difficulties for answering them in logic. Some of the difficulties stem from the fact that logic is thought t..

Husserl's theory of perception is remarkable in several respects. For one thing, Husserl rigorously distinguishes the parts and properties of the act of consciousness - its content -from the parts and properties of the object perceived. Second, Husserl's repeated insistence that perceptual consciousness places its subject in touch with the perceived object itself, rather than some representation that does duty for it, vindicates the commonsensical and phenomenologically grounded belief that when a thing appears to us, it is precisely that thing, rather than some other thing (its 'appearance'), that we perceive. Third, his distinction between empty and intuitive acts, and his descriptions of their complex interplay in perceptual consciousness, provides a way of making sense of the fact that an object can be perceived even when some of its parts and properties are not. Finally, his theory of perceptual acts as constituents of higher-order acts of fulfilment provides one of the few detailed accounts in the philosophical literature of how a perceptual experience can transform a mere thought into knowledge, despite the fact that the relation between perception and belief is not a logical or inferential one. Because Husserl's theory of perception is a serious candidate for truth, it is also a serious candidate for philosophical criticism. As such, in what follows I will treat it as a live force to be reckoned with rather than a historical curiosity.

I argue that there are such things as nomological probabilities—probabilities that play a certain explanatory role with respect to stable, long-run relative frequencies. Indeed, I argue, we should be willing to accept nomological probabilities even if they turn out to be metaphysically weird or even wholly sui generis entities. I then give an example of one way in which this argument should shape future work on the metaphysics of chance by describing a challenge to a common group of analyses of objective probability—Humean analyses— understood as analyses of nomological probability.

Some theories of quantum mechanical phenomena endorse wave function realism, according to which the physical space we inhabit is very different from the physical space we appear to inhabit. In this paper I explore an argument against wave function realism that appeals to a type of simplicity that, although often overlooked, plays a crucial role in scientific theory choice. The type of simplicity in question is simplicity of fit between the way a theory says the world is and the way the world appears to be. This argument can be understood as one way of spelling out the so-called “incredulous stare objection” that is sometimes leveled against surprising metaphysical theories.

Each thing is fundamental. Not only is no thing any more or less real than any other, but no thing is prior to another in any robust ontological sense. Thus, no thing can explain the very existence of another, nor account for how another is what it is. I reach this surprising conclusion by undermining two important positions in contemporary metaphysics: hylomorphism and hierarchical views employing so-called building relations, such as grounding. The paper has three main parts. First, I observe hylomorphism is alleged by its proponents to solve various philosophical problems. However, I demonstrate, in light of a compelling account of explanation, that these problems are actually demands to explain what cannot be but inexplicable. Second, I show how my argument against hylomorphism illuminates an account of the essence of a thing, thereby providing insight into what it is to exist. This indicates what a thing, in the most general sense, must be and a correlative account of the structure in reality. Third, I argue that this account of structure is incompatible not only with hylomorphism, but also with any hierarchical view of reality. Although hylomorphism and the latter views are quite different, representing distinct philosophical traditions, I maintain they share untenable accounts of structure and fundamentality and so should be rejected on the same grounds.

Transformative experiences are epistemically and personally transformative: prior to having the experience, agents cannot predict the value of the experience and cannot anticipate how it will change their core values and preferences. Paul (2014, 2015) argues that these experiences pose a puzzle for standard decision-making procedures because values cannot be assigned to outcomes involving transformative experience. Responding philosophers are quick to point out that decision procedures are built to handle uncertainty, including the uncertainty generated by transformative experience. My paper enters here and contributes two points. First, religious experiences are transformative experiences that are especially resistant to these responses. Second, a procedure that appeals to voluntarist reasons—reasons arising from an act of the will—can allow an agent to rationally decide to undergo or avoid an outcome involving transformative experience. Combining these two points results in some interesting implications with respect to practical aspects of religion.

Dispositionality is a modal notion of a certain sort. When an object is said to have a disposition, we typically understand this to mean that under certain circumstances, the object would behave in a certain way. For instance, a fragile object is disposed to break when dropped onto a concrete surface. It need not actually break - its being fragile has implications that, so to speak, point beyond the actual world. According to dispositionalism, all modal features of the world may be accounted for in terms of its dispositional features. My aim in this paper is to assess the prospects for dispositionalism by examining the most promising theories. Sections 1 and 2 clarify the assumptions and desiderata of a successful dispositionalist theory of modality. Section 3 introduces the principles governing the dispositionalist theories that apparently meet the desiderata. Sections 4 through 6 show that dispositionalism nonetheless faces three problems: while dispositions help account for modal features of the world that are local, diachronic, or gradable, they cannot account for certain modal features of the world that are global, synchronic, or absolute. I end by discussing the costs of preserving dispositionalism.