Already a subscriber? - Login here
Not yet a subscriber? - Subscribe here

Browse by:



Displaying: 1-3 of 3 documents


1. The Journal of Philosophy: Volume > 115 > Issue: 7
Peter Koellner

abstract | view |  rights & permissions | cited by
In this paper I address the question of whether the incompleteness theorems imply that “the mind cannot be mechanized,” where this is understood in the specific sense that “the mathematical outputs of the idealized human mind do not coincide with the mathematical outputs of any idealized finite machine.” Gödel argued that his incompleteness theorems implied a weaker, disjunctive conclusion to the effect that either “the mind cannot be mechanized” or “mathematical truth outstrips the idealized human mind.” Others, most notably, Lucas and Penrose, have claimed more—they have claimed that the incompleteness theorems actually imply the first disjunct. I will show that by sharpening the fundamental concepts involved and articulating the background assumptions governing them, one can prove Gödel’s disjunction, one can show (by invoking results of Reinhardt and Carlson) that the arguments of Lucas and Penrose fail, and one can see what likely led proponents of the first disjunct astray.

2. The Journal of Philosophy: Volume > 115 > Issue: 7
Manuel García-Carpintero

abstract | view |  rights & permissions | cited by
In a paper published recently in the Journal of Philosophy, Mario Gómez-Torrente provides a methodological argument for the “disquotational,” Tarski-inspired theory of pure quotation. Gómez-Torrente’s previous work has greatly contributed to making this theory perhaps the most widely supported view of pure quotation in recent years, against all other theories including the Davidsonian, demonstrative view for which I myself have argued. Gómez-Torrente argues that rival views make quotation “an eccentric or anomalous phenomenon.” I aim to turn the methodological tables. I reply to his objections to my own version of a demonstrative account, and I show that disquotational proposals provide no better account of the data. I also show that, unlike the demonstrative account, disquotational views make an ungrounded distinction between quotations that semantically refer to their intuitive referents and others that merely speaker-refer to them. I conclude that the demonstrative account is to be preferred on abductive grounds.

comments and criticism

3. The Journal of Philosophy: Volume > 115 > Issue: 7
Alexandra Zinke

abstract | view |  rights & permissions | cited by
According to the classical invariance criterion, a term is logical if and only if its extension is isomorphism-invariant. However, a number of authors have devised examples that challenge the sufficiency of this condition: accepting these examples as logical constants would introduce objectionable contingent elements into logic. Recently, Gil Sagi has responded that these objections are based on a fallacious inference from the modal status of a sentence to the modal status of the proposition expressed by that sentence. The present paper demonstrates that Sagi’s response, though successful, is futile. There is another objection, based on the same type of example, that is not susceptible to Sagi’s criticism: accepting the examples as logical terms would have the fatal consequence that any contingent metalanguage sentence is entailed by the truth of some logically true object-language sentence. I conclude with a sketch of an alternative to the classical invariance criterion.