Situation Semantics

There is an emerging view according to which countability is not an integral part of the lexical meaning of singular count nouns, but is ‘added on’ or ‘made available’, whether syntactically, semantically or both. This view has been pursued by Borer and Rothstein among others in order to deal with classifier languages such as Chinese as well as challenges to standard views of the mass-count distinction such as object mass nouns such as furniture. I will discuss a range of data, (...) partly from German, that such a grammar-based view of countability receives support when applied to verbs with respect to the event argument position. Verbs themselves fail to specify events as countable in English and related languages; instead countability is made available only by the use of the event classifier time or else particular lexical items, such as frequency expressions, German beides ‘both’, or the nominalizing light noun -thing. The paper will not adopt or elaborate a particular version of the grammar-based view of countability, but rather critically discuss existing versions and present two semantic options of elaborating the view. (shrink)

Deictic (or pointing) gestures are traditionally known to have a simple function: to supply something as the referent of a demonstrative linguistic expression. I argue that deixis can have a more complex function. A deictic gesture can be used to _say something_ in conversation and can thereby become a full discourse move in its own right. To capture this phenomenon, which I call _rich demonstration_, I present an update semantics on which deictic gestures can indicate situations from a conversation’s context (...) and those situations coherently connect to prior discourse to generate information. (shrink)

Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

The propositional view of communication states that every literal assertoric utterance of an indicative sentence expresses a proposition, and the audience understands those utterances only if she entertains the proposition(s) the speaker expressed. According to an important objection due to Ray Buchanan, the propositional view is ill‐equipped to handle meaning underdeterminacy. Using resources from situation semantics and MacFarlane's nonindexical contextualism, this article develops a view of literal communication close to the propositional view which overcomes Buchanan's underdeterminacy considerations while accounting for (...) the kind of indifference that typically characterizes speakers' intentions. (shrink)

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

Kit Fine distinguishes between inexact and exact truthmaking. He argues that the former can be defined from the latter, but not vice versa, and so concludes that truthmaker semanticists should treat the exact variety of truthmaking as primitive. I argue that this gets things backwards. We can define exact truthmaking in terms of inexact truthmaking and we can’t define inexact truthmaking in terms of exact truthmaking. I conclude that it’s inexact truthmaking, rather than exact truthmaking, that truthmaker semanticists should treat (...) as the primitive semantic relation. (shrink)

This article examines genealogical investigations in an attempt to explain what they are, how they work, and what purpose they serve. It is a critique of Robert Brandom’s view of genealogists as naïve semanticists who believe that normative thinking, as it relates to all forms of epistemic inquiry and language use, is reducible to naturalistic causes. This reduction, Brandom claims, is hopelessly misguided and semantically incoherent since genealogies are not epistemically neutral in that “they count no more and no less,” (...) as Habermas put it, than the traditional accounts of moral phenomena that they seek to replace. Nietzsche’s “story” of the origin of guilt in On the Genealogy of Morals is thus not even a useful fiction but merely meaningless. My analysis shows that Brandom’s understanding of genealogy is rather simplistic. While genealogists are naturalists insofar as they attempt to discover the specific historical causes that gave rise to current normative practices, they are neither reductive empiricists nor first-stage semanticists, as Brandom calls them, but multidimensional power-pragmatists. (shrink)

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

Indirect speech reports can be true even if they attribute to the speaker the saying of something weaker than what she in fact expressed, yet not all weakenings of what the speaker expressed yield true reports. For example, if Anna utters ‘Bob and Carla passed the exam’, we can accurately report her as having said that Carla passed the exam, but we can not accurately report her as having said that either it rains or it does not, or that either (...) Carla passed the exam or pandas are cute. This paper offers an analysis of speech reports that distinguishes weakenings of what the speaker expressed that yield true reports from weakenings that do not. According to this analysis, speech reports are not only sensitive to the informational content of what the speaker expressed, but also to the possibilities a speaker raises in making an utterance. As I argue, this analysis has significant advantages over its most promising competitors, including views based on work by Barwise and Perry : 668–691, 1981), views appealing to recent work on the notion of content parthood by Fine :199–226, 2016) and Yablo, and Richard’s : 605–616, 1998) proposal appealing to structured propositions. (shrink)

