The classification-cum-explanation Kripke assigns to rigidity requires the notion to apply to singular and general terms alike. But Kripke's own notion of rigidity is tailor-made for singular terms, and an extensive debate has not secured a general notion of rigidity apt to provide the classification-cum-explanation Kripke aims for. I propose that we look for a Kripkean alternative to generalized rigidity. I argue that on Kripkean premises, natural kind terms and proper names belong to the meta-semantic category of paradigm terms. (...) I also argue that the property of being a paradigm term effects precisely the classification-cum-explanation Kripke attributes to rigidity. I conclude that Kripkeans should acknowledge that being a paradigm term, rather than designating rigidly, plays the role Kripke delineates, and that we can stop worrying about generalizing rigidity. Kripke's notion works fine for singular terms. And there is no need for rigidity to apply beyond these. (shrink)

This paper presents experimental evidence in support of the existence of metalinguistic moral encroachment: the influence of the moral consequences of using a word with a given content upon the content of that word. The evidence collected implies that the effect of moral factors upon content is weak. For instance, by changing the moral consequences of the sentence's truth, it was possible to shift judgements about the truth of the sentence "that's a lot of cake", when used to describe two (...) sponge cakes. Similarly, by changing the moral consequences of the sentence's truth, it was possible to shift judgements about the truth of the sentence "the children's hospital is old", when used to describe a 40 year old hospital. The implications of this for Esa Díaz-León’s recent attempt to show how Jennifer Saul can legitimately reject an empirical semantic hypothesis on political grounds are described. Directions for future research are also described. (shrink)

In this thesis, Semantics, Meta-Semantics, and Ontology, I provide a critique of the method of truth in metaphysics. Davidson has suggested that we can determine the metaphysical nature and structure of reality through semantic investigations. By contrast, I argue that it is not semantics, but meta-semantics, which reveals the metaphysically necessary and sufficient truth conditions of our claims. As a consequence I reject the Quinean criterion of ontological commitment. In Part I, chapter 1, I (...) argue that the metaphysically primary truth bearers are not propositions, but rather concrete representations, either beliefs or sentences. I show, in chapter 2, that we can give sense to a truth predicate applying to sentences, given a truth operator and quantification into sentence position. I argue that this strategy does not commit us to the existence of propositions serving as truth bearers. In Part II I argue that although we must assign semantic values to sentences and/or predicates, the meaningfulness of these expressions is not thereby explained. In chapter 3 I articulate Davidson’s problem of predication and his solution, but argue that he was wrong to attribute this solution to Tarski. In chapter 4 I examine the semantics of modal languages; I conclude that although they require semantic values for predicates and/or sentences we should be instrumentalists about these theories. In Part III I consider the relationship between truth and existence. In chapter 5, I defend Pluralism about truth: in some domains of discourse, I claim, semantic reference plays a merely instrumental role in explaining truth. In chapter 6, I show that Hume’s Principle, which is committed by the Quinean criterion to the existence of numbers, can be true even though numbers do not exist. In doing so, I appeal to meta-semantic and diachronic considerations. In the conclusion I compare my views on ontology and commitment to Jody Azzouni’s; and in the appendix I suggest how one might pursue diachronic linguistics. (shrink)

Huw Price’s neo-pragmatist programme of global expressivism (see Huw Price "Naturalism Without Mirrors" (2011) and "Expressivism, Pragmatism and Representationalism" (2013)) faces a challenge — it is susceptible to the charge that the proposed combination of expressivism with a deflationary account of semantics leads to inconsistency. Expressivists about a particular discourse deny that it is representational. Global expressivists face the threat of inconsistency due to their attempts to generalise this denial to include the discourse of semantics. In this paper, (...) I explicate two meta-semantic presuppositions of this charge. I argue that such an explication enables us to construct a consistent account of global expressivism. The key point is that global expressivists should adopt two truth predicates and treat meta-semantics as non-substantial. I argue that this framework provides us with a better grasp of Price’s response to the problem of inconsistency and enables global expressivists to accommodate the correspondence intuition. (shrink)

