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 while bypassing 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 while bypassing 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)

Özet: Bu metindeki amacım Kripke’nin kurgu çözümlemesinde özel adlar ve adımsılar (pretended name) arasındaki ilişkiyi ele almak. Kripke için özel adlar değişmez imleyicilerdir (rigid designator), yani tek bir varlığı/şeyi var olduğu tüm olanaklı dünyalarda biricik belirlerler. Adımsılar ise kurgusal söylemde ortaya çıkan kurgunun taslamasının bir parçasıdır; yani kurgu dünyadaki karakterlerin adlarıdır. Kripke’ye göre adımsılar sadece gerçek adları taklit eden fakat taklit ve benzerlik ilişkisinden öte bir ilişkileri olmayan, adlardan kategorik olarak farklı şeylerdir. Fakat Kripke için adlar ve adımsılar kategorik olarak (...) farklı olsalar da bu iki dilsel birim birbirlerini belirler gibi gözükür. Yani “Sherlock Holmes” özel adı, “Sherlock Holmes” özel adımsısı ile eşseslidir fakat bunun gerekçesi yeterince açık değildir. Bu açık olmama durumu kurgusal karakter adlandırma önermelerinin adlandırıcı açısından a priori ve olumsal mı olduğu yoksa a posteriori ve zorunlu mu olduğu sorusuyla ilişkilidir. Böylelikle bu belirleme ilişkisi ya zorunlu ya da olumsal bir ilişkidir. Ben bu belirleme ilişkisinin olumsal olduğunu savunacağım. Fakat bu belirleme ilişkisi olumsal olsa da ad ve adımsı arasında eşseslilik açısından sıkı bir ilişki olmaya devam eder. Ben bu sıkı ilişkinin genellikle kendiliğinden bir ilişki olduğunu, kurgu karakterin önce adı olabileceği gibi ilişkilendiği adımsısı da olabileceğini ve bu ayrım yeterince düşünülmediği için genellikle ad ve adımsının eşseslilik açısından çakıştığını savunacağım. Fakat ilişkilendiği adımsı ve özel adı eşsesli olmayan karakterler de olabileceğini ileri süreceğim. Son olarak ise bu dediklerimizden adımsıların geçtiği betimlemeler üretebileceğimizi ve bunlar yoluyla da kurgu varlıklara değişen imleyiciler olarak gönderimde bulunabileceğimizi savunacağım. Abstract: My purpose in the article is to explore the relation between proper names and pretended names in Kripke’s analysis of fiction. According to Kripke, proper names are rigid designators, so they designate the same object in all possible worlds in which that object exists. In contrast, pretended names are part of the pretense in fiction; they are names of fictional entities in fictional worlds. For Kripke, pretended names just pretend real names but there is no further relation apart from a similarity between them. Although in his view, names and pretended names are categorically different from each other, they seem to determine each other. That is, the proper name “Sherlock Holmes” and the pretended name “Sherlock Holmes” are homophones. However, the reason for their being homophone is not clear enough in this view. That unclarity concerns the question of whether the propositions that are used to name fictional entities are a priori contingent or a posteriori necessary. Thus, the relation of determining is either necessary or contingent. I will defend that it is contingent. However, though it is contingent, names and pretended names have a strict relation in the sense of being homophone. I will argue that this strict relation is generally a spontaneous relation; there are two possibilities: fictional entities have names before the associated pretended names come to existence or vice versa. I think names and pretended names generally coincide because this relation is not being thought thoroughly. Finally, I will defend that we can produce descriptions in which pretended names occur and we can refer to fictional entities non-rigidly via these descriptions. (shrink)

