In a series of papers, Robin Jeshion has forcefully criticized both Donnellan's and Evans’ claims on the contingent a priori, and she has developed an “acquaintanceless” account of singular thoughts as an alternative view. Jeshion claims that one can fully grasp a singular thought expressed by a sentence including a proper name, even if its reference has been descriptively fixed and one’s access to the referent is “mediated” by that description. But she still wants to reject “semantic instrumentalism”, (...) the view that “there are no substantive conditions of any sort on having singular thought. We can freely generate singular thoughts at will by manipulating the apparatus of direct reference.” Her account of singular thoughts is a psychological one, rejecting any epistemic requirement. Having singular thoughts is for her a matter of deploying “mental files” or “dossiers” that play a significant role in the cognitive life of the individual. This paper elaborates on an alternative descriptivist-friendly view, which has important points of contact with Jeshion’s. It differs, particularly in that it is an epistemic view; it is only a broadly understood acquaintance view, as it will transpire, but this does not make it a mere terminological variation on Jeshion’s acquaintanceless one. To argue for it, the paper discusses some relevant aspects of the semantics of fictional discourse. (shrink)

In a series of recent articles, Robin Jeshion has developed a theory of singular thought which she calls ‘cognitivism’. According to Jeshion, cognitivism offers a middle path between acquaintance theories—which she takes to impose too strong a requirement on singular thought, and semantic instrumentalism—which she takes to impose too weak a requirement. In this article, I raise a series of concerns about Jeshion's theory, and suggest that the relevant data can be accommodated by a version of acquaintance theory (...) that distinguishes unsuccessful thoughts of singular form from successful singular thoughts, and in addition allows for ‘trace-based’ acquaintance. (shrink)

In this paper I challenge the widespread assumption that the conditions for singular reference are more or less the same as the conditions for singular thought. I claim that we refer singularly to things without thinking singularly about them more often than it is usually believed. I first argue that we should take the idea that singular thought is non-descriptive thought very seriously. If we do that, it seems that we cannot be so liberal about what counts as acquaintance; only (...) perception will do. I also briefly discuss and reject semantic instrumentalism. Finally, I argue that while singular reference is cheap, singular thought comes only at a price. (shrink)

The thesis that in order to genuinely think about a particular object one must be (in some sense) acquainted with that object has been thoroughly explored since it was put forward by Bertrand Russell. Recently, the thesis has come in for mounting criticism. The aim of this paper is to point out that neither the exploration nor the criticism have been sensitive to the fact that the thesis can be interpreted in two different ways, yielding two different principles of acquaintance. (...) One principle uses the notion of content in distinguishing genuine thinking-about things from a merely derivative kind of thinking-about things. The other principle is quiet about content, focusing instead on a distinction between satisfactional and non-satisfactional means of bringing things into thought. Most work has focused on the first, content-based principle of acquaintance. But criticisms of this principle do not apply straightforwardly to the non-content-based principle. I shall argue that the latter principle merits independent assessment as part of the broader effort to account for genuine thinking about particular objects. In the final section of the paper, I will sketch a roadmap for this assessment. (shrink)

"Semantic Aspects of Instrumentalism in the Philosophy of Science".

The article considers pros and cons for a theoretic-measurement analogy, proposed by some philosophers as an illustration of semantic indeterminacy. Within this analogy ascribing of meanings to a certain linguistic expressions is compared with attribution of numbers according to a certain theory of measurement. Donald Davidson used this analogy in order to extend W.V.O. Quine's thesis of indeterminacy of translation to the interpretation of all human behavior. In other words, not only linguistic meanings, but all mental states are considered (...) as indeterminate. The article explains the failure of some counter-arguments put forward against Davidson's use of this analogy and against the thesis of indeterminacy on the whole. Particularly, instrumentalist version of the analogy is rejected for there is no direct relation between indeterminacy and underdetermination of theories by empirical evidences. The article concludes that the semantic indeterminacy is largely based on indeterminacy of rationality. (shrink)

Logical empiricism is commonly seen as a counter-position to scientific realism. In the present paper it is shown that there indeed existed a realist faction within the logical empiricist movement. In particular, I shall point out that at least four types of realistic arguments can be distinguished within this faction: Reichenbach’s ‘probabilistic argument,’ Feigl’s ‘pragmatic argument,’ Hempel’s ‘indispensability argument,’ and Kaila’s ‘invariantist argument.’ All these variations of arguments are intended to prevent the logical empiricist agenda from the shortcomings of radical (...) positivism, instrumentalism, and other forms of scientific antirealism. On the whole, it will be seen that logical empiricism and scientific realism are essentially compatible with each other. Especially Kaila’s invariantist approach to science (and nature) comes quite close to what nowadays is discussed under the label ‘structural realism.’ This, in turn, necessitates a fundamental reevaluation of Kaila’s role in the logical empiricist movement in particular and in twentieth-century philosophy of science in general. (shrink)

