This paper looks at the debates between internalism and externalism in mind and epistemology. In each realm, internalists face what we call 'The Connection Problem', while externalists face what we call 'The Problem of Opacity'. We offer an integrated account of thought content and epistemic warrant that overcomes the problems. We then apply the framework to debates between internalists and externalists in metaethics.

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

Contrary to appearances, semantic innocence can be claimed for a Fregean account of the semantics of expressions in indirect discourse. Given externalism about meaning, an expression that refers to its ordinary sense in an opaque context refers, ultimately, to its "references"; for, on this view, the reference of an expression directly determines its meaning. Externalism seems to have similar consequences for the truth-conditions of analytic sentences. If reference determines meaning, how can we distinguish a class of sentences as true (...) in virtue of meaning alone? The paper closes by hinting at an account of analyticity from an externalist perspective. (shrink)

This chapter focuses on the connection between moral disagreement and moral relativism. Moral relativists, generally speaking, think both (i) that there is no unique objectively correct moral standard and (ii) that the rightness and wrongness of an action depends in some way on a moral standard accepted by some group or an individual. This chapter will first consider the metaphysical and epistemic arguments for moral relativism that begin from the premise that there is considerable amount of moral disagreement both within (...) individual societies and between them. The second half of the chapter, by contrast, focuses on the objection that moral relativism threatens to make us unable to have moral disagreements because it seems to make us speak past one another. This part of the chapter also evaluates relativist responses to this disagreement problem that rely on semantic opacity, disagreement in attitude, metalinguistic negotiations, and truth relativism. The chapter finally concludes by considering future directions of research in this area. (shrink)

In this paper I argue that it is possible to attribute beliefs and other intentional states to mute animals. This kind of attribution is substantial, in that it does allow for some minimal form of co-referential failure.

This paper argues that the obvious validity of certain inferences involving indirect speech reports as premises and truth or falsity ascriptions as conclusions is incompatible with Davidson's so-called "paratactic" analysis of the logical form of indirect discourse. Besides disqualifying that analysis, this problem is also claimed to indicate that the analysis is doubly in tension with Davidson's metasemantic views. Specifically, it can be reconciled neither with one of Davidson's key assumptions regarding the adequacy of the kind of semantic theory (...) he recommends nor with one of his key assumptions regarding the inadequacy of a kind of semantic theory he rejects. (shrink)

The representation of propositional attitudes (beliefs, desires, etc.) and the analysis of natural-language, propositional-attitude reports presents difficult problems for cognitive science and artificial intelligence. In particular, various representational approaches to attitudes involve the incorrect “imputation,” to cognitive agents, of the use of artificial theory-laden notions. Interesting cases of this problem are shown to occur in several approaches to attitudes. The imputation problem is shown to arise from the way that representational approaches explicate properties and relationships, and in particular from the (...) way they explicate propositional attitudes themselves. Another factor contributing to imputation is the compositional nature of typical semantic approaches to propositional-attitude reports. Some strategies for avoiding undesirable imputation are examined. One of the main conclusions is that the importance of imputations that arise in a representation scheme depends strongly on the use to which the scheme is put -- on whether, for instance, the scheme is used as part of a formal, objective account of natural language, or is used rather as a representational tool within an agent. (shrink)

The success of deep learning in natural language processing raises intriguing questions about the nature of linguistic meaning and ways in which it can be processed by natural and artificial systems. One such question has to do with subword segmentation algorithms widely employed in language modeling, machine translation, and other tasks since 2016. These algorithms often cut words into semantically opaque pieces, such as ‘period’, ‘on’, ‘t’, and ‘ist’ in ‘period|on|t|ist’. The system then represents the resulting segments in a dense (...) vector space, which is expected to model grammatical relations among them. This representation may in turn be used to map ‘period|on|t|ist’ (English) to ‘par|od|ont|iste’ (French). Thus, instead of being modeled at the lexical level, translation is reformulated more generally as the task of learning the best bilingual mapping between the sequences of subword segments of two languages; and sometimes even between pure character sequences: ‘p|e|r|i|o|d|o|n|t|i|s|t’ → ‘p|a|r|o|d|o|n|t|i|s|t|e’. Such subword segmentations and alignments are at work in highly efficient end-to-end machine translation systems, despite their allegedly opaque nature. The computational value of such processes is unquestionable. But do they have any linguistic or philosophical plausibility? I attempt to cast light on this question by reviewing the relevant details of the subword segmentation algorithms and by relating them to important philosophical and linguistic debates, in the spirit of making artificial intelligence more transparent and explainable. (shrink)

