Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic (...) validity to allow double negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

Intellectual humility is an interesting but underexplored disposition. The claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker expresses by uttering it. We therefore suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based method to map the semantic space (...) of intellectual humility as a heuristic to support philosophical and psychological analysis of this disposition. We find three semantic clusters that compose intellectual humility: the sensible self, the discreet self, and the inquisitive self; likewise, we find three clusters that compose its contraries: the overrated self, the underrated other, and the underrated self. (shrink)

Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two pieces (...) of data that this analysis fails to explain. Analyzing this data, I argue, suggests that necessity modals with embedded disjunctions license ‘Independence’ inferences: from the truth of □(φ ∨ ψ), interpreters infer that φ-without-ψ and ψ-without-φ are each compatible with the relevant set of worlds. I outline a bilateral inquisitive semantics for necessity modals that predicts the validity of the Independence inferences. I then argue that the resulting theory should be understood as one on which disjunctions denote pluralities of propositions, and necessity modals behave like collective predicates applied to these pluralities. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation (...) in inquisitive semantics: truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the (...) full range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

In many languages, the same particles that form quantifier words also serve as connectives, additive and scalar particles, question markers, roots of existential verbs, and so on. Do these have a unified semantics, or do they merely bear a family resemblance? Are they aided by silent operators in their varied roles―if yes, what operators? I dub the particles “quantifier particles” and refer to them generically with capitalized versions of the Japanese morphemes. I argue that both MO and KA can (...) be assigned a stable semantics across their various roles. The specific analysis I offer is motivated by the fact that MO and KA often combine with just one argument; I propose that this is their characteristic behavior. Their role is to impose semantic requirements that are satisfied when the immediately larger context is interpreted as the meet/join of their host’s semantic contribution with something else. They do not perform meet/join themselves. The obligatory vs. optional appearance of the particles depends on whether the meet/join interpretations arise by default in the given constellation. I explicate the proposal using the toolkit of basic Inquisitive Semantics. (shrink)

The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...) Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)

Observe that complement questions can be either directly or indirectly conjoined, but they can only be indirectly disjoined. • What theories of questions and coordination predict this difference? • Look at Partition theory (Groenendijk & Stokhof 1984) and Inquisitive Semantics (Groenendijk & Roelofsen 2009, Ciardelli et al. 2012).

The received wisdom on ability modals is that they differ from their epistemic and deontic cousins in what inferences they license and better receive a universal or conditional analysis instead of an existential one. The goal of this paper is to sharpen the empirical picture about the semantics of ability modals, and to propose an analysis that explains what makes the can of ability so special but that also preserves the crucial idea that all uses of can share a (...) common lexical semantics. The resulting framework combines tools and techniques from dynamic and inquisitive semantics with insights from the literature of the role of agency in deontic logic. It explains not only why the can of ability, while essentially being an existential modal operator, sometimes resists distribution over disjunction and interacts with its duals in particular and hitherto unnoticed ways, but also has a tendency to license free choice inferences. (shrink)

This paper investigates propositional hyperintensionality in counterfactuals. It starts with a scenario describing two children playing on a seesaw and studies the truth-value predictions for counterfactuals by four different semantic theories. The theories in question are Kit Fine’s truthmaker semantics, Luis Alonso-Ovalle’s alternative semantics, inquisitive semantics and Paolo Santorio’s syntactic truthmaker semantics. These predictions suggest that the theories that distinguish more of a given set of intensionally equivalent sentences (Fine and Alonso-Ovalle’s) fare better than those (...) that do not (inquisitive semantics and Santorio’s). Then we investigate how inquisitive semantics and Santorio can respond to these results. They can respond to them by helping themselves to considerations from Hurford disjunctions, disjunctions whose disjuncts stand in an entailment relation to one another. I argue that considerations from Hurford disjunctions are ad hoc modifications merely to predict the expected results. I conclude that the scenarios suggest a need for more fine-grained theories of sentential meaning in general. (shrink)

