Temporal Externalism posits the counterintuitive claim that the semantic properties of terms are influenced not only by present and past linguistic practices but also by future linguistic practices. In this paper, I primarily introduce a new challenge to Temporal Externalism, arguing that it presupposes a meta-belief about future linguistic practices but fails to explain how this belief relates to future properties. I then briefly highlight that Jussi Haukioja’s recent defense of Temporal Externalism still does not address the (...) challenges posed by this meta-belief. Therefore, I conclude that Temporal Externalism is untenable. (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)

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel (...) class='Hi'>semantic account of plurals which dispenses with plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

Over the last decade, AI models of language and word meaning have been dominated by what we might call a statistics-of-occurrence, strategy: these models are deep neural net structures that have been trained on a large amount of unlabeled text with the aim of producing a model that exploits statistical information about word and phrase co-occurrence in order to generate behavior that is similar to what a human might produce, or representations that can be probed to exhibit behavior similar to (...) what a human might produce (meaningsemblant behavior). Examples of what we can call Statistics-of-Occurrence Models (SOMs) include: Word2Vec (CBOW and Skip-Gram), BERT, GPT-3, and, most recently, ChatGPT. Increasingly, there have been suggestions that such systems have semantic understanding, or at least a proto-version of it. This paper argues against such claims. I argue that a necessary condition for a system to possess semantic understanding is that it function in ways that are causally explainable by appeal to its semantic properties. I then argue that SOMs do not plausibly satisfy this Functioning Criterion. Rather, the best explanation of their meaning-semblant behavior is what I call the Statistical Hypothesis: SOMs do not themselves function to represent or produce meaningful text; they just reflect the semantic information that exists in the aggregate given strong correlations between word placement and meaningful use. I consider and rebut three main responses to the claim that SOMs fail to meet the Functioning Criterion. The result, I hope, is increased clarity about why and how one should make claims about AI systems having semantic understanding. (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)

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)

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in fact (...) is. On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in (...) the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

The concept of narrow content is still under discussion in the debate over mental representation. In the paper, one-factor dimensional accounts of representation are analyzed, particularly the case of Fodor's methodological solipsism. In methodological solipsism, semantic properties of content are arguably eliminated in favor of syntactic ones. If “narrow content” means content properties independent of external factors to a system (as in Segal's view), the concept of content becomes elusive. Moreover, important conceptual problems with one-factor dimensional account (...) are pointed out as a result of analysis arguments presented by J. Searle, S. Harnad and T. Burge. Furthermore, these problems are illustrated with psychological and ethological examples. Although understanding content as partially independent from contextual factors allows theorists to preserve content properties, it seems that understanding content in total abstraction from external factors of these properties is implausible. As a result, internalism is rejected in favor of externalism. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and (...) degrees is considerably more marginal than generally held. (shrink)

Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the adjointness (...) between abstraction (of theories) and interpretation (to obtain models), mathematically accounts for knowing-within-mathematics. Here we show that mathematical knowing recapitulates--in an elementary form--ordinary cognition. The process of going from particulars (physical stimuli) to their concrete models (conscious percepts) via abstract theories (mental concepts) and measured properties (neural coding) is common to both mathematical knowing and ordinary cognition. Our investigation of the similarity between knowing-within-mathematics and knowing-in-general leads us to make a case for the development of the basic science of cognition in terms of the functorial semantics of mathematical knowing. (shrink)

In this paper, I focus on the alleged distinction between speaker’s reference and semantic reference. I begin by discussing Saul Kripke’s notion of speaker’s reference and the theoretical roles it is supposed to play, arguing that they do not justify the claim that reference comes in two different sorts and highlighting that Kripke’s own definition makes the notion incompatible with the nowadays widely endorsed Gricean project, which aims at explaining semantic reference in terms of speaker’s reference. I then (...) examine an alternative account of speaker’s reference offered by Michael Devitt within his causal theory and express some doubts about its suitability for explaining proper name semantic reference. From all this, I conclude that there is at least some tension between Kripke’s chain of communication picture and the attempt to explain (Griceanly, so to say) semantic properties in terms of speakers’ mental states. (shrink)

