{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T08:32:18Z","timestamp":1715070738918},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":23676,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1949,5,16]]},"abstract":"<jats:p>The purpose of this note is (<jats:italic>i<\/jats:italic>) to point out an important similarity between the nominalistic system discussed by Quine in his recent paper <jats:italic>On universals<\/jats:italic> and the system of logic (the system \u043d) developed by the author in <jats:italic>A homogeneous system for formal logic<\/jats:italic>, (<jats:italic>ii<\/jats:italic>) to offer certain corrections to the latter, and (<jats:italic>iii<\/jats:italic>) to show that that system (\u043d) is adequate for the general theory of ancestrale and for the definition of any general recursive function of natural numbers.<\/jats:p><jats:p>Nominalism as a thesis in the philosophy of science, according to Quine, is the view that it is possible to construct a language adequate for the purposes of science, which in no wise admits classes, properties, relations, or other abstract objects as values for variables.<\/jats:p>","DOI":"10.2307\/2268974","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T15:04:01Z","timestamp":1146927841000},"page":"27-31","source":"Crossref","is-referenced-by-count":6,"title":["A note on nominalism and recursive functions"],"prefix":"10.1017","volume":"14","author":[{"given":"R. M.","family":"Martin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200073138_ref005","first-page":"543","volume-title":"Principia mathematica","volume":"1","author":"Whitehead","year":"1925"},{"key":"S0022481200073138_ref004","first-page":"54","article-title":"Grundgesetze der Arithmetik","volume":"1","author":"Frege","year":"1893","journal-title":"Jena"},{"key":"S0022481200073138_ref003","doi-asserted-by":"publisher","DOI":"10.2307\/2017667"},{"key":"S0022481200073138_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BF01565439"},{"key":"S0022481200073138_ref008","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1936-06353-6"},{"key":"S0022481200073138_ref007","first-page":"286","volume-title":"Grundlagen der Mathematik","volume":"1","author":"Hilbert","year":"1934"},{"key":"S0022481200073138_ref001","first-page":"121","volume-title":"Mathematical logic","author":"Quine","year":"1940"},{"key":"S0022481200073138_ref002","first-page":"37","volume-title":"Introduction to mathematical logic. Part I","author":"Church","year":"1944"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200073138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T06:32:42Z","timestamp":1559975562000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200073138\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1949,5,16]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1949,5,16]]}},"alternative-id":["S0022481200073138"],"URL":"https:\/\/doi.org\/10.2307\/2268974","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1949,5,16]]}}}