We consider a puzzle in the question semantics literature. The puzzle concerns data when 'know' embeds interrogative complements. For the exhaustive strength in the literature known as intermediately exhaustive, first person ascriptions don't seem to exist, but third person do. By arguing against the only solution in the literature, we suggest that the puzzle is more interesting than previously thought. We provide a compositional semantics for 'know' where the interpretation of 'know' is relativized to an information state. The (...) proposed semantics, we think, is compatible with relativism and nonindexical contextualism, but we opt for relativism for its relative ease in capturing disagreement data we provide. (shrink)

Since the early 1980s, there has been a debate in the semantics literature pertaining to whether wh-interrogatives can be directly disjoined, as main clauses and as complements. Those who held that the direct disjunction of wh-interrogatives was in conflict with certain theoretical considerations proposed that they could be disjoined indirectly. Indirect disjunction proceeds by first lifting both wh-interrogatives and then disjoining them; it assigns matrix-level scope to OR. As we will see, the notorious theoretical need for indirect disjunction has (...) disappeared by today. But the factual question remains. Are wh-complements disjoined directly or indirectly? What is the fact of the matter? This paper argues that the case for indirect disjunction remains reasonably strong. (shrink)

Formal semantic analyses often take words to be minimal building blocks for the purposes of compositionality. But various recent theories of morphology and syntax have converged on the view that there is no demarcation line corresponding to the word level. The same conclusion has emerged from the compositional semantics of superlatives. In the spirit of extending compositionality below the word level, this paper explores how a small set of particles (Japanese KA and MO, Chinese DOU, and Hungarian VALA/VAGY, MIND, (...) and IS) form quantifier words and serve as connectives, additive and scalar particles, question markers, and existential verbs. The main question is whether the meanings of these particles across the varied environments are highly regular, or they are lexicalized with a variety of different meanings that bear a family resemblance. This paper does not reach definitive conclusions, but it raises analytical possibilities using Boolean semantics and the semantics of alternatives. It also draws attention to systematic similarities and some differences between MO and DOU that have not been studied in the literature. (shrink)

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue that (...) exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (shrink)

One of the insights of dynamic semantics in its various guises (Kamp 1981, Heim 1982, Groenendijk & Stokhof 1991, Kamp & Reyle 1993 among many others) is that interpretation is sensitive to left-to-right order. Is order sensitivity, particularly the default left-to-right order of evaluation, a property of particular meanings of certain lexical items (e.g., dynamically interpreted conjunction) or is it a more general feature of meaning composition? If it is a more general feature of meaning composition, is it a (...) processing ‘preference’ or should it be captured as a ‘harder’ constraint on the type of meanings and operations over meanings involved in natural language interpretation? This squib draws attention to the symmetrical A-too B-too construction (found in a variety of languages, e.g., Hungarian, Japanese, Romanian, Russian) in this context. It argues that any semantic analysis of its main ‘symmetrical-meaning’ characteristic should also allow for subtler interactions between this construction and items that are clearly sensitive to evaluation-order effects, e.g., anaphoric adjectives like next and other. We suggest that the notion of postsupposition embedded in a broader dynamic framework is better able to account for both the symmetric nature of this construction, its non-symmetric variant A-too, and its interaction with items that are evaluation-order sensitive. We briefly compare this proposal with a couple of possible alternative accounts. (shrink)

This paper addresses a set-theoretic completeness based on a relational semantics for fuzzy extensions of two versions Rt and R T of R (Relevance logic). To this end, two fuzzy logics FRt and FRT as extensions of Rt and R T, respectively, and the relational semantics, so called Routley-Meyer semantics, for them are first recalled. Next, on the semantics completeness results are provided for them using a set-theoretic way.

The essay "Semantics for Natural Languages" is here translated from a collection of Davidson's essays published under the title "Inquiries into Truth and Interpretation", Claredon Press, Oxford 1984.

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)

