Since Saul Kripke’s and Hilary Putnam’s groundbreaking work in the Seventies, the idea has emerged that natural kind terms are semantically special among common nouns. Stephen P. Schwartz, for example, has argued that an artifactual kind term like “pencil” functions very differently from a natural kind term like “tiger.” This, however, blatantly violates a principle that I call Semantic Uniformity. In this paper, I defend the principle. In particular, I outline a picture of how natural kind terms function (...) based on Kripke’s and Putnam’s considerations, and I use it to rebut Schwartz’s arguments, showing that if it works for natural kind terms, it can work for artifactual kind terms too, or at least that Schwartz did not provide good enough reasons to the contrary. (shrink)

Subjects classified visible 2-digit numbers as larger or smaller than 55. Target numbers were preceded by masked 2-digit primes that were either congruent (same relation to 55) or incongruent. Experiments 1 and 2 showed prime congruency effects for stimuli never included in the set of classified visible targets, indicating subliminal priming based on long-term semantic memory. Experiments 2 and 3 went further to demonstrate paradoxical unconscious priming effects resulting from task context. For example, after repeated practice classifying 73 as larger (...) than 55, the novel masked prime 37 paradoxically facilitated the “larger” response. In these experiments task context could induce subjects to unconsciously process only the leftmost masked prime digit, only the rightmost digit, or both independently. Across 3 experiments, subliminal priming was governed by both task context and long-term semantic memory. (shrink)

'Mass terms', words like water, rice and traffic, have proved very difficult to accommodate in any theory of meaning since, unlike count nouns such as house or dog, they cannot be viewed as part of a logical set and differ in their grammatical properties. In this study, motivated by the need to design a computer program for understanding natural language utterances incorporating mass terms, Harry Bunt provides a thorough analysis of the problem and offers an original and detailed (...) solution. An extension of classical set theory, Ensemble Theory, is defined, and this provides the conceptual basis of a framework for the analysis of natural language meaning which Dr Bunt calls Two-level model-theoretic semantics. The validity of the framework is convincingly demonstrated by the formal analysis of a fragment of English including sentences with quantified and modified mass terms. Separate chapters of the book are devoted to an axiomatic definition of Ensemble Theory and a detailed discussion of its status as a mathematical formalism. (shrink)

The paper discusses whether the color terms should be given an externalist semantics. In the literature on the semantics of color terms externalism is standardly taken for granted, and Twin Earth style arguments play a central role. This is notable given that few people would claim that semantic externalism applies across the board, to all types of terms. Why, then, should the color terms belong with this group of terms? I argue that the (...) standard externalist strategies, introduced by Tyler Burge and Hilary Putnam, do not apply to these terms: The color terms do not function like natural kind terms, and the idea of semantic reliance on others does not apply to them. I conclude that the externalist arguments fail and that a version of internalism, more properly called ‘individualism’,applies to the color terms. (shrink)

It is argued that the usual proposals for dealing with mass-Quantification--All x is f--Are inadequate with the predicate is complex or when multiple quantification is considered. Mass-Quantification is seen as a generalisation of ordinary (thing) quantification in that the specialising assumption that the domain of quantification is atomic is not made. It is suggested that the semantic values of predicates are complete ideals of the boolean algebra consisting of the quantity which is the domain of quantification and all its sub-Quantities, (...) While logical connectives are represented by operations on complete ideals. (shrink)

This paper outlines a new approach to the task of giving an account of the meaning of moral statements: a sort of "conceptual role semantics", according to which the meaning of moral terms is given by their role in practical reasoning. This role is sufficient both to distinguish the meaning of any moral term from that of other terms, and to determine the property or relation (if any) that the term stands for. The paper ends by suggesting (...) reasons for regarding this "conceptual role semantics" approach as preferable to noncognitivism, the causal theory of reference, and noncircular conceptual analysis. (shrink)