The purpose of this paper is to assess the general viability of Donald Davidson's paratactic theory of indirect discourse, as well as the specific plausibility of a reincarnated form of the Davidsonian paratactic theory, Gary Kemp's propositional paratactic theory. To this end I will provide an introduction to the Davidsonian paratactic theory and the theory's putative strengths, thereafter noting that an argument from ambiguity seems to effectively undermine Davidson's proposal. Subsequently, I will argue that Kemp's modification of Davidson's theory – (...) that is, Kemp's attempt to respond to the ambiguity objection – adequately handles the classic argument from ambiguity but fails in the face of a new problem of ambiguity that I will introduce. Finally, I will argue that there are more devastating and basic problems for the paratactic theory generally, and that even if Kemp's modifications had succeeded, they would not have given adequate plausibility to the paratactic proposal. (shrink)

Exploring intentionality from an externalist perspective, I distinguish three kinds of intentionality in the case of seeing, which I call transparent, translucent, and opaque respectively. I then extend the distinction from seeing to knowing, and then to believing. Having explicated the three-fold distinction, I then critically explore some important consequences that follow from granting that (i) there are transparent and translucent intentional states and (ii) these intentional states are mental states. These consequences include: first, that existential opacity is neither (...) the mark of intentionality nor of the mental; second, that Sellars has not shown that all intentionality is non-relational; third, that a key Quinean argument for semantic indeterminacy rests on a false premise; fourth, that perceptual experience is intentional on Alston’s Theory of Appearing; fifth, that either some mental causation is more than internal physiological causation or some mental states are epiphenomenal. (shrink)

This draft preprint presents a nine step argument for “Connectionist Structuralism” (CS), an account of the ontology of abstract objects that is neither purely nominalist nor purely platonist. CS is a common, often implicit assumption in parts of the artificial intelligence literature, but such discussions have not presented formal accounts of the position or engaged with metaphysical issues that potentially undermine it. By making the position legible and presenting an initial case for it, we hope to support a constructive dialogue (...) between AI researchers and philosophers of metaphysics that helps both sides to refine the position. -/- CS proposes that each abstract object we can draw on in human analysis corresponds to a particular subset of an individual person’s brain structure whose functionality is isomorphic to a subset of the nodes and connections in a suitable connectionist network. In other words, abstract objects are physically realised, but in individual brains, rather than only in the referent objects (pure nominalism) or in metaphysical universals (pure platonism). -/- This paper’s minimum claim is that CS can account for all abstract object predicables regarding sensible properties, such as “is red” or “is a square”. Using evidence from cognitive neuroscience, machine learning, and evolutionary biology, as well as a fully traceable toy example, we describe how CS can support our core cognitive uses of such sensible properties and can account for our core phenomenal experiences of them. In the former, CS provides sufficient albeit imperfect inferential safety, whose limitations are argued to strengthen rather than weaken the case for CS as describing human behaviour. In the latter, four target phenomenal features are accounted for – abstract objects as feeling intangible, non-located, transparent, and unchanging - along with accounts for further phenomena such as semantic refinement, the Stroop effect, synaesthesia, semantic clarity, sensory overload, and satiation. -/- Our minimum claim concerns the day-to-day usage and felt experience of abstract objects, but we suggest also an extended claim in which CS can form the basis of a pragmatic sufficient logic. As such, the initial outline of a response is provided for five common objections to positions that seek to ground abstract objects without reference to metaphysically stand-alone universals: referential opacity; identity of indiscernibles; infinite regression; non-physical concepts; and necessary truths. These outlines lay the foundation for (but do not seek to formally demonstrate) an extended CS account that addresses other abstract objects, including issues relating to their use in mathematics and formal logic. -/- The CS account leads to a four-layer hierarchy of similarity for whether your “red” is the same as mine. Considering both semantic and phenomenal similarity, we conclude that our “reds” are likely non-identical but can be made close enough for practical purposes. Finally, we describe how future work could elaborate CS as a metaphysical project and how confidence in it could be tested through empirical research. (shrink)