In everyday usage, ‘realism’ is often used as a name for a practically or epistemically low-ambition attitude, while ‘idealism’ is often taken to denote a highambition—if not utopian—attitude. In philosophcal usage, mostly, it is the other way around: those who are called realists tend to claim more than their opponents—they are the philosophical optimists. Within philosophy itself, ‘realism’ adopts a variety of interrelated and contested meanings. It is used as the name for doctrines about issues such as perceptual access to (...) reality, the existence of universals, the goals and achievements of science, the nature of truth, the objectivity of morality, and many other things. Given this variety, no single shorthand definition of the term ‘realism’ can be provided. One manifestation of this variety is that the opponents of realism about these issues are not called uniformly by a single label (other than the rather uninformative ‘antirealism’): the labels used include idealism, phenomenalism, instrumentalism, conventionalism, fictionalism, noncognitivism, constructivism, relativism, irrealism, and others. Sometimes such labels vary from one dispute or domain to another even when similar ideas are being expressed. Sometimes they are used to make claims that are specific to the domain at hand and distinct from other antirealist theses. In what follows a brief tour will be taken along some of the representative philosophical highways and lanes, from ontology through semantics to epistemology. Along the way, realism will be confronted with some of its various opponents and internal conflicts. The philosophical landscape in the neighborhood of realism is nowadays much broader than it used to be: in a typical older encyclopedia, ‘realism’ was taken to name doctrines about universals or about perception, or both, to the exclusion of much of its present coverage, and many of the current opponents were missing from view altogether. (shrink)

Epistemic instrumentalists seek to understand the normativity of epistemic norms on the model practical instrumental norms governing the relation between aims and means. Non-instrumentalists often object that this commits instrumentalists to implausible epistemic assessments. I argue that this objection presupposes an implausibly strong interpretation of epistemic norms. Once we realize that epistemic norms should be understood in terms of permissibility rather than obligation, and that evidence only occasionally provide normative reasons for belief, an instrumentalist account becomes available that delivers the (...) correct epistemic verdicts. On this account, epistemic permissibility can be understood on the model of the wide-scope instrumental norm for instrumental rationality, while normative evidential reasons for belief can be understood in terms of instrumental transmission. (shrink)

Epistemic instrumentalists face a puzzle. In brief, the puzzle is that if the reason there is to believe in accord with the evidence depends, as the instrumentalist says it does, on agents’ idiosyncratic interests, then there is no reason to expect that this reason is universal. Here, I identify and explain two strategies instrumentalists have used to try and solve this puzzle. I then argue that we should find these strategies wanting. Faced with the failure of these strategies, I articulate (...) a heretofore neglected solution on behalf of instrumentalism. (shrink)

Inquiry is an aim-directed activity, and as such governed by instrumental normativity. If you have reason to figure out a question, you have reason to take means to figuring it out. Beliefs are governed by epistemic normativity. On a certain pervasive understanding, this means that you are permitted – maybe required – to believe what you have sufficient evidence for. The norms of inquiry and epistemic norms both govern us as agents in pursuit of knowledge and understanding, and, on the (...) surface, they do so in harmony. Recently, however, Jane Friedman (2020) has pointed out that they are in tension with each other. In this paper, I aim to resolve this tension by showing that reasons for acts of inquiry – zetetic reasons – and epistemic reasons for belief can both be understood as flowing from the same general normative principle: the transmission principle for instrumental reasons. The resulting account is a version of epistemic instrumentalism that offers an attractive unity between zetetic and epistemic normativity. (shrink)

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical (...) instrumentalism are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem. (shrink)

When one has both epistemic and practical reasons for or against some belief, how do these reasons combine into an all-things-considered reason for or against that belief? The question might seem to presuppose the existence of practical reasons for belief. But we can rid the question of this presupposition. Once we do, a highly general ‘Combinatorial Problem’ emerges. The problem has been thought to be intractable due to certain differences in the combinatorial properties of epistemic and practical reasons. Here we (...) bring good news: if we accept an independently motivated version of epistemic instrumentalism—the view that epistemic reasons are a species of instrumental reasons—we can reduce The Combinatorial Problem to the relatively benign problem of how to weigh different instrumental reasons against each other. As an added benefit, the instrumentalist account can explain the apparent intractability of The Combinatorial Problem in terms of a common tendency to think and talk about epistemic reasons in an elliptical manner. (shrink)