Christopher Hom has recently argued that the best-overall account of the meaning of pejorative terms is a semantic account according to which pejoratives make a distinctive truth-conditional contribution, and in particular express complex, negative socially constructed properties. In addition, Hom supplements the semantic account with a pragmatic strategy to deal with the derogatory content of occurrences of pejorative terms in negations, conditionals, attitude reports, and so on, according to which those occurrences give rise to conversational implicatures to the (...) effect that the pejorative terms are non-empty, which explains the offensiveness of those occurrences. In this paper, I aim to defend this semantic strategy from several recent objections, and I will also present a novel objection, which in my view shows that we should understand the semantic account as a version of inferentialism, rather than radical externalism. (shrink)

According to the well-known Kripke-Putnam view developed in Naming and Necessity and ‘The Meaning of Meaning’, proper names and ‘natural kind terms’ - words for natural substances, species, and phenomena - are non-descriptional and rigid. A singular term is rigid if it has the same referent in every possible world, and is non-descriptional if, roughly speaking, its referent is not secured by purely descriptive conditions analytically tied to the term. Thus, ‘the inventor of bifocals’ is nonrigid and descriptional, while (...) ‘the unique even and prime integer’ is rigid and descriptional, and ‘Noam Chomsky’ is rigid and non-descriptional. (shrink)

This paper is a critique of Ralph Wedgwood's recent attempt to use the framework of conceptual role semantics in metaethics. Wedgwood's central idea is that the action-guiding role of moral terms suffices to determine genuine properties as their semantic values. We argue that Wedgwood cannot get so much for so little. We explore two interpretations of Wedgwood's account of what it takes to be competent with a thin moral term. On the first interpretation, the account does not warrant (...) the assignment of a normative property as the semantic value of the target expression. On the second interpretation, the account presupposes that the subject has a prior understanding of normative notions. (shrink)

The logic of singular terms that refer to nothing, such as ‘Santa Claus,’ has been studied extensively under the heading of free logic. The present essay examines expressions whose reference is defective in a different way: they signify more than one entity. The bulk of the effort aims to develop an acceptable formal semantics based upon an intuitive idea introduced informally by Hartry Field and discussed by Joseph Camp; the basic strategy is to use supervaluations. This idea, as (...) it stands, encounters difficulties, but with suitable refinements it can be salvaged. Two other options for a formal semantics of multiply signifying terms are also presented, and I discuss the relative merits of the three semantics briefly. Finally, possible modifications to the standard logical regimentation of the notion of existence are considered. (shrink)

In this article, I present different characteristics of de jure coreference, including an epistemological one and a logical one. Then, I present the semantic relation of coordination as what explains or grounds the phenomenon of de jure coreference. And I compare two theories of relational semantics, Fine’s (2007) and Taschek’s (1995a, 1995b, 1998), with respect to two famous puzzles in the philosophy of language, Frege’s puzzle and Kripke’s puzzle about belief. Lastly, I briefly discuss coordination between empty terms.

How do people manage to refer to chocolate, despite knowing so little about it? Traditional semantic externalism gives a two-part answer, a negative claim that meanings are not determined inside speakers' heads, and a positive claim that meanings are fixed by external factors. This gets the semantics of ‘chocolate’ half right: the negative claim is correct, but the positive claim is not. There is nothing special about ‘chocolate’, and scientifically respectable natural-kind terms also fail to live up to (...) the positive expectations of traditional externalism. However, kind-term indeterminacy is compatible with important advances associated with externalism's de re understanding of kind terms. (shrink)

My dissertation is concerned with natural kind terms; its most basic goal is to provide a semantic account of the role these play in scientific discourse. Since my broad semantic approach follows Sellars and Brandom in looking to the pragmatically articulated inferential role of sentences rather than their relation to the world, I manage to set aside metaphysical questions regarding the nature of kinds. I begin with an account of the central role played by natural kind terms in (...) theoretical explanation. I show how natural kind terms are essential to the explanatory function of scientific laws as inference licenses of a certain sort. I turn then to the curious fact that natural kind terms occur in multiple grammatical positions: as parts of attributive predicates and as apparently singular referents . This latter role is at times one that seems to involve a quantificational attribution to all members of the kind, but at other times is more robust . My account demonstrates the utility of just such ambiguity to the role played by kind terms in explanation. I go on to account for a number of other puzzling features of natural kind term usage and to explain the distinction between natural kind terms and other sortals on grounds of their distinctive pragmatic significances. I conclude by laying out how my view can be extended to give a semantics for other sorts of kind terms . This allows us to draw a substantial distinction between gerrymandered kind terms and those that our theories should genuinely commit us to, while acknowledging that the entire natural/social divide among the kind terms stands or falls with our ability to show that there is an important fundamental distinction between different sorts of theories. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical (...) terms no longer play a distinctive role. This account employs a new notion of semantic. (shrink)

Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French (...) will be extended by a few elements of the Sneed formalism, also known as the structuralist approach to science. (shrink)

