Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...) in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

The phrase ‘autoepistemic logic’ was introduced in Moore [1985] to refer to a study inspired in large part by criticisms in Stalnaker [1980] of a particular nonmonotonic logic proposed by McDermott and Doyle.1 Very informative discussions for those who have not encountered this area are provided by Moore [1988] and the wide-ranging survey article Konolige [1994], and the scant remarks in the present introductory section do not pretend to serve in place of those treatments as summaries of the field. A (...) good deal of the material omitted here pertains to the specifically nonmonotonic nature of autoepistemic logic as standardly developed, but as we shall urge, there is from one point of view nothing distinctively nonmonotonic about the basic motivating ideas of the subject. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the structures (W,~) come along with naturally defined maps h and s (...) that define a Galois connection on the power set PW of W. These maps can be used to define two distinct boundary operators bd and BD on W. The main theorem of the paper states that higher-order vagueness with respect to bd collapses to second-order vagueness. This does not hold for BD, the iterations of which behave in quite an erratic way. In contrast, the operator bd defines a variety of tolerance principles that do not fall prey to the sorites paradox and, moreover, do not always satisfy the principles of positive and negative introspection. (shrink)

This collection brings together a selection of my recently published or forthcoming articles. What unites them is their common concern with one of the central ambitions of philosophy, namely to get clearer about our first-personal perspective onto the world and our minds. Three aspects of that perspective are of particular importance: consciousness, intentionality, and rationality. The collected essays address metaphysical and epistemological questions both concerning the nature of each of these aspects and concerning the various connections among them. More generally, (...) given that intentionality and ratio- nality are both normative phenomena, the main theme of the articles is the relationship between consciousness and normativity and the centrality of this relationship to our first-personal perspective. -/- This focus culminates in the defense of two specific views, experiential rationalism and experiential intentionalism. The first is, very roughly, the view that how our mental episodes are given in consciousness reflects their rational role in our mental lives: it is part of what our mental episodes subjectively are like that we phenomenally experience them as providing and/or responding to certain kinds of reasons. The central claim of the second view, on the other hand, is that the intentionality of our mental episodes is essentially linked to consciousness and involves a token-reflexive element: they intentionally present not only the world, but also themselves as being a certain way. -/- Some of the essays also deal with the contrast between our first- and our third-personal perspectives and the — to some extent related — division of labour between philosophy and the empirical sciences. Both perspectives have their limitations and sometimes conflict with each other, raising the question of what the consequences are for accounts of our first-personal knowledge and its internal or external objects. (shrink)

In this paper, I would like to put forward the claim that, at least in some central cases, visualising consists literally in imagining seeing. The first section of my paper is concerned with a defence of the specific argument for this claim that M. G. F. Martin presents in his paper 'The Transparency of Experience' (Martin 2002). This argument has been often misunderstood (or ignored), and it is worthwhile to discuss it in detail and to illus­trate what its precise nature (...) is and why I take it to be sound. In the second section, I present a second and independent argument for the claim that visualising is imagining seeing, which is not to be found in Martin's writings, despite some crucial similarities with his own argument ‒ notably in the focus on the subjective aspects of visual experience. The last section deals with a particular objection to the idea that imagining takes perception as its direct object and says a bit more about how best to understand this claim. (shrink)

In this chapter, I argue against empiricist positions which claim that empirical evidence can be sufficient to defeasibly justify aesthetic judgements, or judgements about the adequacy of aesthetic judgements, or sceptical judgements about someone's capacity to form adequate aesthetic judgements. First, empirical evidence provides neither inferential, nor non-inferential justification for aesthetic opinions. Second, while empirical evidence may tell us how we do respond aesthetically to artworks, it cannot tell us how we should respond to them. And, third, empirical insights into (...) the irrationality of many of our aesthetic judgements do not warrant the sceptical conclusion that we ought to refrain from forming aesthetic opinions. As a consequence of these limitations to aesthetic empiricism, we should endorse the rationalist position that aesthetic criticism is largely a matter of reasoning and, moreover, a collective undertaking. (shrink)