In order to defend the Cornell variety of naturalistic moral realism from Horgan and Timmons’ Moral Twin Earth objection, several philosophers have proposed what I call Normatively Enriched Moral Meta-Semantics. According to NEMMS, the natural properties that serve as the contents of moral predicates are fixed by non- moral normative facts. In this paper, I elucidate two versions of NEMMS: one proposed by David Brink, and the other proposed by Mark van Roojen. I show what these meta- (...) class='Hi'>semantics have in common, and how each one promises the Cornell realist a response to the Moral Twin Earth objection. I then argue that Cornell realists ought to be wary of adopting NEMMS. A naturalist realist who adopts this meta-semantics confronts a trilemma. The proponent of NEMMS owes a meta-ethical account of the relevant content-fixing normative facts. Such facts are either reducible to recognizably natural facts or they are not. If they are not reducible, then NEMMS entails the denial of ethical naturalism. If such facts are taken to be reducible to facts about agents’ actual or hypothetical attitudes, then the account renders moral facts stance-dependent. Consequently, moral realism is false. Alternatively, one might propose that the content-fixing normative facts are reducible to attitude-independent natural facts. However, such a proposal is refuted by its own Twin Earth objection. (shrink)

Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even (...) entail each other? One exception is Amie Thomasson, who has argued that semantic deflationism actually entails meta-ontological deflationism. This is unexpected, since semantic deflationism is usually regarded as much less controversial than meta-ontological deflationism. In our paper, we will argue that Thomasson’s argument fails though, and that the connection between the views is in fact weaker than she makes them out to be. (shrink)

James Dreier (Philos Perspect 18: 23-44, 2004) states what he calls the "Problem of Creeping Minimalism": that metaethical Expressivists can accept a series of claims about meaning, under which all of the sentences that Realists can accept are consistent with Expressivism. This would allow Expressivists to accept all of the Realist's sentences, and as Dreier points out, make it difficult to say what the difference between the two views is. That Expressivists can accept these claims about meaning has been suggested (...) by Simon Blackburn on behalf of his "quasirealist". I argue against the assumption that there is a way to interpret the Realist's sentences in a way that renders them consistent with Expressivism. (shrink)

By applying the MIC theory to their analyses of English, German, French, Polish, Russian, Greek, Latin, and Japanese, the authors provide comprehensive explanations of the most puzzling aspects of the pragmatic use of basic universal linguistic categories.

This meta-study applies a socio-semiotic framework combining five basic communicational aspects, form, content, act, time, and space, developed to help answering the questionCan animals refer?It further operates with four levels, sign, utterance, genre, and lifeworld, studying relations between utterance and genre in particular. Semantic key terms found in an excerpted ‘resource collection’ consisting of three anthologies, two academic journals, and a monography, studying content in animal communication, are inspected, and discussed, especially information, functional reference, and reference. Since a temporary (...) inspection concluded that the field seems unable to give convincing joint answers, the scope of the meta-study was extended to include critical investigations of implicit communicational epistemologies applied in the sources. Two major challenges were brought to surface. Firstly, the problem of conflicting interrelatedness in animal utterances (parts versus whole). Positioning analyses revealed that theories and project-designs were mostly dyadic, prioritising form/content, content/function, or function/form, and rarely form/content/function, as a whole. The second concerned the issue of functional openness of animal communication systems. The meta-study found that more recent studies tend to reduce an essentialist search for ‘clear’ categories in favor of more complex designs, where focus is less on references in utterances as such and more on a species’ communicational system. This shift in turn leads to a problematisation of the role of context, kinds of communication (life-genres) and semantic levels in animal utterances, in other words, on animal communication for particular species as a whole. (shrink)