Theories of reference have been central to analytic philosophy, and two views, the descriptivist view of reference and the causal-historical view of reference, have dominated the field. In this research tradition, theories of reference are assessed by consulting one’s intuitions about the reference of terms in hypothetical situations. However, recent work in cultural psychology (e.g., Nisbett et al. 2001) has shown systematic cognitive differences between East Asians and Westerners, and some work indicates that this extends to intuitions about philosophical (...) cases (Weinberg et al. 2001). In light of these findings on cultural differences, two experiments were conducted which explored intuitions about reference in Westerners and East Asians. Both experiments indicate that, for certain central cases, Westerners are more likely than East Asians to report intuitions that are consistent with the causal-historical view. These results constitute prima facie evidence that semantic intuitions vary from culture to culture, and the paper argues that this fact raises questions about the nature of the philosophical enterprise of developing a theory of reference. (shrink)

A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of (...) these logical systems, we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements. (shrink)

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence (...) class='Hi'>semantics. (shrink)

What, for Kant, is the semantic status of the proposition: Water is H2O? Is it analytic or synthetic? The question is not one of merely esoteric import since an answer to it would constitute a statement about the meaningfulness of all our scientific propositions. And, insofar as the Critique is a defense of the possibility of the natural sciences, it seems that we should be able to find in it the answer to our question. Further, we should be able to (...) find an answer to the question of whether or not Kant is a scientific essentialist. I attempt to show that he is not an essentialist despite the fact that his semantics of natural kind terms greatly resembles that of some contemporary authors who are essentialists and take their semantic theories to provide evidence for their views. One way to go about this would be simply to locate Kant's criteria for the analytic/synthetic distinction and then to place the proposition in the category dictated by those criteria. Rather than employ this method, I will examine instead some of Kant's own examples. The hope is that by means of the examples the criteria themselves will achieve a greater degree of clarity and that through this clarification Kant's position will emerge as a genuine alternative to contemporary positions. (shrink)

In this article I argue against Chad Hansen’s version of the “White Horse Dialogue” (Baimalun) of Gongsun Longzi as intelligible through writings of the later Moists. Hansen regards the Baimalun as an attempt to demonstrate how the compound baima, “white horse,” is correctly analyzed in one of the Moist ways of analyzing compound term semantics but not the other. I present an alternative reading in which the Baimalun arguments point out, via reductio, the failure of either Moist analysis; in (...) particular they point out how neither analysis accounts for ordinary, acceptable inferences like “There is a white horse; therefore there is a horse.” At issue for Gongsun Longzi is a fundamental problem with atomic terms: none of them seems capable of referring to a particular, “stand-alone” individual. (shrink)

Lexical Semantics for Terminology: An introduction explores the interconnections between lexical semantics and terminology. More specifically, it shows how principles borrowed from lexico-semantic frameworks and methodologies derived from them can help understand terms and describe them in resources. It also explains how lexical analysis complements perspectives entirely focused on knowledge. Issues such as term identification, meaning, polysemy, relations between terms, and equivalence are discussed thoroughly and illustrated with various examples taken from different fields of knowledge. This (...) book is intended for readers who are interested in words and need to handle specialized terms as part of their activities, i.e. terminologists, translators, lexicographers, corpus linguists. A background in terminology or lexical semantics is not required since all notions are defined and explained. This book should complement other textbooks on terminology that do not focus on lexical semantics per se. (shrink)