Doxasticism about our awareness of normative (i.e. justifying) reasons – the view that we can recognise reasons for forming attitudes or performing actions only by means of normative judgements or beliefs – is incompatible with the following triad of claims: -/- (1) Being motivated (i.e. forming attitudes or performing actions for a motive) requires responding to and, hence, recognising a relevant reason. -/- (2) Infants are capable of being motivated. -/- (3) Infants are incapable of normative judgement or belief. -/- (...) It should be clear that (3) is true, given that infants lack the required reflective and conceptual capacities. So doxasticists have to reject either (1) or (2) (or both). But this forced choice may be understood as a dilemma for doxasticism. On the hand, doxasticists may adopt a Kantian approach and reject (2), precisely because they think that motivation presupposes the doxastic recognition of reasons, and because infants lack the capacity to doxastically recognise reasons. But this choice seems to wrongly reduce the responses of infants to mere reflexes or instinctive reactions. On the other hand, doxasticists may choose a Humean route and deny (1) by espousing a purely causal or teleological account of motivation. But this would mean detrimentally ignoring the normative nature of (some instances of) motivation. -/- One elegant way of avoiding this dilemma is to give up doxasticism and instead endorse experientialism – the view that we enjoy some experiential access to reasons, which is independent of, and perhaps more fundamental than, our capacity to form normative judgements and beliefs. In this talk, I would like to provide an argument for the existence of such a non-doxastic form of access to reasons. More specifically, I aim to defend the claim that our basic awareness of reasons is phenomenal in nature. What this means is that it forms part of our access from the inside to those of our mental episodes that provide us with access to reasons. In other words, when we introspectively attend to reason-giving mental episodes and what they are about, we have the impression of the presence of a reason for us. My defence of this experientialist alternative to doxasticism will primarily focus on perceptual reasons for first-order beliefs about the external world. (shrink)

The recent debate on cognitive phenomenology has largely focused on phenomenal aspects connected to the content of thoughts. By contrasts, aspects pertaining to their attitude have often been neglected, despite the fact that they are distinctive of the mental kind of thought concerned and, moreover, also present in experiences and thus less contentious than purely cognitive aspects. My main goal is to identify two central and closely related aspects of attitude that are phenomenologically salient and shared by thoughts with experiences, (...) namely the rational role that they play in our mental lives and their determination by factors external to them, such as external objects or reasons. In particular, I aim to defend Phenomenal Rationalism about judgemental thoughts and perceptual experiences: the view that their phenomenal character reflects their rational role, that is, their capacity to provide and/or respond to reasons. I conclude with some remarks about how this view may be extended to other kinds of th... (shrink)

The central and paradigmatic cases of knowledge discussed in philosophy involve the possession of truth. Is there in addition a distinct type of practical knowledge, which does not aim at the truth? This question is often approached through asking whether states attributed by “know-how” locutions are distinct from states attributed by “know-that”. This paper argues that the question of practical knowledge can be raised not only about some cases of “know-how” attributions, but also about some cases of so-called “know-wh” attributions; (...) and that certain features of this practical knowledge-wh put pressure on the standard analysis of know-wh. (shrink)

In chapter 5 of Knowledge and its Limits, T. Williamson formulates an argument against the principle (KK) of epistemic transparency, or luminosity of knowledge, namely “that if one knows something, then one knows that one knows it”. Williamson’s argument proceeds by reductio: from the description of a situation of approximate knowledge, he shows that a contradiction can be derived on the basis of principle (KK) and additional epistemic principles that he claims are better grounded. One of them is a reflective (...) form of the margin for error principle defended by Williamson in his account of knowledge. We argue that Williamson’s reductio rests on the inappropriate identification of distinct forms of knowledge. More specifically, an important distinction between perceptual knowledge and non-perceptual knowledge is wanting in his statement and analysis of the puzzle. We present an alternative account of this puzzle, based on a modular conception of knowledge: the (KK) principle and the margin for error principle can coexist, provided their domain of application is referred to the right sort of knowledge. (shrink)

I argue that any account of perceptual experience should satisfy the following two desiderata. First, it should account for the particularity of perceptual experience, that is, it should account for the mind-independent object of an experience making a difference to individuating the experience. Second, it should explain the possibility that perceptual relations to distinct environments could yield subjectively indistinguishable experiences. Relational views of perceptual experience can easily satisfy the first but not the second desideratum. Representational views can easily satisfy the (...) second but not the first desideratum. I argue that to satisfy both desiderata perceptual experience is best conceived of as fundamentally both relational and representational. I develop a view of perceptual experience that synthesizes the virtues of relationalism and representationalism, by arguing that perceptual content is constituted by potentially gappy de re modes of presentation. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