To the great puzzlement of his readers, Berkeley begins by arguing that nothing exists other than minds and ideas, but concludes by claiming to have defended the existence of bodies. How can Berkeley's idealism amount to such a defense? I introduce resources from Berkeley's philosophy of language, and especially his analysis of the discourse of physics, to defend a novel answer to this question. According to Berkeley, the technical terms of physics are meaningful despite failing to designate any reality; their (...) meaningfulness derives from the useful role they play in organizing and predicting our experience. I argue that Berkeleian bodies have the same status as these theoretical entities: they are mere 'quasi-entities' introduced by our ways of speaking and thinking in order to serve our practical purposes. Berkeley nevertheless considers this to be a defense of the existence of bodies because he endorses a radically deflationary semantics for 'exists.'. (shrink)

This meta-study of animal semantics is anchored in two claims, seemingly creating a fuzzy mismatch, that animal utterances generally appear to be simple in structure and content variation and that animals’ communicative understanding seems disproportionally more advanced. A set of excerpted, new studies is chosen as basis to discuss whether the semantics of animal uttering and understanding can be fused into one. Studies are prioritised due to their relatively complex designs, giving priority to dynamics between syntax, (...) class='Hi'>semantics, pragmatics, and between utterers and receivers in context. A communicational framework based on utterance theory is applied as a lens for inspection of how these aspects relate to the assumed mismatch. Inspection and discussions of the studies bring several features to surface of which five are stressed in the following. Firstly, both syntactic structures and possible semantic content are seen as lean, although richer than earlier believed, and research continues to reveal new complexities in utterances. Secondly, there is a clear willingness to broaden the perception of animals’ semantic capacity to comprehend communication both by arguing theoretically and by generating empirical research in new contexts. Thirdly, the ambition to make sense of these tendencies is still often motivated by an evolutionary search for early building blocks for verbal language, with the pro et cons that such a position can have. Fourthly, the ‘allowed’ scientific frame for studying semantic capacity among animals is extended to new fields and contexts challenging the only-in-the-wild norm. Fifthly, the dilemma of integrating uttering and understanding as aspects of an after all functional communicational system, calls for new epistemological concepts to make sense of the claimed mismatch. Affordances, abduction, life-genre, and lifeworld are suggested. (shrink)

The meta-ethical commitments of folk respondents – specifically their commitment to the objectivity of moral claims – have recently become subject to empirical scrutiny. Experimental findings suggest that people are meta-ethical pluralists: There is both inter- and intrapersonal variation with regard to people’s objectivist commitments. What meta-ethical implications, if any, do these findings have? I point out that current research does not directly address traditional meta-ethical questions: The methods used and distinctions drawn by experimenters do not (...) perfectly match those of meta-ethicists. However, I go on to argue that, in spite of this mismatch, the research findings should be of interest to moral philosophers, including meta-ethicists. Not only do these findings extend the field of moral psychology with new data and hypotheses, but they also provide tentative evidence that touches on the adequacy of theses in moral semantics and moral metaphysics. Specifically, they put pressure on argum... (shrink)

The aim of this book is the analysis of Kazimierz Ajdukiewicz's meta-epistemological project of the semantic theory of knowledge and its implementations to solve certain traditional epistemological problems and their metaphysical consequences. This project claims that cognitive problems need to be approached from the perspective of language. One of the results of this analysis is the thesis that the philosophical-linguistic legitimisation for the meta-epistemological project is the philosophy of Edmund Husserl from his Logical Investigations. This is the philosophy (...) that makes it possible to speak reasonably of a close relation between thinking and language and provides thereby the legitimisation for this project. (shrink)

There is nowadays consensus in the community of didactics of science regarding the need to include the philosophy of science in didactical research, science teacher education, curriculum design, and the practice of science education in all educational levels. Some authors have identified an ever-increasing use of the concept of ‘theoretical model’, stemming from the so-called semantic view of scientific theories. However, it can be recognised that, in didactics of science, there are over-simplified transpositions of the idea of model. In this (...) sense, contemporary philosophy of science is often blurred or distorted in the science education literature. In this paper, we address the discussion around some meta-theoretical concepts that are introduced into didactics of science due to their perceived educational value. We argue for the existence of a ‘semantic family’, and we characterise four different versions of semantic views existing within the family. In particular, we seek to contribute to establishing a model-based didactics of science mainly supported in this semantic family. (shrink)