This paper presents a systematic semantic study of constructions with the noun 'case'. It argues that 'cases' are situations acting as truthmakers within a sentential or epistemic case space. It develops a truthmaker-based alternative semantics of 'case'-constructions, based on Fine's recent truthmaker semantics.

NPs with intensional relative clauses such as 'the book John needs to write' pose a significant challenge for semantic theory. Such NPs act like referential terms, yet they do not stand for a particular actual object. This paper will develop a semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that a more standard analysis based on the notion of an individual concept would face. Most importantly, unlike (...) the latter, the proposed analysis can be carried over NPs such as 'the number of people that fit into the bus', which describe tropes (particularized properties). (shrink)

A reply to Fine’s critique of Aboutness. Fine contrasts two notions of truthmaker, and more generally two notions of “state.” One is algebraic; states are sui generis entities grasped primarily through the conditions they satisfy. The other uses set theory; states are sets of worlds, or, perhaps, collections of such sets. I try to defend the second notion and question some seeming advantages of the first.

Bishop sentences such as “If a bishop meets a bishop, he blesses him” have long been considered problematic for the descriptivist (or E-type) approach of donkey anaphora (e.g. Evans, 1977; Heim, 1990; and Neale, 1990). Elbourne (2005) offers a situational descriptivist analysis that allegedly solves the problem, and furthermore extends its explanatory coverage to bishop sentence with coordinate subjects. However, I throw serious doubts on Elbourne’s analysis. Specifically, I argue that the purported solution is committed to the use of unbound (...) anaphora, and it cannot sustain the claimed empirical adequacy. (shrink)

This paper assesses the prospects of a pragmatist theory of content. I begin by criticising the theory presented in D.H. Mellor’s essay ‘Successful Semantics’. I then identify problems and lacunae in the pragmatist theory of meaning sketched in Chapter 13 of Dummett’s The Logical Basis of Metaphysics. The prospects are brighter, I contend, for a tempered pragmatism, in which the theory of content is permitted to draw upon irreducible notions of truth and falsity. I sketch the shape of such a (...) theory and illustrate the role of its pragmatist elements by showing how they point towards a promising account of the truth conditions of indicative conditionals. A feature of the account is that it validates Modus Ponens whilst invalidating Modus Tollens. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).

In their chapter, Bourmayan and Recanati discuss the intransitive use of 'eat' and cognate verbs which take (on such uses) an indefinite implicit argument. Sometimes, Recanati pointed out in early work, the implicit argument of intransitive 'eat' seems definite ; there are also seemingly anaphoric and bound uses. How to account for them ? Recanati's early account invoked free enrichment, but Marti's negation test provides counter-examples to that account. Bourmayan and Recanati offer a new, situation-theoretic account, show that it can (...) handle the negation data, and discuss the implications of the account for the Recanati-Stanley debate over for the semantics/pragmatics interface. (shrink)

As one of the world's most eminent living philosophers, John Perry has covered a remarkable breadth of subjects in his published work, including semantics, indexicality, self-knowledge, personal identity, and consciousness. Looking particularly at the way in which he deals with issues of self, communication, and reality, this volume is organized in seven chapters that highlight a different aspect of Perry's work on the intersection of these subjects. A fundamental work for students and scholars, Identity, Language, and Mind explores questions that (...) are not only essential in understanding Perry's writings, but also contemporary philosophy as a whole. (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)

This article first appeared in "Encyclopedia of Language and Linguistics 2nd Edition," Keith Brown, ed., pp. 398-401, Elsevier, Amsterdam, 2006.

An information-based approach to natural language semantics. Formulated by Jon Barwise and John Perry in their influential book Situations and Attitudes (1983), it is built upon the notion of a 'situation' --- a limited part of the real world that a cognitive agent can individuate and has access to. A situation represents a lump of information in terms of a collection of facts. It is through the actualist ontology of situations that the meaning of natural language utterances can be elucidated.