The paper attempts a novel defense of the main claim of Wittgenstein's Private Language Argument, i.e. that 'inner' ostensive definition is impossible. Part 1 traces Wittgenstein's target to the idea that 'ostensive definition' is a mental act, an idea that makes it tempting to think that its objects might just as well be private as public. Part 2 discusses a recent interpretation and defence of Wittgenstein's position due to Stroud and McGinn. On their view, private ostensive definition establishes no pattern (...) of use because it fails to specify the type of inner episode that is being ostended. But not explicitly specifying a type is harmless so long as the ostension in fact brings it about that the subject's usage is sensitive to it. Part 3 proposes a new argument. Private ostensive definition does sustain a pattern of use, but that use is semantically indeterminate: nothing in it (or in the subject's mind) settles which of two alternative schemes of reference applies. The conclusion discusses Wittgenstein's best-known remarks on the subject from the perspective of this new argument. (shrink)

The conclusion of the McKinsey paradox is that certain contingent claims about the external world are knowable a priori. Almost all of the literature on the paradox assumes that this conclusion is unacceptable, and focuses on finding a way of avoiding it. However, there is no consensus that any of these responses work. In this paper I take a different approach, arguing that the conclusion is acceptable. First, I develop our understanding of what Evans calls merely superficially contingent a priori (...) knowledge, and explain why there is no reason to deny that merely superficially contingent a priori knowledge of the external world is possible. I then argue that, properly understood, the conclusion of the McKinsey paradox is that merely superficially contingent knowledge of certain claims about the external world is possible, and so the conclusion is acceptable. Finally, I respond to the two main arguments that the conclusion of the paradox is unacceptable. (shrink)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific entities. And (...) thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

A remarkable thing about natural language is that we can use it to share our beliefs and thoughts about the world with other speakers of our language. In cases of successful communication, beliefs seem to be transferred from speakers to hearers by means of the hearer recovering the contents of the speaker’s utterances. This is so natural to us that we take it for granted in our everyday life, and rarely stop to think about how it's is possible. Nevertheless, it's (...) a phenomenon that calls for explanation. It is natural to expect that natural language semantics has a key explanatory role to play here. In order to understand this role, we must relate the semantic values assigned to sentences by semantic theory with the content of our speech acts. The simplest possible relation would be identity; the meaning of a sentence is simply the belief expressed by an assertion of the sentence in a given context of utterance. However, a number of problem cases in the literature suggest that this cannot be the case. This dissertation offers a critical assessment of the arguments for distinguishing the semantic value of a sentence from it's so called assertoric content, focusing on problems arising from the analysis of tense and temporal expressions. I conclude that they are indeed distinct, and offer a constructive account of how they must be related in order to allow for an explanation of communicative success. (shrink)

This is a critical review of Herman Cappelen’s Fixing Language (2018), an excellent and thought-provoking introduction to a hot topic in metaphilosophy: conceptual engineering, which defines the process of evaluating and improving/revising our representational devices (popularly known as concepts). Here, I first present an overview of the book, summarizing his General Theory of conceptual engineering. Second, I point out some limits of the General Theory, in particular the putative consequence of his semantic externalism, the Lack of Control thesis. According to (...) it, the processes behind changes in meaning are too complex and amorphous for revisionary projects to be generally successful. However, I claim that a proper investigation of Lack of Control demands us to look at the sciences, especially the social sciences, something absent in Cappelen’s book. Furthermore, I remember that many conceptual engineers do not put forward large-scale revisions, but rather local ones – i.e., restricted to specific scientific and institutional contexts, and therefore more feasible and potentially relevant. (shrink)

Stephen Maitzen argues that divine command metaethics must be mistaken because it is committed to the implausible assumption that the sentence ‘God is good’ is a tautology. In this article, I show that a charitable interpretation of R. M. Adams’ version of divine command metaethics is not committed to accept this assumption. I conclude that Maitzen’s objection merely manages to refute a strawman version of divine command metaethics.

This article challenges the orthodox position that some smells are pleasantly fragrant and some tactile sensations are painful. It proposes that the affective components of our experiences are a kind of illusion. Under this alternative picture, experiences that seem to have positive or negative affect never actually do. Rather, the affective component is hyper-illusory, a second-order misrepresentation of the way things actually seem to us. While perceptual hyperillusions have elicited scepticism in other contexts, affective hyperillusions can withstand common critiques. Focusing (...) on the paradigmatic affective experience — pain — the article situates the hyperillusory account within the existing scientific and philosophical literature. Several theoretical advantages of positing a hyper-illusory structure to affective experiences emerge from the discussion. (shrink)

The paper attempts to conciliate the important distinction between what-is, or exists, and what-is-not _thereby supporting Russell’s existential analysis_ with some Meinongian insights. For this purpose, it surveys the varied inhabitants of the realm of ‘non-being’ and tries to clarify their diverse statuses. The position that results makes it possible to rescue them back in surprising but non-threatening form, leaving our ontology safe from contradiction.

George Wilson has defended the thesis that even impersonal third-person fictional narratives should be taken to contain fictional narrations and have fictional narrators. This, he argues, is necessary if we are to explain how readers can take themselves, in their imaginative engagement with fictions, to have knowledge of the things they are imagining. I argue that there is at least one class of impersonal third-person fictional narratives—thought experiments—to which Wilson’s model fails to apply, and that this reveals more general problems (...) with his argument. I further argue that there is no good reason to think that Wilson’s account applies more restrictedly to those impersonal third-person fictional narratives that feature in standard works of literary fiction. (shrink)

Concepts are highly theoretical entities. One cannot study them empirically without committing oneself to substantial preliminary assumptions. Among the competing theories of concepts and categorization developed by psychologists in the last thirty years, the implicit theoretical assumption that what falls under a concept is determined by description () has never been seriously challenged. I present a nondescriptionist theory of our most basic concepts, which include (1) stuffs (gold, milk), (2) real kinds (cat, chair), and (3) individuals (Mama, Bill Clinton, the (...) Empire State Building). On the basis of something important that all three have in common, our earliest and most basic concepts of substances are identical in structure. The membership of the category like that of is a natural unit in nature, to which the concept does something like pointing, and continues to point despite large changes in the properties the thinker represents the unit as having. For example, large changes can occur in the way a child identifies cats and the things it is willing to call without affecting the extension of its word The difficulty is to cash in the metaphor of in this context. Having substance concepts need not depend on knowing words, but language interacts with substance concepts, completely transforming the conceptual repertoire. I will discuss how public language plays a crucial role in both the acquisition of substance concepts and their completed structure. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

In the bioethical literature, discrimination in insurance on the basis of genetic risk factors detected by genetic testing has been defended and opposed on various ethical grounds. One important argument in favour of the practice is offered by those who believe that it is not possible to distinguish between genetic and non-genetic information, at least not for practical policy purposes such as insurance decision-making. According to the argument from indistinguishability, the use of genetic test information for insurance purposes should be (...) permitted, because genetic test information is no different from non-genetic medical information in any relevant respect, therefore it would be inconsistent to prohibit the former whilst permitting the latter. This paper discusses and defends this argument and suggests a new, more tenable foundation. (shrink)

I argue that metaphysicians of mind have not done justice to the notion of accessibility between possible worlds. Once accessibility is given its due, physicalism must be reformulated and conceivability arguments must be reevaluated. To reach these conclusions, I explore a novel way of assessing the zombie conceivability argument. I accept that zombies are possible and ask whether that possibility is accessible from our world in the sense of ‘accessible’ used in possible world semantics. It turns out that the question (...) whether zombie worlds are accessible from our world is equivalent to the question whether physicalism is true at our world. By assuming that zombie worlds are accessible from our world, proponents of the zombie conceivability argument beg the question against physicalism. In other words, it is a mistake to assume that the metaphysical possibility of zombies entails that physicalism is false at our world. I will then consider what happens if a proponent of the zombie conceivability argument should insist that zombie worlds are accessible from our world. I will argue that the same ingredients used in the zombie conceivability argument—whatever exactly they might be—can be used to construct an argument to the opposite conclusion. At that point, we reach a stalemate between physicalism and property dualism: while the possibility of zombies entails property dualism, the possibility of other creatures entails physicalism. Since these two possibilities are mutually inconsistent, either one of them is not genuine or one of them is inaccessible from the actual world. To resolve this stalemate, we need more than traditional conceivability arguments. (shrink)

The theory of concepts advanced in the dissertation aims at accounting for a) how a concept makes successful practice possible, and b) how a scientific concept can be subject to rational change in the course of history. Traditional accounts in the philosophy of science have usually studied concepts in terms only of their reference; their concern is to establish a stability of reference in order to address the incommensurability problem. My discussion, in contrast, suggests that each scientific concept consists of (...) three components of content: 1) reference, 2) inferential role, and 3) the epistemic goal pursued with the concept's use. I argue that in the course of history a concept can change in any of these three components, and that change in one component—including change of reference—can be accounted for as being rational relative to other components, in particular a concept's epistemic goal.This semantic framework is applied to two cases from the history of biology: the homology concept as used in 19th and 20th century biology, and the gene concept as used in different parts of the 20th century. The homology case study argues that the advent of Darwinian evolutionary theory, despite introducing a new definition of homology, did not bring about a new homology concept (distinct from the pre-Darwinian concept) in the 19th century. Nowadays, however, distinct homology concepts are used in systematics/evolutionary biology, in evolutionary developmental biology, and in molecular biology. The emergence of these different homology concepts is explained as occurring in a rational fashion. The gene case study argues that conceptual progress occurred with the transition from the classical to the molecular gene concept, despite a change in reference. In the last two decades, change occurred internal to the molecular gene concept, so that nowadays this concept's usage and reference varies from context to context. I argue that this situation emerged rationally and that the current variation in usage and reference is conducive to biological practice.The dissertation uses ideas and methodological tools from the philosophy of mind and language, the philosophy of science, the history of science, and the psychology of concepts. (shrink)

