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)

I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.

Rorty goes on to connect the sorites paradox to analytic philosophy’s long standing concern with the correspondence theory of truth. How do our words hook up with reality? Do our categories map pre-existing contours? The nominalist answers that “facts” are just projections of our forms of speech. Rorty characterizes epistemicism as a hyper-realist backlash. In addition to thinking that our scientific terminology cuts nature at the joint, the epistemicist asserts that even the vague vocabulary of common sense has sharp thresholds.

This paper expands on the discussion in the first section of 'Beyond phenomenal naivete'. Let Phenomenal Naivete be understood as the doctrine that some phenomenal characters of veridical experiences are factive properties concerning the external world. Here I present in detail a phenomenological case for Phenomenal Naivete and an argument from hallucination against it. I believe that these arguments show the concept of phenomenal character to be defective, overdetermined by its metaphysical and epistemological commitments together with the world. This does (...) not establish a gappish eliminativism, but a gluttish pluralism, on which there are many imperfect deservers of the name 'phenomenal character'. Different projects in the philosophy of mind -- phenomenology, philosophy of conscious, metaphysics and epistemology of perception -- are concerned with different deservers of the name. (shrink)

Abstract: How exactly should the relation between a veridical perception and a corresponding hallucination be understood? I argue that the epistemic notion of ‘indiscriminability’, understood as lacking evidence for the distinctness of things, is not suitable for defining this relation. Instead, we should say that a hallucination and a veridical perception involve the same phenomenal properties. This has further consequences for attempts to give necessary and sufficient conditions for the identity of phenomenal properties in terms of indiscriminability, and for considerations (...) about the phenomenal sorites. (shrink)

Conceptualists have it that the representational content of perceptual experience is determined by the concepts a subject applies in having such an experience. Conceptualists like Bill Brewer [1999] and John McDowell [1994] have laid particular emphasis on demonstrative concepts in trying to account for the fact that subjects can perceive and discriminate very many specific shades of colour in experience. Against this, it has been objected that such demonstrative concepts have incoherent conditions of extension and/or of individuation, due to the (...) fact that chromatic indiscriminability is non-transitive. In this paper, I consider three different versions of this objection and show why each fails. (shrink)

This paper offers a metaphysical explanation of the identity and distinctness of concrete objects. It is tempting to try to distinguish concrete objects on the basis of their possessing different qualitative features, where qualitative features are ones that do not involve identity. Yet, this criterion for object identity faces counterexamples: distinct objects can share all of their qualitative features. This paper suggests that in order to distinguish concrete objects we need to look not only at which properties and relations objects (...) instantiate but also how they instantiate these properties and relations. I propose that objects are identical when they stand in certain qualitative relations in virtue of their existence. And concrete objects are distinct when they do not stand in the same kinds of relations to one another in virtue of their existence. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the internalism (...) versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (shrink)

The way in which vision represents objects as being the same despite movement and qualitative changes has been extensively investigated in contemporary psychology. However, the formal properties of the visual sameness relation are still unclear, for example, whether it is an identity-like, equivalence relation. The paper concerns one aspect of this problem: the transitivity of visual sameness. Results obtained by using different experimental paradigms are analysed, in particular studies using streaming/bouncing stimuli, multiple object tracking experiments and investigations concerning object-specific preview (...) benefit, and it is argued that the transitive interpretation of visual sameness is the most plausible given the current stage of knowledge. What is more, it is claimed that the way in which visual sameness is represented suggests that in some cases it should be characterized as a “primitive sameness”, similarly as in philosophical theories postulating “thisness”. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

The non-transitivity of the relation looks the same as has been used to argue that the relation has the same phenomenal character as is non-transitive—a result that jeopardizes certain theories of consciousness. In this paper, I argue against this conclusion while granting the premise by dissociating lookings and phenomenology; an idea that some might find counter-intuitive. However, such an intuition is left unsupported once phenomenology and cognitive access are distinguished from each other; a distinction that is conceptually and empirically grounded.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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. Elohim invents 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. Elohim provides a counter-example to epistemic closure for logical deduction. 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. David Elohim examines 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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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. Elohim invents 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. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

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)

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)

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)

Is it possible to characterize the sortal essence of Fs for a sortal concept F solely in terms of a criterion of identity C for F? That is, can the question ‘What sort of thing are Fs?’ be answered by saying that Fs are essentially those things whose identity can be assessed in terms of C? This paper presents a case study supporting a negative answer to these questions by critically examining the neo-Fregean suggestion that cardinal numbers can be fully (...) characterized as those things whose identity can be assessed in terms of one-one correspondence between concepts. (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 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)

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)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