There is no unique and definitive definition of phenomenology. It is rather a method and an experience always open and always renewing itself. Phenomenology involves a change in the "sense of the world": everything acquires its sense and value only when it becomes the content of the lived experience of the subject correlated to his intentional acts. This is the main thesis of the phenomenological method aiming at overcoming the traditional opposition between rationalism and empiricism. Starting from Husserl, the father (...) of this approach, the history of phenomenology undertook different and unexpected developments which in some cases were rather far away from Husserl's original thought. In the U.K. attention has been given to an analytical-epistemological phenomenology focused on the relationship between intentionality and logical semantics. In France it is mainly an anthropological-existential phenomenology. In Germany an hermeneutic phenomenology was developed, mainly by Heidegger and Gadamer. Regardless of these raw distinctions, a big question is so far unresolved: how to reconcile the phenomenological/ existential stance claiming for the irreducibility of each lived experience and the scientific paradigm? Is it possible to imagine brain mechanisms and physiological systems explaining the endless mysteries and manifold paradoxes of the human being? Phenomenology claims that a human being can never be considered as an object, as if he was a natural thing; rather the task is to understand him as the focus of a relationship linking subjective attitudes to the objects showed by the experience. In this sense, an important contribution was Merleau-Ponty's view that man is not something psychic joined to an organism, but a sort of fluctuation of the existence that sometimes is a bodily one, sometimes refers to personal acts. Consequently, he proposes to reinstate in the existence both its "physiological" and "psychic" sides both being intentionally oriented towards a world. (shrink)

Advancements in machine learning have fuelled the popularity of using AI decision algorithms in procedures such as bail hearings, medical diagnoses and recruitment. Academic articles, policy texts, and popularizing books alike warn that such algorithms tend to be opaque: they do not provide explanations for their outcomes. Building on a causal account of transparency and opacity as well as recent work on the value of causal explanation, I formulate a moral concern for opaque algorithms that is yet to receive (...) a systematic treatment in the literature: when such algorithms are used in life-changing decisions, they can obstruct us from effectively shaping our lives according to our goals and preferences, thus undermining our autonomy. I argue that this concern deserves closer attention as it furnishes the call for transparency in algorithmic decision-making with both new tools and new challenges. (shrink)

Nietzsche believes that we do not know our own actions, nor their real motives. This belief, however, is but a consequence of his assuming a quite general skepticism about introspection. The main aim of this paper is to offer a reading of this last view, which I shall call the Inner Opacity (IO) view. In the first part of the paper I show that a strong motivation behind IO lies in Nietzsche’s claim that self-knowledge exploits the same set of (...) cognitive capacities as well as the same folk-psychological framework involved in outward-directed mind-reading. In the second part I turn to Nietzsche’s view of agency and argue that he sees a fundamental discrepancy between the conscious attitudes we have introspective access to, on the one hand, and the subpersonal processes and states occurring at the unconscious level of the drives, on the other hand. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical (...) debate on the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

This is a reply to commentators in the Journal of the Philosophy of Sport's special issue symposium on GAMES: AGENCY AS ART. I respond to criticisms concerning the value of achievement play and striving play, the transparency and opacity of play, the artistic status of games, and many more.

Real human agents, even when they are rational by everyday standards, sometimes assign different credences to objectively equivalent statements, such as “George Orwell is a writer” and “Eric Arthur Blair is a writer”, or credences less than 1 to necessarily true statements, such as not-yet-proven theorems of arithmetic. Anna Mahtani calls this the phenomenon of “opacity” (a form of hyperintensionality). Opaque credences seem probabilistically incoherent, which goes against a key modelling assumption of probability theory. I sketch a modelling strategy (...) for capturing opaque credence assignments without abandoning probabilistic coherence. I draw on ideas from judgment-aggregation theory, where we face similar challenges of defining the “objects of judgment”. (shrink)