This essay examines the proposal that psychological essentialism results from a history of natural selection acting on human representation and inference systems. It has been argued that the features that distinguish essentialist representational systems are especially well suited for representing natural kinds. If the evolved function, of essentialism is to exploit the rich inductive potential of such kinds, then it must be subserved by cognitive mechanisms that carry out at least three distinct functions: identifying these kinds in the environment, constructing (...) essentialized representations of them, and constraining inductive inferences about kinds. Moreover, there are different kinds of kinds, ranging from nonliving substances to biological taxa to within-species kinds such as sex, and the causal processes that render these categories coherent for the purposes of inductive generalization vary. If the evolved function of essentialism is to support inductive generalization under ignorance of true causes, and if kinds of kinds, vary in the implicit assumptions that support valid inductive inferences about them, then we expect different, functionally incompatible modes of essentialist thinking for different kinds. In particular, there should be differences in how biological and nonbiological substances, biological taxa, and biological and social role kinds are essentialized. The functional differences between these kinds of essentialism are discussed. (shrink)

The challenge of handling fictional discourse is to find the best way to resolve the apparent inconsistencies in our ways of speaking about fiction. A promising approach is to take at least some such discourse to involve pretense, but does all fictional discourse involve pretense? I will argue that a better, less revisionary, solution is to take internal and fictionalizing discourse to involve pretense, while allowing that in external critical discourse, fictional names are used seriously to refer to fictional characters. (...) I then address two objections to such realist theories of fiction: One, that they can't adequately account for the truth of singular nonexistence claims involving fictional names, and two, that accepting that there are fictional characters to which we refer is implausible or ontologically profligate. (shrink)

