The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name. It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation, the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology, which provides (...) a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon. The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online. (shrink)

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

It is natural to think that social groups are concrete material particulars, but this view faces an important objection. Suppose the chess club and nature club have the same members. Intuitively, these are different clubs even though they have a common material basis. Some philosophers take these intuitions to show that the materialist view must be abandoned. I propose an alternative explanation. Social groups are concrete material particulars, but there is a psychological explanation of nonidentity intuitions. Social groups appear coincident (...) but nonidentical because they are perceived to be governed by conflicting social norms. (shrink)

The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment.

This paper describes the SNePS knowledge-representation and reasoning system. SNePS is an intensional, propositional, semantic-network processing system used for research in AI. We look at how predication is represented in such a system when it is used for cognitive modeling and natural-language understanding and generation. In particular, we discuss issues in the representation of fictional entities and the representation of propositions from fiction, using SNePS. We briefly survey four philosophical ontological theories of fiction and sketch an epistemological theory of fiction (...) using a story operator and rules for allowing propositions to migrate into and out of story spaces. (shrink)

A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS computational knowledge-representation system, (...) the essay analyzes Keller’s belief that learning that “everything has a name” was the key to her success, enabling her to “partition” her mental concepts into mental representations of: words, objects, and the naming relations between them. It next looks at Herbert Terrace’s theory of naming, which is akin to Keller’s, and which only humans are supposed to be capable of. The essay suggests that computers at least, and perhaps non-human primates, are also capable of this kind of naming. (shrink)

This paper examines the stage-level/individual-level hypothesis (Kratzer 1989; Diesing 1988) from the point of view of modern Scottish Gaelic. This language exhibits two syntactically distinct predicational structures, and in particular, two distinct subject positions distinguishable on the basis of word order. While the distinction between the two positions can be shown to support the stage/individual-level hypothesis in one sense, the picture is muddied by the fact that many habitual or ‘characteristic’ sentences seem to be formed according to the stage-level subject (...) construction type.The solution proposed relies on two novel elements. First, it distinguishes the classical Davisonian event variable from the Kratzerian one hypothesized to be the hallmark of the stage-level sentence type. And secondly, it makes a strict logical separation between two types of generics: generics proper, which involve quantifying over an individual variable; and habituals, which only involve quantification over an event variable. These are represented by two distinct logical types which may nevertheless give rise to similar truth conditions in context.I show that the analysis can be made to account for tense interpretation, the scope of genericity, and the facts of syntactic complementation in Scottish Gaelic. To the extent that the solution is successful, it is evidence for a quite direct mapping between syntactic and semantic representations and for the important intuitions behind the initial Kratzer/Diesing stage vs. individual-level hypothesis. (shrink)

The paper presents an infinite hierarchy of sound and complete axiomatic systems for Two-Dimensional Modal Tense Logic with Historical Necessity, Agents and Acts. A main novelty of these logics is their capacity to represent formally (i) basic action-sentences asserting that such and such an act is performed/omitted by an agent, as well as (ii) causative action-sentences asserting that by performing/omitting a certain act, an agent causes that such and such a state-of-affairs is realized (e.g. comes about/ceases/remains/remains absent). We illustrate how (...) the formal machinery of our systems can be used to reconstruct a number of interesting ideas in the Logic of Agency and Action that have been proposed by authors like von Wright, von Kutschera, Belnap and Segerberg. (shrink)

Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or (...) various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)

The present paper argues that when thematic roles are restricted to judgments about causal properties of events, it falls short of accounting for cases where thematic roles reflect judgments about dispositional properties of objects. I develop my argument with a case study on a class of verbs that have been called ‘Emission Verbs’ and which are difficult to bring in line with the unaccusativity hypothesis put forward by Perlmutter. Reviewing two diametrically opposed accounts of Emission Verbs in the literature, I (...) show that the thematic-semantic relation between the events described by Emission Verbs and their single arguments cannot be characterized unambiguously in terms of causal properties of events but pertains to dispositional properties residing in the emitter argument. The paper develops a lexical-semantic analysis of Emission Verbs according to which the event described by an Emission Verb is the manifestation of the dispositional property of the emitter argument when appropriate external circumstances obtain. The paper concludes by outlining how the proposed dispositional analysis of Emission Verbs may inform the analysis of the causative alternation. (shrink)

