-
70Modern logic: a text in elementary symbolic logicOxford University Press. 1994.Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Moder…Read more
-
168Marcus and substitutivityTheoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3): 359-374. 2013.El artículo discute la formulación de Marcus del principio de sustituibilidad. Se apoyó en una noción de forma lógica en la que el análisis elimina algunos tipos problemáticos de contexto. Defiendo una formulación variante del principio en la cual los contextos problemáticos se acomodan por derecho propio
-
124Intensional transitive verbsIn Peter Adamson (ed.), Stanford Encyclopedia of Philosophy, Stanford Encyclopedia of Philosophy. 2012.A verb is transitive iff it usually occurs with a direct object, and in such occurrences it is said to occur transitively . Thus ‘ate’ occurs transitively in ‘I ate the meat and left the vegetables’, but not in ‘I ate then left’ (perhaps it is not the same verb ‘left’ in these two examples, but it seems to be the same ‘ate’). A verb is intensional if the verb phrase (VP) it forms with its complement is anomalous in at least one of three ways: (i) interchanging expressions in the complement refer…Read more
-
32IntensionalityAristotelian Society Supplementary Volume 76 75-119. 2002.[Graeme Forbes] In I, I summarize the semantics for the relational/notional distinction for intensional transitives developed in Forbes. In II-V I pursue issues about logical consequence which were either unsatisfactorily dealt with in that paper or, more often, not raised at all. I argue that weakening inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a gorgon', are valid, but that disjunction inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks …Read more
-
196Intensional verbs in event semanticsSynthese 176 (2). 2010.In Attitude Problems, I gave an account of opacity in the complement of intensional transitive verbs that combined neo-Davidsonian event-semantics with a hidden-indexical account of substitution failure. In this paper, I extend the account to clausal verbs
-
2Johan van Benthem, Modal Logic and Classical Logic Reviewed byPhilosophy in Review 7 (2): 88-90. 1987.
-
172I_— _Graeme ForbesAristotelian Society Supplementary Volume 76 (1): 75-99. 2002.[Graeme Forbes] In I, I summarize the semantics for the relational/notional distinction for intensional transitives developed in Forbes (2000b). In II-V I pursue issues about logical consequence which were either unsatisfactorily dealt with in that paper or, more often, not raised at all. I argue that weakening inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a gorgon', are valid, but that disjunction inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseu…Read more
-
IndexicalsIn D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic Vol. 10, Kluwer Academic Publishers. pp. 101--134. 2003.
-
37IndexicalsIn Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Kluwer Academic Publishers. pp. 463--490. 1983.
-
43This paper is part of a longer project on the semantics of depiction verbs and their associated relational nouns. Depiction verbs include verbs for physical acts, such as ‘draw’ (with relational noun ‘drawing’), ‘sketch’, ‘caricature’, ‘sculpt’, ‘write (about)’, and verbs for mental ones, such as ‘visualize’, ‘imagine’, and ‘fantasize’.
-
30Identity and the Facts of the MatterIn Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and Clouds: Vaguenesss, its Nature and its Logic, Oxford University Press. 2010.
-
21Critical Notice of Kit Fine's Modality and Tense: Philosophical PapersPhilosophical Review 117 (2): 275-287. 2008.In this critical review I discuss the main themes of the papers in Kit Fine's Modality and Tense: Philosophical Papers. These themes are that modal operators are intelligible in their own right and that actualist quantifiers are to be taken as basic with respect to possibilist quantifiers. I also discuss a previously unpublished paper of Fine's on modality and existence.
-
147Donnellan on a puzzle about beliefPhilosophical Studies 73 (2-3). 1994.Keith Donnellan has advanced an interpretation of Kripke's well-known "Puzzle About Belief" according to which the puzzle concerns the true nature of beliefs. In this paper I argue that the puzzle merely concerns problems that others can have in "reporting" a confused individual's beliefs. I conclude that a new-Fregean account of belief- ascription is best- equipped to solve the puzzle
-
47Comparatives in Counterpart Theory: Another ApproachAnalysis 54 (1). 1994.The article considers whether arguments involving sentences that make cross-world comparisons ("I could have been taller than I actually am") are better handled by counterpart theory than by standard modal semantics. The author describes a modal object-language in which such statements may be symbolized and gives both a Kripkean and a counterpart-theoretic semantics for it
-
141Critical notice of Kit fine's modality and tense: Philosophical papersPhilosophical Review 117 (2): 275-287. 2008.In this critical review I discuss the main themes of the papers in Kit Fine's Modality and Tense: Philosophical Papers. These themes are that modal operators are intelligible in their own right and that actualist quantifiers are to be taken as basic with respect to possibilist quantifiers. I also discuss a previously unpublished paper of Fine's on modality and existence
-
Belief reports and speech reportsIn M. Anduschus, Albert Newen & Wolfgang Kunne (eds.), Direct Reference, Indexicality, and Propositional Attitudes, Csli Press. pp. 313--30. 1997.
Boulder, Colorado, United States of America