Linguistic Semantics: An Introduction is the successor to Sir John Lyons's important textbook Language, Meaning and Context (1981).While preserving the general structure of the earlier book, the author has substantially expanded its scope to introduce several topics that were not previously discussed, and to take account of new developments in linguistic semantics over the past decade. The resulting work is an invaluable guide to the subject, offering clarifications of its specialised terms and explaining its relationship to formal (...) and philosophical semantics and to contemporary pragmatics. With its clear and accessible style it will appeal to a wide student readership. Sir John Lyons is one of the most important and internationally renowned contributors to the study of linguistics. His many publications include Introduction to Theoretical Linguistics (1968) and Semantics (1977). (shrink)

Semantic priming has been a focus of research in the cognitive sciences for more than 30 years and is commonly used as a tool for investigating other aspects of perception and cognition, such as word recognition, language comprehension, and knowledge representations. Semantic Priming: Perspectives from Memory and Word Recognition examines empirical and theoretical advancements in the understanding of semantic priming, providing a succinct, in-depth review of this important phenomenon, framed in terms of models of memory and models of word (...) recognition. The first section examines models of semantic priming, including spreading activation models, the verification model, compound-cue models, distributed network models, and multistage activation models (e.g. interactive-activation model). The second section examines issues and findings that have played an especially important role in testing models of priming and includes chapters on the following topics: methodological issues (e.g. counterbalancing of materials, choice of priming baselines); automatic vs. strategic priming; associative vs. "pure" semantic priming; mediated priming; long-term semantic priming; backward priming; unconscious priming; the prime-task effect; list context effects; effects of word frequency, stimulus quality, and stimulus repetition; and the cognitive neuroscience of semantic priming. The book closes with a summary and a discussion of promising new research directions. The volume will be of interest to a wide range of researchers and students in the cognitive sciences and neurosciences. (shrink)

Recent philosophy of language has been profoundly impacted by the idea that mainstream, model-theoretic semantics is somehow incompatible with deflationary accounts of truth and reference. The present article systematizes the case for incompatibilism, debunks circularity and “modal confusion” arguments familiar in the literature, and reconstructs the popular thought that truth-conditional semantics somehow “presupposes” a correspondence theory of truth as an inference to the best explanation. The case for compatibilism is closed by showing that this IBE argument fails to (...) rule out two kinds of deflationism: the position Field famously accused Tarski of having; and a less familiar version of the view that defines reference in terms of a deflated notion of truth. Finally, the distinction between unifying and constitutive explanation is used to forestall the response that correspondence theory is literally part of mainstream semantics. (shrink)

The book offers a novel exploration into the semantic development of English terms concerning the concept of 'joy' (bliss, cheer, delight, dream, game, gladness, glee, joy, and mirth). The author adopts a panchronic perspective, according to which language reflects the way speakers experience the world.

Almost forty years ago Richard Montague proposed to analyse natural language with the same tools as formal languages. In particular, he gave formal semantic analyses of several interesting fragments of English in terms of typed logic. This led to the development of Montague grammar as a particular style of formal analysis of natural language.

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)

The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these constructions provide ways to (...) handle various problems related to free choice permission. The main result is a sound and complete axiomatization of the semantics. (shrink)

I examine one of the conceptual cornerstones of the field known as computational neuroscience, especially as articulated in Churchland et al. (1990), an article that is arguably the locus classicus of this term and its meaning. The authors of that article try, but I claim ultimately fail, to mark off the enterprise of computational neuroscience as an interdisciplinary approach to understanding the cognitive, information-processing functions of the brain. The failure is a result of the fact that the authors provide no (...) principled means to distinguish the study of neural systems as genuinely computational/information-processing from the study of any complex causal process. I then argue for two things. First, that in order to appropriately mark off computational neuroscience, one must be able to assign a semantics to the states over which an attempt to provide a computational explanation is made. Second, I show that neither of the two most popular ways of trying to effect such content assignation -- informational semantics and 'biosemantics' -- can make the required distinction, at least not in a way that a computational neuroscientist should be happy about. The moral of the story as I take it is not a negative one to the effect that computational neuroscience is in principle incapable of doing what it wants to do. Rather, it is to point out some work that remains to be done. (shrink)

