•  63
    Roman Suzuko on Situational Identity
    Sorites 15 42-49. 2004.
    This paper gives a semantical account for the (i)ordinary propositional calculus, enriched with quantifiers binding variables standing for sentences, and with an identity-function with sentences as arguments; (ii)the ordinary theory of quantification applied to the special quantifiers; and (iii)ordinary laws of identity applied to the special function. The account includes some thoughts of Roman Suszko as well as some thoughts of Wittgenstein's Tractatus.
  • References
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 285-287. 2006.
  •  146
    Indenumerability and substitutional quantification
    Notre Dame Journal of Formal Logic 23 (4): 358-366. 1982.
    We here establish two theorems which refute a pair of what we believe to be plausible assumptions about differences between objectual and substitutional quantification. The assumptions (roughly stated) are as follows: (1) there is at least one set d and denumerable first order language L such that d is the domain set of no interpretation of L in which objectual and substitutional quantification coincide. (2) There exist interpreted, denumerable, first order languages K with indenumerable domains…Read more
  •  192
    Is heaven a possible world?
    with Douglas Erlandson
    International Journal for Philosophy of Religion 12 (1). 1981.
    The goal of theodicy is to show how God could create our world with all its evil. This paper argues that the theodicist can achieve her goal only if she gives up one of these three propositions: (1) evil does not exist in heaven; (2) heaven is better than the present world; (3) heaven is a possible world. Second, it is argued that the theodicist can reject (3) without giving up her belief that heaven exists, so that (3) is her best alternative.
  •  113
    Nagel, Internalism, and Relativism
    Journal of Philosophical Research 1990 310-319. 1990.
    In this paper we give (1) a new interpretation to Nagel’s THE POSSIBILITY OF ALTRUISM and (2) use that interpretation to show that internalism and anti-realism are compatible, despite appearances to the contrary.
  •  37
    Prior and Lorenzen on Quantification
    Grazer Philosophische Studien 41 (1): 151-173. 1991.
  •  88
    Eternal sentences
    with Stephen H. Voss
    Australasian Journal of Philosophy 54 (1). 1976.
    The paper argues that two apparently attractive conceptions of an eternal sentence are defective. An alternative conception is presented which the authors think allows greater insight into the nature of semantic concepts.
  •  78
    A semantical account of the vicious circle principle
    Notre Dame Journal of Formal Logic 20 (3): 595-598. 1979.
    Here we give a semantical account of propositional quantification that is intended to formally represent Russell’s view that one cannot express a proposition about "all" propositions. According to the account the authors give, Russell’s view bears an interesting relation to the view that there are no sets which are members of themselves.
  •  759
    Pragmatics and indexicality
    Pragmatics Microfiche 1 (4). 1975.
    A conception of pragmatics distinguishes pragmatics from semantics proper in terms of indexicality: semantics is conceived as the quest for a truth definition for languages without indexical expressions; pragmatics is conceived as a quest for a truth definition for languages with indexical expressions. I argue that indexicality is not a feature that can be used to capture anything like what Morris and Carnap had in mind.
  •  1315
    Has Nozick Justified the State?
    Pacific Philosophical Quarterly 62 (4): 411-415. 1981.
    In ANARCY, STATE AND UTOPIA Robert Nozick says that the fundamental question of political philosophy, one that precedes questions about how the state should be organized, is whether there should be any state at all. In the first part of his book he attempts to justify the state. We argue that he is not successful.
  •  141
    Is English inconsistent?
    Erkenntnis 15 (3). 1980.
    The significance of the semantical paradoxes for natural languages is examined. If Tarski’s reflections on the issue are correct, English is inconsistent. Paul Ziff responds to Tarskian reflections by arguing to the conclusion that no natural language is or can be inconsistent. The authors reject Ziff’s argument, but they defend something similar to its conclusion: no language, natural or otherwise, is or can be inconsistent in the way that Tarski holds languages capable of formulating the Epime…Read more
  •  130
    The Lessons of the Liar
    Theory and Decision 11 (1): 55-70. 1979.
    The paper argues that the liar paradox teaches us these lessons about English. First, the paradox-yielding sentence is a sentence of English that is neither true nor false in English. Second, there is no English name for any such thing as a set of all and only true sentences of English. Third, ‘is true in English’ does not satisfy the axiom of comprehension.
  •  53
    Two philosophical theories, mathematical Platonism and nominalism, are the background of six dialogues in this book. There are five characters in these dialogues: three are nominalists; the fourth is a Platonist; the main character is somewhat skeptical on most issues in the philosophy of mathematics, and is particularly skeptical regarding the two background theories.
  •  175
    The Tree Theory and Isomorphism
    Analysis 41 (1): 6-11. 1980.
    A main thesis of Fred Sommers' type theory, is that an isomorphism exists between any natural language and the categories discriminated by that language. Here the author gives an explanation of what this claim comes to. And then it is argued that, so understood, the claim is incompatible with Zermelo-Fraenkel set theory. Finally, it is argued against trying to salvage the isomorphism thesis by appealing to some other set theory.