{"entities":{"Q1187977":{"pageid":1198726,"ns":120,"title":"Item:Q1187977","lastrevid":80135975,"modified":"2026-05-06T15:31:12Z","type":"item","id":"Q1187977","labels":{"en":{"language":"en","value":"Quantifier-free versions of first order logic and their psychological significance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39910"}},"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":"Q1187977$E4E1545A-DB50-47F3-B60B-066894230DDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13bf0d5b42106256762b4f3ad318b29f961a415d","datavalue":{"value":{"text":"Quantifier-free versions of first order logic and their psychological significance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187977$91CCBCE1-7843-438D-82BB-408E81A6C7DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef7df9be18efecc16883a22ae714144ec211cda6","datavalue":{"value":"0764.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187977$FFC4C490-8928-4204-9F2B-90C5CB03C281","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"626af2ee78e9536264549eed7096c47d15b7967a","datavalue":{"value":"10.1007/BF00248635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187977$6B0CC348-336B-4DAA-AC18-C07EEA45A031","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d03b245e867f1f311b613f0b6303a0b1665815","datavalue":{"value":{"entity-type":"item","numeric-id":416396,"id":"Q416396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187977$B51D53D3-4F6B-446F-A167-7B314811C7AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187977$BDBA2522-DA34-4266-B633-62E661D46682","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e4e72ca557f32de200c80ffb9cc58b1ed41a8f6","datavalue":{"value":{"time":"+1992-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187977$013BFB56-21DA-4F69-BEA3-B373122C08F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29d979d79b9add52a869c41f33f122acade592b1","datavalue":{"value":"This paper has a philosophical and psychological motivation. It puts forward the idea that mathematicians think by means of general objects which they denote by variables and terms involving variables, and by means of incompletely (or completely) defined objects, such as a well- ordering of the real line, a non-measurable set, etc. (the empty set, the real line, etc.). Using this idea it is shown that quantifiers in formulas can be viewed as abbreviations for expressing Skolemizations of these formulas, and the rules of proof involving quantifiers can be viewed as rules pertaining to such Skolemizations. The only new axioms needed in such a quantifier-free formalism are Skolemizations of formulas of the form \\(\\varphi\\to\\varphi\\). A finitistic view of mathematics (including set theory) is founded upon this formalism. This agrees to some extent with the view of H. Poincar\u00e9, but not with his critique of set theory. A critique of the intuitionistic critique of classical mathematics is formulated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187977$0F4353B4-7721-46E9-AA89-B36A35E28C82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187977$33485638-7255-43D9-AFCB-7B7467EE23D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187977$40CC7707-B58F-41A4-A72B-7527DF180428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187977$7A9E02CA-406B-466F-8589-09DA3D154D6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c66d79da81154bbee0210ff39eab8ff4afdb27d","datavalue":{"value":"39910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187977$705A347B-5DA4-47CF-80D1-E27219B0B5F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187977$9A078C24-8146-4417-999F-B0348DF714D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9865f9e67663787d20e1769390d9f3724ea54af","datavalue":{"value":"rules of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187977$7A80242A-34E1-4B37-A3FB-EE08101445FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945b13d50fc0a1e0f8e8a593046fb41111dc528b","datavalue":{"value":"quantifier-free formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187977$C5CE5028-0533-446B-BD0E-CE079C256F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15c9ebb62d5c9563e378be675115cc2e966c0bb","datavalue":{"value":"finitistic view of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187977$03DFA385-8F63-493C-9AF8-BA645856646A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187977$028107A6-7631-419F-9784-322125D85FB7","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":"Q1187977$0079FBD9-060B-4683-89F9-EAAC54327B34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc42db03128d8daa0a778579802a03917aba7108","datavalue":{"value":"https://doi.org/10.1007/bf00248635","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187977$55F86442-E660-4FF6-8F0F-9AEB493B66A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de720a60241881a77ff1257713d5667495abd1fd","datavalue":{"value":"W2009685528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187977$B73B132F-F4B3-444C-BF5A-68745B56BBCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470d39e3f22bdce8e237a408d566b4dba665f09c","datavalue":{"value":{"entity-type":"item","numeric-id":4529959,"id":"Q4529959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551ffe5310afc45380bb485ae27dad7374b36ff7","datavalue":{"value":{"amount":"+0.8802696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$D1E4C188-2ABD-4386-96D7-160675F0A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2085f2ab942f2024624518e60365d2d94c3419c1","datavalue":{"value":{"entity-type":"item","numeric-id":286706,"id":"Q286706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb719e62ce7545e3980c9850cdc2efd89b2d6b3","datavalue":{"value":{"amount":"+0.8723306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$BD31D5D8-8347-41D3-82B4-94905885C00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857bb6ab90e4894f8e07ef5cbd52b3cca919681f","datavalue":{"value":{"entity-type":"item","numeric-id":2369014,"id":"Q2369014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c051fb6f0c512991702dd6eb0810730472ff2ad","datavalue":{"value":{"amount":"+0.86687815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$14B90557-55A4-4DCF-B136-658B33DC6815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8459b0464c9ddb2940566e3eb7431e5940abe8","datavalue":{"value":{"entity-type":"item","numeric-id":4793389,"id":"Q4793389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf642a7842ffde3128bb7f51d5ae33e466cb224","datavalue":{"value":{"amount":"+0.8656958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$8181F637-249E-41A2-A3B0-603A37F8DE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b52001fddbd69d8763a8bfb39b57f6600902687","datavalue":{"value":{"entity-type":"item","numeric-id":5115855,"id":"Q5115855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68c424e64f472e445cba38991b44fe8d6f046ca","datavalue":{"value":{"amount":"+0.8647653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$EEA51945-7FD8-49C6-AAAB-5633B69E755A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d799e30370106ddbc62b0e552a89e115f1153812","datavalue":{"value":{"entity-type":"item","numeric-id":1791054,"id":"Q1791054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d2af07e234d3f4cbff2ed4c69cbf73186a1b37","datavalue":{"value":{"amount":"+0.86413205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$C1791B84-568D-4B12-B768-505E4AEDDBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b8220c3b6fd3a184b3ca4a3cff0a816217cfb3","datavalue":{"value":{"entity-type":"item","numeric-id":256925,"id":"Q256925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8c0327e098633aacc3ec0d48c5323aa656bda4","datavalue":{"value":{"amount":"+0.8639058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$0A0578F0-2E52-44B6-808C-8F90B27422B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef64bd8f02f26053f8db7fb18d26ca99ea93e1ac","datavalue":{"value":{"entity-type":"item","numeric-id":5414135,"id":"Q5414135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f74ab50c81dff772d63aea515a2172a649cf28","datavalue":{"value":{"amount":"+0.85722435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$532FB2E5-FB32-4CA5-9EAE-2E638D406E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e2d942a3487ddd8c77abc011545652c3c29069","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5a89e294278f7e6770d7e89390fb4f46ee8d48","datavalue":{"value":{"amount":"+0.85694647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$E44BB4E4-EBA5-43A7-8045-6F2A06DE797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ae11fa1ba6b97224d025741b4e853f32ee2df1","datavalue":{"value":{"entity-type":"item","numeric-id":5271676,"id":"Q5271676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5d019ce566486c9fcc291775f10c817e0b5e6d","datavalue":{"value":{"amount":"+0.85628325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187977$377CF158-E0D4-44D9-9813-8D52E9E97A47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier-free versions of first order logic and their psychological significance","badges":[]}}}}}