J. L. Mackie's famous claim that Locke ‘anticipates’ Kripke's Causal Theory of Reference (CTR) rests, I suggest, upon a pair of important misunderstandings. Contra Mackie, as well as the more recent accounts of Paul Guyer and Michael Ayers, Lockean Real Essences consist of those features of an entity from which all of its experienceable properties can be logically deduced; thus a substantival Real Essence consists of features of a Real Constitution plus logically necessary objective connections between them and features of (...) some particular Nominal Essence. Furthermore, what Locke actually anticipates is the most significant contemporary challenge to the CTR: the qua‐problem. (shrink)

Any property has two sorts of causal features: “forward‐looking” ones, having to do with what its instantiation can contribute to causing, and ldquo;backward‐looking” ones, having to do with how its instantiation can be caused. Such features of a property are essential to it, and properties sharing all of their causal features are identical. Causal necessity is thus a special case of metaphysical necessity. Appeals to imaginability have no more force against this view than they do against the Kripkean view that (...) statements like “Gold is an element” are metaphysically necessary. (shrink)

ABSTRACT. Two arguments have recently been advanced that Maxwell-Boltzmann particles are indistinguishable just like Bose-Einstein and Fermi-Dirac particles. Bringing modal metaphysics to bear on these arguments shows that ontological indistinguishability for classical (MB) particles does not follow. The first argument, resting on symmetry in the occupation representation for all three cases, fails since peculiar correlations exist in the quantum (BE and FD) context as harbingers of ontic indistinguishability, while the indistinguishability of classical particles remains purely epistemic. The second argument, deriving (...) from the classical limits of quantum statistical partition functions, embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a third argument is considered that attempts to deflate metaphysical concerns altogether by showing that the phase-space and distribution-space representations of MB-statistics have contrary haecceitistic import. Careful analysis shows this argument to fail as well, leaving de re modality unproblematically grounding particle identity in the classical context while genuine puzzlement about the underlying ontology remains for quantum statistics. (shrink)

