, Volume 90, Issue 1, pp 145–179 | Cite as

Consistency, mechanicalness, and the logic of the mind

  • Qiuen Yu


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.


Formal System System Capacity Strong System Representational Approach Proper Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Anderson, Alan Ross (ed.): 1964, Minds and Machines — Contemporary Perspectives in Philosophy Series, Prentice-Hall, Inc., Englewood Cliffs NJ.Google Scholar
  2. Arbib, Michael A.: 1987, Brains, Machines, and Mathematics, Springer-Verlag, New York.Google Scholar
  3. Barwise, J. (ed.): 1978, Handbook of Logic, North-Holland, Amsterdam.Google Scholar
  4. Bell, J. L. and M. Machover: 1977, A Course in Mathematical Logic, North-Holland, Amsterdam.Google Scholar
  5. Benacerraf, Paul: 1967, ‘God, The Devil, and Gödel’, Monist 51, 9–32.Google Scholar
  6. Boyer, David L: 1983, ‘J. R. Lucas, Kurt Gödel, and Fred Astaire’, Philosophical Quarterly 33(131), 147–59.Google Scholar
  7. Butrick, R.: 1965, The Gödel Formula: Some Reservations, Mind IXXIV, 411–14.Google Scholar
  8. Chihara, Charles S.: 1984, ‘Priest, the Liar and Gödel’, Journal of Philosophical Logic 13, 117–24.Google Scholar
  9. Church, A.: 1956, Introduction to Mathematical Logic, Princeton University Press, Princeton.Google Scholar
  10. Dennett, David: 1978, Brainstorms, Bradford Books Publishers, Cambridge MA.Google Scholar
  11. Grim, Patrick: 1988, ‘Logic and Limits of Knowledge and Truth’, Noûs XXII(3), 341–67.Google Scholar
  12. Hilbert, David: 1964, ‘On the Infinite’, in P. Benacerraf and H. Putnam (eds.), Philosophy of Mathematics: Selected Readings, Prentice-Hall, Inc., Englewood Cliffs, pp. 134–51.Google Scholar
  13. Hofstadter, Douglas R.: 1979, Gödel, Escher, Bach: An Eternal Golden Braid, Basic Books, Inc., New York.Google Scholar
  14. Kirk, Robert: 1986, ‘Mental Machinery and Gödel’, Synthese 66, 437–52.Google Scholar
  15. Lucas, J. R.: 1961, ‘Minds, Machines and Gödel’, Philosophy XXXVI, 112–27 (reprinted in Anderson, 1964, pp. 43–59).Google Scholar
  16. Lucas, J. R.: 1968, ‘Satan Stultified: A Rejoinder to Paul Benacerraf’, Monist LII, 145–58.Google Scholar
  17. Lucas, J. R.: 1970, The Freedom of the Will, Clarendon Press, Oxford.Google Scholar
  18. Lucas, J. R.: 1984, ‘Lucas, Gödel, and Astaire: A Rejoinder’, Philosophical Quarterly 34, 507–08.Google Scholar
  19. Mendelson, Elliott: 1990, ‘Second Thoughts about Church's Thesis and Mathematical Proofs’, The Journal of Philosophy LXXXVII, 225–33.Google Scholar
  20. Myhill, John: 1964, ‘The Abstract Theory of Self Reproduction’, in M. D. Mesarovic (ed.), Views on General Systems Theory, John Wiley & Sons, New York, pp. 106–18.Google Scholar
  21. Napoli, Ernesto: 1985, ‘Priest's Paradox’, Logique et Analyse 28, 403–07.Google Scholar
  22. Nelson, R. J.: 1980, ‘Margaret Boden's Artificial Intelligence and Natural Man’, Synthese 43, 433–51.Google Scholar
  23. Nelson, R. J.: 1982, The Logic of Mind, D. Reidel, Dordrecht, Holland.Google Scholar
  24. Penrose, Roger, et al.: 1990, ‘Precis of the Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics’, and many other comments from other authors, and Penrose's reply to them, Behavioral and Brain Sciences 13, 643–705.Google Scholar
  25. Post, Emil. L.: 1967, ‘Absolutely Unsolvable Problems and Relatively Undecidable Propositions: Account of an Anticipation’, in M. Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Raven Press, New York, pp. 338–433.Google Scholar
  26. Priest, Graham: 1979, ‘The Logic of Paradox’, Journal of Philosophical Logic 8, 219–41.Google Scholar
  27. Priest, Graham: 1984, ‘Logic of Paradox Revisited’, Journal of Philosophical Logic 13, 153–79.Google Scholar
  28. Priest, Graham: 1987, In Contradiction — a Study of the Transconsistency, Martinus Nijhoff Publishers, Dordrecht.Google Scholar
  29. Putnam, Hilary: 1960, ‘Minds and Machines: A Symposium’, in Anderson, 1964, pp. 72–97.Google Scholar
  30. Van Heijenoort, Jean (ed.): 1967, From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Harvard University Press, Cambridge, MA.Google Scholar
  31. Van Heijenoort, J.: 1967a, ‘Gödel's Theorem’, in Paul Edwards (ed.), Encyclopedia of Philosophy, Vol. 3, Macmillan Publishing, pp. 348–57.Google Scholar
  32. Wang, Hao: 1974, From Mathematics to Philosophy, Humanities Press, New York.Google Scholar
  33. Webb, Judson Chambers: 1980, Mechanism, Mentalism, and Metamathematics — An Essay on Finitism, D. Reidel, Dordrecht, Holland.Google Scholar
  34. Webb, Judson Chambers: 1983, ‘Gödel's Theorem and Church's Thesis — A Prologue to Mechanism’, in R. S. Cohen and M. W. Wartofsky (eds.), Language, Logic, and Method, D. Reidel, Dordrecht, Holland.Google Scholar

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • Qiuen Yu
    • 1
  1. 1.Dept. of Computer ScienceWayne State UniversityDetroitUSA

Personalised recommendations