-
243A problem about conversational implicatureLinguistics 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
-
1353Quine and his Critics on Truth-Functionality and ExtensionalityLogic and Logical Philosophy 16 (1): 45-63. 2007.Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he …Read more
-
266Prior’s Theory of PropositionsAnalysis 37 (3): 104-112. 1977.Prior propounded a theory that, if correct, explains how it is possible for a statement about propositions to be true even if there are no propositions. The major feature of his theory is his treatment of sentence letters as bindable variables in non-referential positions. His theory, however, does not include a semantical account of the resulting quantification. The paper tries to fill that gap.
-
125Assertion and beliefPhilosophical Studies 17 (5). 1966.This paper is written in opposition of various antecedent discussions of Moore’s paradox. It concludes that one cannot make an honest and primary truth-claim by producing ‘p, but I believe not-p’.
-
150System relativismRatio 1 (2): 163-175. 1988.The fundamental thought of moral relativism is set out as follows: moral criteria, derived from overall moral points of view, are used to derive particular moral judgments. Thus such a judgment might be correct relative to one overall moral point of view and incorrect relative to another. The evaluation of an overall moral point of view does not involve the application of moral criteria. Rather, the evaluation of a morality takes us outside the province of morality. The result of sharpening this…Read more
-
286More on propositional identityAnalysis 39 (3): 129-132. 1979.We give a semantical account of propositional identity which is stronger than mutual entailment. That is, according to our account: (1) if A = B is true in a model, so are A 'validates' B and B 'validates' A. (2) There exist models m such that A 'validates' B and B 'validates' A are true in m but A = B is not true in m. According to our account the following rule is sound: (3) from (.. A..) = (.. B..) infer A = B. The paper is a response to a paper by James Freeman to an earlier paper by us.
-
664Offices and GodSophia 29 (3): 29-34. 1990.Pavel Tichy presents an interpretation of Anselm’s Proslogion III argument. Tichy presents an interpretation of this argument and raises doubts about one of the premises. The authors contend that Tichy’s interpretation of Anselm is wrong. The argument Tichy comes to raise doubts about is not Anselm’s.
-
173Do we need quantification?Notre Dame Journal of Formal Logic 25 (4): 289-302. 1984.The standard response is illustrated by E, J. Lemmon's claim that if all objects in a given universe had names and there were only finitely many of them, then we could always replace a universal proposition about that universe by a complex proposition. It is because these two requirements are not always met that we need universal quantification. This paper is partly in agreement with Lemmon and partly in disagreement. From the point of view of syntax and semantics we can replace a universal prop…Read more
-
127Four views of arithmetical truthPhilosophical Quarterly 40 (159): 155-168. 1990.Four views of arithmetical truth are distinguished: the classical view, the provability view, the extended provability view, the criterial view. The main problem with the first is the ontology it requires one to accept. Two anti-realist views are the two provability views. The first of these is judged to be preferable. However, it requires a non-trivial account of the provability of axioms. The criterial view is gotten from remarks Wittgenstein makes in Tractatus 6.2-6.22 . It is judged to be th…Read more
-
Editor's IntroductionPoznan Studies in the Philosophy of the Sciences and the Humanities 90 11-21. 2006.
-
240What is a second order theory committed to?Erkenntnis 20 (1). 1983.The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.
-
1140Why Substitutional Quantification Does Not Express ExistenceTheory and Decision 50 67-75. 1987.Fundamental to Quine’s philosophy of logic is the thesis that substitutional quantification does not express existence. This paper considers the content of this claim and the reasons for thinking it is true.
-
90A Conversation about Numbers and KnowledgeAmerican Philosophical Quarterly 39 (3): 275-287. 2002.This is a dialogue in the philosophy of mathematics. The dialogue descends from the confident assertion that there are infinitely many numbers to an unresolved bewilderment about how we can know there are any numbers at all. At every turn the dialogue brings us only to realize more fully how little is clear to us in our thinking about mathematics.
-
Chapter 4: The Peano AxiomsPoznan Studies in the Philosophy of the Sciences and the Humanities 90 105-128. 2006.
-
306True Propositions: A Reply to C.J.F. WilliamsAnalysis 32 (3): 101-106. 1972.This paper replies to points Williams makes to his reply to Sayward’s criticism of Williams’s proposal of ‘for some p ___ states that p & p’ as an analysis of ‘___ is true’.
-
1167The Internal/External QuestionGrazier Philosophishe Studien 47 31-41. 1994.For Rudolf Carnap the question ‘Do numbers exist?’ does not have just one sense. Asked from within mathematics, it has a trivial answer that could not possibly divide philosophers of mathematics. Asked from outside of mathematics, it lacks meaning. This paper discusses Carnap ’s distinction and defends much of what he has to say
-
Chapter 7: Arithmetic and RulesPoznan Studies in the Philosophy of the Sciences and the Humanities 90 183-211. 2006.
-
Steiner, M.-The Applicability of Mathematics as a Philosophical ProblemPhilosophical Books 40 284-284. 1999.
-
182Relativism and ontologyPhilosophical Quarterly 37 (148): 278-290. 1987.This paper deals with the question of whether there is objectivist truth about set-theoretic matters. The dogmatist and skeptic agree that there is such truth. They disagree about whether this truth is knowable. In contrast, the relativist says there is no objective truth to be known. Two versions of relativism are distinguished in the paper. One of these versions is defended.
-
160A conversation about numbersPhilosophia 29 (1-4): 191-209. 2002.This is a dialogue in which five characters are involved. Various issues in the philosophy of mathematics are discussed. Among those issues are these: numbers as abstract objects, our knowledge of numbers as abstract objects, a proof as showing a mathematical statement to be true as opposed to the statement being true in virtue of having a proof.
-
64In 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
-
186On some much maligned remarks of Wittgenstein on gödelPhilosophical Investigations 24 (3). 2001.In "Remarks on the Foundations of Mathematics" Wittgenstein discusses an argument that goes from Gödel’s incompleteness result to the conclusion that some truths of mathematics are unprovable. Wittgenstein takes issue with this argument. Wittgenstein’s remarks in this connection have received very negative reaction from some very prominent people, for example, Gödel and Dummett. The paper is a defense of what Wittgenstein has to say about the argument in question.
-
328Kripke on necessity and identityPhilosophical Papers 27 (3): 151-159. 1998.It may be that all that matters for the modalities, possibility and necessity, is the object named by the proper name, not which proper name names it. An influential defender of this view is Saul Kripke. Kripke’s defense is criticized in the paper.
-
87Is Any Economic System Unjust?Southwest Philosophy Review 5 (2): 17-23. 1989.The morality of an economic system characterized as an Adam Smith type system is compared with one characterized by central planning. A prima facie case is made that, while the latter has attributes that satisfy a necessary condition for having moral attributes, the former does not and, as a result, has no moral attributes. But then a deeper look at the situation reveals that the directed systems really do not satisfy the necessary condition either. Both the directed and undirected systems end u…Read more
-
456Is 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
-
276The structure of type theoryJournal of Philosophy 77 (5): 241-259. 1980.Formal principals are isolated to reveal a structure embedded in a wide range of studies, each of which partitions a domain of individuals into types and categories. It is thought that any reasonable theory of types should include these principles.
-
109Can a language have indenumerably many expressions?History and Philosophy of Logic 4 (1-2): 73-82. 1983.A common assumption among philosophers is that every language has at most denumerably many expressions. This assumption plays a prominent role in many philosophical arguments. Recently formal systems with indenumerably many elements have been developed. These systems are similar to the more familiar denumerable first-order languages. This similarity makes it appear that the assumption is false. We argue that the assumption is true
-
650Semantical Hierarchies and Semantical PrimitivesIn Hassan Sharifi (ed.), From Meaning to Sound: Proceedings of the 1974 Mid-American Linguistics Conference, 5: 38-40., College of Arts and Sciences, University of Nebraska. 1975.Quine’s way of dealing with the semantical paradoxes (Ways of Paradox, pp. 9-10) is criticized. The criticism is based on three premises: (1) no learnable language has infinitely many semantical primitives; (2) any language of which Quine’s theory is true has infinitely many semantical primitives; (3) English is a learnable language. The conclusion drawn is that Quine’s theory is not true of English.
-
University of Nebraska, LincolnRetired faculty
Lincoln, Nebraska, United States of America