A survey of color science and color vision.

A survey of arguments for and against the view that colors are physical properties.

Color-vision defects constitute a spectrum of disorders with varying degrees and types of departure from normal human color vision. One form of color-vision defect is dichromacy; by mixing together only two lights, the dichromat can match any light, unlike normal trichromatic humans, who need to mix three. In a philosophical context, our titular question may be taken in two ways. First, it can be taken at face value as a question about visible properties of external objects, and second, it may (...) be interpreted as the more intangible question of “what it’s like” to be color-blind. (shrink)

This paper critically examines color relationalism and color relativism, two theories of color that are allegedly supported by variation in normal human color vision. We mostly discuss color relationalism, defended at length in Jonathan Cohen's The Red and the Real, and argue that the theory has insuperable problems.

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)

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic (...) sense) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, (...) putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can (...) get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism. (shrink)

Recent attention to "self-consistent" (Rosser-style) systems raises anew the question of the proper interpretation of the Gödel Second Incompleteness Theorem and its effect on Hilbert's Program. The traditional rendering and consequence is defended with new arguments justifying the intensional correctness of the derivability conditions.

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...) to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

We summarize a new realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory's basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this (...) intuitive picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. Our interpretation—which we claim is ultimately compatible with Lorentz invariance—reformulates wave-function collapse in terms of an underlying interpolating dynamics, makes it possible to derive the Born rule from deeper principles, and resolves several open questions regarding ontological stability and dynamics. (shrink)

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive (...) picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de (...) los problemas matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of (...) unpublished material presented in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

The foundational ideas of David Hilbert have been generally misunderstood. In this dissertation prospectus, different aims of Hilbert are summarized and a new interpretation of Hilbert's work in the foundations of mathematics is roughly sketched out. Hilbert's view of the axiomatic method, his response to criticisms of set theory and intuitionist criticisms of the classical foundations of mathematics, and his view of the role of logical inference in mathematical reasoning are briefly outlined.

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them (...) which have so far received little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in recognition (...) of a distinguished career, was elected President of the American Mathematics Society. https://en.wikipedia.org/wiki/Julia_Robinson http://www.awm-math.org/noetherbrochure/Robinson82.html. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe (...) these results, focussing primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

The two greatest mathematicians of the early twentieth century, David Hilbert and Henri Poincaré transformed the mathematics of their time. Their personal interaction was infrequent, until Hilbert invited Poincaré to deliver the first Wolfskehl Lectures in Göttingen in the spring of 1909. A correspondence ensued, which fixed the content and timing of the lecture series. A close reading of the exchange throws light on what Hilbert wanted Poincaré to talk about, and on what Poincaré wanted to (...) present to Hilbert and his colleagues. To answer the latter question, reference is made to the published version of Poincaré’s six talks, with a focus on two of them, concerning the propagation of Hertzian waves, and the theory of relativity. (shrink)

The original purpose of the present study, 2011, started with a preprint «On the Probable Failure of the Uncountable Power Set Axiom», 1988, is to save from the transfinite deadlock of higher set theory the jewel of mathematical Continuum — this genuine, even if mostly forgotten today raison d’être of all traditional set-theoretical enterprises to Infinity and beyond, from Georg Cantor to David Hilbert to Kurt Gödel to W. Hugh Woodin to Buzz Lightyear.

The criticism of Hilbert's axiomatic system of geometry by Mate Meršić (Merchich, 1850-1928), presented in his work "Organistik der Geometrie" (1914, also in "Modernes und Modriges", 1914), is analyzed and discussed. According to Meršić, geometry cannot be based on its own axioms, as a logical analysis of spatial intuition, but must be derived as a "spatial concretion" using "higher" axioms of arithmetic, logic, and "rational algorithmics." Geometry can only be one, because space is also only one. It cannot be (...) reduced to manipulation with symbols but has to deal with concepts and provide real knowledge. According to Meršić, aiming at some particular proof of the consistency of the whole axiomatic system is meaningless because the consistency follows from the truth of individual axioms based on spatial intuition. It is impossible, according to Meršić, for the geometric axioms to be mutually independent because they must be interconnected as essential parts of a whole. Although Meršić did not recognize all the advantages of Hilbert's formalization of geometry, he clearly pointed out some crucial limitations of the axiomatic method. (shrink)