What are biological species? Aristotelians and Lockeans agree that they are natural kinds; but, evolutionary theory shows that neither traditional philosophical approach is truly adequate. Recently, Michael Ghiselin and David Hull have argued that species are individuals. This claim is shown to be against the spirit of much modern biology. It is concluded that species are natural kinds of a sort, and that any 'objectivity' they possess comes from their being at the focus of a consilience of inductions.

Jerrold Levinson maintains that he is a realist about aesthetic properties. This paper considers his positive arguments for such a view. An argument from Roger Scruton, that aesthetic realism would entail the absurd claim that many aesthetic predicates were ambiguous, is also considered and it is argued that Levinson is in no worse position with respect to this argument than anyone else. However, Levinson cannot account for the phenomenon of aesthetic autonomy: namely, that we cannot be put in a position (...) to make an aesthetic judgement by testimony alone. Finally, Levinson's views on the ontology of aesthetic properties are considered and found wanting. /// [Jerrold Levinson] Being an aesthetic realist is hard work. Derek Matravers has raised a number of concerns for the brand of aesthetic realism that I have defended in the past, and that I continue to defend, albeit with modification. Much turns on the nature of aesthetic properties, and on the reasons for acknowledging their existence. I here try to provide further illumination on both scores, suggesting in particular that many aesthetic properties can be viewed as manifest higher-order ways of appearing. Toward the end of my discussion the question of whether or not aesthetic properties are response-dependent is addressed, and I offer the tentative conclusion that some are, and some are not. (shrink)

There is a widespread assumption that the classical work in philosophical semantics of Saul Kripke (1980) and Hilary Putnam (1975) has taught us that the essences of natural kinds of substances, such as water and gold, are discoverable only a posteriori by scientific investigation. It is such investigation, thus, that has supposedly revealed to us that it is an essential property of water that it is composed of H2O molecules. This is the way in which Scott Soames, in a recent (...) paper, makes the point in the case of water and H2O: [Here is] how a Kripkean explanation of the necessary a posteriority of [‘Water = H2O’] would go – or at any rate my version of it. The account holds that ‘water’ is a non-descriptive, directly-referential term designating a substance – where substances are taken to be physically constitutive kinds (instances of which share the same basic physical constitution). It is further assumed that a kind of this sort may have different instances in different world-states, and that if a and b are kinds with the same instances in all possible world-states, then a is b. These are clearly metaphysical assumptions, to which we add the natural corollary that for any substance, s, if, in some possible world-state, instances of s have a certain molecular structure, then instances of s have that structure in every world-state. In other words, we assume that it is an essential property of a substance that instances of it have the molecular structure they do. From this it follows that [‘Water = H2O’] is necessary if true, and that ‘H2O’– which I take to be equivalent to ‘the substance instances of which have a molecular structure with two hydrogen atoms and one oxygen atom’– is a rigid designator. Being true, [‘Water = H2O’] is, therefore, necessary. Since knowing the proposition it expresses requires knowing of a certain substance that its instances have a particular chemical structure, [‘Water = H2O’] is knowable only a posteriori. (Soames 2007: 36). (shrink)

