Traditionally, many writers, following Kleene (1952), thought of the Church-Turing thesis as unprovable by its nature but having various strong arguments in its favor, including Turing’s analysis of human computation. More recently, the beauty, power, and obvious fundamental importance of this analysis, what Turing (1936) calls “argument I,” has led some writers to give an almost exclusive emphasis on this argument as the unique justification for the Church-Turing thesis. In this chapter I advocate an alternative justification, essentially presupposed by Turing (...) himself in what he calls “argument II.” The idea is that computation is a special form of mathematical deduction. Assuming the steps of the deduction can be stated in a first order language, the Church-Turing thesis follows as a special case of Gödel’s completeness theorem (first order algorithm theorem). I propose this idea as an alternative foundation for the Church-Turing thesis, both for human and machine computation. Clearly the relevant assumptions are justified for computations presently known. Other issues, such as the significance of Gödel’s 1931 Theorem IX for the Entscheidungsproblem, are discussed along the way. (shrink)

Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

This essay distinguishes between metaphysical and epistemological conceptions of analyticity. The former is the idea of a sentence that is ‘true purely in virtue of its meaning’ while the latter is the idea of a sentence that ‘can be justifiably believed merely on the basis of understanding its meaning’. It further argues that, while Quine may have been right to reject the metaphysical notion, the epistemological notion can be defended from his critique and put to work explaining a priori justification. (...) Along the way, a number of further distinctions relevant to the theory of analyticity and the theory of apriority are made and their significance is explained. (shrink)

A survey of contemporary work on logical pluralism.

This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).

In 'Two Dogmas of Empiricism', Quine attacks the analytic/synthetic distinction and defends a doctrine that I call epistemological holism. Now, almost fifty years after the article's appearance, what are we to make of these ideas? I suggest that the philosophical naturalism that Quine did so much to promote should lead us to reject Quine's brief against the analytic/synthetic distinction; I also argue that Quine misunderstood Carnap's views on analyticity. As for epistemological holism, I claim that this thesis does not follow (...) from the logical point that Duhem and Quine made about the role of auxiliary assumptions in hypothesis testing, and that the thesis should be rejected. \\\ [Peter Hylton] Section I of this essay discusses Quine's views about reference, contrasting them with those of Russell. For the latter, our language and thought succeed in being about the world because of our acquaintance with objects; the relation of reference-roughly, the relation between a name and its bearer-is thus fundamental. For Quine, by contrast, the fundamental relation by which our language comes to be about the world, and to have empirical content, is that between a sentence and stimulations of our sensory surfaces; reference, while important, is a derivative notion. Section II shows how this view of reference as derivative makes possible the notorious Quinean doctrine of ontological relativity. Section III raises the issue of realism. It argues that somewhat different notions of realism are in play for Quine and for Russell-for Russell, objects, and our knowledge of objects, play the fundamental role, while for quine objectivity and truth are fundamental, with ontology being derivative. (shrink)

[Elliott Sober] In 'Two Dogmas of Empiricism', Quine attacks the analytic/synthetic distinction and defends a doctrine that I call epistemological holism. Now, almost fifty years after the article's appearance, what are we to make of these ideas? I suggest that the philosophical naturalism that Quine did so much to promote should lead us to reject Quine's brief against the analytic/synthetic distinction; I also argue that Quine misunderstood Carnap's views on analyticity. As for epistemological holism, I claim that this thesis does (...) not follow from the logical point that Duhem and Quine made about the role of auxiliary assumptions in hypothesis testing, and that the thesis should be rejected. \\\ [Peter Hylton] Section I of this essay discusses Quine's views about reference, contrasting them with those of Russell. For the latter, our language and thought succeed in being about the world because of our acquaintance with objects; the relation of reference-roughly, the relation between a name and its bearer-is thus fundamental. For Quine, by contrast, the fundamental relation by which our language comes to be about the world, and to have empirical content, is that between a sentence and stimulations of our sensory surfaces; reference, while important, is a derivative notion. Section II shows how this view of reference as derivative makes possible the notorious Quinean doctrine of ontological relativity. Section III raises the issue of realism. It argues that somewhat different notions of realism are in play for Quine and for Russell-for Russell, objects, and our knowledge of objects, play the fundamental role, while for quine objectivity and truth are fundamental, with ontology being derivative. (shrink)

In 'Two Dogmas of Empiricism', Quine attacks the analytic/synthetic distinction and defends a doctrine that I call epistemological holism. Now, almost fifty years after the article's appearance, what are we to make of these ideas? I suggest that the philosophical naturalism that Quine did so much to promote should lead us to reject Quine's brief against the analytic/synthetic distinction; I also argue that Quine misunderstood Carnap's views on analyticity. As for epistemological holism, I claim that this thesis does not follow (...) from the logical point that Duhem and Quine made about the role of auxiliary assumptions in hypothesis testing, and that the thesis should be rejected. \\\ [Peter Hylton] Section I of this essay discusses Quine's views about reference, contrasting them with those of Russell. For the latter, our language and thought succeed in being about the world because of our acquaintance with objects; the relation of reference-roughly, the relation between a name and its bearer-is thus fundamental. For Quine, by contrast, the fundamental relation by which our language comes to be about the world, and to have empirical content, is that between a sentence and stimulations of our sensory surfaces; reference, while important, is a derivative notion. Section II shows how this view of reference as derivative makes possible the notorious Quinean doctrine of ontological relativity. Section III raises the issue of realism. It argues that somewhat different notions of realism are in play for Quine and for Russell-for Russell, objects, and our knowledge of objects, play the fundamental role, while for quine objectivity and truth are fundamental, with ontology being derivative. (shrink)