Semantic normativism, which is the view that semantic properties/concepts are some kind of normative properties/concepts, has become increasingly influential in contemporary meta-semantics. In this paper, I aim to argue that semantic normativism has difficulty accommodating the causal efficacy of semantic properties. In specific, I raise an exclusion problem for semantic normativism, inspired by the exclusion problem in the philosophy of mind. Moreover, I attempt to show that the exclusion problem for semantic normativism is peculiarly troublesome: while we can (...) solve mental-physical exclusion by adopting the so-called ‘autonomy approach’, a similar autonomy solution to semantic exclusion is implausible if semantic properties are understood as normative properties. (shrink)

Paraphrase is ubiquitous in philosophy, especially in discussions about ontological commitment. But should it be? Paraphrases are seldom accompanied by evidence that would convince, say, a linguist that the paraphrase and the paraphrased sentence have the same meaning. Indeed, from the perspective of linguistics, many paraphrases would seem to be nothing but bad jokes. For this reason, many philosophers have become deeply suspicious about paraphrase. I ague in this paper that this worry is misguided--that successful paraphrases do not need to (...) preserve semantic content, and that the way that paraphrase has been used in Quinean meta-ontology, and philosophical inquiry more generally, corresponds, at least roughly, to the way it should be used. (shrink)

In ‘Epistemic Modals’ (2007), Seth Yalcin proposes Stalnaker-style semantics for epistemic possibility. He is inspired by John MacFarlane’s ingenious defence of relativism, in which claims of epistemic possibility are made rigidly from the perspective of the assessor’s actual stock of information (rather than from the speaker’s knowledge base or that of his audience or community). The innovations of MacFarlane and Yalcin independently reinforce the modal collapse espoused by Jaakko Hintikka in his 1962 epistemic logic (which relied on the implausible (...) KK principle and heavy idealizations). I respond to this new challenge with fresh objections to the underlying S4 equivalence: p p . I also propose counter-analyses of the intriguing data which Yalcin cites in support of his new semantics. A key collateral motivation for this defence of irredundant iterations is to ward off a threat to higher order vagueness. (shrink)

Presentations of Gricean semantics, including Stephen Neale’s in “Silent Reference,” totally ignore vagueness, even though virtually every utterance is vague. I ask how Gricean semantics might be adjusted to accommodate vague speaker-meaning. My answer is that it can’t accommodate it: the Gricean program collapses in the face of vague speaker-meaning. The Gricean might, however, find some solace in knowing that every other extant meta-semantic and semantic program is in the same boat.

Free Semantics is based on normalized natural deduction for the weak relevant logic DW and its near neighbours. This is motivated by the fact that in the determination of validity in truth-functional semantics, natural deduction is normally used. Due to normalization, the logic is decidable and hence the semantics can also be used to construct counter-models for invalid formulae. The logic DW is motivated as an entailment logic just weaker than the logic MC of meaning containment. DW (...) is the logic focussed upon, but the results extend to MC. The semantics is called 'free semantics' since it is disjunctively and existentially free in that no disjunctive or existential witnesses are produced, unlike in truth-functional semantics. Such 'witnesses' are only assumed in generality and are not necessarily actual. The paper sets up the free semantics in a truth-functional style and gives a natural deduction interpetation of the meta-logical connectives. We then set out a familiar tableau-style system, but based on natural deduction proof rather than truth-functional semantics. A proof of soundness and completeness is given for a reductio system, which is a transform of the tableau system. The reductio system has positive and negative rules in place of the elimination and introduction rules of Brady's normalized natural deduction system for DW. The elimination-introduction turning points become closures of threads of proof, which are at the points of contradiction for the reductio system. (shrink)