The zetetic turn in epistemology raises three questions about epistemic and zetetic norms. First, there is the relationship question: what is the relationship between epistemic and zetetic norms? Are some epistemic norms zetetic norms, or are epistemic and zetetic norms distinct? Second, there is the tension question: are traditional epistemic norms in tension with plausible zetetic norms? Third, there is the reaction question: how should theorists react to a tension between epistemic and zetetic norms? Drawing on an analogy to practical (...) philosophy, I develop a focal point view to resolve these motivating questions. On the focal point view, traditional epistemic norms and zetetic norms answer different types of normative questions. There is nevertheless a familiar type of evaluative tension between traditional epistemic norms and zetetic norms, but this tension is an unavoidable feature of the normative landscape and not a sign that traditional epistemic norms need revision. But if traditional epistemic norms are not zetetic norms, then in what sense is zetetic epistemology a project for epistemologists? I conclude by articulating a sense in which some nontraditional epistemic norms are zetetic norms, and in which zetetic epistemology is an important part of the study of theoretical rationality. (shrink)

We start by presenting three different views that jointly imply that every person has many conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident someone should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in metaphysical theories.

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.

Bounded rationality gets a bad rap in epistemology. It is argued that theories of bounded rationality are overly context‐sensitive; conventionalist; or dependent on ordinary language (Carr, 2022; Pasnau, 2013). In this paper, I have three aims. The first is to set out and motivate an approach to bounded rationality in epistemology inspired by traditional theories of bounded rationality in cognitive science. My second aim is to show how this approach can answer recent challenges raised for theories of bounded rationality. My (...) third aim is to clarify the role of rational ideals in bounded rationality. (shrink)

A familiar interpretation of quantum mechanics (one of a number of views sometimes labeled the "Copenhagen interpretation'"), takes its empirical apparatus at face value, holding that the quantum wave function evolves by the Schrödinger equation except on certain occasions of measurement, when it collapses into a new state according to the Born rule. This interpretation is widely rejected, primarily because it faces the measurement problem: "measurement" is too imprecise for use in a fundamental physical theory. We argue that this is (...) a weak objection, as there may be many ways of making "measurement" precise. However, measurement-collapse interpretations face a more serious objection: a dilemma tied to the quantum Zeno effect. Is measurement itself an observable that can enter superpositions? If yes, then the standard measurement-collapse dynamics is ill-defined. If no, then (at least if measurement is an observable), measurements can never start or finish. The best way out is to deny that measurement is an observable, but this leads to strong and revisionary consequences. This reinforces the view that there is no nonrevisionary interpretation of quantum mechanics. (shrink)

This paper explores an initially attractive principle connecting beliefs in general with beliefs about what beliefs are rational. The principle turns out to be violated by intuitively rational beliefs in some situations. The paper lays out some options for reacting to this fact.

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts and (...) that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (shrink)

Perceptualists say that having a pain in a body part consists in perceiving the part as instantiating some property. I argue that perceptualism makes better sense of the connections between pain location and the experiences undergone by people in pain than three alternative accounts that dispense with perception. Turning to fellow perceptualists, I also reject ways in which David Armstrong and Michael Tye understand and motivate perceptualism, and I propose an alternative interpretation, one that vitiates a pair of objections—due (...) to John Hyman—concerning the meaning of ‘Amy has a pain in her foot’ and the idea of bodily sensitivity. Perceptualism, I conclude, remains our best account of the location of pains. (shrink)