Colour vision plays a foundational explanatory role in the philosophy of colour, and serves as perennial quarry in the wider philosophy of perception. I present two contributions to our understanding of this notion. The first is to develop a constitutive approach to characterizing colour vision. This approach seeks to comprehend the nature of colour vision qua psychological kind, as contrasted with traditional experiential approaches, which prioritize descriptions of our ordinary visual experience of colour. The second contribution is to argue that (...) colour vision does not constitutively involve the ability to see colours, in a natural and categorically committed sense. I argue that two subjects exactly alike in respect of their constitutive colour vision abilities could differ in respect of whether or not they have categorical perception of colour. The argument is supported by thought experiment and dissociations observed in cognitive neuropsychology. The argument also bears connections to recent neo-Whorfian accounts of colour categorization. _1._ Introduction _2._ Colour Vision, Experience, and Natures _3._ The Central Argument _3.1._ Colour constancy and discrimination _3.2._ Dissociating colour vision and categorical perception for colour _4._ Whorf and the View from Cognitive Neuropsychology _5._ Conclusion. (shrink)

Ground Representationism is the position that for each phenomenal feature there is a representational feature that accounts for it. Against this thesis, Ned Block (The Puzzle of Phenomenal Precision, 2015) has provided an intricate argument that rests on the notion of “phenomenal precision”: the phenomenal precision of a percept may change at a different rate from its representational counterpart. If so, there is then no representational feature that accounts for a specific change of this phenomenal feature. Therefore, Ground Representationism cannot (...) be generally true. -/- Although the notion of phenomenal precision is intuitive, it is admittedly in need of clarification. Here I reconstruct Block’s argument by suggesting a way of estimating phenomenal precision that is based on the assumption that parts of perceptual wholes can share phenomenal features independently of their place in the whole. Understood like this, the overall argument shows what it is supposed to show. -/- A more thorough look at the notion of phenomenal precision suggests tension with Block’s other work: in order to be non-trivial, we have to accept that some of our phenomenality is not concrete, but only generic. Such “solely generic phenomenology”, however, is a position mainly held by opponents to Block’s Access- vs. Phenomenal Consciousness-distinction. Interpreting phenomenal imprecision as constituted by introspective imprecision does not suffice as a way out. It seems that phenomenal precision is either trivial, self-contradictory, or incompatible with Block’s position elsewhere. So some additional elucidation on this crucial notion is needed. (shrink)

Suppose you're unable to discriminate the colors of two objects. According to the triangulation view, their colors might nonetheless look different to you, and that's something you can discover as a result of further comparisons. The primary motivation for this view is its apparent ability to solve a puzzle involving a series of pairwise indiscriminable objects. I argue that, due to visual noise, the triangulation view doesn't really solve the puzzle.

This paper introduces the reader to Meinong's work on the metaphysics of magnitudes and measurement in his Über die Bedeutung des Weber'schen Gesetzes. According to Russell himself, who wrote a review of Meinong's work on Weber's law for Mind, Meinong's theory of magnitudes deeply influenced Russell's theory of quantities in the Principles of Mathematics. The first and longest part of the paper discusses Meinong's analysis of magnitudes. According to Meinong, we must distinguish between divisible and indivisible magnitudes. He argues that (...) relations of distance, or dissimilarity, are indivisible magnitudes that coincide with divisible magnitudes called "stretches". The second part of the paper is concerned with Meinong's account of measurement as a comparison of parts. According to Meinong, since measuring consists in comparing parts only divisible magnitudes are directly measurable. Indivisible magnitudes can only be measured indirectly, by measuring the divisible stretches that coincide with them. (shrink)

In 'Physics' I.7, Aristotle claims that plants and animals are generated from sperma. Since most understood sperma to be an ovum, this claim threatens to undermine the standard view that, for Aristotle, the matter natural beings are generated from persists through their generation. By focusing on Aristotle’s discussion of sperma in the first book of the 'Generation of Animals', I show that, for Aristotle, sperma in the female is surplus blood collected in the uterus and not an ovum. I subsequently (...) argue that, for Aristotle, this blood does persist through the production of the fetus. (shrink)