A distinction is drawn between situations as indices required for semantically evaluating sentences and situations as denotations resulting from such evaluation. For atomic sentences, possible worlds may serve as indices, and events as denotations. The distinction is extended beyond atomic sentences according to formulae-as-types and applied to implicit quantifier domain restrictions, intensionality and conditionals.

Quand nous utilisons le langage, nous nous appuyons sur le fait que les expressions linguistiques ont une signification. Comment cela fonctionne-t-il? La signification se reduit-elle a l'information? Y a-t-il un intermediaire entre le langage et le monde? Les significations sont-elles dans la tete? Ces questions sont abordees en partant des conceptions heritees de Frege et de Russell jusqu'a la semantique bidimensionnelle de Chalmers, en passant par les debats sur la reference des noms propres et des termes d'espece naturelle. Le livre (...) presente egalement la demarche de la semantique formelle, depuis les travaux precurseurs de Montague jusqu'a la semantique des situations de Barwise et Perry, tout en interrogeant sa pertinence pour une analyse philosophique de la signification. (shrink)

Analogy-making is finding analogies between different situations. In this paper, we provide a new model of computational analogy-making which uses Situation Theory as its formal background. Situation Theory is a semantic and logical theory which provides a naturalistic way to represent relations in situations. The system described in this paper is aimed at solving analogy problems made by basic geometric figures in a chessboard-like environment.

Review of Millikan's book Varieties of Meaning (MIT Press/Bradford Books, 2004).

Can we solve the problem of the essential indexical, and account for de se belief, by appealing to 'relativized propositions' (functions from rich indices to truth-values)? According to John Perry, we cannot. This paper offers a detailed examination and a critique of Perry's argument.

Unbound anaphoric pronouns or ‘E-type pronouns’ have presented notorious problems for semantic theory, leading to the development of dynamic semantics, where the primary function of a sentence is not considered that of expressing a proposition that may act as the object of propositional attitudes, but rather that of changing the current information state. The older, ‘E-type’ account of unbound anaphora leaves the traditional notion of proposition intact and takes the unbound anaphor to be replaced by a full NP whose semantics (...) is assumed to be known (e.g. a definite description). In this paper, I argue that there are serious problems with any version of the E-type account as well as the (original form of the) dynamic account. I will explore a new account based on structured propositions, which can be considered a conservative extension of a traditional proposition-based semantics, but which at the same time incorporates some crucial insights of the dynamic account. (shrink)

In modal logic, propositions are evaluated relative to possible worlds. A proposition may be true relative to a world w, and false relative to another world w'. Relativism is the view that the relativization idea extends beyond possible worlds and modalities. Thus, in tense logic, propositions are evaluated relative to times. A proposition (e.g. the proposition that Socrates is sitting) may be true relative to a time t, and false relative to another time t'. In this paper I discuss, and (...) attempt to rebut, two classical objections to Relativism. The first objection, due to Frege, is the objection from incompleteness. I distinguish two possible relativist responses to that objection, one of which corresponds to the view I actually defend : Moderate Relativism. The second objection is due to Mark Richard, who argued that the objects of belief cannot be relativistic. I show that that objection can be met within the Moderate Relativist framework. In the last section, I deal with special forms of disagreement that have loomed large in recent discussions of Relativism. (shrink)

This paper develops the notion of a situated part structure and applies it to the semantics of the modifiers 'whole' and 'individual'. It argues that the ambiguity of 'whole' should be traced to two different conceptions of part structures of objects being at play: one according to which the parts of an objects are just the material parts and another, Aristotelian conception according to which the parts of an object include properties of form.

A summary of my book *Oratio Obliqua, Oratio Recta*, published by MIT Press in 2000 ('Representation and Mind' series).

Here, S is a sentence—or possibly a smaller or larger unit of meaningful expression for a language—that's written by an author and c is the circumstance in which S is used. R is defined as the language conventions holding between an author and a reader (or better yet, his readership). P, probably the most important part of the equation, is the content of S or, the intended meaning of the author. We assume that the communication between an author and a (...) reader is limited only to written text. Consequently, it is not possible to ask the author about his intention for writing S; that will have to be discovered by a reader. (shrink)

This is the guest editor's introduction to a JETAI special issue on philosophical foundations of AI.