In the current paper we re-examine the concepts of attack semantics and collective attacks in abstract argumentation, and examine how these concepts interact with each other. For this, we systematically map the space of possibilities. Starting with standard argumentation frameworks (which consist of a directed graph with nodes and arrows) we briefly state both node semantics and arrow semantics (the latter a.k.a. attack semantics) in both their extensions-based form and labellings-based form. We then proceed with SETAFs (...) (which consist of a directed hypergraph of nodes and arrows, to take into account the notion of collective attacks) and state both node semantics and arrow semantics, in both their extensions-based and labellings-based form. We then show equivalence between the extensions-based and labellings-based form, for node semantics and arrow semantics of AFs, as well as for node semantics and arrow semantics of SETAFs. Moreover, we show equivalence between node semantics and arrow semantics for AFs, and equivalence between node semantics and arrow semantics for SETAFs (with the notable exception of semi-stable). We also provide a novel way of converting a SETAF to an AF such that semantics are preserved, without the use of any “meta arguments”. Although the main part of our work is on the level of abstract argumentation, we do provide an application of our theory on the instantiated level. More specifically, we show that the classical characterisation of Assumption-Based Argumentation (ABA) can be seen as an instantiation based on a SETAF, whereas the contemporary characterisation of ABA can be seen as an instantiation based on a standard AF. Our theory of how to convert a SETAF to an AF can then be used to account for both the similarities and the differences between the classical and contemporary characterisations of ABA. Most prominently, our theory is able to explain the semantic mismatch for semi-stable semantics that arises in the ABA instantiation process. (shrink)

A common starting point for ‘going hybrid’ is the thought that moral discourse somehow combines belief and desire-like aspects, or is both descriptive and expressive. Hybrid meta-ethical theories aim to give an account of moral discourse that is sufficiently sensitive to both its cognitive and its affective, or descriptive and expressive, dimensions. They hold at least one of the following: moral thought: moral judgements have belief and desire-like aspects or elements; moral language: moral utterances both ascribe properties and express (...) desire-like attitudes. This entry concerns hybrid theories of moral language. The main division within such theories is between those treating the expression of desire-like attitudes as semantic and those treating it as pragmatic. This entry exclusively focuses on pragmatic forms of and examines the prospects for treating moral attitude expression as working via certain standard pragmatic mechanisms. I explain these mechanisms, outline the properties that standardly define them, and test to see whether moral attitude expression matches them. At the end, I briefly explain a more minimal pragmatic alternative. The main conclusions are that we should disregard presupposition and conventional implicature views and that the most plausible options for a pragmatic hybrid view are a generalised conversational implicature view and a more minimal pragmatic view. (shrink)

This paper argues that several leading theories of subjunctive conditionals are incompatible with ordinary intuitions about what credences we ought to have in subjunctive conditionals. In short, our theory of subjunctives should intuitively display semantic humility, i.e. our semantic theory should deliver the truth conditions of sentences without pronouncing on whether those conditions actually obtain. In addition to describing intuitions about subjunctive conditionals, I argue that we can derive these ordinary intuitions from justified premises, and I answer a possible worry (...) for my derivation by refuting a subjunctive triviality result modeled on (Lewis 1976). I conclude that the debate over the correct theory of subjunctive conditionals requires settling meta-philosophical questions about the relative value of various virtues of first-order theories of subjunctive conditionals. (shrink)

This is a critical notice of José Zalabardo's recent book 'Pragmatist Semantics: A Use-Based Approach to Linguistic Representation' (2023). I raise problems about specific steps of Zalabardo’s arguments and I criticize important aspects of his positive account.

In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician (...) cannot accept her own definition of validity because it is given in a classical meta-theory. It is often suggested that this mismatch between the consequence relation of the account being espoused and the consequence relation of the meta-theory is a serious embarrassment. The main goal of the paper is to explore whether certain substructural accounts of the paradoxes can avoid this sort of embarrassment. Typically, these accounts are expressively incomplete, since they cannot assert in the object language that certain invalid arguments are in fact invalid. To overcome this difficulty I develop a novel type of hybrid proof-procedure, one that takes invalidities to be just as fundamental as validities. I prove that this proof-procedure enjoys a number of interesting properties and I analyze the prospects of applying it to languages capable of expressing self-referential statements. (shrink)

Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to their specification. We present a formal specification of the ontologies part of the Web Services Modeling Language WSML documentation as a conceptual model in ORM2. Such an approach abstracts the semantics about ontological constructs, axioms, and properties from their implementation in arbitrary formats, thereby making the model easily understandable and reusable. This formal model in ORM2, which is (...) understandable by both logician and software developer, can be used as any other conceptual model to develop applications, thereby ensuring smooth transition from theory to implementations that are faithful to the theory. (shrink)

