-
420The problem of factives for sense theoriesAnalysis 71 (4): 654-662. 2011.This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establi…Read more
-
20XIII—Scepticism and Semantic KnowledgeProceedings of the Aristotelian Society 84 (1): 223-240. 1984.
-
18Worlds and States of Affairs: How Similar Can They Be?In Kevin Mulligan (ed.), Language, Truth and Ontology, Kluwer Academic Publishers. pp. 118--132. 1992.
-
3Time, Events, and ModalityIn Robin Le Poidevin & Murray MacBeath (eds.), The Philosophy of time, Oxford University Press. pp. 80-95. 1993.
-
116Substitutivity and the Coherence of Quantifying InPhilosophical Review 105 (3): 337-372. 1996.This paper is about the cluster of issues that orbit a well-known thesis of Quine’s, as it applies to attitude ascriptions
-
12Review: Richard L. Epstein, Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanislaw Krajewski, Roger D. Maddux, The Semantic Foundations of Logic. Volume 1: Propositional Logics (review)Journal of Symbolic Logic 56 (4): 1499-1500. 1991.
-
12"Thoughts: An Essay on Content" by Christopher Peacocke (review)Philosophy and Phenomenological Research 49 (1): 178. 1988.
-
Truth, Correspondence and RedundancyIn G. Macdonald & C. Wright (eds.), Fact, Science and Morality: Essays on A. J. Ayer's Language, Truth & Logic, Blackwell. 1986.
-
83
-
155Thisness and vaguenessSynthese 54 (2): 235-259. 1983.This paper is about two puzzles, or two versions of a single puzzle, which deserve to be called paradoxes, and develops some apparatus in terms of which the apparently conflicting principles which generate the puzzles can be rendered consistent. However, the apparatus itself is somewhat controversial: the puzzles are modal ones, and the resolution to be advocated requires the adoption of a counterpart theoretic semantics of essentially the kind proposed by David Lewis, which in turn requires qua…Read more
-
30 (e.g., Quine ), the main symptom of the unintelligibility of de re modal language is said to be the failure of coreferential “singular terms” to interchange salva veritate within the scope of modal operators. From this it is supposed to follow..
-
63Physicalism, instrumentalism and the semantics of modal logicJournal of Philosophical Logic 12 (3). 1983.The delicate point in the formalistic position is to explain how the non-intuitionistic classical mathematics is significant, after having initially agreed with the intuitionists that its theorems lack a real meaning in terms of which they are true (S. C. Kleene, 1952)
-
40This paper in revised form appears in Facta Philosophica 5:1 (2003) 4975. It addresses some problems about intensional transitives raised by Moltmann and Zimmerman, corrects some oversights in my paper in The Proceedings of the Aristotelian Society (S.V. for 2002), and adds new material on binary vs. tripartite construals of “relational/notional”, bridge inferences, weakening inferences, and the relevance problem. Its other sections are, like the PASS paper, concerned with the conjunctive force…Read more
-
26Prior on Logic, Language, and the WorldDialogue 39 (3): 579-. 2000.This volume of twenty-two original papers commemorates the twentieth anniversary of Arthur Prior’s death. Eight of the papers are based on presentations at a conference held in New Zealand to the same end. The contents testify to the range of Prior’s interests and influence. After an informative biographical sketch by Copeland, which emphasizes Prior’s early discovery of accessibility-relation semantics and its ability to prove the soundness of modal systems of various strengths, there follows a…Read more
-
66On the philosophical basis of essentialist theoriesJournal of Philosophical Logic 10 (1): 73-99. 1981.
-
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
Boulder, Colorado, United States of America