-
16Review: Nicholas Rescher, Temporal Modalities in Arabic Logic (review)Journal of Symbolic Logic 38 (2): 325-326. 1973.
-
20University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998Bulletin of Symbolic Logic 5 (3). 1999.
-
99Representing Discourse in ContextIn J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language, Elsevier. 1997.
-
42The Philosophical Significance of Intensional LogicAristotelian Society Supplementary Volume 49 (1). 1975.
-
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.
-
Conditionals in dr theoryIn Jakob Hoepelman (ed.), Representation and reasoning: proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming, M. Niemeyer Verlag. 1988.
-
76VaguenessIn 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
-
323Events, 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.
-
55Quantifiers 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.
Austin, Texas, United States of America