-
16Wittgenstein on Rules and Private Language. An Elementary ExpositionJournal of Symbolic Logic 51 (3): 819-821. 1986.
-
32Alonzo ChurchStanford Encyclopedia of Philosophy. 2021.Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this artic…Read more
-
18Saul A. Kripke. Wittgenstein on rules and private language. An elementary exposition. Harvard University Press, Cambridge, Mass., 1982, x + 150 pp (review)Journal of Symbolic Logic 51 (3): 819-821. 1986.
-
20J. Michael Dunn. Relevance logic and entailment. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 117–224 (review)Journal of Symbolic Logic 57 (2): 752-753. 1992.
-
33Vagueness, ignorance, and margins for errorActa Analytica 17 (2): 19-45. 2002.We argue that the epistemic theory of vagueness cannot adequately justify its key tenet-that vague predicates have precisely bounded extensions, of which we are necessarily ignorant. Nor can the theory adequately account for our ignorance of the truth values of borderline cases. Furthermore, we argue that Williamson’s promising attempt to explicate our understanding of vague language on the model of a certain sort of “inexact knowledge” is at best incomplete, since certain forms of vagueness do …Read more
-
A Family of Conforming Relevant LogicsDissertation, University of California, Los Angeles. 1981.Logic is easily misunderstood, especially relevant logic. Thus the philosopher Peter Geach deplores the current preoccupation with "inconsistent" logic that are non-trivial and yet inconsistent). But what use are these, anyway? And, as for entailment , the concept is well-developed and well-established. Why meddle with it? ;In this work, we do not meddle with logical consequence. Instead, we develop a group of well-behaved logics that are conforming; i.e. that conform to the Boolean Order of Thi…Read more
-
97Review of Jeffrey C. King, The Nature and Structure of Content (review)Notre Dame Philosophical Reviews 2008 (5). 2008.
-
126Logic for Contigent BeingsJournal of Philosophical Research 19 273-329. 1994.One of the logical problems with which Arthur Prior struggled is the problem of finding, in Prior’s own phrase, a “logic for contingent beings.” The difficulty is that from minimal modal principles and classical quantification theory, it appears to follow immediately that every possible object is a necessary existent. The historical development of quantified modal logic (QML) can be viewed as a series of attempts---due variously to Kripke, Prior, Montague, and the fee-logicians---to solve this p…Read more
-
32A note on the decidability of a strong relevant logicStudia Logica 44 (2). 1985.A modified filtrations argument is used to prove that the relevant logic S of [2] is decidable.
-
53Semantics for Natural Kind TermsCanadian Journal of Philosophy 23 (3). 1993.According to the well-known Kripke-Putnam view developed in Naming and Necessity and ‘The Meaning of Meaning’, proper names and ‘natural kind terms’ - words for natural substances, species, and phenomena - are non-descriptional and rigid. A singular term is rigid if it has the same referent in every possible world, and is non-descriptional if, roughly speaking, its referent is not secured by purely descriptive conditions analytically tied to the term. Thus, ‘the inventor of bifocals’ is nonrigid…Read more
-
67Friend on Making Up StoriesProceedings of the Aristotelian Society 113 (3pt3): 365-370. 2013.Stacie Friend (2012) dismisses the traditional view that it is an author's imaginative activity of ‘making the story up’ rather than the reader's make-believe, that is of the essence of fiction. She claims that this view is ‘neither plausible nor popular’. I argue that her claim is false and that her arguments are unconvincing. I argue further in defence of the traditional view that it is quite easy to find or to simply construct counterexamples to the standard view that fiction necessarily invo…Read more
-
159Resolution of some paradoxes of propositionsAnalysis 74 (1): 26-34. 2014.Solutions to Russell’s paradox of propositions and to Kaplan’s paradox are proposed based on an extension of von Neumann’s method of avoiding paradox. It is shown that Russell’s ‘anti-Cantorian’ mappings can be preserved using this method, but Kaplan’s mapping cannot. In addition, several versions of the Epimenides paradox are discussed in light of von Neumann’s method.
-
44Logic for Contigent BeingsJournal of Philosophical Research 19 273-329. 1994.One of the logical problems with which Arthur Prior struggled is the problem of finding, in Prior’s own phrase, a “logic for contingent beings.” The difficulty is that from minimal modal principles and classical quantification theory, it appears to follow immediately that every possible object is a necessary existent. The historical development of quantified modal logic (QML) can be viewed as a series of attempts---due variously to Kripke, Prior, Montague, and the fee-logicians---to solve this p…Read more
-
37The completeness of SStudia Logica 38 (2). 1979.The subsystem S of Parry's AI [10] (obtained by omitting modus ponens for the material conditional) is axiomatized and shown to be strongly complete for a class of three valued Kripke style models. It is proved that S is weakly complete for the class of consistent models, and therefore that Ackermann's rule is admissible in S. It also happens that S is decidable and contains the Lewis system S4 on translation — though these results are not presented here. S is arguably the most relevant relevant…Read more
-
23Review: Saul A. Kripke, Wittgenstein on Rules and Private Language. An Elementary Exposition (review)Journal of Symbolic Logic 51 (3): 819-821. 1986.
-
On direct referenceIn Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan, Oxford University Press. pp. 167-195. 1989.
-
149Diagonalization and truth functional operatorsAnalysis 70 (2): 215-217. 2010.(No abstract is available for this citation)
-
23Review: J. Michael Dunn, Relevance Logic and Entailment (review)Journal of Symbolic Logic 57 (2): 752-753. 1992.
-
9Making Up StoriesIn Thomas Anthony Hofweber Everett (ed.), Empty Names, Fiction, and the Puzzles of Non-existence, Csli Publications. pp. 149-182. 2000.
-
145Semantic analysis of natural kind termsTopoi 13 (1): 25-30. 1994.This paper develops a model theoretic semantics for so called “natural kind terms” that reflects the viewpoint of (Kripke, 1980) and (Putnam, 1975). The semantics generates a formal counterpart of the “K-mechanism” investigated in (Salmon, 1981) and in unpublished work by Keith Donnellan
Normal, Illinois, United States of America
Areas of Specialization
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Areas of Interest
Aesthetics |
20th Century Philosophy |