It has become popular of late to identify the phenomenon of thinking a singular thought with that of thinking with a mental file. Proponents of the mental files conception of singular thought claim that one thinks a singular thought about an object o iff one employs a mental file to think about o. I argue that this is false by arguing that there are what I call descriptive mental files, so some file-based thought is not singular thought. Descriptive mental files (...) are mental files for which descriptive information plays four roles: determines which object the file is about, if any, it sets limits on possible mistakes that fall within the scope of successful reference for the file, it acts as a ‘gatekeeper’ for the file, and it determines persistence conditions for the file. Contrary to popular assumption, a description playing these roles is consistent with the file-theoretic framework. Recognising this allows us to distinguish the notion of singular thought from that of file-thinking and better understand the nature and role of both. (shrink)

There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with semantics (...) entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)

It is well known that informational theories of representation have trouble accounting for error. Informational semantics is a family of theories attempting a naturalistic, unashamedly reductive explanation of the semantic and intentional properties of thought and language. Most simply, the informational approach explains truth-conditional content in terms of causal, nomic, or simply regular correlation between a representation and a state of affairs. The central work is Dretske (1981), and the theory was largely developed at the University of Wisconsin by Fred (...) Dretske, Dennis Stampe, and Berent Enc. Recently, informational semantics has roamed far beyond its Wisconsin home, and built a sizeable collection of followers. Converts include Jerry Fodor (1987), Robert Stalnaker (1984) and, less faithfully, Paul and Patricia Churchland (1983) and Hartry Field (1986). But for some years informational semantics has been hounded by a problem with error – the classic presentation is Fodor (1984) – and no other problem has hounded the theory so persistently. (shrink)

I look at incompatibilist arguments aimed at showing that the conjunction of the thesis that a subject has privileged, a priori access to the contents of her own thoughts, on the one hand, and of semantic externalism, on the other, lead to a putatively absurd conclusion, namely, a priori knowledge of the external world. I focus on arguments involving a variety of externalism resulting from the singularity or object‐dependence of certain terms such as the demonstrative ‘that’. McKinsey argues that incompatibilist (...) arguments employing such externalist theses are at their strongest, and conclusively show that privileged access must be rejected. While I agree on the truth of the relevant externalist theses, I show that all plausible versions of the incompatibilist reductio argument as applied to such theses are fundamentally flawed, for these versions of the argument must make assumptions that lead to putatively absurd knowledge of the external world independently of the thesis of privileged access. (shrink)

This paper focuses on the concept of collective essence: that some truths are essential to many items taken together. For example, that it is essential to conjunction and negation that they are truth-functionally complete. The concept of collective essence is one of the main innovations of recent work on the theory of essence. In a sense, this innovation is natural, since we make all sorts of plural predications. It stands to reason that there should be a distinction between essential and (...) accidental plural predications if there is a distinction among singular predications. In this paper I defend the view that the concept of collective essence is governed by the principle of Monotonicity: that something is essential to some items only if it is essential to any items to which they belong. (shrink)

What is it for something to be essential to an item? For some time, it was standard to think that the concept of necessity alone can provide an answer: for something to be essential to an item is for it to be strictly implied by the existence of that item. We now tend to think that this view fails because its analysans is insufficient for its analysandum. In response, some argue that we can supplement the analysis in terms of necessity (...) with a further condition. In this paper I argue that this view is untenable in its current form. I then provide a glimmer of hope to those who think that essence is at least partially analyzable in terms of necessity. (shrink)