The English perfect involves two fundamental components of meaning: a truth-conditional one involving temporal notions and a current relevance presupposition best expressed in terms drawn from the analysis of modality. The proposal made here draws much for the Extended Now theory (McCoard 1978 and others), but improves on it by showing that many aspects of the perfect's meaning may be factored out into independent semantic or pragmatic principles.

In this paper I argue that descriptive content associated with a proper name can serve as a truth-conditionally relevant adjunct and be an additional contribution of the name to the truth-conditions. Definite descriptions the so-and-so associated by speakers with a proper name can be used as qualifying prepositional phrases as so-and-so, so sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so). Used as an adjunct, the descriptive (...) content of a proper name expresses the additional circumstances of an action (a manner, reason, goal, time or purpose) and constitute a part of a predicate. I argue that qualifying prepositional phrases should be analyzed as predicate modifiers and propose a formal representation of modified predicates. The additional truth-conditional relevance of the descriptive content of a proper name helps to explain the phenomenon of the substitution failure of coreferential names in simple sentences. (shrink)

In this paper I concern myself with The Superman Puzzle. I argue that the descriptive content associated with proper names, besides determining the proper name's reference, function as truthconditionally relevant adjuncts which can be used to express a manner, reason, goal, time or purpose of action. In that way a sentence with a proper name NN is doing something could be understood as NN is doing something as NN. I argue that the substitution of names can fail on modified readings (...) because the different descriptive content of proper names modifies the main predicate differently. Here I present a formal representation of modified predicates which allows one to model intuitively the different truth-conditions of sentences from The Puzzle. (shrink)

It has been suggested in the literature about actions that one can honour the philosophical intuition lying behind Davidson’s argument for the Anscombe Thesis (the claim that by-sentences --sentcnccs used to report actions of the general form: ‘A X-ed by V-ing’-- involve two descriptions of the same action) without accepting the argument’s conclusion. The suggestion in question is to interpret by-sentences as referring to two synchronous but different actions of the same agent. I argue that this suggestion, together with two (...) plausible semantic principles about the naming of events and a reasonable metaphysical principle about the constitution of events, leads to certain ontological commitments which are hardly acccptable. My conclusion is then that in order to deny the Anscambe Thesis what must be done is to show that Davidson’s intuition is wrong. (shrink)

ABSTRACTI present a corrective to the formalist and conventionalist down-playing of physical actions in the understanding of the value of sport. I give a necessarily brief account of the Causal Theory of Action and its implications for the normativity of actions. I show that the CTA has limitations, particularly in the case of failed or incomplete actions, and I show that failed or incomplete actions are constitutive of sport. This allows me to open up the space for another model, drawn (...) from Aristotle, for failed or incomplete actions, conceived of as ‘doables.’ This avoids some of the problems of the CTA. I explain the importance of difficult but doable actions, at which athletes often fail, and suggest that this establishes pro tanto value. Finally, I claim that this account of the actions that are constitutive of sport deepens our understanding of the value of sport as a whole. (shrink)

After some brief introductory remarks, I respond to the three commentaries on Conjoining meanings that appear in this issue.

Philosophy and Phenomenological Research, EarlyView.

This paper presents a slightly modified version of the compositional semantics proposed in Events and Semantic Architecture (OUP 2005). Some readers may find this shorter version, which ignores issues about vagueness and causal constructions, easier to digest. The emphasis is on the treatments of plurality and quantification, and I assume at least some familiarity with more standard approaches.

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I think the (...) puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

Davidson conjectured that suitably formulated Tarski-style theories of truth can “do duty” as theories of meaning for the spoken languages that humans naturally acquire. But this conjecture faces a pair of old objections that are, in my view, fatal when combined. Foster noted that given any theory of the sort Davidson envisioned, for a language L, there will be many equally true theories whose theorems pair endlessly many sentences of L with very different specifications of whether or not those sentences (...) are true. And if L includes words ‘true’, then for reasons stressed by Tarski, it’s hard to see how any truth theory for L could be correct. Moreover, each of these concerns amplifies the other. Appealing to possible worlds will not help with Foster’s Problem, for reasons that Chomsky discussed in the 1950s, and appealing to trivalent models of truth will not avoid concerns illustrated with Liar Sentences. (shrink)