There is something peculiar about aesthetic testimony. It seems more difficult to gain knowledge of aesthetic properties based solely upon testimony than it is in the case of other types of property. In this paper, I argue that we can provide an adequate explanation at the level of the semantics of aesthetic language, without defending any substantive thesis in epistemology or about aesthetic value/judgement. If aesthetic predicates are given a non-invariantist semantics, we can explain the supposed peculiar difficulty with (...) aesthetic testimony. (shrink)

In recent years, there has been a growing interest in truthmaker semantics as a framework for understanding a range of phenomena in philosophy and linguistics. Despite this interest, there has been limited study of the various logics that arise from the semantics. This paper aims to address this gap by exploring numerous ‘truthmaker logics’ and proving their compactness and decidability. This is in continuation with the inquiry of Fine and Jago (2019), who proved compactness and decidability for a particular kind (...) of truthmaker logic. The key results going into this are (1) ‘standard translations’ into first-order logic; (2) a truthmaker analogue of the finite model property; and (3) a proof showing that truthmaker consequence on semilattices coincides with truthmaker consequence on complete lattices. Finally, the connection with modal logic is examined. Specifically, it is illustrated how endowing truthmaker semantics with classical negation results in modal information logics. (shrink)

Situated semantics can be regarded as an attempt at placing situational context (context of situation) at the center of all discussions of meaning. Situation theory is a theory of information content that takes context very seriously. Individuals, properties, relations, and spatiotemporal locations are basic constructs of situation theory. Individuals are conceived as invariants; having properties and standing in relations, they tend to persist in time and space. An anchoring function binds the location parameters to appropriate objects present in (...) the grounding situation. Anchoring plays a major role in the working of constraints that include nomic constraints, conventional constraints and conditional constraints. Situation semantics develops a theory of meaning that is based on relations between situations. Situation semantics provides a fundamental framework for realistic semantics. The ideas emerging from research into situation semantics have been combined with linguistic work and have led to numerous useful proposals. (shrink)

There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away (...) with semantics entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)

Abstract I argue that good and right are gradable adjectives as that is understood in the current linguistic theory of gradable adjectives. According that theory, gradable adjectives do not denote properties but contribute meaning in a different yet cognitive way; and if that applies to good and right, then those words contribute meaning and provide evaluativity and normativity by means other than denoting properties. If that is true, significant consequences follow for metaethics, both because of the lack of (...) properties good and right, and because of specific features of the gradable adjective semantics. I outline the theory of good and right as gradable adjectives and explore some of those consequences, attempting to give a sense of what changes we may expect in metaethics. (shrink)

This paper attempts to answer whether the property of “efficacy” can be attributed to constitutive rules. In particular, according to Di Lucia, I will point out some problems that the “semantic conception of efficacy” has concerning constitutive and regulative rules. Then, the main goal of the paper will be to reflect on the possibility of the efficacy of constitutive rules by means of a complex case that the semantic conception seems to disregard: The case of the cheater. Does (...) the action of the cheater show the inefficacy of constitutive rules? Does she play the game while breaking the rule? Can the semantic conception of efficacy explain this situation, or do we need a more flexible concept of efficacy that takes nomotropism into account? These are some of the questions I will try to answer. (shrink)