The study of the mind has to grapple with both the unconscious and the conscious. While the phenomenon of cognitive penetration has already been explored especially in connection to the modularity of perceptual and cognitive processes, the phenomenon of cognitive-phenomenological penetration, the penetration within the stream of consciousness of the phenomenological fabric of experiences by the phenomenology of thought, has not been given much attention thus far. In this paper, I focus with analytic-phenomenological methods on cognitive-phenomenological penetration as a phenomenon (...) whereby the texture of non-cognitive phenomenologies gets modified by cognitive phenomenologies. I present a metaphysical model of cognitive-phenomenological penetration and argue that it can be used to support a non-modular view in the metaphysics of the conscious and unconscious mind, to confirm the hypothesis that there exists a sui generis phenomenology of thought, and to defend the view that cognitive-phenomenological penetration has a pivotal role to play in appraisals of rationality, irrationality, and cognitive distortions at the intrasubjective, intersubjective, and extra-mental levels. (shrink)

Improbable knowing is knowing something even though it is almost certain on one’s evidence at the time that one does not know that thing. Once probabilities on the agent’s evidence are introduced into epistemic logic in a very natural way, it is easy to construct models of improbable knowing, some of which have realistic interpretations, for instance concerning agents like us with limited powers of perceptual discrimination. Improbable knowing is an extreme case of failure of the KK principle, that is, (...) of a case of knowing something even though one does not know at the time that one knows that thing. A generalization of the argument yields cases of improbable rationality, in which it is rational for one to do something even though it is almost certain on one’s evidence at the time that it is not rational for one to do that thing. When the models are elaborated to represent appearances and beliefs as well as knowledge, they turn out to contain Gettier cases. Neglect of the possibility of improbable knowing may cause some sceptical claims and claims of the non-closure of knowledge under competent deduction to look more plausible than they deserve to. A formal appendix explores the closely related question of the conditions under which a reflection principle is violated. The principle says that the evidential probability of a proposition conditional on the evidential probability of that proposition’s being c is itself c. (shrink)

Michael Dummett argues, against Saul Kripke, that there could have been unicorns. He then claims that this possibility shows that the logic of metaphysical modality is not S5, and, in particular, that the B axiom is false. Dummett’s argument against B, however, is invalid. I show that although there are number of ways to repair Dummett’s argument against B, each requires a controversial metaphysical or semantic commitment, and that, regardless of this, the case against B is undermotivated. Dummett’s case is (...) still of interest, however, as if his assumptions are correct, S5 has to go, with the natural culprit being S4. (shrink)

My starting point is that discussions in philosophy about the ontology of technical artifacts ought to be informed by classificatory practices in engineering. Hence, the heuristic value of the natural-artificial distinction in engineering counts against arguments which favour abandoning the distinction in metaphysics. In this chapter, I present the philosophical equipment needed to analyse classificatory practices and then present a case study of engineering practice using these theoretical tools. More in particular, I make use of the Collectivist Account of Technical (...) Artifacts (CAT) according to which there are different classificatory practices for natural, artificial, and social objects. I demonstrate that in the community studied, artificial kinds are marked by distinctive classificatory practices. The presence of these distinctive classificatory practices in engineering with regard to artificial kinds should inform discussions about the ontology of technical artifacts just as the distinctive classificatory practices in natural science inform discussions about natural kinds. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

In this paper, a general perspective on criteria of identity of kinds of objects is developed. The question of the admissibility of impredicative or circular identity criteria is investigated in the light of the view that is articulated. It is argued that in and of itself impredicativity does not constitute sufficient grounds for rejecting a putative identity criterion. The view that is presented is applied to Davidson’s criterion of identity for events and to the structuralist criterion of identity of places (...) in a structure. (shrink)

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate on these (...) issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (shrink)

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly (...) see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (shrink)

