-
322Events, instants and temporal referenceIn Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds.), Semantics From Different Points of View, Springer Verlag. pp. 376--418. 1979.
-
196From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation TheoryKluwer Academic Publishers. 1993.Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...
-
129IV*—Free Choice PermissionProceedings of the Aristotelian Society 74 (1): 57-74. 1974.Hans Kamp; IV*—Free Choice Permission, Proceedings of the Aristotelian Society, Volume 74, Issue 1, 1 June 1974, Pages 57–74, https://doi.org/10.1093/aristoteli.
-
99Representing Discourse in ContextIn Benthem & Meulen (eds.), Handbook of Logic and Language, Mit Press. 1997.
-
81Ups and Downs in the theory of temporal referenceLinguistics and Philosophy 30 (5): 565-635. 2007.This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as…Read more
-
81Natural languages are vehicles of information, arguably the most important, certainly the most ubiquitous that humans possess. Our everyday interactions with the world, with each other and with ourselves depend on them. And even where in the specialised contexts of science we use dedicated formalisms to convey information, their use is embedded in natural language.1..
-
78Using Proper Names as Intermediaries Between Labelled Entity RepresentationsErkenntnis 80 (2): 263-312. 2015.This paper studies the uses of proper names within a communication-theoretic setting, looking at both the conditions that govern the use of a name by a speaker and those involved in the correct interpretation of the name by her audience. The setting in which these conditions are investigated is provided by an extension of Discourse Representation Theory, MSDRT, in which mental states are represented as combinations of propositional attitudes and entity representations . The first half of the pap…Read more
-
73VaguenessIn Maria Aloni & Paul Jacques Edgar Dekker (eds.), The Cambridge Handbook of Formal Semantics, Cambridge University Press. pp. 389-441. 2016.Vagueness is an ultimate challenge. An enormous diversity of literature on the topic has accumulated over the years, with no hint of a consensus emerging. In this light, Section 1 presents the main aspects of the challenge vagueness poses, focusing on the category of adjectives, and then gives some brief illustrations of the pervasive manifestations of vagueness in grammar.Section 2 deals with theSorites paradox, which for many philosophers is th…Read more
-
71A calculus for first order discourse representation structuresJournal of Logic, Language and Information 5 (3-4): 297-348. 1996.This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory. Since the inferences that human language users draw from the verbal input they receive for the most transcend the capacities of such a system, it can be no more than a basis on which more powerful systems, which are capable of producing those inferences, may then be built. Nevertheless, even within the general setting of first order logic the structure of the formulas of DRS-lan…Read more
-
53Quantifiers Defined by Parametric ExtensionsJournal of Philosophical Logic 46 (2): 169-213. 2017.This paper develops a metaphysically flexible theory of quantification broad enough to incorporate many distinct theories of objects. Quite different, mutually incompatible conceptions of the nature of objects and of reference find representation within it. Some conceptions yield classical first-order logic; some yield weaker logics. Yet others yield notions of validity that are proper extensions of classical logic.
-
48Context, Thought and CommunicationProceedings of the Aristotelian Society 85. 1985.Hans Kamp; XIII*—Context, Thought and Communication, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 239–262, https://doi.org/10.
-
42Wright Georg Henrik von. “And next.” Studia logico-mathematica et philosophica, in honorem Rolf Nevanlinna die natali eius septuagesimo 22. X. 1965. Acta philosophica Fennica, no. 18, Helsinki 1965, pp. 293–304.von Wright G. H.. “And then.” Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 32 no. 7, Helsinki 1966, 11 pp.von Wright G. H.. Quelques remarques sur la logique du temps et les systèmes modales. “Scientia,” vol. 102 , pp. 2–8 (review)Journal of Symbolic Logic 35 (3): 459-460. 1970.
-
42The links of causal chainsTheoria 88 (2): 296-325. 2022.Theoria, Volume 88, Issue 2, Page 296-325, April 2022.
-
39The Philosophical Significance of Intensional LogicAristotelian Society Supplementary Volume 49 (1). 1975.
-
28John E. Clifford. Tense logic and the logic of change. Logique et analyse, n.s. vol. 9 , pp. 219–230Journal of Symbolic Logic 36 (2): 327-328. 1971.
-
25Context-dependence in the analysis of linguistic meaning (edited book)Elsevier. 2004.Does context and context-dependence belong to the research agenda of semantics - and, specifically, of formal semantics? Not so long ago many linguists and philosophers would probably have given a negative answer to the question. However, recent developments in formal semantics have indicated that analyzing natural language semantics without a thorough accommodation of context-dependence is next to impossible. The classification of the ways in which context and context-dependence enter semantic …Read more
-
24Review: Georg Henrik von Wright, "And Next."; G. H. von Wright, "And Then."; G. H. von Wright, Quelques Remarques sur la Logique du Temps et les Systemes Modales (review)Journal of Symbolic Logic 35 (3): 459-460. 1970.
-
22These notes contain the material covered in the second level logic course which has been offered at the Institut für Maschinelle Sprachverarbeitung of the University of Stuttgart on an annual basis since 1992. The course is aimed at students who are familiar with the notation and use of the first order predicate calculus but have had little or no previous exposure to metamathematics.
-
20University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998Bulletin of Symbolic Logic 5 (3). 1999.
-
17XIII*—Context, Thought and CommunicationProceedings of the Aristotelian Society 85 (1): 239-262. 1985.Hans Kamp; XIII*—Context, Thought and Communication, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 239–262, https://doi.org/10.
-
16Review: Nicholas Rescher, Temporal Modalities in Arabic Logic (review)Journal of Symbolic Logic 38 (2): 325-326. 1973.
-
15Nicholas Rescher. Temporal modalities in Arabic logic. Foundations of language, Supplementary series, vol. 2. D. Reidel Publishing Company, Dordrecht, Holland, 1967, ix + 50 pp (review)Journal of Symbolic Logic 38 (2): 325-326. 1973.
-
14Robert P. McArthur. Tense logic. Synthese library, vol. 111. D. Reidel Publishing Company, Dordrecht and Boston1976, vii + 84 pp (review)Journal of Symbolic Logic 45 (1): 184-185. 1980.
Austin, Texas, United States of America