Intellectual courage requires acting to promote epistemic goods despite significant risk of harm. Courage is distinguished from recklessness and cowardice because the expected epistemic benefit of a courageous action outweighs (in some sense) the threatened harm. Sometimes, however, inquirers pursue theories that are not best supported by their current evidence. For these inquirers, the expected epistemic benefit of their actions cannot be explained by appeal to their evidence alone. The probability of pursuing the true theory cannot contribute enough to the (...) expected epistemic benefit for the action to count as courageous rather than reckless. Thus, there must be some other epistemic consideration which favors their action, besides evidence for their theory. I argue that the proper account of intellectual courage requires recognition of inquisitive reasons: a distinct category of epistemic reasons which concern successful inquiry. This category includes reasons to think a theory itself is promising, e.g., that the theory suggests potentially fruitful new research. It also includes social epistemic reasons, e.g., that pursuing a theory will improve the distribution of cognitive labor. Inquisitive reasons help explain why researchers who pursue improbable theories count as intellectually courageous, rather than reckless. The expected epistemic benefit of an action is partially determined by the inquisitive reasons in its favor. On my account, intellectually courageous inquiry requires acting in a way that is sensitive to inquisitive reasons. (shrink)

It is common belief that semantic properties supervene on non-semantic properties: no two possible worlds can be non-semantic duplicates and fail to be semantic duplicates. The view enjoys somewhat of an orthodoxy status in contemporary philosophy of language and metaphysics, and is often assumed without argument. Yet, work by Stephen Kearns and Ofra Magidor has claimed that it is vulnerable to a variant of the classical arguments against the supervenience of the phenomenal on the physical. This paper does three things: (...) it clarifies what semantic supervenience is about, it responds to the objections that have been leveled against it, and provides a new battery of arguments in its favor. I argue that the thesis of semantic supervenience is safe from classical anti-supervenience arguments, and show that its rejection generates unwelcome consequences. I conclude that there are substantial reasons to embrace the received wisdom: semantic properties supervene. (shrink)

Sometimes inquirers may rationally pursue a theory even when the available evidence does not favor that theory over others. Features of a theory that favor pursuing it are known as considerations of promise or pursuitworthiness. Examples of such reasons include that a theory is testable, that it has a useful associated analogy, and that it suggests new research and experiments. These reasons need not be evidence in favor of the theory. This raises the question: what kinds of reasons are provided (...) by pursuitworthiness considerations? Are they epistemic reasons or practical reasons? I argue that pursuitworthiness considerations are a kind of non-evidential epistemic reason, which I call an inquisitive reason. In support of this, I first point out two important similarities between the traditional pursuitworthiness considerations discussed in philosophy of science, which I call promise reasons, and certain social epistemic reasons that I call social inquisitive reasons. Specifically, both kinds of reason (1) favor pursuing a theory in a non-evidential way, and (2) concern promoting successful inquiry. I then propose recognition of a new category of normative reason: inquisitive reasons. This category contains both promise and social inquisitive reasons. Finally, I argue that inquisitive reasons share three essential features with previously recognized epistemic reasons: a connection to epistemic aims, explanatory independence, and the presence of a specific right-kind/wrong-kind reasons distinction. Each of these features have been used to argue that evidence should be treated as part of a distinct, independent domain of epistemic normativity. Since inquisitive reasons share these features, they too should be considered part of this independent epistemic domain. Thus, inquisitive reasons, including pursuitworthiness considerations, are epistemic reasons. (shrink)

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

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred (...) ones. A proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (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)

Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study to (...) highlight the challenges of operational disaster command and response. In this article, which is based on the French emergency response doctrine, we outline a semantics-based common operational command system that is designed to guarantee an efficient information flow among ERs. Our focus is on offering to all ERs, a real-time operational picture of the situation in order to enable multilevel coordination among firefighters, police, healthcare units, public authorities, and other stakeholders. Our approach consolidates information to promote timely sharing of data among ERs. The proposed system is based on an ontology that has been developed to represent the different types of knowledge on the part of ERs, providing a shared vocabulary that covers a variety of interoperability concerns. (shrink)

This chapter examines the “externalist” claim that semantics should include theorizing about representational relations among linguistic expressions and (purported) aspects of the world. After disentangling our main topic from other strands in the larger set of externalist-internalist debates, arguments both for and against this claim are discussed. It is argued, among other things, that the fortunes of this externalist claim are bound up with contentious issues concerning the semantics-pragmatics border.