I've previously suggested that the historical evidence used to challenge scientific realism should lead us to embrace what I call Uniformitarianism, but many recently influential forms of scientific realism seem happy to share this commitment. I trace a number of further points of common ground that collectively constitute an appealing Middle Path between classical forms of realism and instrumentalism, and I suggest that many contemporary realists and instrumentalists have already become fellow travelers on this Middle Path without recognizing how (...) far they have thereby diverged from those who share their labels and slogans. I conclude by describing their central remaining disagreement and the sorts of evidence needed to resolve it. (shrink)

Many have found it plausible that practical circumstances can affect whether someone is in a position to know or rationally believe a proposition. For example, whether it is rational for a person to believe that the bank will be open tomorrow can depend not only on the person's evidence but also on how practically important it is for the person not to be wrong about the bank being open tomorrow. This supposed phenomenon is known as “pragmatic encroachment” on knowledge and (...) rational belief. Assuming that the phenomenon is real, I ask what explains it. I argue that a variant of instrumentalism about epistemic reasons offers a natural explanation, that at the same time is able avoid commitment to a more radical form of pragmatism. (shrink)

According to the thesis of pragmatic encroachment, practical circumstances can affect whether someone is in a position to know or rationally believe a proposition. For example, whether it is epistemically rational for a person to believe that the bank will be open on Saturdays, can depend not only on the strength of the person’s evidence, but also on how practically important it is for the person not to be wrong about the bank being open on Saturdays. In recent years, philosophers (...) have argued that moral considerations can also affect the epistemic rationality of belief, thus giving rise to moral encroachment. In previous work (Steglich-Petersen, forthcoming a), I have developed an explanation of pragmatic encroachment grounded in an instrumentalist theory of epistemic reasons. Here, I argue that this explanation extends to moral encroachment as well, including so-called “radical” moral encroachment. I also show how this explanation dispels the worry raised by Gerken (2019), that pragmatic encroachment might give rise to morally adverse consequences in the form of epistemic injustice. (shrink)

I want to examine critically a certain strategy of moral justification which I shall call instrumentalism. By this I mean the view that a moral theory is rationally justified if the actions, life-plan, or set of social arrangements it prescribes can be shown to be the best means to the achievement of an agent's final ends, whatever these may be. Instrumentalism presupposes a commitment to what I shall call the Humean conception of the self. By this I mean (...) a certain way of conceiving the motivational and structural constituents of the self. Briefly, the self on this conception is motivated by its desires for states of affairs that are temporally or spatiotemporally external to the self. And it is structured by the normative requirements of instrumental rationality: The self is conceived as rationally coherent to the extent that theoretical reason calculates and schedules the satisfaction of as many of its desires as possible, with the minimum necessary costs. The motivational and structural elements of the Humean conception of the self combine to form a familiar explanatory model of human agency: We make sense of an agent's behavior by ascribing to her the desire to achieve the ends that she does in fact achieve, and the theoretically rational belief that, given the information and resources available to her, behaving as she did was the most efficient way to do so. I shall want to argue that to the extent that instrumentalism is successful in providing an objective justification of a moral theory - and I shall contend that it cannot be completely successful - it cannot provide a moral justification. But when we attempt to modify it so as to produce a specifically moral justification, we see that either it is impossible to do this, or else the Humean notion of instrumental rationality is doing no justificatory work. (shrink)

The logical empiricists said some good things about epistemology and scientific method. However, they associated those epistemological ideas with some rather less good ideas about philosophy of language. There is something epistemologically suspect about statements that cannot be tested. But to say that those statements are meaningless is to go too far. And there is something impossible about trying to figure out which of two empirically equivalent theories is true. But to say that those theories are synonymous is also to (...) go too far. My goal in this paper is not to resuscitate all these positivist ideas, but to revisit just one of them. Instrumentalism is the idea that theories are instruments for making predictions. Of course, no one would disagree that this is one of the things we use theories to do. In just the same way, no one could disagree with the emotivist claim that one of the things we do with ethical terms like "good" and "right" is to express our feelings of approval and disapproval. Instrumentalism and emotivism become contentious, and therefore interesting, when these claims are supplemented. (shrink)