It is widely assumed in philosophy that there is a tight connection between semantics and metaphysics. Semantic theories about the meanings of natural language terms and phrases are taken to provide evidence for and against various metaphysical theses about the nature of non-linguistic parts of the world. Call this view the widespread thesis. I argue that the widespread thesis is mistaken: semantic theories do not generally have robust metaphysical consequences. I contend that the best arguments for the widespread thesis (...) turn on an interpretation of semantic theories according to which they are metaphysically illuminating: the metaphysical structure of the world is directly mirrored in the structure of the theory. Terms and existential quantification in the theory signal the existence of entities in the world, predicates signal the existence of properties, and the structures of set theoretic objects invoked by the theory directly correspond to structural features of the world. Such an interpretation is not the only one available, however, and it is a substantive philosophical (and linguistic) issue which interpretation is correct. Accordingly, I develop and defend an alternative interpretation of semantic theories according to which the structural features of these theories and of their theorems reflect biological and computational constraints on the architecture of the language faculty and historical contingencies in its evolutionary development. Supposedly metaphysically committing features of the theory—including the appearance of quantification and (ostensibly) referring terms—may thus be arepresentational artifacts of these constraints, rather than representational features that reflect metaphysical reality. To determine the metaphysical consequences of a semantic theory then, we must determine which of its features represent language-independent characteristics of the world and which are arepresentational consequences of the structure of the language faculty. To do this, however, we must have some prior idea what the language-independent world is like—that is, we must engage in prior metaphysical theorizing that is not beholden to the semantic theory itself. (shrink)

This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation ≺. They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties (...) and elaborating on their intuitive motivation. As it turns out, many of their meta-properties only hold in case ≺ is transitive. To tackle this problem, we propose slight modifications of each of the systems, showing the resulting logics to behave better at the intuitive level and in metatheoretic terms, for arbitrary ≺. (shrink)

Bertrand Russell was a meta-ethical pioneer, the original inventor of both emotivism and the error theory. Why, having abandoned emotivism for the error theory, did he switch back to emotivism in the 1920s? Perhaps he did not relish the thought that as a moralist he was a professional hypocrite. In addition, Russell's version of the error theory suffers from severe defects. He commits the naturalistic fallacy and runs afoul of his own and Moore's arguments against subjectivism. These defects could (...) be repaired, but only by abandoning Russell's semantics.Russell preferred to revert to emotivism. (shrink)

‘Particularism’ is a meta-ethical theory resulting from a holistic doctrine in the theory of reasons. According to Jonathan Dancy, the foremost contemporary proponent of particularism, ‘a feature that is a reason in favour of an action in one case may be no reason at all in another, or even a reason against’ (2004: 190). From this, Dancy claims, it follows that the ‘possibility of moral thought and judgement does not depend on the provision of a suitable supply of moral (...) principles’ (2004: 7). This doctrine is of significant interest and import in its own right, and accordingly is the subject of considerable critical attention. The concern of this paper, however, is not meta-ethics but semantics. (shrink)

Rationalism offers an account of moral properties as a subset of the properties which serve to rationalize right actions, and these properties are fit to be the referents of our moral terms. That fitness can be exploited in constructing an externalist theory of reference determination for these terms. The resulting externalist theory draws support from standard responses to Moral Twin-Earth scenarios. The relevance of these responses to moral semantics has recently beenvigorously challenged by Dowell and by Schroeter and Schroeter. (...) The social character of meaning relations, which can explain the openness of questions about an analysis, may thereby also make Twin-Earth judgements beside the point. But the resources available to translators go beyond semantic competence and it is these resources that nonetheless make the Moral Twin-Earth responses relevant. (shrink)

