Synthese 90 (1):145-79 (1992)
|Abstract||G. Priest's anti-consistency argument (Priest 1979, 1984, 1987) and J. R. Lucas's anti-mechanist argument (Lucas 1961, 1968, 1970, 1984) both appeal to Gödel incompleteness. By way of refuting them, this paper defends the thesis of quartet compatibility, viz., that the logic of the mind can simultaneously be Gödel incomplete, consistent, mechanical, and recursion complete (capable of all means of recursion). A representational approach is pursued, which owes its origin to works by, among others, J. Myhill (1964), P. Benacerraf (1967), J. Webb (1980, 1983) and M. Arbib (1987). It is shown that the fallacy shared by the two arguments under discussion lies in misidentifying two systems, the one for which the Gödel sentence is constructable and to be proved, and the other in which the Gödel sentence in question is indeed provable. It follows that the logic of the mind can surpass its own Gödelian limitation not by being inconsistent or non-mechanistic, but by being capable of representing stronger systems in itself; and so can a proper machine. The concepts of representational provability, representational maximality, formal system capacity, etc., are discussed|
|Keywords||Consistency Formalism Human Logic Mind|
|Through your library||Configure|
Similar books and articles
A. Hutton (1976). This Godel is Killing Me. Philosophia 3 (March):135-44.
Albert E. Lyngzeidetson & Martin K. Solomon (1994). Abstract Complexity Theory and the Mind-Machine Problem. British Journal for the Philosophy of Science 45 (2):549-54.
George Boolos (1993). The Logic of Provability. Cambridge University Press.
Dan E. Willard (2006). On the Available Partial Respects in Which an Axiomatization for Real Valued Arithmetic Can Recognize Its Consistency. Journal of Symbolic Logic 71 (4):1189 - 1199.
Paolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
John R. Lucas (1968). Satan Stultified: A Rejoinder to Paul Benacerraf. The Monist 52 (1):145-58.
Graham Priest (1993). Yu and Your Mind. Synthese 95 (3):459 - 460.
Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
Added to index2009-01-28
Total downloads13 ( #89,098 of 556,897 )
Recent downloads (6 months)1 ( #64,931 of 556,897 )
How can I increase my downloads?