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 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.

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)

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)

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.

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)

Kant’s moral philosophy both enjoins the acquisition of self-knowledge as a duty, and precludes certain forms of its acquisition via what has become known as the Opacity Thesis. This article looks at several recent attempts to solve this difficulty and argues that they are inadequate. I argue instead that the Opacity Thesis rules out only the knowledge that one has acted from genuine moral principles, but does not apply in cases of moral failure. The duty of moral self-knowledge (...) applies therefore only to one’s awareness of one’s status as a moral being and to the knowledge of one’s moral failings, both in particular actions and one’s overall character failings, one’s vices. This kind of knowledge is morally salutary as an aid to discovering one’s individual moral weakness as well as the subjective ends for which one acts, and in this way for taking up the morally required end of treating human beings as human beings. In this way, moral self-knowledge can be understood as a necessary element of moral improvement, and I conclude by suggesting several ways to understand it thereby as genuinely primary among the duties to oneself. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for (...) a more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (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)

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)

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)

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)

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)

Our aim in this paper is to extend the semantics for the kind of logic of ground developed in (deRosset and Fine, 2023). In that paper, we very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of objects.

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)

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)

This paper provides a semantics for propositional attitude ascriptions. (In this respect, the title of the paper is quite well chosen.).

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

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)

Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the adjointness (...) between abstraction (of theories) and interpretation (to obtain models), mathematically accounts for knowing-within-mathematics. Here we show that mathematical knowing recapitulates--in an elementary form--ordinary cognition. The process of going from particulars (physical stimuli) to their concrete models (conscious percepts) via abstract theories (mental concepts) and measured properties (neural coding) is common to both mathematical knowing and ordinary cognition. Our investigation of the similarity between knowing-within-mathematics and knowing-in-general leads us to make a case for the development of the basic science of cognition in terms of the functorial semantics of mathematical knowing. (shrink)

Success semantics holds, roughly, that what it is for a state of an agent to be a belief that P is for it to be disposed to combine with her desires to cause behaviour that would fulfill those desires if P. J. T. Whyte supplements this with an account of the contents of an agent's “basic desires” to provide an attractive naturalistic theory of mental content. We argue that Whyte's strategy can avoid the objections raised against it by restricting “basic (...) desires” to sensory inclinations that cause us to do things independently of our beliefs about their contents. -/- La sémantique du succès soutient, en gros, que ce qu'il faut pour qu'un état d'un agent soit une croyance en P, c'est que cet état soit disposé à se combiner avec ses désirs pour provoquer un comportement qui répondrait à ces désirs si P. J. T. Whyte complète cela par un compte-rendu du contenu des « désirs de base » d'un agent pour fournir une théorie naturaliste attrayante du contenu mental. Nous soutenons que la stratégie de Whyte peut éviter les objections qui lui sont faites en restreignant les « désirs de base » aux inclinations sensorielles qui nous font agir indépendamment de nos croyances sur leur contenu. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (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)

In this paper I will be concerned with the question of the extent to which semantics can be thought of as a purely formal exercise, which we can engage in in a way that is neutral with respect to how our formal system is to be interpreted. I will be arguing, to the contrary, that the features of the formal systems which we use to do semantics are closely linked, in several different ways, to the interpretation that we give to (...) those formal systems. The occasion for this question, and the main example that I will use to illustrate my answer to it, is the close relationship between the formal systems employed in recent statements of apparently competing accounts of epistemic modals with the dynamic, expressivist, and relativist theoretical paradigms. The structure of the paper will be straightforward. In part 1, I will briefly introduce four theories of epistemic modals – one dynamic theory, two expressivist theories, and one relativist theory. Then in part 2 I’ll show that one expressivist theory is formally equivalent to the dynamic theory, that the other is formally equivalent to the relativist theory, and that the two expressivist theories are themselves essentially notational variants. I’ll use these facts to pose our central question: if these theories have so much formally in common, then doesn’t that suggest that we can separate the task of constructing a formal semantics from the task of deciding between competing interpretations of it? Finally, in part 3 I’ll answer that question in the negative. There are at least three reasons why formal semantics cannot be separated from questions of interpretation that are illustrated by the theories I introduce in part 1. (shrink)

This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems are presented.

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (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.

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is developed, based (...) on the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper (...) is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (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)

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)

This paper develops an update semantics for weak necessity modals like ‘ought’ and ‘should’. I start with the basic approach to the weak/strong necessity modal distinction developed in Silk 2018: Strong necessity modals are given their familiar semantics of necessity, predicating the necessity of the prejacent of the actual world (evaluation world). The apparent “weakness” of weak necessity modals derives from their bracketing the assumption that the relevant worlds in which the prejacent is necessary (deontically, epistemically, etc.) need be candidates (...) for actuality. ‘Should φ’ can be accepted without needing to settle that the relevant considerations (norms, preferences, expectations, etc.) that actually apply, given the facts, verify the necessity of φ. I formalize these ideas within an Update with Centering framework. The meaning of ‘Should φ’ is explained, fundamentally, in terms of how its use updates attention toward possibilities in which φ is necessary. The semantics is also extended to deontic conditionals. The proposed analyses capture various contrasting logical properties and discourse properties of ‘should’ and ‘must’ — e.g., in sensitivities to standing contextual assumptions, entailingness, and force — and provide an improved treatment of largely neglected data concerning information-sensitivity. (shrink)

. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess in detail (...) the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)

This essay presents the Aestheticism of the 19th century as the foundational movement of modernist-formalist aesthetics of the 20th century. The main principle of this movement is what I denominate “productive opacity”. Aestheticism has not been recognized as a philosophical aesthetic theory. However, its definition of artwork as an exclusive kind of form—a deep, opaque form—is among the most precise ever given in the discipline. This essay offers an interpretation of aestheticism as a formalist theory, referred to here as (...) “deep formalism”, focusing on the thinking of leading aestheticists, Walter Pater, Oscar Wilde, and James Whistler. These three thinkers defined artwork as a form saturated with an inextricable content, viz. opaque form. (shrink)

Here the relationship between understanding and knowledge of meaning is discussed from two different perspectives: that of Dummettian semantic anti-realism and that of the semantic externalism of Putnam and others. The question addressed is whether or not the truth of semantic externalism would undermine a central premise in one of Dummetts key arguments for anti-realism, insofar as Dummetts premise involves an assumption about the transparency of meaning and semantic externalism is often taken to undermine such transparency. (...) Several notions of transparency and conveyability of meaning are distinguished and it is argued that, though the Dummettian argument for anti-realism presupposes only a weak connection between knowledge of meaning and understanding, even this much is not trivially true in light of semantic externalism, and that semantic externalism, if true, would thus represent a reason for rejecting the crucial assumption on which the Dummettian argument depends. (shrink)

Externalism is the thesis that the contents of intentional states and speech acts are not determined by the way the subjects of those states or acts are internally. It is a widely accepted but not entirely uncontroversial thesis. Among such theses in philosophy, externalism is notable for owing the assent it commands almost entirely to thought experiments, especially to variants of Hilary Putnam's famous Twin Earth scenario. This paper presents a thought experiment-free argument for externalism. It shows that externalism is (...) a deductive consequence of a pair of widely accepted principles whose relevance to the issue has hitherto gone unnoticed. (shrink)

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, (...) their definitions do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)