This article advances the first semantics that is neither for nor against a default implicational link between the progressive and perfective forms, when it comes to solving the imperfective paradox. Depending on the doxastic context of its use, we contend that the progressive form sometimes allows and sometimes does not allow the inference of the corresponding simple form. In other words, the preparatory phase of an event might or might not be believed to lead to its culmination. Indeed, the context (...) can put constraints on beliefs about the time of the culmination and whether or not it allows this inference to be made. From a formal perspective, this new solution to the imperfective paradox combines a specific modal approach with an event-structure analysis originating in event semantics. Finally, this approach solves the associated difficulties that have plagued the most well-known theories in this field. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

This paper offers a new unified theory about the meaning of the imperfective and progressive aspects that builds on earlier of analyses in the literature that treat the imperfective as denoting a universal quantifier (e.g. Bonomi, Linguist Philos, 20(5):469–514, 1997; Cipria and Roberts, Nat Lang Semant 8(4):297–347, 2000). It is shown that the problems associated with such an analysis can be overcome if the domain of the universal quantifier is taken to be a partition of a future extending interval into (...) equimeasured cells. Treating the partition-measure (the length of each partition-cell) as a contextually dependent variable allows for a unified treatment of the habitual and event-in-progress readings of the imperfective. It is argued that the contrast between the imperfective and the progressive has to do with whether the quantifier domain is a regular partition of the reference interval or a superinterval of the reference interval. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

The thesis that mental states are physical states enjoys widespread popularity. After the abandonment of typeidentity theories, however, this thesis has typically been framed in terms of state tokens. I argue that token states are a philosopher’s fiction, and that debates about the identity of mental and physical state tokens thus rest on a mistake.

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)

This paper is a critical examination of Vendler's well-known aspectual classes (states, activities, accomplishments, achievements). It is argued that it not classes that play a role in the explanation of aspectual phenomena but rather some specific semantic factors from which aspectual classes can be constructed, in particular factors inherent to the (lexical) verb and to the determiners of noun phrases.

In this paper, we argue that same is fundamentally different from different, in that same imposes a discourse condition on eventualities, while different compares individuals. This difference has not been noted in previous literature. Furthermore, in the literature on same, there has been a persistent puzzle about the contribution of the definite article with which same must co-occur. We show that this puzzle is resolved once the contribution of same is adjusted to apply to eventualities: then the definite article can (...) be interpreted in the usual way, as generating a presupposition about individuals. (shrink)

Tema je ovoga teksta u širem smislu osvrt na odnos logike i lingvistike. U užem smislu tekst će se u prvome dijelu osvrnuti na teme i instrumentarij, a u drugom na povijest formalne semantike. Recepcija formalnosemantičkih radova na našim područjima nema čvršću tradiciju, kao ni primjena formalnih metoda na proučavanje jezika, pa se i stoga čini korisnim ukazati na njezine dosege. Formalna semantika inspirativno je i plodonosno interdisciplinarno polje istraživanja koje je od 70-tih godina 20. stoljeća iznimno uspješno povezivalo istraživanja (...) lingvista, logičara i filozofa.Broadly, the subject of this paper is the relation between logic and linguistics. More narrowly, it concentrates on formal semantics. The first part of the text discusses the topics and methods of formal semantics, and the second part the history of formal semantics. Formal semantic analysis has not been widely known and applied in our research community, and formal methods have been applied extremely rarely in linguistic analyses. This is why it is useful to point out the significant achievements of formal semantics. This inspiring interdisciplinary field of research has been successfully connecting research in linguistics, logic and philosophy since the early 1970s. (shrink)

This is the first part of a larger project that aims to develop a cross-categorical semantic account of a broad range of _as if_ constructions in English. In this paper, we focus on descriptive uses of _as if_ with regular truth-conditional content. The core proposal is that _as if_-phrases contribute hypothetical (_if_-like) and comparative (_as_-like) properties of situations, which are instantiated by an event, state, or larger situation when it resembles in some relevant respect its counterparts in selected stereotypical worlds (...) described by the clause embedded under _as if_. We motivate and develop this situation-semantic analysis in detail for examples like _Pedro danced as if he was possessed by demons_ where the modifying _as if_-adjunct is used to inferentially convey the manner of a reported activity. We extend this analysis to _as if_-complements of perception verbs in reports like _The soup tastes as if it contains fish sauce_, offering an alternative to conceptually problematic approaches that assimilate such perceptual resemblance reports to propositional attitude ascriptions. We also examine the predicative function of _as if_ in examples like _The state of the house is as if a tornado passed through it_ where the _as if_-phrase denotes a hypothetical comparative property of the nominal subject. (shrink)

Recent Neo-Davidsonian accounts of the semantics of progressive constructions of action verbs reflect an ontological distinction between processes or incomplete events on the one hand, and complete events on the other. This paper has two goals. First, it attempts to show that this putative ontological distinction is beset with problems. The second goal of this paper is to offer the beginnings of a positive proposal that seeks to show how the ontologically austere Davidsonian can account for the truth conditions of (...) progressive constructions without the need for an enriched ontology. (shrink)

In this paper we examine interactions of the reciprocal with distributive and collective operators, which are encoded by prefixes on verbs expressing the reciprocal relation: namely, the Czech distributive po and the collectivizing na-. The theoretical import of this study is two-fold. First, it contributes to our knowledge of how word-internal operators interact with phrasal syntax/semantics. Second, the prefixes po and na generate (a range of) readings of reciprocal sentences for which the Strongest Meaning Hypothesis (SMH) proposed by Dalrymple et (...) al. (1998) does not make the right predictions. The distributive prefix po prefers the Strong Reciprocity reading, although the SMH predicts that a weakening should take place, while with the prefix na we find cases where weaker reciprocal readings are preferable to the stronger ones predicted by the SMH. This behavior of po and na is, we propose, due to the way in which they modulate two factors that are crucial in the interpretation of reciprocal sentences: (i) the relevant subpluralities in the group denoted by the reciprocal's antecedent, and (ii) the strength of reciprocal relations. We provide a detailed analysis of the semantics of the prefixes po and na and their contribution to the meaning of reciprocal sentences within the general framework of event semantics with lattice structures. (shrink)

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)

There are numerous occasions on which we need to reason about a finite number of events. And we often need to consider only those events which are given or which we perceive. These give rise to the Criteria of Finiteness and Closedness. Allen's logic provides a way of reasoning about events. In this paper I examine Allen and Hayes' axiomatisation of this logic, and develop two other axiomatisations based on the work by Russell and Thomason. I shall show that these (...) three axiomatisations are weakly equivalent, and that only the last two meet the Criteria of Finiteness and Closedness (to different degrees). I shall then examine two ways of constructing instants of time in a finite and closed world, i.e. the Russell construction and the Thomason construction. I shall prove that these two constructions are equivalent under certain conditions. (shrink)