•  317
    Is Moral Relativism Consistent?
    Analysis 45 (1): 40-44. 1985.
    Let C1 and C2 be distinct moral codes formulated in English. Let C1 contain a norm N and C2 its negation. The paper construes the moral relativist as saying that if both codes are consistent, then, in the strongest sense of correctness applicable to moral norms, they are also both correct in the sense that they contain only correct moral norms. If we believe that the physical statements of English are true (false) in English, we will reject an analogous statement made of physical theories. We wi…Read more
  •  107
    Expressions and Tokens
    Analysis 41 (4): 181-187. 1981.
    The purpose of this paper is to uncover and correct several confusions about expressions, tokens and the relations between them that crop up in even highly sophisticated writing about language and logic.
  • Editor's Introduction
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 11-21. 2006.
  •  423
    Domains of Discourse
    Logique Et Analyse 117 (17): 173-176. 1987.
    Suppose there is a domain of discourse of English, then everything of which any predicate is true is a member of that domain. If English has a domain of discourse, then, since ‘is a domain of discourse of English’ is itself a predicate of English and true of that domain, that domain is a member of itself. But nothing is a member of itself. Thus English has no domain of discourse. We defend this argument and go on to argue to the same conclusion without relying on the supposition that English is …Read more
  •  80
    Frege on identities
    History and Philosophy of Logic 21 (3): 195-205. 2000.
    The idea underlying the Begriffsschrift account of identities was that the content of a sentence is a function of the things it is about. If so, then if an identity a=b is about the content of its contained terms and is true, then a=a and a=b have the same content. But they do not have the same content; so, Frege concluded, identities are not about the contents of their contained terms. The way Frege regarded the matter is that in an identity the terms flanking the symbol for identity do not hav…Read more
  • Chapter 9: Thesis Two
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 241-253. 2006.
  •  99
    Did the greeks discover the irrationals?
    Philosophy 74 (2): 169-176. 1999.
    A popular view is that the great discovery of Pythagoras was that there are irrational numbers, e.g., the positive square root of two. Against this it is argued that mathematics and geometry, together with their applications, do not show that there are irrational numbers or compel assent to that proposition.
  •  58
    This book says Prior claims: (1) that a sentence never names; (2) what a sentence says cannot be otherwise signified; and (3) that a sentence says what it says whatever the type of its occurrence; (4) and that quantifications binding sentential variables are neither eliminable, substitutional, nor referential. The book develops and defends (1)-(3). It also defends (4) against the sorts of strictures on quantification of such philosophers as Quine and Davidson.
  •  39
    Various authors of logic texts are cited who either suggest or explicitly state that the Gödel incompleteness result shows that some unprovable sentence of arithmetic is true. Against this, the paper argues that the matter is one of philosophical controversy, that it is not a mathematical or logical issue.
  • Chapter 10: Thesis Three
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 254-283. 2006.
  • Chapter 1: Introduction
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 35-42. 2006.
  •  474
    Are All Tautologies True?
    Logique Et Analyse 125 (125-126): 3-14. 1989.
    The paper asks: are all tautologies true in a language with truth-value gaps? It answers that they are not. No tautology is false, of course, but not all are true. It also contends that not all contradictions are false in a language with truth-value gaps, though none are true.
  • Chapter 3: Objectivism and Realism in Frege's Philosophy of Arithmetic
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 73-101. 2006.
  •  401
    Bound Variables and Schematic Letters
    Logique Et Analyse 95 (95): 425-429. 1981.
    The paper purports to show, against Quine, that one can construct a language , which results from the extension of the theory of truth functions by introducing sentence letter quantification. Next a semantics is provided for this language. It is argued that the quantification is neither substitutional nor requires one to consider the sentence letters as taking entities as values.
  • Chapter 4: The Peano Axioms
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 105-128. 2006.
  • Chapter 2: Notes to Grundlagen
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 45-72. 2006.
  •  49
    In this book a non-realist philosophy of mathematics is presented. Two ideas are essential to its conception. These ideas are (i) that pure mathematics--taken in isolation from the use of mathematical signs in empirical judgement--is an activity for which a formalist account is roughly correct, and (ii) that mathematical signs nonetheless have a sense, but only in and through belonging to a system of signs with empirical application. This conception is argued by the two authors and is critically…Read more
  •  24
    Crowell on Nietzsche on Truth
    International Studies in Philosophy 19 (2): 19-28. 1987.
  • Analytical Table of Contents
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 31-33. 2006.
  • Chapter 5: Existence, Number, and Realism
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 129-155. 2006.
  •  33
    A fregean principle
    History and Philosophy of Logic 19 (3): 125-135. 1998.
    Frege held that the result of applying a predicate to names lacks reference if any of the names lack reference. We defend the principle against a number of plausible objections. We put forth an account of consequence for a first-order language with identity in which the principle holds
  • Chapter 8: Thesis One
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 215-240. 2006.
  • Chapter 6: Arithmetic and Necessity
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 159-182. 2006.
  • Are all Tautologies True?
    Logique Et Analyse 32 (25): 3. 1989.
  • Chapter 7: Arithmetic and Rules
    Poznan Studies in the Philosophy of the Sciences and the Humanities 90 183-211. 2006.
  •  166
    A problem about conversational implicature
    Linguistics and Philosophy 3 (1). 1979.
    Conversational implicatures are easy to grasp for the most part. But it is another matter to give a rational reconstruction of how they are grasped. We argue that Grice's attempt to do this fails. We distinguish two sorts of cases: (1) those in which we grasp the implicature by asking ourselves what would the speaker have to believe given that what he said is such as is required by the talk exchange; (2) those in which we grasp the implicature by asking ourselves why it is that what the speaker …Read more