In this paper, I address the idea that certain sentences suffer from what is generally called semantic unspecificity: their meaning is determinate, but their truth conditions are not. While there tends to be agreement on the idea that semantic unspecificity differs from phenomena such as ambiguity and vagueness, some theorists have defended an account which traces it to indexicality, broadly construed. Some authors have tried to vindicate the distinction between unspecificity and indexicality and, in this paper, I pursue the same (...) cause, but with a critical stance towards previously employed strategies. I urge that the central argument employed by Sainsbury to trace this difference fails suitably to set unspecificity apart from indexicality and I propose a new argument, which helps to trace this distinction more perspicuously. The argument is based on embeddings of indexical and unspecific expressions within modal operators and on the ways in which the truth conditions of utterances of the resulting, complex expressions are thereby affected. (shrink)

We advance the understanding of the philosophy and psychology of curiosity by operationalizing and constructing an empirical measure of Nietzsche’s conception of inquisitive curiosity, expressed by the German term Wissbegier, (“thirst for knowledge” or “need/impetus to know”) and Neugier (“curiosity” or “inquisitiveness”). First, we show that existing empirical measures of curiosity do not tap the construct of inquisitive curiosity, though they may tap related constructs such as idle curiosity and phenomenological curiosity. Next, we map the concept of (...) class='Hi'>inquisitive curiosity and connect it to related concepts, such as open-mindedness and intellectual humility. The bulk of the paper reports four studies: an Anglophone exploratory factor analysis, an Anglophone confirmatory factor analysis, an informant study, and a Germanophone exploratory and confirmatory factor analysis. (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)

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)

Quine’s way of dealing with the semantical paradoxes (Ways of Paradox, pp. 9-10) is criticized. The criticism is based on three premises: (1) no learnable language has infinitely many semantical primitives; (2) any language of which Quine’s theory is true has infinitely many semantical primitives; (3) English is a learnable language. The conclusion drawn is that Quine’s theory is not true of English.

In this paper, I dwell on a particular distinction introduced by Ilhan Inan—the distinction between ostensible and inostensible use of our language. The distinction applies to singular terms, such as proper names and definite descriptions, or to general terms like concepts and to the ways in which we refer to objects in the world by using such terms. Inan introduces the distinction primarily as an epistemic one but in his earlier writings (1997: 49) he leaves some room for it to (...) have some semantic significance i.e., the view that in certain intensional de re contexts whether a term occurring in a sentence is ostensible or inostensible may have a bearing on the semantic content of the sentence. However, in his later writings e.g., The Philosophy of Curiosity, he appears to abandon his earlier thoughts regarding the semantic significance of his distinction. He says: “the ostensible/inostensible distinction is basically an epistemic one.... It is an epistemic distinction that has no semantic significance” (2012: 65). I argue that there are indeed such intensional contexts in which the distinction has some semantic significance, i.e., whether a term is ostensible or inostensible has in fact a bearing on what proposition is expressed by the sentence in which the term occurs. (shrink)

Human creativity generates novel ideas to solve real-world problems. This thereby grants us the power to transform the surrounding world and extend our human attributes beyond what is currently possible. Creative ideas are not just new and unexpected, but are also successful in providing solutions that are useful, efficient and valuable. Thus, creativity optimizes the use of available resources and increases wealth. The origin of human creativity, however, is poorly understood, and semantic measures that could predict the success of generated (...) ideas are currently unknown. Here, we analyze a dataset of design problem-solving conversations in real-world settings by using 49 semantic measures based on WordNet 3.1 and demonstrate that a divergence of semantic similarity, an increased information content, and a decreased polysemy predict the success of generated ideas. The first feedback from clients also enhances information content and leads to a divergence of successful ideas in creative problem solving. These results advance cognitive science by identifying real-world processes in human problem solving that are relevant to the success of produced solutions and provide tools for real-time monitoring of problem solving, student training and skill acquisition. A selected subset of information content (IC Sánchez–Batet) and semantic similarity (Lin/Sánchez–Batet) measures, which are both statistically powerful and computationally fast, could support the development of technologies for computer-assisted enhancements of human creativity or for the implementation of creativity in machines endowed with general artificial intelligence. (shrink)

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

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that (...) all we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