Rigid designators designate whatever they do in all possible worlds. Mathematical definite descriptions are usually considered paradigmatic examples of such expressions. The main aim of the present paper is to challenge this view. It is argued that mathematical definite descriptions cannot be rigid in the same sense as ordinary empirical definite descriptions because—assuming that mathematical facts are not determined by goings on in possible worlds—mathematical descriptions designate whatever they do independently of possible worlds. Nevertheless, there is a widespread practice of (...) treating mathematical definite descriptions as rigid. Apart from this, there might be theoretical reasons for admitting that they are rigid in some sense. The second part of the paper suggests a way out. Borrowing from ideas proposed by Kit Fine, it develops and defends an extended notion of rigidity, which can be applied to mathematical definite descriptions. Importantly, this notion is fully compatible with the claim that mathematical facts are independent of possible worlds. (shrink)

This paper is about the semantic analysis of referentially opaque verbs like seek and owe that give rise to nonspecific readings. It is argued that Montague's categorization (based on earlier work by Quine) of opaque verbs as properties of quantifiers runs into two serious difficulties: the first problem is that it does not work with opaque verbs like resemble that resist any lexical decomposition of the seek ap try to find kind; the second one is that it wrongly predicts de (...) dicto (i.e. narrow scope) readings due to quantified noun phrases in the object positions of such verbs. It is shown that both difficulties can be overcome by an analysis of opaque verbs as operating on properties. This is a strongly modified version of a paper entitled lsquoDo We Bear Attitudes towards Quantifiers?rsquo that I have presented at conferences in Gosen (Gesellschaft für Sprachwissenschaft), Ithaca (SALT I), and Konstanz (Lexikon). I owe a special debt to Hans Kamp and Arnim von Stechow for shaping my views on the subject of this paper during the past ten years or so. Comments from and discussions with the following friends and colleagues have also led to considerable improvements: Heinrich Beck, Steve Berman, David Dowty, Veerle van Geenhoven, Fritz Hamm, Irene Heim, Wolfgang Klein, Angelika Kratzer, Michael Morreau, Barbara Partee, Mats Rooth, Roger Schwarzschild, Wolfgang Sternefeld, Emil Weydert, Henk Zeevat, and three referees. (shrink)

Tekst stanowi głos w dyskusji dotyczącej filozoficznych wniosków, jakie można wysnuć z systematycznych badań empirycznych nad intuicjami w kwestii odniesienia nazw własnych. Artykuł nawiązuje do słynnych badań Machery’ego i współpracowników, w których zaobserwowali oni różnice międzykulturowe w intuicjach semantycznych Amerykanów i Chińczyków. Autorzy badań używają tego rezultatu, by podać w wątpliwość użyteczność intuicji w sporach filozoficznych dotyczących zagadnienia odniesienia nazw własnych. W artykule przedstawiam wyniki własnych badań filozoficzno-eksperymentalnych, które mają na celu nie tyle badanie intuicji semantycznych, ile analizę metod wykorzystywanych (...) do tego w dotychczasowych studiach poświęconych tej tematyce. Rezultaty moich badań wskazują na znaczącą niestabilność werdyktów dotyczących kwestii odniesienia nazw własnych i podatność tych werdyktów na czynniki nieistotne z filozoficznego punktu widzenia. Bazując na zebranych danych, twierdzę, że metody stosowane w dotychczasowych badaniach filozoficzno-eksperymentalnych poświęconych tematyce odniesienia nazw własnych nie gwarantują pomiaru intuicji o pożądanym charakterze. (shrink)

It is widely accepted that supervenience is a minimal commitment of physicalism. In this article, however, I aim to argue that physicalism should be exempted from the supervenience requirement. My arguments rely on a parallel between ontological dependence and causal dependence. Since causal dependence does not require causal determination, ontological dependence should not require ontological determination either. Moreover, my approach has a significant theoretical advantage: if physicalism is not committed to supervenience, then the metaphysical possibility of zombies—which is still wide (...) open after all these years—would pose no challenge to physicalism. (shrink)