{"entities":{"Q1187223":{"pageid":1197972,"ns":120,"title":"Item:Q1187223","lastrevid":70226406,"modified":"2026-04-13T13:18:25Z","type":"item","id":"Q1187223","labels":{"en":{"language":"en","value":"Consistency, mechanicalness, and the logic of the mind"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 38985"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$BCF0AAF7-94A7-4308-865E-58F0DB6D7FC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"308139d7e04a5c8895b550c140fa5e98412fbaf1","datavalue":{"value":{"text":"Consistency, mechanicalness, and the logic of the mind","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187223$92E834AB-44CB-4E73-9CF3-C6D9C66A5D70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7537ef56a59e2bd06824fd6b7f10eaf90eb92fe","datavalue":{"value":"0752.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187223$E1C62AEC-7FB8-4EDD-BE11-C246686C4607","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6663b5f3e3cda8eb3f7267d04351017497a2b919","datavalue":{"value":"10.1007/BF00485195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187223$0A538936-3278-4C84-B50A-D2136EE5EE11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4044d4d5f33a0fc9f75ed1a191a0a34f76fa2906","datavalue":{"value":{"entity-type":"item","numeric-id":1187222,"id":"Q1187222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$F3FBEB53-662D-40C5-9FAD-D0A107CF684F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$72466630-6CC7-464B-B7C5-78195300FB0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187223$4033A8EE-1BCB-424C-9E78-12172D323B20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d6229d84933cddcad4ae27f1091d2dd3d6502e5","datavalue":{"value":"It has been argued that an appropriate version of G\u00f6del's first incompleteness theorem shows the following: our naive system of mathematical proof is recursively enumerable (re) iff it is inconsistent (*). \\textit{J. Lucas} [``Minds, machines and G\u00f6del'', Philosophy 36, 112- 127 (1961), and elsewhere] argued that the system is consistent, and inferred that the mind is not a computer; the reviewer [J. Philos. Log. 13, 153-179 (1984; Zbl 0543.03004), and elsewhere] argued that proof is re and inferred that it is inconsistent. This paper takes issue with (*), and hence with the arguments of Lucas and the reviewer. The central point is that the argument for (*) trades on an ambiguity between two notions of proof: one is the familiar one; the other is called `R-proof'. A statement is R-provable in system \\(S\\) iff it is provable as a system that can be represented (in a certain sense) in \\(S\\). In the reviewer's opinion, the argument does not trade on this ambiguity, but works for the simple notion of proof. See the reviewer, ``Yu and your mind'', Synthese (to appear).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187223$817B0EEE-F50E-47FE-AA7E-0EBBF65F64B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187223$F557418A-1195-4D7A-8606-27BC641B0EFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43ca1a73cfc8012db3feb9f081c2aecbac5405e4","datavalue":{"value":"38985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187223$63E3BC99-EA92-410C-9743-A0718CBE1210","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac1edc98b8dbaf4023a5c0568ee2d7ca0fd4c95","datavalue":{"value":"Priest","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187223$FC09830A-5AC1-4E31-AF82-15CCC7F3D465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1db57ef21429e2b2e3906cfd210470368a9a35","datavalue":{"value":"G\u00f6del's first incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187223$95F17469-B315-4305-BFA8-787571D5FB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5cd032c18d4085851d09b6ef6c73958ff170ff","datavalue":{"value":"mind","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187223$36B156A4-0465-4EDF-AD25-307E95D407B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9182efe93262662d2363cffd545de1a080ce5d","datavalue":{"value":"Lucas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187223$3F7B8D89-0482-447D-99A0-38B35C2F3FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ce57fe5cb4f6a20252533bfca4c6983845396d","datavalue":{"value":"ambiguity between two notions of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187223$0C0D0FDA-C85E-4759-B43B-03E64B921267","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$4691BECB-3D13-4668-838A-451EA40C01C4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$43F8B785-71B3-45B9-A8D3-A60935E8BEDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ede07baccd80888e69710bd115b3f1fb541fc4f","datavalue":{"value":{"entity-type":"item","numeric-id":4692795,"id":"Q4692795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$09F867B3-A61D-4A73-AC8F-4E484F3F8164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69094de10a4adace17c337f42fc95786cce9146","datavalue":{"value":{"entity-type":"item","numeric-id":1144008,"id":"Q1144008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$314F9078-314E-4E77-88AB-79D0512C4D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$CA93BD41-C10E-48F8-A847-28BDBCE3FAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5872042c30d4fe4cab3b245a5877fcea5753912","datavalue":{"value":{"entity-type":"item","numeric-id":795813,"id":"Q795813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$D409B83D-B90D-4033-A990-6F1E0EFCDFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df2b690cdfff3955b20a575af8ee100f8c924e3","datavalue":{"value":{"entity-type":"item","numeric-id":5275601,"id":"Q5275601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$7A12BC0A-0A8F-4440-9138-A609BA1B8292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cb246ddbc34c99c29d6089d462e10af5c33f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2761680,"id":"Q2761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$D6C5B53B-3FA0-42C1-BA2D-E88683A1167B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c502d4f1ebd4b04847c52a1f8d6d65976b6bd5a5","datavalue":{"value":{"entity-type":"item","numeric-id":5600471,"id":"Q5600471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$86E0A49E-F5FB-4032-BE51-76784389043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50d20221fa7b1611f27a72b631e5133d5e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":3710507,"id":"Q3710507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$7E85179C-5BE0-477B-A39C-55F528A9C667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$18441AE7-2CAE-4F6B-BA4A-49F23FCD48FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b51a213ec6ac0e86feabbc10c2ca50560b175d","datavalue":{"value":{"entity-type":"item","numeric-id":795814,"id":"Q795814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$F9AC6F1C-2D7B-4EBF-B6F7-3D1CD8930528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$D27478C1-BB8A-4138-828C-6B065FC60F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a6cb0db00599c2e1155dc2bfdb97fb7dce98a4","datavalue":{"value":{"entity-type":"item","numeric-id":3216621,"id":"Q3216621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$F7FC4F6A-F6AB-41A1-B7E6-CB96051A989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64608c5582bd6a5c3e515af6432fed0c02658b0d","datavalue":{"value":{"entity-type":"item","numeric-id":1149428,"id":"Q1149428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$D857CD8D-4974-4681-B3A0-5D6D44F007AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed6d16bed9cad3806d6030d5f86fdf0a4a07646","datavalue":{"value":{"entity-type":"item","numeric-id":3322067,"id":"Q3322067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187223$1F0BC91D-A4AF-4A85-AD27-0282174E208D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebd21866082b11375d685d4d8766ea66e48c61f","datavalue":{"value":{"entity-type":"item","numeric-id":5445165,"id":"Q5445165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41838e5a26d7b8b524134e6f0b01b539ea677dd","datavalue":{"value":{"amount":"+0.8441569209098816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187223$3D37B38A-259C-439C-B683-51814EEE0038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2498387d3683d208e30971840f36a97ff63cb53","datavalue":{"value":{"entity-type":"item","numeric-id":1313376,"id":"Q1313376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54453e13a757e32562556343246ec61319ebc172","datavalue":{"value":{"amount":"+0.8431113958358765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187223$C58F4864-D4CC-4E82-9FBF-32806A57C89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ce7d6da8a2f330068f428629c8b812c5c11efe","datavalue":{"value":{"entity-type":"item","numeric-id":4670590,"id":"Q4670590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6c7522d3aae89d51bc031a6c9238c1336af105","datavalue":{"value":{"amount":"+0.8024258613586426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187223$C17E79CA-902E-4C3B-916D-A1A9A59CD38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5833db1b4d5fc2303399e82e15ab10251ad89c","datavalue":{"value":{"entity-type":"item","numeric-id":5406671,"id":"Q5406671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6173f0ad1cab5470dabb3e7fcb8495519cab36","datavalue":{"value":{"amount":"+0.7927884459495544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187223$3D60DBA2-C020-49D1-9142-E8E69A3A3BAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency, mechanicalness, and the logic of the mind","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency,_mechanicalness,_and_the_logic_of_the_mind"}}}}}