{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T00:05:20Z","timestamp":1713830720717},"reference-count":60,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":593,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2012,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper [Tarski:<jats:italic>Les fondements de la g\u00e9om\u00e9trie des corps,<jats:bold>Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matiques<\/jats:bold><\/jats:italic>, pp. 29\u201334, 1929] is in many ways remarkable. We address three historico-philosophical issues that force themselves upon the reader. First we argue that in this paper Tarski did not live up to his own methodological ideals, but displayed instead a much more pragmatic approach. Second we show that Le\u015bniewski's philosophy and systems do not play the significant role that one may be tempted to assign to them at first glance. Especially the role of background logic must be at least partially allocated to Russell's systems of<jats:italic><jats:bold>Principia mathematica<\/jats:bold><\/jats:italic>. This analysis leads us, third, to a threefold distinction of the technical ways in which the domain of discourse comes to be embodied in a theory. Having all of this in place, we discuss why we have to reject the argument in [Gruszczy\u0144ski and Pietruszczak:<jats:italic>Full development ofTarski's Geometry of Solids,<jats:bold>The Bulletin of Symbolic Logic<\/jats:bold><\/jats:italic>, vol. 4 (2008), no. 4, pp. 481\u2013540] according to which Tarski has made a certain mistake.<\/jats:p>","DOI":"10.2178\/bsl\/1333560806","type":"journal-article","created":{"date-parts":[[2012,4,4]],"date-time":"2012-04-04T18:17:21Z","timestamp":1333563441000},"page":"230-260","source":"Crossref","is-referenced-by-count":5,"title":["On Tarski's Foundations of the Geometry of Solids"],"prefix":"10.1017","volume":"18","author":[{"given":"Arianna","family":"Betti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iris","family":"Loeb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600000135_ref050","first-page":"95","volume-title":"Traveaux du ixe congr\u00e9s international de philosophie, tome 6","volume":"535","author":"Tarski","year":"1937"},{"key":"S1079898600000135_ref047","first-page":"29","volume-title":"Annales de la Soci\u00e9t\u00e9 Polonaise e Math\u00e9matiques","author":"Tarski","year":"1929"},{"key":"S1079898600000135_ref052","volume-title":"Logic, semantics, metamathematics","author":"Tarski","year":"1956"},{"key":"S1079898600000135_ref023","first-page":"142","article-title":"O podstawach matematyki (On the foundations of mathematics)","volume":"xxxiv","author":"Le\u015bniewski","year":"1931","journal-title":"Przegl d Filozoficzny"},{"key":"S1079898600000135_ref034","unstructured":"[1923] Nicod J. , La g\u00e9om\u00e9trie dans le monde sensible, Ph.D. thesis , Univ. de Paris, 1923."},{"key":"S1079898600000135_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/BF03024832"},{"key":"S1079898600000135_ref010","doi-asserted-by":"publisher","DOI":"10.1086\/289281"},{"key":"S1079898600000135_ref031","doi-asserted-by":"publisher","DOI":"10.1111\/j.1747-9991.2010.00324.x"},{"key":"S1079898600000135_ref043","volume-title":"Stanis\u0142aw Le\u015bniewski: Collected works","volume":"I","author":"Surma","year":"1991"},{"key":"S1079898600000135_ref011","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200028929"},{"key":"S1079898600000135_ref038","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005268531418"},{"key":"S1079898600000135_ref016","first-page":"481","volume":"4","author":"Gruszczy\u0144so","year":"2008","journal-title":"Full development of Tarski's geometry of solids"},{"key":"S1079898600000135_ref048","volume-title":"Bio-bibliographie","author":"Tarski","year":"1930"},{"key":"S1079898600000135_ref014","volume-title":"Alfred Tarski: Collected papers","volume":"1","author":"Givant","year":"1986"},{"key":"S1079898600000135_ref056","first-page":"175","volume":"5","author":"Tarso","year":"1999","journal-title":"Tarski's systems of geometry"},{"key":"S1079898600000135_ref002","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/BF00172308","article-title":"Biblio-biographische Notizen zum Vorkonferenzbericht","volume":"5","author":"Aroukiewicz","year":"1935","journal-title":"Erkenntnis"},{"key":"S1079898600000135_ref039","first-page":"475","article-title":"Definitions andnondefinability in geometry","volume":"117","author":"Smith","year":"2010","journal-title":"American Mathematical Monthly"},{"key":"S1079898600000135_ref020","doi-asserted-by":"crossref","first-page":"182","DOI":"10.4064\/fm-3-1-182-199","article-title":"Sur l'op\u00e9ration A de l'Analysis Situs","volume":"3","author":"Kuratowski","year":"1922","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600000135_ref060","volume-title":"Process and reality","author":"Whitehead","year":"1929"},{"key":"S1079898600000135_ref042","first-page":"109","volume-title":"In search of the Polish tradition\u2014essays in honor of Jan Wolenski on the occasion of his 60th birthday","author":"Sundholm","year":"2003"},{"key":"S1079898600000135_ref033","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XXXVII.146.137"},{"key":"S1079898600000135_ref059","volume-title":"The concept of nature","author":"Whitehead","year":"1920"},{"key":"S1079898600000135_ref009","doi-asserted-by":"publisher","DOI":"10.2307\/2939504"},{"key":"S1079898600000135_ref015","volume-title":"Alfred Tarski: Collected papers","volume":"4","author":"Givant","year":"1986"},{"key":"S1079898600000135_ref057","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Varzi","year":"2008"},{"key":"S1079898600000135_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/BF01455955"},{"key":"S1079898600000135_ref021","doi-asserted-by":"publisher","DOI":"10.2307\/1968352"},{"key":"S1079898600000135_ref026","first-page":"29","volume-title":"S. L\u00e9sniewski's lecture notes in logic","author":"Le\u015bniewski","year":"1988"},{"key":"S1079898600000135_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"S1079898600000135_ref037","volume-title":"Parts: A study in ontology","author":"Simons","year":"1987"},{"key":"S1079898600000135_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9419-2"},{"key":"S1079898600000135_ref032","volume-title":"The legacy of Mario Pieri in geometry and arithmetic","author":"Marchisotto","year":"2007"},{"key":"S1079898600000135_ref003","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199296309.003.0003"},{"key":"S1079898600000135_ref018","first-page":"298","article-title":"Une modification des definitions fondamentales de la g\u00e9ometrie des corps de M. A. Tarski","volume":"21","author":"Ja\u015bkowski","year":"1948","journal-title":"Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matiques"},{"key":"S1079898600000135_ref049","first-page":"261","article-title":"Der Wahrheitsbegriff in den formalisierten Sprachen","volume":"1","author":"Tarski","year":"1935","journal-title":"Studia Philosophica"},{"key":"S1079898600000135_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9417-4"},{"key":"S1079898600000135_ref036","volume-title":"Our knowledge of the external world","author":"Russell","year":"1914"},{"key":"S1079898600000135_ref051","first-page":"24","volume-title":"Logic, semantics, metamathematics","author":"Tarski","year":"1956"},{"key":"S1079898600000135_ref006","volume-title":"Introduction to mathematical logic","author":"Church","year":"1956"},{"key":"S1079898600000135_ref058","volume-title":"An enquiry concerning the principles of natural knowledge","author":"Whitehead","year":"1919"},{"key":"S1079898600000135_ref012","volume-title":"Alfred Tarski \u2013 Life and Logic","author":"Feferman","year":"2004"},{"key":"S1079898600000135_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/BF00139702"},{"key":"S1079898600000135_ref054","first-page":"16","volume-title":"The axiomatic method (with special reference to geometry an physics)","author":"Tarski","year":"1959"},{"key":"S1079898600000135_ref027","unstructured":"[2011] Loeb Iris , From Mereology to Boolean algebra: The role of regular open sets in Alfred Tarski's work, submitted, 2011."},{"key":"S1079898600000135_ref040","first-page":"54","article-title":"On well-constructed axiom systems","volume":"6","author":"Soboci\u0144ski","year":"1956","journal-title":"Yearbook of the Polish Society of Arts and Sciences Abroad\/Rocznik Towarzystwa Polskiego na Obczy\u017anie"},{"key":"S1079898600000135_ref045","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/025\/0373872"},{"key":"S1079898600000135_ref041","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093894156"},{"key":"S1079898600000135_ref044","doi-asserted-by":"publisher","DOI":"10.2307\/2273904"},{"key":"S1079898600000135_ref019","first-page":"74","article-title":"Quelques probl\u00e8mes actuels concernant les fondements des math\u00e9matique","volume":"74","author":"Ja\u015bkowski","year":"1949","journal-title":"\u010casopis pro P\u011bstov\u00e1n\u00ed Matematiky a Fysiky"},{"key":"S1079898600000135_ref024","first-page":"261","article-title":"O podstawach matematyki (On the foundations of mathematics)","volume":"XXXI","author":"Le\u015bniewski","year":"1928","journal-title":"Przegl d Filozoficzny"},{"key":"S1079898600000135_ref025","first-page":"60","volume-title":"S. L\u00e9sniewski's lecture notes in logic","author":"Le\u015bniewski","year":"1988"},{"key":"S1079898600000135_ref053","first-page":"320","volume-title":"Logic, semantics, metamathematics","author":"Tarski","year":"1956"},{"key":"S1079898600000135_ref029","volume-title":"The logical systems of Le\u015bniewski","author":"Luschei","year":"1962"},{"key":"S1079898600000135_ref046","first-page":"68","article-title":"O wyrazie pierwotnym logistyki (On the primitive term of logistic)","volume":"26","author":"Tarski","year":"1923","journal-title":"Przegl d Filosficzny"},{"key":"S1079898600000135_ref055","volume-title":"The completeness of elementary algebra and geometry","author":"Tarski","year":"1967"},{"key":"S1079898600000135_ref004","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkp017"},{"key":"S1079898600000135_ref007","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BFb0021089","volume-title":"Constructivity in computer science","volume":"613","author":"Coquand","year":"1991"},{"key":"S1079898600000135_ref028","doi-asserted-by":"publisher","DOI":"10.4115\/jla.2010.2.6a"},{"key":"S1079898600000135_ref030","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1093\/oso\/9780198567936.003.0008","volume-title":"The architecture of modern mathematics","author":"Mancosu","year":"2006"},{"key":"S1079898600000135_ref035","first-page":"345","article-title":"La geometria elementare istituita sulle nozioni di \u201cpunto\u201d e \u201csfera\u201d","volume":"15","author":"Pieri","year":"1908","journal-title":"Memorie di matematica e di fisica della Societ\u00e1 Italiana della Scienze"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600000135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T20:11:17Z","timestamp":1713816677000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600000135\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":60,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["S1079898600000135"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1333560806","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}