This paper develops an update semantics for weak necessity modals like ‘ought’ and ‘should’. I start with the basic approach to the weak/strong necessity modal distinction developed in Silk 2018: Strong necessity modals are given their familiar semantics of necessity, predicating the necessity of the prejacent of the actual world (evaluation world). The apparent “weakness” of weak necessity modals derives from their bracketing the assumption that the relevant worlds in which the prejacent is necessary (deontically, epistemically, etc.) need be candidates (...) for actuality. ‘Should φ’ can be accepted without needing to settle that the relevant considerations (norms, preferences, expectations, etc.) that actually apply, given the facts, verify the necessity of φ. I formalize these ideas within an Update with Centering framework. The meaning of ‘Should φ’ is explained, fundamentally, in terms of how its use updates attention toward possibilities in which φ is necessary. The semantics is also extended to deontic conditionals. The proposed analyses capture various contrasting logical properties and discourse properties of ‘should’ and ‘must’ — e.g., in sensitivities to standing contextual assumptions, entailingness, and force — and provide an improved treatment of largely neglected data concerning information-sensitivity. (shrink)

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a (...) real property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Our manuscript addresses the foundational question of cognitive science: how do we know? Specifically, examination of the mathematics of acquiring mathematical knowledge revealed that knowing-within-mathematics is reflective of knowing-in-general. Based on the correspondence between ordinary cognition (involving physical stimuli, neural sensations, mental concepts, and conscious percepts) and mathematical knowing (involving objective particulars, measured properties, abstract theories, and concrete models), we put forward the functorial semantics of mathematical knowing as a formalization of cognition. Our investigation of the similarity between mathematics (...) and cognition led us to argue against the compartmentalization of scientific knowledge and ordinary cognition, and make a case for the understanding of the basic science of knowing in terms of functorial semantics. Recognizing functorial semantics as an elementary form of cognition can help advance cognitive science the way calculus helped in the advancement of physics. (shrink)

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

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)

What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whether we know or will ever know what this nature is. However, it does not (...) seem like-wise convincing that all artifactual kind terms (like “pen-cil,” “chair,” “television,” etc.) semantically behave the same. Terms for artifactual kinds seem more likely to be subjected to a descriptivist view, that is, definable not by links to their extensions' nature but in terms of conjunctions or clusters of properties. In his celebrated “The Meaning of ‘Meaning’” (1975), Hilary Putnam originated the mentioned debate by arguing that artifactual kind terms also refer directly. Thus, the discussion ultimately revolves around establishing whether artifactual and natural kind terms are both directly referential expressions. The authors engaged in this debate have tried to argue in favor of (or against) Putnam's proposal by highlighting the similarities (or differences) between nat-ural vis-à-vis artifactual kind words and their respective ref-erents. This paper aims to provide a thorough and reasoned overview of the debate at stake, pointing out trends and problems associated with each proposed account. (shrink)

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)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector (...) models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

In this paper, we outline an approach to giving extensional truth-theoretic semantics for what have traditionally been seen as opaque sentential contexts. We outline an approach to providing a compositional truth-theoretic semantics for opaque contexts which does not require quantifying over intensional entities of any kind, and meets standard objections to such accounts. The account we present aims to meet the following desiderata on a semantic theory T for opaque contexts: (D1) T can be formulated in a first-order extensional (...) language; (D2) T does not require quantification over intensional entities­i.e., meanings, propositions, properties, relations, or the like­in its treatment of opaque contexts; (D3) T captures the entailment relations that hold in virtue of form between sentences in the language for which it is a theory; (D4) T has a finite number of axioms. If the approach outlined here is correct, it resolves a longstanding complex of problems in metaphysics, the philosophy of mind and the philosophy of language. (shrink)

This paper examines the prospects for a conceptual or functional role theory of moral concepts. It is argued that such an account is well-placed to explain both the irreducibility and practicality of moral concepts. Several versions of conceptual role semantics for moral concepts are distinguished, depending on whether the concept-constitutive conceptual roles are wide or narrow normative or non-normative and purely doxastic or conative. It is argued that the most plausible version of conceptual role semantics for moral concepts involves only (...) ‘narrow’ conceptual roles, where these include connections to motivational, desire-like, states. In the penultimate section it is argued, contrary to what Wedgwood, Enoch and others have claimed, that such an account of moral concepts cannot plausibly be combined with the claim that moral concepts refer to robust properties. (Published with Open Access.). (shrink)

We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics (...) of a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (shrink)