I argue that linguistic meanings are instructions to build monadic concepts that lie between lexicalizable concepts and truth-evaluable judgments. In acquiring words, humans use concepts of various adicities to introduce concepts that can be fetched and systematically combined via certain conjunctive operations, which require monadic inputs. These concepts do not have Tarskian satisfaction conditions. But they provide bases for refinements and elaborations that can yield truth-evaluable judgments. Constructing mental sentences that are true or false requires cognitive work, not just an (...) exercise of basic linguistic capacities. (shrink)

The present article is the first of a trilogy of papers, devoted to analysing the influence of semantic Platonism on contemporary philosophy of language. In the present article, I lay out the discussion by contrasting semantic Platonism with two other views of linguistic meaning: the socio-environmental conception of meaning and semantic anti-representationalism. Then, I identify six points in which the impregnation of semantic theory with Platonism can be particularly felt, resulting in shortcomings and inaccuracies of various kinds. These points are (...) the following: the limitations of regarding logico-philosophical analysis as the only working methodology; the tendency to avoid investigating a number of aspects of linguistic meaning; the recurring confusion between sentences, statements, and propositions; the weakness of transcendent assumptions about meaning; the weakness of meaning assumptions adopted on the basis of pure intuition; and inconsistencies caused by some over-eager attempts to escape semantic Platonism. (shrink)

Stit, a sentence form first introduced in Belnap and Perloff (1988), encourages a modal approach to agency. Von Wright, Chisholm, Kenny, and Castañeda have all attempted modal treatments of agency, while Davidson has rejected such treatments. After a brief explanation of the syntax and semantics of stit and a restatement of several of the important claims of the earlier paper, I discuss the virtues of stit against the background of proposals made by these philososphers.

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

The mere fact that ontological debates are possible requires us to address the question, what is it to claim that a certain entity or kind of entity exists—in other words, what do we do when we make an existence-claim? I develop and defend one candidate answer to this question, namely that to make an existence-claim with regard to Fs is to claim that we can refer to Fs. I show how this theory can fulfil the most important explanatory desiderata for (...) a theory of existence; I also defend it against the charges of illegitimate ‘semantic ascent’ and of making existence counterfactually dependent on human linguistic ability. (shrink)

It is typically assumed that actions are events, but there is a growing consensus that negative actions, like omissions and refrainments, are not events, but absences thereof. If so, then we must either deny the obvious, that we can exercise our agency by omitting and refrainment, or give up on event-based theories of agency. I trace the consensus to the assumption that negative action sentences are negative-existentials, and argue that this is false. The best analysis of negative action sentences treats (...) them as quantifying over omissions and refrainments, conceived of as events. (shrink)

It’s generally assumed that, if an agent x acts by ϕ-ing, then there occurs an event which is x’s ϕ-ing. But what about when an agent tries to do something? Are there such things as attempts? The standard answer is ‘Yes’. But in a series of articles, and now a book, David-Hillel Ruben has argued that the answer is ‘No’: what happens when x tries to ϕ isn’t that an attempt occurs; rather, what happens is simply that a certain subjunctive (...) conditional fact obtains; x tries to ϕ just in case, had all the necessary conditions for success obtained, x would have intentionally ϕ-ed. I defend the existence of attempts. Following Ruben, I frame the issue in terms of the logical form of trying sentences. Against Ruben’s view that such sentences express subjunctive conditionals, I argue that they express existential quantifications over attempts qua events. Thus, trying sentences are true only if attempts qua events exist. (shrink)

Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information you have genuinely (...) learned as time has passed. While the second step resembles traditional procedures of updating by conditionalization, the first is best understood by analogy to traditional models of how agents transmit self-locating opinions through ordinary interpersonal communication. (shrink)

Frege's account of opacity is based on two attractive ideas: every meaningful expression has a sense (Sinn) that determines the expression's semantic value (Bedeutung); and the semantic value of a‘that’‐clause is the thought expressed by its embedded sentence. Considerations of compositionality led Frege to a more problematic view: inside ‘that’‐clauses, an expression does not have its customary Bedeutung. But contrary to initial appearances, compositionality does not entail a familiar substitutivity principle. And Fregeans can exploit this point in a way that (...) lets them reject Bedeutung‐shifting. (shrink)