An investigation into 'Austinian semantics'. Every utterance is said to express an 'Austinian proposition' consisting of a situation and a fact the situation is presented as supporting. A more recent statement of the theory is to be found in *Oratio Obliqua, Oratio Recta: an Essay on Metarepresentation* (MIT Press/Bradford Books, 2000).

In this special issue of Minds and Machines ("Situations and Artificial Intelligence") we take a close look at recent situation-theoretic research which has mostly originated within a philosophical framework but promises to have strong connotations for Artificial Intelligence workers. The seven papers which make up this special issue (three of the papers appear in Minds and Machines 9(1)) demonstrate the advantages of the situation-based approach towards problems with a definite AI flavor.

On Crimmins and Perry’s account of propositional attitude ascription (1989), beliefs are concrete cognitive structures—particulars ("things in the head") that belong to an agent and that have a lifetime. They are related to the world and to other cognitive structures and abilities, allowing one to classify the latter by propositional content. Containing ideas and notions as constituents, beliefs are structured entities. The difference between notions and ideas is the difference between an agent’s ways of thinking about individuals vs. properties.

At the heart of natural language processing is the understanding of context dependent meanings. This paper presents a preliminary model of formal contexts based on situation theory. It also gives a worked-out example to show the use of contexts in lifting, i.e., how propositions holding in a particular context transform when they are moved to another context. This is useful in NLP applications where preserving meaning is a desideratum.

Every statement represents a certain state of affairs as holding in a certain situation, which the statement concerns. The situation which a statement concerns is indicated by the context. It must be distinguished from whichever situation may be explicitly mentioned in the statement. In this framework, two cognitive processes are analysed: projection and reflection. Both involve two representations: one which concerns a situation s, and another one which explicitly mentions that situation. Through reflection we go from the representation concerning s (...) to the representation mentioning s. Through projection we go from the representation mentioning s to the representation concerning s. (shrink)

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

The importance of contextual reasoning is emphasized by various researchers in AI. (A partial list includes John McCarthy and his group, R. V. Guha, Yoav Shoham, Giuseppe Attardi and Maria Simi, and Fausto Giunchiglia and his group.) Here, we survey the problem of formalizing context and explore what is needed for an acceptable account of this abstract notion.

In the first part of this paper I present a defence of the Austinian semantic approach to incomplete quantifiers and similar phenomena (section 2-4). It is part of my defence of Austinian semantics that it incorporates a cognitive dimension (section 4). This cognitive dimension makes it possible to connect Austinian semantics to various cognitive theories of discourse interpretation. In the second part of the paper (sections 5-7), I establish connections between Austinian semantics and four particular theories: • the theory of (...) reference and modes of presentation in terms of information files (see e.g. Perry 1993), • the theory of discourse interpretation as involving a process of context selection (see Sperber and Wilson 1986), • the theory of informational structure (for a survey, see Lambrecht 1994), • the theory of mental spaces (Fauconnier 1985). (shrink)

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has only recently started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics (...) to artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

We focus on how we should define the relevance of information to a context for information processing agents, such as oracles. We build our formalization of relevance upon works in pragmatics which refer to contextual information without giving any explicit representation of context. We use a formalization of context (due to us) in Situation Theory, and demonstrate its power in this task. We also discuss some computational aspects of this formalization.

This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...) the field even compared his work to a `Rube Goldberg machine.' Muskens' work does away with such unnecessary complexities, obtains a streamlined version of the theory, shows how partialising the theory automatically provides us with the most central concepts of Situation Semantics, and offers a simple logical treatment of propositional attitude verbs, perception verbs and proper names. (shrink)

The issue of context arises in assorted areas of Artificial Intelligence. Although its importance is realized by various researchers, there is not much work towards a useful formalization. In this paper, we will present a preliminary model (based on Situation Theory) and give examples to show the use of context in various fields, and the advantages gained by the acceptance of our proposal.

Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.

Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.

This is a brief reply to Herbert A. Simon's fine paper "Literary Criticism: A Cognitive Approach," Stanford Humanities Review, Special Supplement (Bridging the Gap: Where Cognitive Science Meets Literary Criticism), vol. 4, no. 1, pp. 1-26, Spring 1994.