The Quality of Thought develops and defends the thesis that thinking is a kind of experience, characterized by a sui generis (“cognitive”) phenomenology, determinates of which are thought contents—what I call the phenomenal intentionality of thought thesis. It draws out the implications of this thesis for issues in philosophy of mind, philosophy of language and metaphysics. The view defended is radically internalist and intensionalist, and thus goes against received doctrines in philosophy of mind (externalism) and language (extensionalism). It also advocates (...) for a metaphysically neutral, non-naturalistic approach to the philosophical study of mind—what I call “Analytic Phenomenology”—in combination with agnosticism about the nature of the relationship between consciousness and physical reality. -/- The book identifies persistent problems with Dretske-inspired causal-informational-teleological theories of conceptual content, and diagnoses them as due to leaving out what it’s like to think a thought—to entertain or grasp a propositional (conceptual) content. It is thus a contribution to the increasingly influential Phenomenal Intentionality Research Program. It includes refutations of classic externalism (Putnam and Burge) and arguments that standard motivations for direct reference theories of names (Kripke), indexicals and demonstratives (Kaplan) are not inevitable, and alternative accounts of their (and their conceptual equivalents’) semantics. It also addresses outstanding challenges to the phenomenal intentionalist view of thought content, including the existence of unconscious thought, the elusiveness of conceptual phenomenology, the matching content problem, phenomenal compositionality, and the determination of conceptual reference. (shrink)

Longtermists have recently argued that it is overwhelmingly important to do what we can to mitigate existential risks to humanity. I consider three mistakes that are often made in calculating the value of existential risk mitigation. I show how correcting these mistakes pushes the value of existential risk mitigation substantially below leading estimates, potentially low enough to threaten the normative case for existential risk mitigation. I use this discussion to draw four positive lessons for the study of existential risk. -/- (...) . (shrink)

According to intentionalism, the phenomenal character of experience is one and the same as the intentional content of experience. This view has a problem with moods (anxiety, depression, elation, irritation, gloominess, grumpiness, etc.). Mood experiences certainly have phenomenal character, but do not exhibit directedness, i.e., do not appear intentional. Standardly, intentionalists have re-described moods’ undirectedness in terms of directedness towards everything or the whole world (e.g., Crane, 1998; Seager, 1999). This move offers the intentionalist a way out, but is quite (...) unsatisfying. More recently, Angela Mendelovici (2013a, b) has suggested something that looks more interesting and promising: instead of re-describing moods’ phenomenology, she accepts its undirectedness at face value and tries to explain it in intentionalist terms. In this paper, I focus on and criticize Mendelovici’s proposal. As I will show, despite its prima facie virtues, the view is poorly motivated. For, contrary to what Mendelovici argues, introspection does not support her proposal—arguably, it provides some evidence against it. So, the problem that intentionalism has with moods is not solved, but is still there. (shrink)

Transdisciplinary research knits together knowledge from diverse epistemic communities in addressing social-environmental challenges, such as biodiversity loss, climate crises, food insecurity, and public health. This paper reflects on the roles of philosophy of science in transdisciplinary research while focusing on Indigenous and other subaltern forms of knowledge. We offer a critical assessment of demarcationist approaches in philosophy of science and outline a constructive alternative of transdisciplinary philosophy of science. While a demarcationist focus obscures the complex relations between epistemic communities, transdisciplinary (...) philosophy of science provides resources for meeting epistemic and political challenges of collaborative knowledge production. (shrink)

This paper is an explication of Gadamer's idea of "application." I argue that the relation between the first and third persons in application contains a viable conception of the normativity of understanding. Application includes a measure for understanding. The thing that is to be understood must be allowed to address me, and such involvement responds to the text’s meaning. While this measure is not expressible in principled rules, application is normatively accountable both to the text’s third-person claim to meaning and (...) to my first-person involvement with the text. The participation of the interpreter with the item of her understanding forms a normative standard. (shrink)

In this paper, we discuss the inherent temporal orientation of fear, a matter on which philosophers seem to have contrasting opinions. According to some, fear is inherently present-oriented; others instead maintain that it is inherently future-oriented or that it has no inherent temporal orientation at all. Despite the differences, however, all these views seem to understand fear’s temporal orientation as one-dimensional—that is, as uniquely determined by the represented temporal location of the intentional object of fear. By contrast, we present a (...) view that introduces a two-dimensional account of fear’s temporal orientation. On such a view, we can say that fear is inherently future-oriented, independently of its being about something in the present or in the future. (shrink)