Reflection on skeptical scenarios in the philosophy of perception, made vivid in the arguments from illusion and hallucination, have led to the formulation of theories of the metaphysical and epistemological nature of perceptual experience. In recent times, the locus of the debate concerning the nature of perceptual experience has been the dispute between disjunctivists and common-kind theorists. Disjunctivists have held that there are substantial dissimilarities (either metaphysical or epistemological or both) between veridical perceptual experiences occurring when one perceives and perceptual (...) experiences involved in hallucination. Common-kind theorists have denied this. In this paper, I examine the nature of introspection – a faculty that has often been compared and contrasted to perception. I reflect on cases where introspection goes wrong in ways analogous to that in which our perceptual faculties can go wrong and formulate, what I take to be, an attractive theory of introspection. The cases that I focus on in which things go wrong are the case of zombies and the case of subjects with Anton’s syndrome. (Anton’s syndrome is a condition in which people who are blind claim that they can see.) I suggest that, just as it is possible to be a disjunctivist about perception, it is possible to be a disjunctivist about introspection. I argue that this is a good view of one type of introspection, namely, introspection of states that have phenomenal character, such as perceptual experiences. It has a good account to give of the cases in which such introspection seems to go wrong and it yields a plausible metaphysical and epistemological view of the nature of introspection. However, while I favour a disjunctive view of introspection, I do not favour a disjunctive view of perception. And, I suspect, that many disjunctivists about perception would not wish to condone my disjunctivist theory of introspection. I therefore go on to examine to what extent.. (shrink)

My primary aim in this article is to provide a philosophical account of the unity of hallucinations, which can capture both perceptual hallucinations (which are subjectively indistinguishable from perceptions) and non-perceptual hallucinations (all others). Besides, I also mean to clarify further the division of labour and the nature of the collaboration between philosophy and the cognitive sciences. Assuming that the epistemic conception of hallucinations put forward by M. G. F. Martin and others is largely on the right track, I will (...) focus on two main tasks: (a) to provide a satisfactory phenomenology of the subjective character of perceptions and perceptual hallucinations and (b) to redress the philosophers’ neglect of non-perceptual hallucinations. More specifically, I intend to apply one of the central tenets of the epistemic conception—that hallucinations can and should be positively characterised in terms of their phenomenological connections to perceptions—to non-perceptual hallucinations as well. That is, I will try to show that we can positively specify the class of non-perceptual hallucinations by reference to the distinctive ways in which we first-personally experience them and perceptions in consciousness. The task of saying more about their underlying third-personal nature may then be left to the cognitive sciences. (shrink)

One central fact about hallucinations is that they may be subjectively indistinguishable from perceptions. Indeed, it has been argued that the hallucinatory experiences concerned cannot— and need not—be characterized in any more positive general terms. This epistemic conception of hallucinations has been advocated as the best choice for proponents of experiential (or “naive realist”) disjunctivism—the view that perceptions and hallucinations differ essentially in their introspectible subjective characters. In this chapter, I aim to formulate and defend an intentional alternative to experiential (...) disjunctivism called experiential intentionalism. This view not only enjoys some advantages over its rival but is also compatible with the epistemic conception of hallucinations, as well as with the disjunctivist view that perceptions and hallucinations differ essentially in their third-personal structures (e.g., their causal, informational, or reason-providing links to reality). It also maintains that there are actually two aspects to the subjective indistinguishability of mental episodes: (i) we cannot distinguish their first-personal characters in introspective awareness; and (ii) we cannot distinguish their third-personal structures in experiential awareness—that is, in how they are given to consciousness. While experiential disjunctivism makes the mistake of ignoring (ii) and reducing subjective indiscriminability to (i), experiential intentionalism correctly identifies (ii) as the primary source of the subjective indistinguishability of perception-like hallucinations. Accordingly, the intentional error involved in such hallucinations is due to the fact that we consciously experience them as possessing a relational structure. (shrink)

Timothy Williamson has shown that the B axiom for 'definitely' (α → Δ¬Δ¬α) guarantees that if a sentence is second-order vague in a Kripke model, it is nth order vague for every n. More recently, Anna Mahtani has argued that Williamson's epistemicist theory of vagueness does not support the B axiom, and conjectured that if we consider models in which the “radius of accessibility” varies between different points, we will be able to find sentences that are nth-order vague but (n+1)th-order (...) precise, for any n. This paper bolsters Mahtani's argument, shows her conjecture to be true, and shows that imposing certain further natural constraints on "variable radius" models does not change the situation. (shrink)