The aim of this paper is to study a particular family of non-deterministic semantics for modal logics that has eight truth-values. These eight-valued semantics can be traced back to Omori and Skurt (2016), where a particular member of this family was used to characterize the normal modal logic K. The truth-values in these semantics convey information about a proposition’s truth/falsity, whether the proposition is necessary/not necessary, and whether it is possible/not possible. Each of these triples is represented (...) by a unique value. In this paper we will study which modal logics can be obtained by changing the interpretation of the $$\Box $$ modality, assuming that the interpretation of other connectives stays constant. We will show what axioms are responsible for a particular interpretations of $$\Box $$. Furthermore, we will study subsets of these axioms. We show that some of the combinations of the axioms are equivalent to well-known modal axioms. We apply the level-valuation technique to all of the systems to regain the closure under the rule of necessitation. We also point out that some of the resulting logics are not sublogics of S5 and comment briefly on the corresponding frame conditions that are forced by these axioms. Ultimately, we sketch a proof of meta-completeness for all of these systems. (shrink)

If semantic consequence is analyzed with extensive games, logical reasoning can be accounted for by looking at how players solve entailment games. However, earlier approaches to game semantics cannot achieve this reduction, by want of explicitly dened preferences for players. Moreover, although entailment games can naturally translate the idea of argumentation about a common ground, a cognitive interpretation is undermined by the complexity of strategic reasoning. We thus describe a class of semantic extensive entailment game with algorithmic players, who (...) have preferences for parsimonious spending of computational resources and thus compute partial strategies under qualitative uncertainty about future histories. We prove the existence of local preferences for moves and of strategic fixpoints that allow to map game-trees to tableaux proofs, and exhibit a strategy prole that solves the fixpoint selection problem, and can be mapped to systematic constructions of semantic trees, yielding a completeness result by translation. We then discuss the correspondence between proof heuristics and strategies in our games, the relations of our games to gts, and possible extensions to other entailment relations. We conclude that the main interest of our result lies in the possibility to bridge argumentative and cognitive models of logical reasoning, rather than in new meta-theoretic results. All proofs are given in appendix. (shrink)

In this paper I examine a contemporary debate about the general notion of linguistic rules and the place of context in determining meaning, which has arisen in the wake of a challenge that the conceptual framework of moral particularism has brought to the table. My aim is to show that particularism in the theory of meaning yields an attractive model of linguistic competence that stands as a genuine alternative to other use-oriented but still generalist accounts that allow room for context-sensitivity (...) in deciding how the linguistic rules would apply in concrete cases. I argue that the ideas developed in relation to particularism in meta-ethics illuminate a difficulty with the modest generalist view, one that can be resolved by adopting semantic particularism instead. (shrink)

Contextualist accounts of “woman,” including Saul (2012), Diaz-Leon (2016), and Ichikawa (2020), aim to capture the variability of the meaning of the term, and do justice to the rights of trans women. I argue that (i) there is an internal tension between a contextualist stance and the commitment to trans-inclusive language, and that (ii) we should recognize and tackle the broader and deeper theoretical and practical difficulties implicit in the semantic debates, rather than collapsing them all into semantics. Moving (...) on, I sketch three strategies to help us advance feminist philosophical endeavors, including how attending to contextual matters can lead us to further reflect on the meta-contextual, such as our role in shaping contexts and whether the working of language is indicative of a larger oppressive social structure. (shrink)

Invariance criteria are widely accepted as a means to demarcate the logical vocabulary of a language. In previous work, I proposed a framework of “semantic constraints” for model theoretic consequence which does not rely on a strict distinction between logical and nonlogical terms, but rather on a range of constraints on models restricting the interpretations of terms in the language in different ways. In this paper I show how invariance criteria can be generalized so as to apply to semantic constraints (...) on models. Some obviously unpalatable semantic constraints turn out to be invariant under isomorphisms. I shall connect our discussion to known counterexamples to invariance criteria for logical terms, and so the generalization will also shed light on the current existing debate on logicality. I analyse the failure of invariance to fulfil its role as a criterion for logicality, and argue that invariance conditions should best be thought of as merely methodological meta-constraints restricting the ways the model-theoretic apparatus should be used. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

