{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T00:05:51Z","timestamp":1752192351937,"version":"3.41.2"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1023\/a:1022863925321","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T16:57:10Z","timestamp":1049475430000},"page":"19-42","source":"Crossref","is-referenced-by-count":19,"title":["Mechanism, Truth, and Penrose's New Argument"],"prefix":"10.1007","volume":"32","author":[{"given":"Stewart","family":"Shapiro","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5100663_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.5840\/monist196751112","volume":"51","author":"P. Benacerraf","year":"1967","unstructured":"Benacerraf, P.: 1967, God, the devil, and G\u00f6del, The Monist\n51, 9\u201332.","journal-title":"The Monist"},{"key":"5100663_CR2","first-page":"290","volume-title":"Collected Works III","author":"G. Boolos","year":"1995","unstructured":"Boolos, G.: 1995, Introductory note to G\u00f6del (1951), in K. G\u00f6del, Collected Works III, Oxford University Press, Oxford, 1995, pp. 290\u2013304."},{"key":"5100663_CR3","unstructured":"Chalmers, D. J.: 1995, Minds, machines, and mathematics: A review of Shadows of mind, by Roger Penrose, Psyche\n2(9) (http:\/\/psyche.cs.monash.edu.au\/v2\/psyche-2-09-chalmers.html)."},{"key":"5100663_CR4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.2307\/2964649","volume":"27","author":"S. Feferman","year":"1962","unstructured":"Feferman, S.: 1962, Transfinite recursive progressions of axiomatic theories, J. Symbolic Logic\n27, 259\u2013316.","journal-title":"J. Symbolic Logic"},{"key":"5100663_CR5","first-page":"113","volume-title":"The Universal Turing Machine","author":"S. Feferman","year":"1988","unstructured":"Feferman, S.: 1988, Turing in the land of O(z), in R. Herken (ed.), The Universal Turing Machine, Oxford University Press, New York, pp. 113\u2013147."},{"key":"5100663_CR6","unstructured":"Feferman, S.: 1995, Penrose's G\u00f6delian argument: A review of Shadows of mind, by Roger Penrose, Psyche\n2(7) (http:\/\/psyche.cs.monash.edu.au\/v2\/psyche-2-07-feferman.html)."},{"key":"5100663_CR7","first-page":"304","volume-title":"Collected Works III","author":"K. G\u00f6del","year":"1951","unstructured":"G\u00f6del, K.: 1951, Some basic theorems on the foundations of mathematics and their implications, in K. G\u00f6del, Collected Works III, Oxford University Press, Oxford, 1995, pp. 304\u2013323."},{"key":"5100663_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The Revision Theory of Truth","author":"A. Gupta","year":"1993","unstructured":"Gupta, A. and Belnap, N.: 1993, The Revision Theory of Truth, MIT Press, Cambridge, MA."},{"key":"5100663_CR9","doi-asserted-by":"crossref","first-page":"311","DOI":"10.2307\/2272975","volume":"37","author":"G. Kreisel","year":"1972","unstructured":"Kreisel, G.: 1972, Which number theoretic problems can be solved in recursive progressions on \u03a011 paths through O?, J. Symbolic Logic\n37, 311\u2013334.","journal-title":"J. Symbolic Logic"},{"key":"5100663_CR10","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"Kripke, S.: 1975, Outline of a theory of truth, J. Philos.\n72, 690\u2013716.","journal-title":"J. Philos."},{"key":"5100663_CR11","volume-title":"Wittgenstein on Rules and Private Language","author":"S. Kripke","year":"1982","unstructured":"Kripke, S.: 1982, Wittgenstein on Rules and Private Language, Harvard University Press, Cambridge, MA."},{"key":"5100663_CR12","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1017595530503","volume":"30","author":"P. Lindstr\u00f6m","year":"2001","unstructured":"Lindstr\u00f6m, P.: 2001, Penrose's new argument, J. Philos. Logic\n30, 241\u2013250.","journal-title":"J. Philos. Logic"},{"key":"5100663_CR13","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1017\/S0031819100057983","volume":"36","author":"J. R. Lucas","year":"1961","unstructured":"Lucas, J. R.: 1961, Minds, machines, and G\u00f6del, Philosophy\n36, 112\u2013137.","journal-title":"Philosophy"},{"key":"5100663_CR14","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1093\/oso\/9780198235934.003.0007","volume-title":"Machines and Thought: The Legacy of Alan Turing, Volume 1","author":"J. R. Lucas","year":"1996","unstructured":"Lucas, J. R.: 1996, Minds, machines, and G\u00f6del: A retrospect, in P. J. R. Millican and A. Clark (eds.), Machines and Thought: The Legacy of Alan Turing, Volume 1, Oxford University Press, Oxford, pp. 103\u2013124."},{"key":"5100663_CR15","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF00260929","volume":"21","author":"V. McGee","year":"1992","unstructured":"McGee, V.: 1992, Maximal consistent sets of instances of Tarski's schema (T), J. Philos. Logic\n21, 235\u2013241.","journal-title":"J. Philos. Logic"},{"key":"5100663_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198519737.001.0001","volume-title":"The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics","author":"R. Penrose","year":"1989","unstructured":"Penrose, R.: 1989, The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics, Oxford University Press, Oxford."},{"key":"5100663_CR17","volume-title":"Shadows of the Mind: A Search for the Missing Science of Consciousness","author":"R. Penrose","year":"1994","unstructured":"Penrose, R.: 1994, Shadows of the Mind: A Search for the Missing Science of Consciousness, Oxford University Press, Oxford."},{"key":"5100663_CR18","unstructured":"Penrose, R.: 1996, Beyond the doubting of a shadow: A reply to commentaries on Shadows of the mind, Psyche\n2(23) (http:\/\/psyche.cs.monash.edu.au\/v2\/psyche-2-23-penrose.html)."},{"key":"5100663_CR19","first-page":"138","volume-title":"Dimensions of Mind: A Symposium","author":"H. Putnam","year":"1960","unstructured":"Putnam, H.: 1960, Minds and machines, in Sidney Hood (ed.), Dimensions of Mind: A Symposium, New York University Press, New York, pp. 138\u2013164."},{"key":"5100663_CR20","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0049-237X(08)70138-1","volume-title":"Intensional Mathematics","author":"S. Shapiro","year":"1985","unstructured":"Shapiro, S.: 1985, Epistemic and intuitionistic arithmetic, in S. Shapiro (ed.), Intensional Mathematics, North-Holland, Amsterdam, pp. 11\u201346."},{"key":"5100663_CR21","doi-asserted-by":"crossref","first-page":"273","DOI":"10.2307\/421032","volume":"4","author":"S. Shapiro","year":"1998","unstructured":"Shapiro, S.: 1998, Incompleteness, mechanism, and optimism, Bull. Symbolic Logic\n4, 273\u2013302.","journal-title":"Bull. Symbolic Logic"},{"key":"5100663_CR22","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195046724.001.0001","volume-title":"G\u00f6del's Incompleteness Theorems","author":"R. Smullyan","year":"1992","unstructured":"Smullyan, R.: 1992, G\u00f6del's Incompleteness Theorems, Oxford University Press, Oxford."},{"key":"5100663_CR23","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"A. Turing","year":"1939","unstructured":"Turing, A.: 1939, Systems of logic based on ordinals, Proc. London Math. Soc.\n45, 161\u2013228.","journal-title":"Proc. London Math. Soc."},{"key":"5100663_CR24","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1093\/analys\/56.1.10","volume":"56","author":"A. Weir","year":"1996","unstructured":"Weir, A.: 1996, Ultramaximalist minimalism!, Analysis\n56, 10-22.","journal-title":"Analysis"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022863925321.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022863925321\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1022863925321","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022863925321.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:33:15Z","timestamp":1752147195000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022863925321"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,2]]}},"alternative-id":["5100663"],"URL":"https:\/\/doi.org\/10.1023\/a:1022863925321","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}