{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T20:11:01Z","timestamp":1711656661441},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:00:00Z","timestamp":1280275200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s11023-010-9203-1","type":"journal-article","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T15:32:19Z","timestamp":1280244739000},"page":"423-439","source":"Crossref","is-referenced-by-count":2,"title":["Are Turing Machines Platonists? Inferentialism and the Computational Theory of Mind"],"prefix":"10.1007","volume":"20","author":[{"given":"Jon","family":"Cogburn","sequence":"first","affiliation":[]},{"given":"Jason","family":"Megil","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,28]]},"reference":[{"key":"9203_CR1","doi-asserted-by":"crossref","first-page":"130","DOI":"10.2307\/3326862","volume":"22","author":"ND Belnap","year":"1962","unstructured":"Belnap, N. D. (1962). Tonk, plonk, and plink. Analysis, 22, 130\u2013134.","journal-title":"Analysis"},{"key":"9203_CR2","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, 51, 9\u201332.","journal-title":"The Monist"},{"key":"9203_CR4","volume-title":"Computability and logic","author":"G Boolos","year":"1989","unstructured":"Boolos, G., & Jeffrey, C. (1989). Computability and logic (3rd ed.). Cambridge: Cambridge University Press.","edition":"3"},{"key":"9203_CR6","doi-asserted-by":"crossref","DOI":"10.4159\/9780674028739","volume-title":"Articulating reasons (an introduction to inferentialism)","author":"R Brandom","year":"2000","unstructured":"Brandom, R. (2000). Articulating reasons (an introduction to inferentialism). Cambridge: Harvard University Press."},{"key":"9203_CR7","first-page":"5","volume":"60.1","author":"J Cogburn","year":"2000","unstructured":"Cogburn, J. (2000). Logical revision re-revisited: The Wright\/Salerno argument for intuitionism. Philosophical Studies, 60.1, 5\u201312.","journal-title":"Philosophical Studies"},{"key":"9203_CR9","volume-title":"The law of non-contradiction","author":"J Cogburn","year":"2004","unstructured":"Cogburn, J. (2004). The philosophical basis of what? The anti-realist case for dialethism. In G. Priest, J. C. Beall, & B. Armour Garb (Eds.), The law of non-contradiction. Oxford: Oxford University Press."},{"key":"9203_CR10","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1080\/00048400500043910","volume":"83.1","author":"J Cogburn","year":"2005","unstructured":"Cogburn, J. (2005a). The logic of logical revision: Formalizing Dummett\u2019s argument. The Australasian Journal of Philosophy, 83.1, 15\u201332.","journal-title":"The Australasian Journal of Philosophy"},{"key":"9203_CR11","first-page":"31","volume":"13","author":"J Cogburn","year":"2005","unstructured":"Cogburn, J. (2005b). Tonking a theory of content: An inferentialist rejoinder. Logic and Logical Philosophy, 13, 31\u201336.","journal-title":"Logic and Logical Philosophy"},{"key":"9203_CR12","first-page":"503","volume":"32","author":"J Cogburn","year":"2005","unstructured":"Cogburn, J. (2005c). Inferentialism and tacit knowledge. Behavior and Philosophy, 32, 503\u2013524.","journal-title":"Behavior and Philosophy"},{"key":"9203_CR13","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1080\/00048400500043910","volume":"83","author":"J Cogburn","year":"2005","unstructured":"Cogburn, J. (2005d). The logic of logical revision: Formalizing Dummett\u2019s argument. The Australasian Journal of Philosophy, 83, 15\u201332.","journal-title":"The Australasian Journal of Philosophy"},{"key":"9203_CR15","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1093\/philmat\/3.1.103","volume":"3","author":"M Detlefsen","year":"1995","unstructured":"Detlefsen, M. (1995). Wright on the non-mechanizability of intuitionist reasoning. Philosophia Mathematica, 3, 103\u2013119.","journal-title":"Philosophia Mathematica"},{"key":"9203_CR16","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/067","volume-title":"Mathematical intuitionism: Introduction to proof theory","author":"A Dragalin","year":"1988","unstructured":"Dragalin, A. (1988). Mathematical intuitionism: Introduction to proof theory. Providence: America Mathematical Society."},{"key":"9203_CR21","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics. Cambridge: Harvard University Press."},{"key":"9203_CR23","volume-title":"Computability: Computable functions, logic, and the foundations of mathematics","author":"RL Epstein","year":"1999","unstructured":"Epstein, R. L., & Carnielli, A. (1999). Computability: Computable functions, logic, and the foundations of mathematics. Wadsworth: Thomson Learning."},{"key":"9203_CR25","volume-title":"K. G\u00f6del collected works","author":"K G\u00f6del","year":"1951","unstructured":"G\u00f6del, K. (1951). Josiah Willard Gibbs lecture. In S. Feferman (Ed.), K. G\u00f6del collected works (Vol. III). Oxford: Oxford University Press."},{"key":"9203_CR32","unstructured":"Lucas, J. R. (2002). The G\u00f6delian argument: Turn over the page. http:\/\/users.ox.ac.uk\/~jrlucas\/turn.html . Cited October 4, 2002."},{"key":"9203_CR33","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198519737.001.0001","volume-title":"The emperor\u2019s new mind","author":"R Penrose","year":"1989","unstructured":"Penrose, R. (1989). The emperor\u2019s new mind. Oxford: Oxford University Press."},{"key":"9203_CR35","doi-asserted-by":"crossref","first-page":"38","DOI":"10.2307\/3326699","volume":"21","author":"AN Prior","year":"1960","unstructured":"Prior, A. N. (1960). The runabout inference ticket. Analysis, 21, 38\u201339.","journal-title":"Analysis"},{"key":"9203_CR36","first-page":"138","volume-title":"Dimensions of mind","author":"H Putnam","year":"1960","unstructured":"Putnam, H. (1960). Minds and machines. In S. Hook (Ed.), Dimensions of mind (pp. 138\u2013164). New York: New York University Press."},{"key":"9203_CR37","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1090\/S0273-0979-1995-00606-3","volume":"32","author":"H Putnam","year":"1995","unstructured":"Putnam, H. (1995). Review of R. Penrose\u2019s shadows of the mind. A search for the missing science of consciousness. Bulletin of the American Mathematical Society, 32, 370\u2013373.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"9203_CR38","volume-title":"Pure pragmatics and possible worlds","author":"W Sellars","year":"1980","unstructured":"Sellars, W. (1980). Inference and meaning. In J. Sicha (Ed.), Pure pragmatics and possible worlds. Reseda: Ridgeview Publishing Co."},{"key":"9203_CR39","volume-title":"The taming of the true","author":"N Tenant","year":"1997","unstructured":"Tenant, N. (1997). The taming of the true. Oxford: Clarendon Press."},{"key":"9203_CR40","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1093\/philmat\/3.1.86","volume":"3","author":"C Wright","year":"1995","unstructured":"Wright, C. (1995). Intuitionists are not (turing) machines. Philosophia Mathematica, 3, 86\u2013102.","journal-title":"Philosophia Mathematica"}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-010-9203-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-010-9203-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-010-9203-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T19:36:51Z","timestamp":1711654611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-010-9203-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,28]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9203"],"URL":"https:\/\/doi.org\/10.1007\/s11023-010-9203-1","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,28]]}}}