The property common to three kinds of paradoxes (logical, semantic, and cultural) is the underlying presence of an exclusive disjunction: even when it is put to a check by the paradox, it is still invoked at the level of implicit discourse. Hence the argumentative strength of paradoxical propositions is derived. Logical paradoxes (insolubilia) always involve two contradictory, mutually exclusive, truths. One truth is always perceived to the detriment of the other, in accordance with a succession which is endlessly repetitive. A (...) check is put on the principle of the excluded middle by the logical paradoxes, because self-reference leads to an endlessly repeating circle, out of which no resolution is conceivable. Logical paradoxes are to be compared with the `objective ambiguity' prevalent in oracles (Gallet, 1990). Semantic paradoxes are contextually-determined occurrences, whose resolution at the metalinguistic level is made possible by the discovery of a middle term. They express a wilful ambiguity, in which the interlocutor is invited to take an active part in the construction of sense, since what must be found is the unexpected sense thanks to which A and not-A can be asserted simultaneously. Cultural paradoxes play about doxa (`common sense') and openly challenge common opinion because of their character as inopinata (`unexpected'). My aim is to show that even cultural paradoxes hide sometimes a flaw of argumentation similar to logical or semantic paradox; they too imply an exclusive disjunction leading to the disappearance of the middle terms. Finally, basing myself on the theory of topoi (Anscombre and Ducrot, 1983), a tentative resolution of the cultural paradoxes will be suggested. (shrink)

Over the last fifteen years, linguists and philosophers of language have reexamined the canonical, Kratzerian semantics for modal expressions, with special attention paid to their epistemic and deontic uses. This article is an overview of the literature on deontic modal expressions. Section 1 provides an overview of the canonical semantics, noting some of its main advantages. Section 2 introduces a set of desiderata that have achieved the status of fixed points in the debates about whether the canonical (...) class='Hi'>semantics is correct. These include the observations that deontic modal sentences have both deliberative and evaluative readings and both information-sensitive and -insensitive readings. Adequate resolutions of certain puzzles in deontic logic and resolving the Frege-Geach problem for Expressivism have also achieved this status. The third section provides an opinionated overview of some of the main extant rivals to the canonical semantics, including Cariani, Kaufmann, and Kaufmann’s (2013) complex contextualism , Yalcin’s (2012) Expressivism, Willer’s (2014) dynamic semantics, and Starr’s (2016) dynamic Expressivism. Section 4 provides an assessment of each of the views discussed in terms of the desiderata introduced in section 2. Section 5 is an overview of remaining issues that require more attention in the literature. (shrink)

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

Semantic noise, the effect ensuing from the denotative and thus functional variability exhibited by different terms in different contexts, is a common concern in natural language processing (NLP). While unarguably problematic in specific applications (e.g., certain translation tasks), the main argument of this paper is that failing to observe this linguistic matter of fact as a generative effect rather than as an obstacle, leads to actual obstacles in instances where language model outputs are presented as neutral. Given that a (...) common and long-standing challenge in NLP is the interpretation of ambiguous – i.e., semantically noisy – cases, this article focuses on an exemplar ambiguity-resolution task in NLP: the problem of anaphora in Winograd schemas. The main question considered is: to what extent is the standard approach to disambiguation in NLP subject to a stagnant “image of language”? And, can a transdisciplinary, dynamic approach combining linguistics and philosophy elucidate new perspectives on these possible conceptual shortcomings? In order to answer these questions we explore the term and concept of noise, particularly in its presentation as semantic noise. Owing to its definitional plurality, and sometimes even desirable unspecificity, the term noise is thus used as proof of concept for semantic generativity being an inherent characteristic in linguistic representation, and its concept is used to interrogate assumptions admitted in the resolution of Winograd schemas. The argument is speculative and theoretical in method, and the result is an analysis which provides an account of the fundamentally dialogical and necessarily open-ended effects of semantic noise in natural language. (shrink)