Philosophy and Phenomenological Research, EarlyView.

My paper examines the popular idea, defended by Kripke, that meaning is an essentially normative notion. I consider four common versions of this idea and suggest that none of them can be supported, either because the alleged normativity has nothing to do with normativity or because it cannot plausibly be said that meaning is normative in the sense suggested. I argue that contrary to received opinion, we don’t need normativity to secure the possibility of meaning. I conclude by considering the (...) repercussions of rejecting semantic normativity on three central issues: justification, communication, and naturalism. (shrink)

Carruthers argues that knowledge of our own propositional attitudes is achieved by the same mechanism used to attain knowledge of other people's minds. This seems incompatible with "privileged access"---the idea that we have more reliable beliefs about our own mental states, regardless of the mechanism. At one point Carruthers seems to suggest he may be able to maintain privileged access, because we have additional sensory information in our own case. We raise a number of worries for this suggestion, concluding that (...) Carruthers's new theory cannot clearly preserve the superior reliability of our beliefs about our own attitudes. (shrink)

Many jurisdictions prohibit or severely restrict the use of evidence about a defendant’s character to prove legal culpability. Situationists, who argue that conduct is largely determined by situational features rather than by character, can easily defend this prohibition. According to situationism, character evidence is misleading or paltry. -/- Proscriptions on character evidence seem harder to justify, however, on virtue ethical accounts. It appears that excluding character evidence either denies the centrality of character for explaining conduct—the situationist position—or omits probative evidence. (...) Situationism is, after all, presented as antithetical to virtue ethics. -/- This essay provides a virtue ethical defense of character evidence exclusion rules. We show that existing virtue ethical rebuttals to situationism themselves support prohibitions on character evidence; even if behavior arises from stable character traits, character evidence should be prohibited. In building our case, we provide a taxonomy of kinds of character judgment and reconcile the ubiquity and reasonableness of character judgments in ordinary life with the epistemic legitimacy of character evidence prohibitions in law. (shrink)

Longstanding philosophical debate over the semantics of proper names has yet to examine the distinctive behavior of deadnames, names that have been rejected by their former bearers. The use of these names to deadname individuals is derogatory, but deadnaming derogates differently than other kinds of derogatory speech. This paper examines different accounts of this behavior, illustrates what going views of names will have to say to account for it, and articulates a novel version of predicativism that can give a (...) class='Hi'>semantic explanation for this derogation. (shrink)

This paper takes a stand on Hamblin semantics and its relation to the semantics-to-pragmatics interface. Biased questions, where the speaker finds one of the options more likely and expects the confirmation that p is true, raise a concern about the limits of Hamblin semantics. I argue that biased questions have modified Hamblin semantics, while unbiased questions have unconstrained Hamblin semantics. The optional bias feature explains compositionally. It is triggered by likelihood presuppositions ranging Hamblin sets and highlighting the preferred alternative(s). Biased (...) effects are exceptionally possible in alternative and wh-questions, but only in polar questions, they can be encoded lexically and grammatically. I argue that Hamblin semantics covers all core types of questions, while some of its applications for non-questions are problematic. (shrink)

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

This paper argues for contrastivism about the deontic modals, 'ought', 'must', and 'may'. A simple contrastivist semantics that predicts the desired entailment relations among these modals is offered.

nated discussion of the semantics of such verbs. I will call this view.

This paper aims, first, to argue against using opaque AI technologies in decision making processes, and second to suggest that we need to possess a qualitative form of understanding about them. It first argues that opaque artificially intelligent technologies are suitable for users who remain indifferent to the understanding of decisions made by means of these technologies. According to virtue ethics, this implies that these technologies are not well-suited for those who care about realizing their moral capacity. The paper then (...) draws on discussions on scientific understanding to suggest that an AI technology becomes understandable to its users when they are provided with a qualitative account of the consequences of using it. As a result, explainable AI methods can render an AI technology understandable to its users by presenting the qualitative implications of employing the technology for their lives. (shrink)