W niniejszym tekście, poświęconym definiowaniu m. in. słów i zwrotów frazeologicznych podczas nauczania języków, autorka opisuje lingwistyczną teorię Anny Wierzbickiej, dotyczącą Natural Semantic Metalanguage i w adaptacyjnej formie przenosi ją na płaszczyznę zajęć z języka obcego, gdzie przynosi ona namacalne wyniki. Podczas zajęć językowych wymaga się od uczących się poprawnego definiowania ogólnego, które jednak rzadko przekazywane jest w podręcznikach i na wykładach, mimo iż zdolność ta nie jest wcale oczywista, samo definiowanie zaś nie jest łatwym zadaniem. Przeciwnie - od studentek (...) i studentów języków obcych oczekuje się mentalnego uzdolnienia w tym kierunku, nie uwzględniając faktu, że wiele osób ma trudności z definiowaniem nawet w języku ojczystym. W artykule autorka chce pokazać, że po części zignorowana teoria Anny Wierzbickiej ze swoim punktem wyjściowym, jakim są primes, pozwala uświadomić uczącym się języka obcego, że istotę słowa, wyrażenia czy frazy można wyjaśnić w oparciu o sposób określenia znaczenia, przyjęty w NSM. Nie jest przy tym konieczne, ażeby znaczenia opisywać i określać poprzez primes. Ważne jest, aby w celu uniknięcia błędnego koła podczas objaśnień definicji nie koncentrować się na synonimach i antonimach. Jak takie i podobne objaśnienia mogą wyglądać, pokazane jest na przykładach kilku definicji, które wyjaśnione zostały w oparciu o sposób określenia znaczenia przyjęty w NSM. Autorka dyskutuje również opisy i warunki działania takiej metody. Na zakończenie przedstawione są propozycje w zakresie metodologii nauczania umiejętności definiowania podczas zajęć języka obcego. (shrink)

Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a focus on business (...) aspects and not enough on involvement of the right sorts of researchers, in particular those that are able to see how the data and information relate to the entities of concern on the side of the patient. The lack of a central focus on the patient, and the associated focus on ‘concepts’, have spawned a variety of mutually incompatible terminologies exhibiting non-resolvable overlap. The predominance of the healthcare IT industry in the writing and selection of semantic interoperability standards mitigates against the benefits that standards, when well designed, can bring about. (shrink)

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

We start with the ambition -- dating back to the early days of the semantic web -- of assembling a significant portion human knowledge into a contradiction-free form using semantic web technology. We argue that this would not be desirable, because there are concepts, known as essentially contested concepts, whose definitions are contentious due to deep-seated ethical disagreements. Further, we argue that the ninetenth century hermeneutical tradition has a great deal to say, both about the ambition, and about why it (...) fails. We conclude with some remarks about statistics. (shrink)

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

Truthmaker semantics is a recent development in formal and philosophical semantics, with similar motivation and scope to possible worlds semantics. The technical background is rather different, however, and results in a more fine-grained hyperintensional notion of content, allowing us to distinguish between classically equivalent propositions. After briefly introducing the main ideas, this entry will describe the technical apparatus of state spaces and the central notions of content and partial content. It will then outline applications of truthmaker (...) class='Hi'>semantics in language, logic, and other areas of philosophy. (shrink)

Nobody expects the Scientific Inquisition!

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)

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

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

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad subject which begins when (...) numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (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)

The paper discusses Saul Kripke's Normativity Argument against semantic dispositionalism: it criticizes the orthodox interpretation of the argument, defends an alternative reading and argues that, contrary to what Kripke himself seems to have been thinking, the real point of the Normativity Argument is not that meaning is normative. According to the orthodox interpretation, the argument can be summarized as follows: (1) it is constitutive of the concept of meaning that its instances imply an ought, but (2) it is not constitutive (...) of the concept of a disposition that dispositions imply an ought, hence (3) no dispositional analysis of meaning can work. According to my alternative reading, the point of the argument is another one, namely that while (1) dispositionalism is committed to the thesis that speakers have non-inferential knowledge of their unmanifested linguistic dispositions, (2) speakers, as a matter of fact, do not have such a knowledge. A point that is in principle independent from the issue of the normativity of meaning. (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)

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