1. The primary evidence and motivation for externalism in the philosophy of mind is provided by the semantic facts that support direct reference theories of names, indexi- cal pronouns, and natural kind terms. But many externalists have forgotten their sem- antic roots, or so I shall contend here. I have become convinced of this by a common reaction among externalists to the main argument of my 1991 paper AAnti-Individual- ism and Privileged Access.@ In that argument, I concluded that externalism (...) is incompat- ible with the principle that we can have privileged, non-empirical knowledge of the contents of our own thoughts. The reaction in question amounts to a dismissive denial of one of my argument=s main premises. This premise, which I defended at length in the paper, is that an externalist thesis regarding a cognitive property should hold that possession of the property by a person _logically_, or _conceptually_, implies the existence of objects external to that person. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound (...) and complete three-sided sequent calculus for this expressively rich theory. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

Semantic theories of fictional names generally presuppose, either explicitly or implicitly, that fictional predicates are guaranteed a referent. I argue that this presupposition is inconsistent with anti-realist theories of fictional characters and that it cannot be taken for granted by realist theories of fictional characters. The question of whether a fictional name refers to a fictional character cannot be addressed independently of the much-neglected question of whether a fictional predicate refers to a fictional property.

When in 1980, on the Third Amsterdam Colloquium, Johan van Benthem read a paper with the title ‘Why is Semantics What?’ (cf. [1]), I was puzzled: Wasn’t it obvious what semantics is? Why did our concept of it stand in need of justification? Later, much later, I came to appreciate what Van Benthem was doing in this paper (and in some others). Questioning the ‘standard model’, the assumptions on which the working semanticists silently agree, Van Benthem opened up a space (...) of issues to be discussed, questions to be asked, routes to be explored, that had been hidden from view by the unreflective endorsement of just one possible, albeit fruitful way of doing semantics. History, by the way, has proven him right on many points: the monolithic approach that dominated formal semantics of natural language in the seventies, and which relied heavily on Montague’s seminal papers, has given way to a multitude of different ways of tackling semantic issues, using different formal techniques. Some limitations, in particular the almost exclusive focus on sentences as the primary units of analysis, have been overcome. In another respect, however, I feel that the message of Van Benthem’s paper has not caught on sufficiently. He urges semanticists to take more interest in the properties of their tools, arguing that such questions are important if we are to come to a real, deep understanding of what semantics is. Such ‘meta-level’ considerations, although certainly less scarce than they used to be, are still not an everyday concern of the working semanticist. (shrink)

This paper puts forward an argument for a systematic, technical approach to formulation in verbal interaction. I see this as a kind of expansion of Sacks’ membership categorization analysis, and as something that is not offered (at least not in a fully developed form) by sequential analysis, the currently dominant form of conversation analysis. In particular, I suggest a technique for the study of “occasioned semantics,” that is, the study of structures of meaningful expressions in actual occasions of conversation. I (...) propose that meaning and rhetoric be approached through consideration of various dimensions or operations or properties, including, but not limited to, contrast and co-categorization, generalization and specification, scaling, and marking. As illustration, I consider a variety of cases, focused on generalization and specification. The paper can be seen as a return to some classical concerns with meaning, as illuminated by more recent insights into indexicality, social action, and interaction in recorded talk. (shrink)