There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated by (...) a true double negation is grounded in that stated by the doubly-negated formula. This commitment is encapsulated in the system GG axiomatized and semantically characterized by [deRosset and Fine, 2023] (following [Fine, 2012]). On the other hand, there has been a great deal of important formal work on “flatter” theories of ground, yielding logics very different from GG [Correia, 2010] [Fine, 2016, 2017b]. For instance, these theories identify the fact stated by a self-conjunction $$(\phi \wedge \phi )$$ with that stated by its conjunct $$\phi $$. Since, in these systems, no fact grounds itself, the “flatter” theories are inconsistent with the principles of GG. This bifurcation raises the question of whether there is a single notion of ground suited to fulfill the philosophical ambitions of grounding enthusiasts. There is, at present, no unified semantic framework employing a single conception of ground for simultaneously characterizing both GG and the “flatter” approaches. This paper fills this gap by specifying such a framework and demonstrating its adequacy. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis (...) into a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial (...) and linguistic interpretation may be assimilated. The result is a simple and compositional semantics for tagged images. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and degrees (...) is considerably more marginal than generally held. (shrink)

This chapter provides a general overview of the issues surrounding so-called semantic monsters. In section 1, I outline the basics of Kaplan’s framework and spell out how and why the topic of “monsters” arises within that framework. In Section 2, I distinguish four notions of a monster that are discussed in the literature, and show why, although they can pull apart in different frameworks or with different assumptions, they all coincide within Kaplan’s framework. In Section 3, I discuss one (...) notion that has spun off into the linguistics literature, namely “indexical shift”. In Section 4, I emphasize the connection between monsters and the compositionality of asserted content in Kaplan’s original discussion. Section 5 discusses monsters and the more general idea of re-interpretation or meaning-shift. Section 6 closes with a brief survey of where monsters may dwell, and pointers to avenues for future research. (shrink)

In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow (...) to refine Brandom’s concept of defeasible inference and to account for those non-monotonic and relevant inferences that are expressible in linear logic. Moreover, I will suggest an interpretation of discursive practices based on an abstract notion of agreement on what counts as a reason which is deeply connected with linear logic semantics. (shrink)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...) investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

Our aim here is to lay the groundwork for formal tree-ring analysis combining data from dendrochronology with formal techniques from semantics. We will present the basic syntax of, and basic compositional semantics of tree-ring structures.

The paper analyses in some depth the distinction by Paul Humphreys between "epistemic opacity" —which I refer to as "weak epistemic opacity" here— and "essential epistemic opacity", and defends the idea that epistemic opacity in general can be made sense as coming in degrees. The idea of degrees of epistemic opacity is then exploited to show, in the context of computer simulations, the tight relation between the concept of epistemic opacity and actual scientific (modelling (...) and simulation) practices. As a consequence, interesting questions arise in connection with the role of agents dealing with epistemically opaque processes such as computer simulations. (shrink)

According to Kant, the opacity of human motivation takes two distinct forms – a psychological form: man ‘can never, even by the most strenuous self-examination, get entirely behind [his] covert incentives’ – and a social form: ‘everyone in our race finds it advisable to be on his guard, and not to reveal himself completely’. In other words, first, men's ‘interior’ cannot be entirely revealed to themselves and, second, they tend not to reveal their ‘interior’ to others. A number of (...) Kant scholars have acknowledged the importance of the first form of opacity in Kant's thought and have attempted to draw out from it implications for moral deliberation and ethics in general. The aim of this paper is to examine the second, social form of opacity and draw out its anthropological implications, an issue that has been overlooked in the literature. To do so, I focus on Kant's contrast between men and beings that I would like to call ‘sincere aliens’. These sincere aliens are beings who have the opposite features of man's opacity, namely beings who cannot but reveal their ‘interior’ both to others and to themselves. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks (...) drawing semantic distinctions between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