It's widely supposed that unification is an epistemic virtue: the degree to which a theory is unified contributes to its overall confirmation. However, this supposition has consequences which haven't been noted, and which undermine the leading accounts of unification. For, given Hempel's equivalence condition, any epistemic virtue must be such that logically equivalent theories must equally well unify any body of evidence, and logically equivalent bodies of evidence must be equally well unified by any theory. Yet the leading accounts of (...) unification in Bayesian terms, or those in terms of argument patterns, cannot satisfy these constraints conditions. The reason for this runs deep: these accounts of unification make unity depend on factors that vary between equivalent theories: the probabilistic relations of their components, or their relations to argument patterns. The solution is to abandon such accounts and instead adopt an account of unity based on worldly relations such as causation, rather than inferential relations. Such an account effortlessly satisfies the equivalence conditions, and so may describe the epistemic virtue of unity. (shrink)

First-order formalisations are often preferred to propositional ones because they are thought to underwrite the validity of more arguments. We compare and contrast the ability of some well-known logics—these two in particular—to formally capture valid and invalid arguments. We show that there is a precise and important sense in which first-order logic does not improve on propositional logic in this respect. We also prove some generalisations and related results of philosophical interest. The rest of the article investigates the results’ philosophical (...) significance. A first moral is that the correct way to state the oft-cited superiority of first-order logic vis-`a-vis propositional logic is more nuanced than often thought. The second moral concerns semantic theory; the third logic’s use as a tool for discovery. A fourth and final moral is that second-order logic’s transcendence of first-order logic is greater than first-order logic’s transcendence of propositional logic. (shrink)

Certain measurement-related constructions impose a requirement that the measure function used track the part-whole structure of the domain of measurement, so that a given entity or eventuality must have a larger measurement in the chosen dimension than any of its salient proper parts. I provide evidence from English and Chinese that these constructions can be used to measure the intensity of mental states like hatred and love, indicating that in the natural language ontology of such states, intensity correlates with part-whole (...) structure. A natural language metaphysics of psychological intensity meeting this requirement is then developed and integrated into the semantics. Further complications arise when looking at attitudes like want, wish, and regret, which also permit measurements of intensity in the relevant constructions. To account for such attitudes, the ontology and semantics are then enriched in a way that integrates ordering and quantification over possible worlds into the part-whole structure of attitude states, so that even in these more complicated cases, the constructions at hand have a unified compositional semantics. (shrink)

The point of formalisation is to model various aspects of natural language. Perhaps the main use to which formalisation is put is to model and explain inferential relations between different sentences. Judged solely by this objective, a formalisation is successful in modelling the inferential network of natural language sentences to the extent that it mirrors this network. There is surprisingly little literature on the criteria of good formalisation, and even less on the question of what it is for a formalisation (...) to mirror the inferential network of a natural language or some fragment of it. This paper takes some exploratory steps towards a quantitative account of the main ingredient in the goodness of a formalisation. We introduce and critically examine a mathematical model of how well a formalisation mirrors natural-language inferential relations. (shrink)

This paper has two goals. The first is to formulate an adequate account of the semantics of the progressive aspect in English: the semantics of Agatha is making a cake, as opposed to Agatha makes a cake. This account presupposes a version of the so-called Aristotelian classification of verbs in English into EVENT, PROCESS and STATE verbs. The second goal of this paper is to refine this classification so as to account for the infamous category switch problem, the problem of (...) how it is that modification of a verb like run by an adverbial like to the store can turn a PROCESS phrase (run) into an EVENT phrase (run to the store). Views discussed include those of Aqvist, Bach, Bennett, Bennett and Partee, Dowry, Montague and Scott, and Vendler. (shrink)

The purpose of this paper is to propose a satisfying model-theoretic account of the notions of singularity, collective plurality, and distributive plurality expressed by both the nouns and the verbs of Papago according to Mathiot (1983). The approach will be algebraic in the sense of Link (1983). Informally, our proposal is that while English has only one form of plurality, Papago has two: one based on identity and the other on equivalence. The identity-based plural is one that Papago shares with (...) English and other Indo-European languages; the equivalence-based plural, on the other hand, is characteristic of Papago and other Native American languages. The extreme elaboration of the notion of multiplicity expressed in Papago follows from this proposal, given sufficiently rich models and independently motivated principles governing the semantics of roots (Wackernagel 1920; Ojeda 1993; Eschenbach 1993), markedness (Jakobson 1957), and verbs (Davidson 1967; Parsons 1990). (shrink)

This article deals with the semantics of “double-access” sentences. They are defined as English sentences which have a past tense morpheme in the matrix clause and a present tense morpheme in a subordinate clause in the immediate scope of the matrix past tense. They receive a very peculiar interpretation, which we will refer to as a “double-access interpretation.” The episode described in the embedded clause makes reference to two times: the time referred to by the matrix predicate and the utterance (...) time of the whole sentence. Previous studies on this construction are largely descriptive and do not attempt to analyze it formally, with one important exception. Abusch (1991) addresses the problems connected with the construction and proposes that double-access interpretations involvede re attitudes about intervals. Her proposal contains an important insight and provides one possible account of the double-access construction. My proposal was independently developed at approximately the same time as Abusch's and offers an alternative explanation for the phenomena. I consider a series of hypotheses and conclude that double-access readings involvede re attitude reports about state individuals. This account is couched in an eventuality-based framework and employs the techniques proposed by Cresswell and von Stechow (1982). In order to yield the desired reading, the tense must first adjoin to the complement S, then to the matrix S, leaving two traces in the process. (shrink)

This article discusses what may be referred to as ``adjectival relatives''''in Japanese and related constructions in other languages (such asadjectival passives in English). The most intriguing characteristicof this construction is that the verb contained in it occurs in the pasttense form, but its primary role is to describe a state that obtains atthe local evaluation time, rather than the past event that producedthis state. In fact, in some cases, the putative event that presumablyproduced the target state is non-existent, and the (...) entire constructionreceives a purely stative interpretation. In other words, it is possiblefor an adjectival relative to describe a target state without having itstriggering event. The proposal I put forth in the article states that whatI refer to as an adjectival relative does not have a clausal structure.It rather has a verbal projection (technically a Tense Phrase, or TP). Mod(the modifier head) then combined with TP to yield a MP (modifierphrase), which denotes a property of states that appear to have resultedfrom an event the verb describes. In order to reach this conclusion, I adopttwo additional ideas: (i) Kratzer''s (1996) idea that the so-called externalargument of a verb is not really its argument at all; (ii) direct causationdoes not have to be overtly represented in natural language syntax (Bittner1999). Having incorporated these two ideas, the proposal explains therelation between the state that the adjectival relative describes and theputative event as a modal one, thereby accounting for the non-existenceof putative past events in some examples. (shrink)

In this paper, I address a series of arguments recently put forward by Cappelen Review of Philosophy and Psychology 8: 743–762 to the effect that philosophers should not do formal semantics or be concerned with the “minutiae of natural language semantics”. He offers two paths for accessing his ideas. I argue that his arguments fail in favour of the first and cast some doubt on the second in so doing. I then proffer an alternative conception of why exactly philosophers should (...) continue to do formal linguistics which includes both semantics and syntax. (shrink)

This paper examines some aspects of the grammar of measurement based on data from non-split and split measure phrase (MP) constructions in Japanese. I claim that the non-split MP construction involves measurement of individuals, while the split MP construction involves measurement of events as well as of individuals. This claim is based on the observation that, while both constructions are subject to some semantic restrictions in the nominal domain, only the split MP construction is sensitive to restrictions in the verbal (...) domain (namely, incompatibility with single-occurrence events and with individual-level predicates, and (un)availability of collective readings). It is shown that these semantic restrictions can be explained by a uniform semantic constraint on the measure function, namely, Schwarzschild’s [(2002). The grammar of measurement. The Proceedings of Semantics and Linguistics Theory, 24, 241–306] monotonicity constraint. In particular, I argue that, in the two constructions at issue, the measure function is subject to the monotonicity constraint, and that we observe different semantic restrictions depending on whether the measure function applies to a nominal or a verbal domain. (shrink)