ABSTRACT -/- A propositional attitude (PA) is a belief, desire, fear, etc., that x is the case. This dissertation addresses the question of the semantic content of a specific kind of PA-instance: an instance of a belief of the form all Fs are Gs. The belief that all bachelors are sports fans has this form, while the belief that Spain is a country in Eastern Europe do not. Unlike a state of viewing the color of an orange, a belief-instance (...) is semantically contentful because it has reference, a meaning, logical implications, or a truth-value. While the intrinsic semantics view holds that either concepts or abstract objects are the source of content for PAs, the extrinsic semantics view holds that symbols of a mental language provide this content. I argue that a successful theory of intentionality must explain: (1) the truth-preserving causal powers of PAs, (2) the failure of the deductive principle Substitutivity to preserve truth over sentences that ascribe PAs, and (3) the truth-evaluability of PAs. As an internalist version of the extrinsic semantics view, I first evaluate Fodor’s Computational Theory of Mind, which says the semantic ingredients of mental states are symbols governed by rules of a mental syntax. I argue that in order to meet (1), CTM would have to associate the causal patterns of each thought-type with the inferential relations of some proposition – in an arbitrary or question-begging way. I also evaluate Fodor’s causal theory, as an externalist version of the extrinsic semantics view. This view is that lawlike causal relations between mental symbols and objects determine the reference, and thus the truth-value, of a thought. I argue that Brian Loar’s circularity objection refutes the ability of this theory to meet (3); and I endorse the intrinsic semantics perspective. I evaluate Frege’s theory of abstract, mind-external, and intrinsically semantic objects (senses), as an attempt to meet condition (2). I conclude that mind-external universals are the source of the intrinsically semantic features of concepts. Finally, I put forth a theory called ‘Bare Property Intentionality’, which describes the features of intrinsically representative and semantic concepts that connect them to these universals. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...) ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

The well-known Principle of Plenitude has it that everything that exists in some possible world exists in the actual world. I argue for an amended version of this principle: If there’s a possible world in which something lacks some positive property, then there’s an object in the actual world that lacks that property. That is, all positive universally held properties in the actual world are necessarily universally held. This rules out that for some positive property, everything in the actual (...) world merely happens to have it. After having presented and defended the argument, I show that it has a wide range of corollaries, such as that there are mereologically simple and composite things, physical and non-physical things, caused and uncaused things, and contingent and necessarily existing things. The argument has three premises. The first premise is the thesis that there are no things that do not exist. The second premise is a Fregean theory of linguistic meaning. According to the third premise, two meanings coincide if and only if their reference sets coincide. The notion of a reference set is defined in the paper. (shrink)

This paper gives a perspectival overview of the semantics of potential property-referring terms and presents new and surprising generalizations about explicit property-referring terms like 'the property of being wise', which raise fundamental issues regarding ontology and learnability and a core-periphery distinction in natural language ontology.

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

As formal theoretical linguistic methodology has matured, recent years have seen the advent of applying it to objects of study that transcend language, e.g., to the syntax and semantics of music (Lerdahl & Jackendoff 1983, Schlenker 2017a; see also Rebuschat et al. 2011). One of the aims of such extensions is to shed new light on how meaning is construed in a range of communicative systems. In this paper, we approach this goal by looking at narrative dance in the form (...) of Bharatanatyam. We argue that a semantic approach to dance can be modeled closely after the formal semantics of visual narrative proposed by Abusch (2013, 2014, 2021). A central conclusion is that dance not only shares properties of other fundamentally human means of expression, such as visual narrative and music, but that it also exhibits similarities to sign languages and the gestures of non-signers (see, e.g., Schlenker 2020) in that it uses space to track individuals in a narrative and performatively portray the actions of those individuals. From the perspective of general human cognition, these conclusions corroborate the idea that linguistic investigations beyond language (see Patel-Grosz et al. forthcoming) can yield insights into the very nature of the human mind and of the communicative devices that it avails. (shrink)

This paper gives a perspectival overview of the semantics of potential property-referring terms and presents new and surprising generalizations about explicit property-referring terms like 'the property of being wise', which raise fundamental issues regarding ontology and learnability and a core-periphery distinction in natural language ontology.