According to some philosophers, when introspectively attending to experience, we seem to see right through it to the objects outside, including their properties. This is called the transparency of experience. This paper examines whether, and in what sense, emotions are transparent. It argues that emotional experiences are opaque in a distinctive way: introspective attention to them does not principally reveal non-intentional somatic qualia but rather felt valenced intentional attitudes. As such, emotional experience is attitudinally opaque.

The article investigates the significance of the so-called phenomenon of apparent faultless disagreement for debates about the semantics of taste discourse. Two kinds of description of the phenomenon are proposed. The first ensures that faultless disagreement raises a distinctive philosophical challenge; yet, it is argued that Contextualist, Realist and Relativist semantic theories do not account for this description. The second, by contrast, makes the phenomenon irrelevant for the problem of what the right semantics of taste discourse should be. Lastly, (...) the following dilemma is assessed: either faultless disagreement provides strong evidence against semantic theories; or its significance should be considerably downplayed. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes (...) it canonically serves to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)

The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief. After arguing that in its present form, success semantics is vulnerable to decisive objections, I examine the possibilities of salvaging the core of this proposal. More specifically, I propose that the content of some very simple, but very important, mental states, the immediate mental antecedents (...) of action, can be explained in this manner. (shrink)

This paper considers a now familiar argument that the ubiquity of context -dependence threatens the project of natural language semantics, at least as that project has usually been conceived: as concerning itself with `what is said' by an utterance of a given sentence. I argue in response that the `anti-semantic' argument equivocates at a crucial point and, therefore, that we need not choose between semantic minimalism, truth-conditional pragmatism, and the like. Rather, we must abandon the idea, familiar from (...) Kaplan and others, that utterances express propositions `relative to contexts' and replace it with the Strawonian idea that speakers express propositions by making utterances in contexts. The argument for this claim consists in a detailed investigation of the particular case of demonstratives, which I argue demand such a Strawsonian treatment. I then respond to several objections, the most important of which allege that the Strawsonian account somehow undermines the project of natural language semantics, or threatens the semantics -pragmatics distinction. Please note that the paper posted here is an extended version of what was published. (shrink)

1. The primary evidence and motivation for externalism in the philosophy of mind is provided by the semantic facts that support direct reference theories of names, indexi- cal pronouns, and natural kind terms. But many externalists have forgotten their sem- antic roots, or so I shall contend here. I have become convinced of this by a common reaction among externalists to the main argument of my 1991 paper AAnti-Individual- ism and Privileged Access.@ In that argument, I concluded that externalism (...) is incompat- ible with the principle that we can have privileged, non-empirical knowledge of the contents of our own thoughts. The reaction in question amounts to a dismissive denial of one of my argument=s main premises. This premise, which I defended at length in the paper, is that an externalist thesis regarding a cognitive property should hold that possession of the property by a person _logically_, or _conceptually_, implies the existence of objects external to that person. (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...) problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (shrink)

Externalism is widely endorsed within contemporary philosophy of mind and language. Despite this, it is far from clear how the externalist thesis should be construed and, indeed, why we should accept it. In this entry I distinguish and examine three central types of externalism: what I call foundational externalism, externalist semantics, and psychological externalism. I suggest that the most plausible version of externalism is not in fact a very radical thesis and does not have any terribly interesting implications for philosophy (...) of mind, whereas the more radical and interesting versions of externalism are quite difficult to support. (shrink)

This essay will criticize Peter Lamarque’s claim in The Opacity of Narrative that reading for ‘opacity’ is the way to read literature as literature. I will summarize the idea of ‘opacity’ and consider the plausibility of this claim through an examination of Lamarque’s related comments on translation. The argument for ‘opacity’, although it insists on the importance of attention to a work’s form in the apprehension of its content, involves, at the same time, a certain obliviousness (...) to form, indicated in the first instance by an unpersuasive conflation of lyric poetry and prose fiction. Through a comparison of opposing approaches to the translation of a novel written in verse, and an analysis of why the translation of poetry is generally understood to be more challenging than the translation of prose, I will argue that reading for ‘opacity’ does not adequately capture what it means to read literature as literature. (shrink)