The nature of reference, or the relation of a word to the object to which it refers, has been perhaps the dominant concern of twentieth-century analytic philosophy. Extremely influential arguments by Gottlob Frege around the turn of the century convinced the large majority of philosophers that the meaning of a word must be distinguished from its referent, the former only providing some kind of direction for reaching the latter. In the last twenty years, this Fregean orthodoxy has been vigorously challenged (...) by those who argue that certain important kinds of words, at least, refer directly without need of an intermediate meaning or sense. The essays in this volume record how a long-term study of Frege has persuaded the author that Frege's pivotal distinction between sense and reference, and his attendant philosophical views about language and thought, are unsatisfactory. Frege's perspective, he argues, imposes a distinctive way of thinking about semantics, specifically about the centrality of cognitive significance puzzles for semantics. Freed from Frege's perspective, we will no longer find it natural to think about semantics in this way. (shrink)

More than a century ago, G. E. Moore famously attempted to refute all versions of moral naturalism by offering the open question argument (OQA) followed by the “naturalistic fallacy” charge (NF).1 Although there is consensus that this extended inference fails to undermine all varieties of moral naturalism, OQA is often vindicated as an argument against analytical moral naturalism. By contrast, NF usually finds no takers at all. ln this paper we argue that analytical naturalism of the sort recently proposed by (...) Frank Jackson and Michael Smith does after all rest on a mistake — though perhaps not the NF. Analytical moral naturalism is roughly the doctrine that some moral predicates and sentences are a priori equivalent to predicates and sentences framed in non-moral terms (Jackson 2003: 558). Given moral naturalism, it is at least possible that there are some such a priori or conceptual equivalences. But a properly construed OQA challenges this reductive strategy by showing that it is open to doubt on a priori grounds. We further contend that, in the dialectical context created by our OQA, a "digging in the heeis" defense of the strategy would beg the question. ll.. (shrink)

Understanding the pattern by which complex sentences inherit the presuppositions of their parts (presupposition projection) has been a major topic in formal pragmatics since the 1970s. Heim’s classic paper “On the Projection Problem for Presuppositions” (1983) proposed a replacement of truth-conditional semantics with a dynamic semantics that treats meanings as instructions to update the common ground. Heim’s system predicts the basic pattern of presupposition projection quite accurately. The classic objection to this program (including other versions of dynamic (...) class='Hi'>semantics) is that the treatment of binary connectives is stipulative, and other, equally natural treatments fail to make the right predictions about presupposition projection. I give a variation on Heim’s system that is designed to escape this objection. I show that the most liberal possible version of this variant is equivalent to a strong-Kleene system in terms of its definedness conditions. (shrink)

Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of (...) truth and to fully support the rules and metarules of classical logic, and it is applied to vague terms as well as to theoretical or open-ended terms from mathematics and science. The theory also demonstrates how diachronic or synchronic interpretational continuity across languages is compatible with semantic indeterminacy. (shrink)

Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem of the algebra of regular sets (of strings). They are treated here as nonclassical logics—with Hilbert-style axiomatizations and semantics. We also provide intuitive accounts in terms of information states of the semantics which provide further insights into the formalisms. The three types of "Kripke-style'' semantics which we define develop insights from gaggle theory, and from our four-valued and generalized Kripke semantics (...) for the minimal substructural logic. Soundness and completeness are proven each time. (shrink)

This is an accessible and practical introduction to formal semantics for students new to the subject. Features: * Shows how meanings are built up and interrelated * Provides a progression of exercises with answers at the back of the book * Backs up activities with short, clear explanations * Includes a glossary of technical terms and an appendix on sets and functions.

Like frege, I claim that any singular term (a name, A definite description, Or an indexical) has a sense, And it refers to what satisfies that sense. Unlike frege, I say that this referent is the real world entity that satisfies the said sense in some belief world, Usually, The utterer's. Reference is a function from senses to transworld heirlines. Thus, My token of 'plato' may have a different sense than your token of 'plato', Yet both may refer to plato. (...) My token of 'the f' may have the same sense as your token of 'the f', Yet they may have different referents. My semantics constitutes, I believe, A new argument for the tenability of metaphysical realism. (shrink)