I develop a view of the common factor between subjectively indistinguishable perceptions and hallucinations that avoids analyzing experiences as involving awareness relations to abstract entities, sense-data, or any other peculiar entities. The main thesis is that hallucinating subjects employ concepts (or analogous nonconceptual structures), namely the very same concepts that in a subjectively indistinguishable perception are employed as a consequence of being related to external, mind-independent objects or property-instances. These concepts and nonconceptual structures are identified with modes of presentation types. (...) Since a hallucinating subject is not related to any such objects or property-instances, the concepts she employs remain empty. I argue that the phenomenology of hallucinations and perceptions can be identified with employing concepts and analogous nonconceptual structures. By doing so, I defend an ontologically minimalist view of the phenomenology of experience that (1) vindicates Aristotelianism about types and (2) amounts to a naturalized view of the phenomenology of experience. (shrink)

The aim of this paper is to derive a perfectly general criterion of identity through time from Locke’s Principle, which says that two things of the same kind cannot occupy the same space at the same time. In this way, the paper pursues a suggestion made by Peter F. Strawson almost thirty years ago in an article called ‘Entity and Identity’. The reason why the potential of this suggestion has so far remained unrealized is twofold: firstly, the suggestion was never (...) properly developed by Strawson, and secondly, it seemed vulnerable to an objection that he himself raised against it. Consequently, the paper’s aim is to further develop Strawson’s suggestion, and to show that the result is not vulnerable to the objection that seemed fatal to its underdeveloped predecessor. In addition, the paper aims to defend Locke’s Principle against alleged counterexamples such as those produced by Leibniz, Fine and Hughes. (shrink)

This essay surveys the varieties of disjunctivism about perceptual experience. Disjunctivism comes in two main flavours, metaphysical and epistemological.

Let's be externalists about perceptual consciousness and think the form of veridical perceptual consciousness includes /seeing this or that mind-independent particular and its colors/. Let's also take internalism seriously, granting that spectral inversion and hallucination can be "phenomenally" the same as normal seeing. Then perceptual consciousness and phenomenality are different, and so we need to say how they are related. It's complicated!<br><br>Phenomenal sameness is (against all odds) /reflective indiscriminability/. I build a "displaced perception" account of reflection on which indiscriminability stems (...) from shared "qualia". Qualia are compatible with direct realism: while they generate an explanatory gap (and colors do not), so does /seeing/; qualia are excluded from perceptual consciousness by its "transparency"; instead, qualia are aspects of thought about the perceived environment. <br><br>The asymmetry between my treatments of color and seeing is grounded in the asymmetry between ignorance and error: while inversion shows that normal subjects are ignorant of the natures of the colors, hallucination shows not that perceivers are ignorant of the nature of seeing but that hallucinators are prone to error about their condition. Past literature has treated inversion and hallucination as on a par: externalists see error in both cases, while internalists see mutual ignorance. My account is so complicated because plausible results require mixing it up. (shrink)

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)

Semantic indeterminacy is the ether of philosophy of language. It fills the interstices of our intentions and pervades accounts of presupposition, tense, fiction, translation, and especially, vagueness. Yet semantic indeterminacy is as impossible as ectoplasm. Indeed, more so! The demonstration need only borrow a few assumptions used elsewhere in widely accepted impossibility results. Since an impossibility is never a necessary condition for anything actual, semantic indeterminacy must be superfluous. Language is no more explained by semantic indeterminacy than calculus is explained (...) by (pre-Robinsonian) infinitesimals. (shrink)

I argue that, despite van Inwagen’s pessimism about the task, it is worth looking for answers to his General Composition Question. Such answers or ‘principles of composition’ tell us about the relationship between an object and its parts. I compare principles of composition with criteria of identity, arguing that, just as different sorts of thing satisfy different criteria of identity, they may satisfy different principles of composition. Variety in criteria of identity is not taken to reflect ontological variety in the (...) identity relation; I discuss whether variety in principles of composition should be taken to reflect ontological variety in the composition relation. (shrink)

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

I defend, to a certain extent, the traditional view that perceptual indiscriminability is non-transitive. The argument proceeds by considering important recent work by Benj Hellie: Hellie argues that colour perception represents ‘inexactly’, and that this results in violations of the transitivity of colour indiscriminability. I show that Hellie’s argument remains inconclusive, since he does not demonstrate conclusively that colour perception really does represent inexactly. My own argument for the non-transitivity of perceptual indiscriminability uses inexactness instead as one horn of a (...) dilemma: the key idea is that there is a class of perceptual experiences which might plausibly be supposed either to represent inexactly or to represent exactly—but which demonstrate the non-transitivity of perceptual indiscriminability either way. (shrink)