One desideratum for a theory of fundamentality is to give us the conceptual tools to articulate fruitful metaphysical distinctions between the assortment of ‘realist’ and ‘anti-realist’ positions in a given domain such as meta-ethics. The ability to articulate such distinctions gives us a way to assess rival theories of fundamentality, such as Fine’s grounding theory and Sider’s metaphysical semantic theory. Indeed, Sider has argued that metaphysical semantic theories have an edge with respect to this desideratum and takes this as (...) an important reason to prefer those theories over rival grounding theories. This paper takes a closer look at how the rival theories compare with respect to questions of realism and defends the grounding theorist’s ability to meet the desideratum. (shrink)

When speakers utter conflicting moral sentences, it seems clear that they disagree. It has often been suggested that the fact that the speakers disagree gives us evidence for a claim about the semantics of the sentences they are uttering. Specifically, it has been suggested that the existence of the disagreement gives us reason to infer that there must be an incompatibility between the contents of these sentences. This inference then plays a key role in a now-standard argument against certain (...) theories in moral semantics. In this paper, we introduce new evidence that bears on this debate. We show that there are moral conflict cases in which people are inclined to say both that the two speakers disagree and that it is not the case at least one of them must be saying something incorrect. We then explore how we might understand such disagreements. As a proof of concept, we sketch an account of the concept of disagreement and an independently motivated theory of moral semantics which, together, explain the possibility of such cases. (shrink)

This paper reconsiders the challenge presented to scientific realism by the semantic incommensurability thesis. A twofold distinction is drawn between methodological and semantic incommensurability, and between semantic incommensurability due to variation of sense and due to discontinuity of reference. Only the latter presents a challenge to scientific realism. The realist may dispose of this challenge on the basis of a modified causal theory of reference, as argued in the author’s 1994 book, The incommensurability thesis. This referential response has been the (...) subject of a charge of meta-incommensurability by Hoyningen-Huene et al., who argue that the realist’s referential response begs the question against anti-realist advocates of incommensurability. In reply, it is noted that a tu quoque rejoinder is available to the realist. It is also argued that the dialectical situation favours the scientific realist, since the anti-realist defence of incommensurability depends on an incoherent distinction between phenomenal world and world-in-itself. In light of such incoherence, and a strong commonsense presumption in favour of realism, the referential response to semantic incommensurability may be justifiably based on realism. (shrink)

We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to ‘recover’ the properties of classical logic in a controlled manner. These structures are known as topological Boolean algebras, which are Boolean algebras extended with additional operations subject to specific conditions of a topological nature. In this study, we focus on the paradigmatic case of negation. We demonstrate how these algebras are well-suited to provide (...) a semantics for some families of paraconsistent Logics of Formal Inconsistency and paracomplete Logics of Formal Undeterminedness. These logics feature recovery operators used to earmark propositions that behave ‘classically’ when interacting with non-classical negations. Unlike traditional semantical investigations, which are carried out in natural language (extended with mathematical shorthand), our formal meta-language is a system of higher-order logic (HOL) for which automated reasoning tools exist. In our approach, topological Boolean algebras are encoded as algebras of sets via their Stone-type representation. We use our higher-order meta-logic to define and interrelate several transformations on unary set operations, which naturally give rise to a topological cube of opposition. Additionally, our approach enables a uniform characterization of propositional, first-order and higher-order quantification, including restrictions to constant and varying domains. With this work, we aim to make a case for the utilization of automated theorem proving technology for conducting computer-supported research in non-classical logics. All the results presented in this paper have been formally verified, and in many cases obtained, using the Isabelle/HOL proof assistant. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at (...) a predicate F () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)