This paper is on the metaphysics and normativity of Jewish identity. It starts with a metaphysical question: “Can a Jewish person become non-Jewish?” This question and the related question “What is Jewishness?” are both ambiguous, because the word “Jewish” is ambiguous. The paper outlines five concepts of Jewishness: halachic, religious, ethnic, and cultural Jewishness, as well as being Jewish in the sense of belonging to the Jewish community. In some of these senses of “Jewish” a Jewish person is always Jewish. (...) In other senses a Jewish person can become non-Jewish. The paper closes with a normative question: Should a person who is Jewish, in the sense of belonging to the Jewish community, become non-Jewish? The paper explains reasons for and against staying in the Jewish community and in doing so highlights a tension, rather than telling anyone how they should identify. (shrink)

According to a traditional Cartesian epistemology of perception, perception does not provide one with direct knowledge of the external world. Instead, your immediate perceptual evidence is limited to facts about your own visual experience, from which conclusions about the external world must be inferred. Cartesianism faces well-known skeptical challenges. But this chapter argues that any anti-Cartesian view strong enough to avoid these challenges must license a way of updating one’s beliefs in response to anticipated experiences that seems diachronically irrational. To (...) avoid this result, the anti-Cartesian must either license an unacceptable epistemic chauvinism, or else claim that merely reflecting on one’s experiences defeats perceptual justification. This leaves us with a puzzle: Although Cartesianism faces problems, avoiding them brings a new set of problems. (shrink)

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend to (...) reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (shrink)

There is an apparent tension in Shepherd’s accounts of space and time. Firstly, Shepherd explicitly claims that we know that the space and time of the unperceived world exist because they cause our phenomenal experience of them. Secondly, Shepherd emphasizes that empty space and time do not have the power to effect any change in the world. My proposal is that for Shepherd time has exactly one causal power: to provide for the continued existence of self-same or changing objects. Because (...) Shepherd takes causation to be a relation whereby two objects combine to form a third, their effect, whenever we perceive a continually existing object, since time is a proper part of such objects, our perception of time is caused by time itself. Likewise, space’s causal power is to provide for the possibility of the motion or rest of objects, and so when we perceive objects with space as a proper part, we come into causal contact with space. (shrink)

Dark matter has never been detected, yet it is a key part of the dominant theory of cosmology. An alternative theory, MOND, is empirically equivalent and more successful at making predictions. But the fact that it has no place for the existence of dark matter is a problem for scientific realists who see science as building on past theories.

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

This chapter explores the relationship between ethical judgement writ large (as opposed to merely moral judgement) and motivation. We discuss arguments for and against views on which ethical judgement entails motivation, either alone or under conditions of rationality or normalcy, either at the individual or community level.

The chapter challenges hyperbolic claims about the centrality of appreciation of beauty to Buddhism. Within the texts, attitudes are more mixed, except for a form of 'inner beauty' - the beauty found in the expression of virtues or wisdom in forms of bodily comportment. Inner beauty is a stable presence throughout Buddhist history, practices, and art.

Comments and replies from the 2021 Eastern APA book symposium on Jill North's Physics, Structure, and Reality.

Formally inclined epistemologists often theorize about ideally rational agents—agents who exemplify rational ideals, such as probabilistic coherence, that human beings could never fully realize. This approach can be defended against the well-known worry that abstracting from human cognitive imperfections deprives the approach of interest. But a different worry arises when we ask what an ideal agent should believe about her own cognitive perfection (even an agent who is in fact cognitively perfect might, it would seem, be uncertain of this fact). (...) Consideration of this question reveals an interesting feature of the structure of our epistemic ideals: for agents with limited information, our epistemic ideals turn out to conflict with one another. This suggests that we must revise the way we see ideal agents in epistemic theorizing. (shrink)