Epistemic instrumentalism views epistemic norms and epistemic normativity as essentially involving the instrumental relation between means and ends. It construes notions like epistemic normativity, norms, and rationality, as forms of instrumental or means-end normativity, norms, and rationality. I do two main things in this paper. In part 1, I argue that there is an under-appreciated distinction between two independent types of epistemic instrumentalism. These are instrumentalism about epistemic norms and instrumentalism about epistemic normativity. In part 2, (...) I argue that this under-appreciated distinction matters for the debate surrounding the plausibility of EI. Specifically, whether we interpret EI as norm-EI or as source-EI matters for the widely discussed universality or categoricity objection to EI, and for two important motivations for adopting EI, namely naturalism and the practical utility of epistemic norms. I will then conclude by drawing some lessons for epistemic instrumentalism going forward. (shrink)

I defend the cosmopolitan instrumentalist theory of secession, according to which a group has a right to secede only if this would promote cosmopolitan justice. I argue that the theory is preferable to other theories of secession because it is an entailment of cosmopolitanism, which is independently attractive, and because, unlike other theories of secession, it allows us to give the answers we want to give in cases like secession of the rich or secession that would make things worse for (...) minorities. I defend the view against the objections that it allows for colonialism and annexation, that it is not a distinct theory, and that it is impractical. (shrink)

This chapter develops a semantic theory for maps and situates it within the broader geography of meaning and semiotic significance. The discussion focuses on three central aspects of map semantics: the use of space, line marking, and linguistic tags. It is argued that the treatment of space in maps must be based on geometrical projection from a viewpoint rather than the traditional analysis in terms of spatial isomorphism. The chapter then shows how to integrate the projection-based semantics of maps (...) and the symbolic semantics of markers and tags, within the framework of possible-world semantics. The resulting account addresses issues of accuracy, viewpoint, orientation, and exhaustivity. (shrink)

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for (...) an account of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (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 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)

There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI) as meaningful data, in favour of the Dretske‐Grice approach: meaningful and well‐formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is incorrect because truth‐values (...) do not supervene on semantic information, and misinformation (that is, false semantic information) is not a type of semantic information, but pseudo‐information, that is not semantic information at all. This is shown by arguing that none of the reasons for interpreting misinformation as a type of semantic information is convincing, whilst there are compelling reasons to treat it as pseudo‐information. As a consequence, SDI is revised to include a necessary truth‐condition. The last section summarises the main results of the paper and indicates some interesting areas of application of the revised definition. (shrink)

There are two distinct approaches to Bayesian modelling in cognitive science. Black-box approaches use Bayesian theory to model the relationship between the inputs and outputs of a cognitive system without reference to the mediating causal processes; while mechanistic approaches make claims about the neural mechanisms which generate the outputs from the inputs. This paper concerns the relationship between these two approaches. We argue that the dominant trend in the philosophical literature, which characterizes the relationship between black-box and mechanistic approaches to (...) Bayesian cognitive science in terms of the dichotomy between instrumentalism and realism, is misguided. We propose that the two distinctions are orthogonal: black-box and mechanistic approaches to Bayesian modelling can each be given either an instrumentalist or a realist interpretation. We argue that the current tendency to conflate black-box approaches with instrumentalism and mechanistic approaches with realism stems from unwarranted assumptions about the nature of scientific explanation, the ontological commitments of scientific theories, and the role of abstraction and idealization in scientific models. We challenge each of these assumptions to reframe the debates over Bayesian modelling in cognitive science. (shrink)

Within the social sciences, much controversy exists about which status should be ascribed to the rationality assumption that forms the core of rational choice theories. Whilst realists argue that the rationality assumption is an empirical claim which describes real processes that cause individual action, instrumentalists maintain that it amounts to nothing more than an analytically set axiom or ‘as if’ hypothesis which helps in the generation of accurate predictions. In this paper, I argue that this realist-instrumentalist debate about rational choice (...) theory can be overcome once it is realised that the rationality assumption is neither an empirical description nor an ‘as if’ hypothesis, but a normative claim. (shrink)

In this paper, I attempt to clarify the heart of Dewey’s philosophy: his method (denotative method (DM) / pattern of inquiry (PI)). Despite the traditional understanding of Dewey as anti-foundationalist, I want to show that Dewey did have metaphysical foundations for his method: the principle of continuity or theory of emergentism. I also argue that Dewey’s metaphysical position is better named as ‘cultural emergentism’, rather than his own term ‘cultural naturalism’. What Dewey called ‘common sense’ in his Logic, Husserl termed (...) as the ‘life-world’ in his Crisis. I compare two perspectives of dealing with the phenomenon and conclude that for Dewey, the difference between natural sciences and the common sense inquiry is that of subject-matter but not of method. Thus, the goal is to find the unified method to be applied in both domains. Whereas Husserl was more pessimistic: for him, the difference was not only in subject-matter, but in the very methods. Following that discussion, I also attempt to reformulate the hard problem of consciousness in Deweyan terms. In the end, I compare Dewey’s DM / PI with Popper’s understandings of scientific method and conclude that there is no significant difference between the two and that Dewey’s method could also be looked at as hypothetic-deductive method, with the only difference in emphases. (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)

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)