When we perceive we are under the impression of being directly aware of concrete, mindindependent objects. We also consider perception as a basic, reliable source for acquiring beliefs and an effective means for coping with the environment. In the philosophical literature, this direct and basic character of perception is sometimes captured by saying that perception is openness to the world. Articulating, refining and vindicating as far as possible this commonsensical view of perception as openness to the world is the main (...) objective of this work. In order to make the metaphor of openness tractable in theoretical terms, I set up the dialectic in terms of a contrast between representationalism, which holds that perception represents things as being a certain way, and pure relationalism, which holds that perception can be openness to the world only by being a non-representational relation between a subject and objects in the world. The main thesis that I defend with several arguments in this work is that perception is both representational and relational. Indeed, it intelligibly relates us to the world in virtue of its representational content. In chapter one, I place perception in the broader context of intentional states. I articulate a view on which intentional states are directed toward their objects in virtue of having representational content, and show that prima facie the arguments for thinking that paradigmatic intentional states such as belief have content apply to perception too. I also explain why pure relationalists would reject the application of the content-model to perception. Chapter two is devoted to Charles Travis’s argument that perceptual experience does not have content. I counter his argument by offering a phenomenological account of perceptual constancy, and I show that content is necessary for capturing constancy in theoretical terms. Further, I argue that content helps us to better explain how the mind-independent nature of concrete objects is manifest in the phenomenology of perceptual experience. Chapter three concerns the question of how we should elucidate perceptual experience as openness to the world in the face of illusion and hallucination. I consider three possible approaches, and I argue that a view on which perceptual experience is both representational and relational can best make sense of the relevant phenomena. In the fourth chapter, I consider the debate on phenomenal character between representationalist and purely relationalist views in light of a distinction between particularity and generality. I show how representationalists are committed to there being an element of generality in perception, and how pure relationalists construe perception as wholly particular instead. I defend the representationalist view on the grounds that generality is necessary to make sense of the phenomenal and epistemic determinacy of perception. In the concluding remarks, I consider the question of whether my view can make room for the relationality of perception, and I argue again that only a distorted view of the metaphor of openness to the world could lead one to think that content and relationality are incompatible. (shrink)

Relationalism claims that the phenomenal character of perception is constituted by the obtaining of a non-representational psychological relation to mind-independent objects. Although relationalism provides what seems to be the most straightforward and intuitive account of how experience strikes us introspectively, it is very often believed that the argument from hallucination shows that the view is untenable. The aim of this thesis is to defend relationalism against the argument from hallucination. The argument claims that the phenomenal character of hallucination and perception (...) deserves the same account, and that relationalism cannot be true for hallucinations, therefore relationalism must be rejected. This argument relies on the Indiscriminability Principle, the claim that two experiences that are introspectively indiscriminable from each other have the same phenomenal character. Before assessing the plausibility of this principle, I first consider and dismiss versions of the argument which wouldn’t depend on IND. Although widely accepted, no satisfactory support for IND has been presented yet. In this thesis I argue that defending IND requires that we understand the notion of ‘indiscriminability’ employed in IND in an impersonal sense. I then identify what underwrites IND: the intuition that, in virtue of its superficiality, the nature of a phenomenal character must be accessible through introspection, together with the claim that it is not possible to deny IND without denying the superficiality of phenomenal characters too. I argue that the relationalist can deny IND while preserving the superficiality of phenomenal characters. This can be done by adopting a negative view of hallucination and an account of introspection whereby the phenomenal character doesn’t exist independently of one’s introspective awareness of it and where having introspective access to our experience depends on our perceptual access to the world. (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 propose formulating identity criteria as generic statements of ground, thereby avoiding objections that have been made to the more usual formulations.

According to Duncan Pritchard’s version of epistemological disjunctivism, in paradigm cases of perceptual knowledge, one’s knowledge that p is grounded in one’s seeing that p, and one can, by reflection alone, come to know that they see that p. In this paper, I argue that the epistemic conception of introspective indiscriminability is incompatible with epistemological disjunctivism, so understood. This has the consequence that theories of the nature of sensory experience which accept the epistemic conception of introspective indiscriminability—such as phenomenal character (...) disjunctivism and certain forms of naïve realism—are inconsistent with epistemological disjunctivism, so understood. I then argue that proponents of epistemological disjunctivism face a formidable challenge explaining in what sense, if any, one can have purely reflective knowledge of their factive rational support. (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)

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)

The aim of this note is to discuss the general form and role of identity criteria. We have taken two readings into consideration which express two different functions of identity criteria. The first expresses the epistemic function whilst the second deals with the ontological function. We argue that there are several problems related to the specification of both these functions. As a consequence, we conclude that identity criteria are not necessary to provide ontological legitimacy.

Perception represents colours inexactly. This inexactness results from phenomenally manifest noise, and results in apparent violations of the transitivity of perceptual indiscriminability. Whether these violations are genuine depends on what is meant by 'transitivity of perceptual indiscriminability'.

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)

The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...) I will survey existing accounts and suggest a new account in terms of grounding that has some advantages over the other candidates. (shrink)

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)