A systematic approach to the algebraic and Kripke semantics for logics with restricted structural rules, notably for logics on an underlying non-distributive lattice, is developed. We provide a new topological representation theorem for general lattices, using the filter space X. Our representation involves a galois connection on subsets of X, hence a closure operator $\Gamma$, and the image of the representation map is characterized as the collection of $\Gamma$-stable, compact-open subsets of the filter space . The original lattice ${\cal (...) L}$ is thus imbedded in the complete lattice of stable sets. The representation is shown to be functorial and is extended to a Stone-type duality. ;In the presence of additional operators, the extension problem is addressed in terms of what we call adjoint completions of normal operators. An operator f on a lattice L is normal if f: $L\sp{} \times \cdots \times L\sp{} \to L\sp{}$ is a monotone map, where each $L\sp{}$, $i \in n$ + 1, is either L or $L\sp{op}$ and f sends finite joins of $L\sp{}$ to joins in $L\sp{}$. Every familiar operator, such as $\circ$ , + , $\gets, \to, \neg, \square$ O is normal. By a uniform argument we show that normal operators $f\sb{i}$ on L extend to operators $F\sb{i}$ on $\Gamma X$ that distribute over arbitrary joins or meets and that \sb{i\in I})$ is a universal such extension. ;We also raise and resolve the question of representability of operators on stable sets by relations. We give an extensive number of examples of representation of specific operators and provide explicit constructions of canonical Kripke frames, based on our extension arguments, for a number of logical systems, notably for Intuitionistic and Classical Linear Logics, or Non-commutative Linear Logic and of fragments thereof. (shrink)

We provide a fine-grained analysis of notions of regret and responsibility (such as agent-regret and individual responsibility) in terms of a language of multimodal logic. This language undergoes a detailed semantic analysis via two sorts of models: (i) relating models, which are equipped with a relation of propositional pertinence, and (ii) synonymy models, which are equipped with a relation of propositional synonymy. We specify a class of strictly relating models and show that each synonymy model can be transformed into (...) an equivalent strictly relating model. Moreover, we define an axiomatic system that captures the notion of validity in the class of all strictly relating models. (shrink)

In his 1975 paper “The Meaning of ‘Meaning’”, Hilary Putnam famously argued for semantic externalism. Little attention has been paid, however, to the fact that already in 1973, Putnam had presented the idea of the linguistic division of labor and the Twin Earth thought experiment in his comment on Wilfrid Sellars’s “Meaning as Functional Classification” at a conference, and Sellars had replied to Putnam from a broadly inferentialist perspective. The first half of this paper aims to trace the development of (...) Putnam’s semantic externalism, situate his debate with Sellars in it, and reconstruct the two arguments he presented against Sellars. The second half of this paper aims to reconstruct how Sellars replied to Putnam. I argue that Sellars not only accepts the social character of language but also suggests how inferentialists can accommodate the contribution of the world. Sellars’s key idea is that substance terms have a “promissory note aspect” which is to be cashed out in a successor conceptual framework. I reconstruct Sellars’s position as ideal successor externalism, and compare it with temporal externalism. (shrink)

Meaning addresses the fundamental question of human language interaction: what it is to mean, and how we communicate our meanings to others. Experienced textbook writer and eminent researcher Betty J. Birner gives balanced coverage to semantics and pragmatics, emphasizing interactions between the two, and discusses other fields of language study such as syntax, neurology, philosophy of language, and artificial intelligence in terms of their interfaces with linguistic meaning.

It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back (...) to Kant and review his understanding of practical judgments, presenting it as supported by a pluralistic semantics. From this perspective a norm of Law is a logical expression that includes as content a generic description of a possible behavior by a generality of juridical agents, and assigns to that content the assertion of its obligatory character, accompanied by a disincentive for non-compliance. From this perspective legal norms can be syntactically formalized and assigned appropriate semantic values in such terms that they can be incorporated into valid inferential schemes. The consequence is that we can put together legal logics that handle both the phenomenal and the deontic dimensions of legality. (shrink)