In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually pass unnoticed. In this paper, (...) we briefly survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (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)

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)

Miriam Schoenfield argues that moral realism and moral vagueness imply ontic vagueness. In particular, she argues that neither shifty nor rigid semantic accounts of vagueness can provide a satisfactory explanation of moral vagueness for moral realists. This paper constitutes a response. I argue that Schoenfield's argument against the shifty semantic account presupposes that moral indeterminacies can, in fact, be resolved determinately by crunching through linguistic data. I provide different reasons for rejecting this assumption. Furthermore, I argue that Schoenfield's (...) rejection of the rigid semantic account is based on a presupposition that ultimately implies the very same claim that is under dispute: the vagueness of moral predicates in imperfect languages persists in the perfect language, as well. (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)

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 semantics in language, logic, (...) and other areas of philosophy. (shrink)

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

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)

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)

By conducting a semantic analysis of the reference and meaning of concepts that correspond to properties, and assessing its metaphysical implications, I develop a new argument for theism. Theism is understood here as the thesis that a personal being is the ultimate origin and ground of reality. More specifically, I argue that there are no universally held positive contingent properties and that this absence significantly increases the likelihood of theism. By integrating semantic inquiry with metaphysical reasoning, this paper (...) offers a novel approach that contributes to ongoing debates in metaphysics and philosophy of religion. (shrink)

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

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

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper (...) discusses the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

Whether or not deflationism is compatible with truth-conditional theories of meaning has often been discussed in very broad terms. This paper only focuses on Davidsonian semantics and Brandom's anaphoric deflationism and defends the claim that these are perfectly compatible. Critics of this view have voiced several objections, the most prominent of which claims that it involves an unacceptable form of circularity. The paper discusses how this general objection applies to the case of anaphoric deflationism and Davidsonian semantics and evaluates different (...) ways of responding to it (Williams 1999, Horisk 2008 and Lance 1997). Then, three further objections to the compatibility of these theories are assessed and eventually dismissed (Horisk 2007, Patterson 2005 and Collins 2002). It is shown how these considerations shed light on core issues of the debate. (shrink)

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

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

The 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)

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)

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

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

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

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes from recent (...) proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics. (shrink)

Relationship between default semantics and modularity of mind (in particular mind reading through the principle of Relevance).

This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented in a (...) type-driven formal semantic framework. In addition, I also argue against traditional accounts of privative noun phrases which can be paired with the assumption that nouns do not have a dual semantic structure. At the most general level, this paper presents a proposal for how we can begin to integrate a psychologically realistic account of lexical semantics with a linguistically plausible compositional semantic framework. (shrink)

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

Epistemic Contextualism is the view that “knows that” is semantically context-sensitive and that properly accommodating this fact into our philosophical theory promises to solve various puzzles concerning knowledge. Yet Epistemic Contextualism faces a big—some would say fatal—problem: The Semantic Error Problem. In its prominent form, this runs thus: speakers just don’t seem to recognise that “knows that” is context-sensitive; so, if “knows that” really is context-sensitive then such speakers are systematically in error about what is said by, or how (...) to evaluate, ordinary uses of “S knows that p”; but since it's wildly implausible that ordinary speakers should exhibit such systematic error, the expression “knows that” isn't context-sensitive. We are interested in whether, and in what ways, there is such semantic error; if there is such error, how it arises and is made manifest; and, again, if there is such error to what extent it is a problem for Epistemic Contextualism. The upshot is that some forms of The Semantic Error Problem turn out to be largely unproblematic. Those that remain troublesome have analogue error problems for various competitor conceptions of knowledge. So, if error is any sort of problem, then there is a problem for every extant competitor view. (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)

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

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

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

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

According to Amie Thomasson's Modal Normativism (MN), knowledge of metaphysical modality is to be explained in terms of a speaker’s mastery of semantic rules, as opposed to one’s epistemic grasp of independent modal facts. In this chapter, I outline (MN)'s account of modal knowledge (§1) and argue that more than semantic mastery is needed for knowledge of metaphysical modality. Specifically (§2), in reasoning aimed at gaining such knowledge, a competent speaker needs to further deploy essentialist principles and information. (...) In response, normativists might contend that a competent speaker will only need to appeal to specific independence counterfactuals, on analogy with quasi-realism about morality. These conditionals fix the meaning of our terms at the actual world, independently of the particular context in which a statement is evaluated. However, I show that this strategy causes several problems for the account (§3). While those problems might perhaps be avoided by endorsing a certain picture of modal metaphysics (Modal Monism), such a picture involves notorious issues that normativists will have to address (§4). It is thus doubtful that (MN) can explain knowledge of metaphysical modality. Still, it may explain some modal knowledge without committing to Modal Monism. As I show (§5), semantic mastery may suffice for gaining knowledge of logical-conceptual modality or analyticity. (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)

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

At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. (...) Forces are then kinds of acts in which propositions are deployed with certain purposes. I sketch a speech-act theoretic semantics in which that distinction does not hold. Instead of propositions and forces, the theory proposes proto-illocutionary acts and illocutionary acts. The orthodox notion of a proposition plays no role in the framework, which is a good thing, since that notion is deeply problematic. The framework also shows how expressionists, who embrace a sophisticated speech-act framework, face no Frege-Geach embedding problem, since the latter assumes the Sense/Force distinction. (shrink)

This paper provides a new framework for formalizing conditional obligations in natural language: it pairs a unary deontic operator with trivalent semantics for the indicative conditional and Kratzer's idea that the antecedents of conditionals restrict the scope of modals in the consequent. Combining these three ideas, we obtain a fully compositional theory of "if" and "ought'" that validates plausible principles for deontic reasoning. Moreover, it resolves classical challenges such as the "if A then ought A" problem, the paradox of the (...) miners and the modeling of contrary-to-duty obligations (e.g., Chisholm's quartet). All in all, our proposal is attractive from a logical point of view and squares well with general theories of natural language reasoning. (shrink)

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

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

I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or (...) obvious revenge. (shrink)

Estimating word complexity is a well-established task in computer-assisted language learning. So far, however, complexity estimation has been largely limited to comprehension. This neglects words that are easy to comprehend, but hard to produce. We introduce semantic error prediction (SEP) as a novel task that assesses the production complexity of content words. Given the corrected version of a learner-produced text, a system has to predict which content words replace tokens from the original text. We present and analyse one example (...) of such a semantic error prediction dataset, which we generate from an error correction dataset. As neural baselines, we use BERT, RoBERTa, and LLAMA2 embeddings for SEP. We show that our models can already improve downstream applications, such as predicting essay vocabulary scores. (shrink)

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

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)

Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather (...) than disposition attributions, but which is otherwise similar to inferentialist versions of dispositionalism. I argue that it can handle all the exceptions discussed in the literature without recourse to ceteris paribus clauses. Psychological exceptions are handled by suitably undemanding requirements (unlike that of giving the sum of any two numbers) and by setting the following two preconditions upon someone’s making the inference: that she considers the inference and has no motivating reason against it. The non-psychological exceptions, i.e., cases of neural malfunctioning, are handled by requiring that the counterfactuals be true sufficiently often during the relevant interval. I argue that this accommodates some important intuitions about concept possession, in particular, the intuition that concept possession is vague along a certain dimension. (shrink)

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

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

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

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 book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as (...) 'whole', 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)