Definitions I presented in a previous article as part of a semantic approach in epistemology assumed that the concept of derivability from standard logic held across all mathematical and scientific disciplines. The present article argues that this assumption is not true for quantum mechanics (QM) by showing that concepts of validity applicable to proofs in mathematics and in classical mechanics are inapplicable to proofs in QM. Because semantic epistemology must include this important theory, revision is necessary. The one (...) I propose also extends semantic epistemology beyond the ‘hard’ sciences. The article ends by presenting and then refuting some responses QM theorists might make to my arguments. (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)

In discussing instrumentalism in philosophy of science, John Dewey is rarely studied, but rather mentioned in passing to credit him for coining the label. His instrumentalism is often interpreted as the view that science is an instrument designed to control the environment and satisfy our practical ends, or likened to the Duhemian view that scientific objects are useful fictions for organizing observable phenomena. Dewey was careful to qualify the first view and denied holding the second. Furthermore, the observable/unobservable (...) distinction does not play any significant role in Dewey’s instrumentalism. The question then arises: Was the inventor of instrumentalism himself an instrumentalist? I present the key aspects of Dewey’s instrumentalismand contrast his views with the instrumentalism of Mach, Duhem and Poincaré. Dewey’s epistemological instrumentalism is global and not local; nevertheless, it is fallibilist and optimistic, rather than skeptical and pessimistic. Dewey’s ontological instrumentalism concerns the nature of scientific objects, regardless of whether they are observable or unobservable, and is fully compatible with realism about atoms or electrons. Dewey’s practical instrumentalism holds that becausescience provides understanding of the workings of nature rather than an exhaustive picture of reality, it is thebest instrument we have for the enrichment of experience. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (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)

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)

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)

This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it means (...) for a static semantics to incorporate the notion of context change potential in a dynamic pragmatics and denies that this conception of static semantics requires that all updates to the context be eliminative and distributive. Second, it argues that the central difference between the two frameworks is whether semantics or pragmatics accounts for dynamics, and explores what this means for the oft-heard claim that dynamic semantics blurs the semantics/pragmatics distinction. (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)

In virtue of what does a sign have meaning? This is the question raised by Wittgenstein's rule-following considerations. Semantic dispositionalism is a (type of) theory that purports to answer this question. The present paper argues that semantic dispositionalism faces a heretofore unnoticed problem, one that ultimately comes down to its reliance on unanalyzed notions of repeated types of signs. In the context of responding to the rule-following paradox—and offering a putative solution to it—this amounts to simply assuming a (...) solution to the problem in one domain and using it to solve the same problem in another. Given, moreover, the level at which the rule-following paradox undercuts dispositionalism—the level of the notion of a sign's repetition—the objections made to the view also rule out causal/informational theories of meaning as well as communitarian/assertion-theoretic ones as potential solutions to the rule-following paradox. (shrink)

This paper discusses a number of methodological issues with mainstream formal semantics and then investigates whetherWittgenstein’s later work provides an alternative approach that is able to avoid these issues.

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)

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

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)

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)

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.

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)

The starting point for this paper is a critical discussion of claims of psychological reality articulated within Borg’s (forth.) minimal semantics and Carpintero’s (2007) character*-semantics. It has been proposed, for independent reasons, that their respective accounts can accommodate, or at least avoid the challenge from psychological evidence. I outline their respective motivations, suggesting various shortcomings in their efforts of preserving the virtues of an uncontaminated semantics in the face of psychological objection (I-II), and try to make the case that, at (...) least for a theory of utterance comprehension, a truth-conditional pragmatic stance is far preferable. An alternative from a relevance-theoretic perspective is offered in terms of mutual adjustment between truth-conditional content and implicature(s), arguing that many “free” pragmatic processes are needed to uncover the truth-conditional content, which can then warrant the expected implicature(s) (III). I finally illustrate the difficulties their accounts have in predicting the correct order of interpretation in cases of ironic metaphor, i.e. metaphor is computed first, as part of truth-conditional content, while irony is inferentially grounded in metaphorical content (IV). (shrink)