{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:04:50Z","timestamp":1761941090069,"version":"build-2065373602"},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":5615,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1998,9]]},"abstract":"<jats:p><jats:bold>\u00a71. The mission of axiomatic set theory<\/jats:bold>. What is set theory needed for in the foundations of mathematics? Why cannot we transact whatever foundational business we have to transact in terms of our ordinary logic without resorting to set theory? There are many possible answers, but most of them are likely to be variations of the same theme. The core area of ordinary logic is by a fairly common consent the received first-order logic. Why cannot it take care of itself? What is it that it cannot do? A large part of every answer is probably that first-order logic cannot handle its own model theory and other metatheory. For instance, a first-order language does not allow the codification of the most important semantical concept, viz. the notion of truth, for that language in that language itself, as shown already in Tarski (1935). In view of such negative results it is generally thought that one of the most important missions of set theory is to provide the wherewithal for a model theory of logic. For instance Gregory H. Moore (1994, p. 635) asserts in his encyclopedia article \u201cLogic and set theory\u201d that<\/jats:p><jats:p>Set theory influenced logic, both through its semantics, by expanding the possible models of various theories and by the formal definition of a model; and through its syntax, by allowing for logical languages in which formulas can be infinite in length or in which the number of symbols is uncountable.<\/jats:p>","DOI":"10.2307\/421033","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:11:46Z","timestamp":1146985906000},"page":"303-337","source":"Crossref","is-referenced-by-count":9,"title":["Truth Definitions, Skolem Functions and Axiomatic Set Theory"],"prefix":"10.1017","volume":"4","author":[{"given":"Jaakko","family":"Hintikka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S107989860000723X_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-7288-6"},{"key":"S107989860000723X_ref026","first-page":"194","article-title":"Extending the topological interpretation to intuitionistic analysis I","volume":"20","author":"Scott","year":"1968","journal-title":"Compositio Mathamatica"},{"key":"S107989860000723X_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9478-5"},{"volume-title":"Set theory and the continuum hypothesis","year":"1966","author":"Cohen","key":"S107989860000723X_ref003"},{"key":"S107989860000723X_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2658-0_18"},{"key":"S107989860000723X_ref017","unstructured":"Hintikka J. and Sandu G. , Tarski's guilty secret: compositionality, forthcoming."},{"volume-title":"Theory of recursive functions and effective computability","year":"1967","author":"Rogers","key":"S107989860000723X_ref024"},{"volume-title":"Introduction to logic","year":"1956","author":"Suppes","key":"S107989860000723X_ref027"},{"key":"S107989860000723X_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2266967"},{"key":"S107989860000723X_ref007","first-page":"82","volume-title":"History and Philosophy of Modern Mathematics","volume":"XI","author":"Friedman","year":"1988"},{"key":"S107989860000723X_ref008","doi-asserted-by":"crossref","DOI":"10.1515\/9781400881635","volume-title":"The consistency of the continuum hypothesis","volume":"3","author":"G\u00f6del","year":"1940"},{"key":"S107989860000723X_ref022","first-page":"635","volume-title":"Companion encyclopedia of the history and philosophy of the mathematical sciences","volume":"1","author":"Moore","year":"1994"},{"volume-title":"Ramsey theory","year":"1980","author":"Graham","key":"S107989860000723X_ref010"},{"key":"S107989860000723X_ref016","first-page":"153","article-title":"Quantifiers vs. quantification theory","volume":"5","author":"Hintikka","year":"1974","journal-title":"Linguistic Inquiry"},{"key":"S107989860000723X_ref018","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044481714-3\/50009-6"},{"key":"S107989860000723X_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/BF02940589"},{"key":"S107989860000723X_ref025","article-title":"IF first-order logic and truth-definitions","volume":"26","author":"Sandu","year":"1997","journal-title":"Journal of Philosophical Logic"},{"volume-title":"Elements of intuitionism","year":"1977","author":"Dummett","key":"S107989860000723X_ref005"},{"key":"S107989860000723X_ref031","doi-asserted-by":"publisher","DOI":"10.2307\/2271440"},{"key":"S107989860000723X_ref002","volume-title":"Collected works","volume":"1","author":"Brouwer","year":"1975"},{"key":"S107989860000723X_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF02307611"},{"volume-title":"From Kant to Hilbert","year":"1996","author":"Eward","key":"S107989860000723X_ref006"},{"key":"S107989860000723X_ref014","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624919"},{"key":"S107989860000723X_ref009","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19780242514"},{"key":"S107989860000723X_ref004","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1975-0373893-X"},{"key":"S107989860000723X_ref030","first-page":"261","article-title":"Der Wahrheitsbegriff'in den formalisierten Sprachen","volume":"1","author":"Tarski","year":"1935","journal-title":"Studia Philosophica"},{"volume-title":"Philosophy of logic","year":"1971","author":"Putnam","key":"S107989860000723X_ref023"},{"volume-title":"Logic, semantics, metamathematics","year":"1956","author":"Tarski","key":"S107989860000723X_ref029"},{"volume-title":"Intuitionistic type theory","year":"1984","author":"Martin-L\u00f6f","key":"S107989860000723X_ref019"},{"key":"S107989860000723X_ref028","volume-title":"Collected papers","volume":"1","author":"Tarski","year":"1986"},{"volume-title":"Intuitionism: an introduction","year":"1956","author":"Heyting","key":"S107989860000723X_ref012"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S107989860000723X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,14]],"date-time":"2020-04-14T14:33:35Z","timestamp":1586874815000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S107989860000723X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["S107989860000723X"],"URL":"https:\/\/doi.org\/10.2307\/421033","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"type":"print","value":"1079-8986"},{"type":"electronic","value":"1943-5894"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}