More than a century ago, G. E. Moore famously attempted to refute ethical naturalism by offering the so-called open question argument (OQA), also charging that all varieties of ethical naturalism commit the naturalistic fallacy. Although there is consensus that OQA and the naturalistic-fallacy charge both fail, OQA is sometimes vindicated, but only as an argument against naturalistic semantic analyses. The naturalistic-fallacy charge, by contrast, usually finds no takers at all. This paper provides new grounds for an OQA thus restricted. (...) But it aims chiefly at vindicating a version of the naturalistic fallacy, „the semantic-naturalist fallacy‟ (SNF), that we think defensible. We first argue that the openness of the question OQA raises against such analyses hinges on self-ascriptive, comparative judgments of content, which may be considered a priori warranted. We then provide independent reasons for the claim that the sort of mistake committed by naturalistic analyses in fact amounts to a pragmatic fallacy of a kind familiar in petitio principii and other forms of viciously circular inference. Of interest here are naturalistic analyses of ethical terms or concepts, not of properties. Our OQA (OQA*) raises an objection to the former. For no such semantic analyses can get off the ground unless moral terms are content-equivalent to purely descriptive terms, which amounts to saying that they must instantiate the same semantic types. Suppose „good‟ is the analysandum and „pleasure maximizing‟ the analysans (whichever purely descriptive term or terms would turn out to be the correct descriptive analysis of the target analysandum) of a certain semantic analysis. The claim that such terms are content-equivalent appears to be open to doubt on a priori grounds. After 1 all, whether one‟s own tokens of „good‟ and „pleasure maximizing‟ have/don‟t have the same content is a first-person, comparative judgment of content. Evaluating the proposed analysis requires, then, a self-ascriptive, comparative judgment of content.1 Judgments of this sort are thought to have a special epistemic status, since they seem grounded in neither evidence nor inference.. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about the (...) class='Hi'>properties of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical basis of (...) the structural-ontological analysis. In this case, understanding of an event was considered in the context of the definition adopted in computer science – a change in the object properties registered by the observer. -/- Results. The negative nature of space realizes itself in the subject-object structure, the components interaction of which is characterized by a change – a key property of the system under study. Observer’s registration of changes is accompanied by spatial focusing (situational concretization of the field of changes) and relating of its results with the field of potentially distinguishable changes (subjective knowledge about «changing world»). The indicated correlation performs the function of space identification in terms of recognizing its properties and their subjective significance, depending on the features of the observer`s motivational sphere. As a result, the correction of the actual affective dynamics of the observer is carried out, which structures the current perception of space according to principle of the semantic fractal. Fractalization is a formation of such a subjective perception of space, which supposes the establishment of semantic accordance between the situational field of changes, on the one hand, and the worldview, as well as the motivational characteristics of the observer, on the other. -/- Conclusions. Performed structural-ontological analysis of the system formed by the interaction of the perceptual function of the psyche and the semantic field of the language made it possible to conceptualize the space as a field of changes potentially distinguishable by the observer, structurally organized according to the principle of the semantic fractal. The compositional features of the fractalization process consist in fact that the semantic fractal of space is relevant to the product of the difference between the situational field of changes and the field of potentially distinguishable changes, adjusted by the current configuration of the observer`s value-needs hierarchy and reduced by his actual affective dynamics. (shrink)

We intoduce a novel extension of Description Logics (DLs) of typicality by means of probabilities able to represent and reason about typical properties and defeasible inheritance in DLs.

The paper argues that the assumption that there are property designators, together with two theoretically innocent claims, leads to a puzzle, whose solution requires us to reject the position that all (canonical) property designators are rigid. But if we deny that all (canonical) property designators are rigid, then the natural next step is to reject an abundant conception of properties and with it the suggestion that properties are the semantic values of predicates.

I argue that the dispute between two leading theories of interpretation of legal texts, textual originalism and textual evolutionism, depends on the false presupposition that changes in the way a word is used necessarily require a change in the word’s meaning. Semantic externalism goes a long way towards reconciling these views by showing how a word’s semantic properties can be stable over time, even through vicissitudes of usage. I argue that temporal externalism can account for even more (...) semantic stability, however. Temporal externalism is the theory that the content of an utterance at time t may be determined by developments in linguistic usage subsequent to t. If this semantic theory is correct, then the originalist and evolutionist positions effectively collapse. Originalism is correct in that the original meaning of the text is the meaning that is binding on jurists, but evolutionism is vindicated, as it is the current practices and standards that determine the meaning the text now has, and has always had. Objections to temporal externalism, and to its application to the interpretation of legal texts, are considered and addressed. (shrink)