{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:36:10Z","timestamp":1740123370115,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,2,27]],"date-time":"2017-02-27T00:00:00Z","timestamp":1488153600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s11229-017-1343-x","type":"journal-article","created":{"date-parts":[[2017,2,27]],"date-time":"2017-02-27T06:56:11Z","timestamp":1488178571000},"page":"2649-2676","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Le\u015bniewski on metalogic and definitions"],"prefix":"10.1007","volume":"195","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6238-1465","authenticated-orcid":false,"given":"Sebastien","family":"Richard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,27]]},"reference":[{"key":"1343_CR1","unstructured":"Ajdukiewicz, K. (1967). The syntactic connexion. Eng. trans. by H. Weber in McCall, St. (Ed.), Polish logic 1920\u20131939. Oxford: Oxford University Press, pp. 207\u2013231."},{"key":"1343_CR2","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/j.apal.2003.11.024","volume":"127","author":"A Betti","year":"2004","unstructured":"Betti, A. (2004). Le\u015bniewski Early Liar, Tarski and natural language. Annals of Pure and Applied Logic, 127, 267\u2013287.","journal-title":"Annals of Pure and Applied Logic"},{"key":"1343_CR3","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1093\/acprof:oso\/9780199296309.003.0003","volume-title":"New essays on Tarski and philosophy","author":"A Betti","year":"2008","unstructured":"Betti, A. (2008). Polish axiomatics and its truth: On Tarski\u2019s Le\u015bniewskian background and the Ajdukiewicz connection. In D. Patterson (Ed.), New essays on Tarski and philosophy (pp. 44\u201371). Oxford: Oxford University Press."},{"key":"1343_CR4","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/s11229-008-9423-6","volume":"174","author":"A Betti","year":"2010","unstructured":"Betti, A. (2010). Le\u015bniewski\u2019s characteristica universalis. Synthese, 174, 295\u2013314.","journal-title":"Synthese"},{"key":"1343_CR5","first-page":"105","volume":"3\u20134","author":"HB Curry","year":"1958","unstructured":"Curry, H. B. (1958). On definitions in formal systems. Logique et analyse, 3\u20134, 105\u2013114.","journal-title":"Logique et analyse"},{"key":"1343_CR6","unstructured":"Husserl, E. (1970). Logical investigations, 2 vols. (J. N. Findlay, Trans.). London: Routledge and Kegan Paul."},{"key":"1343_CR7","unstructured":"Joray, P. (2005a). Should definitions be internal? In M. Bilkova & L. Behounek (Eds.), The logica yearbook 2004 (pp. 189\u2013199). Prague: Filosofia."},{"key":"1343_CR8","first-page":"39","volume":"23","author":"P Joray","year":"2005","unstructured":"Joray, P. (2005b). What is wrong with creative definitions? Logika, 23, 39\u201349.","journal-title":"Logika"},{"key":"1343_CR9","first-page":"57","volume":"20","author":"P Joray","year":"2011","unstructured":"Joray, P. (2011). Axiomatiques minimales et d\u00e9finitions. La th\u00e8se de Tarski sur le calcul biconditionnel. Travaux de Logique, 20, 57\u201383.","journal-title":"Travaux de Logique"},{"issue":"148","key":"1343_CR10","doi-asserted-by":"crossref","first-page":"28","DOI":"10.3406\/lgge.2002.2421","volume":"36","author":"P Joray","year":"2002","unstructured":"Joray, P., & Godart-Wendling, B. (2002). De la th\u00e9orie des cat\u00e9gories s\u00e9mantiques de Lesniewski \u00e0 l\u2019analyse de la quantification dans la syntaxe d\u2019Ajdukiewicz. Langages, 36(148), 28\u201350.","journal-title":"Langages"},{"key":"1343_CR11","unstructured":"Leblanc, A. O. V. (1991). Le\u015bniewski computative protothetic. Ph.D. thesis, Manchester University."},{"key":"1343_CR12","doi-asserted-by":"crossref","unstructured":"Le\u015bniewski, St. (1929). Grundz\u00fcge eines systems der grundlagen der mathematik. Fundamenta Mathematicae, 14, 1\u201381. Eng. trans. by M. P. O\u2019Neil: (1992), Fundamentals of a new system of the foundations of mathematics. In Le\u015bniewski, St., Collected works. Vol. 2, edited by S. J. Surma et al., Dordrecht: Polish Scientific Publishers-Kluwer, pp. 410\u2013605.","DOI":"10.4064\/fm-14-1-1-81"},{"key":"1343_CR13","unstructured":"Le\u015bniewski, St. (1930). \u00dcber die grundlagen der ontologie. Sprawozdania z Posiedze\u0144 Towarzystwa Naukowego Warszawskiego, Section 3, 23, 116\u2013127. Eng. trans. by M. P. O\u2019Neil: (1992), On the foundations of ontology. In Le\u015bniewski, St., Collected works. Vol. 2, edited by S. J. Surma et al., Dordrecht: Polish Scientific Publishers-Kluwer, pp. 610\u2013624."},{"key":"1343_CR14","unstructured":"Le\u015bniewski, St. (1932). \u00dcber definition in der sogenannte theorie der deduktion. Sprawozdania z Posiedze\u0144 Towarzystwa Naukowego Warszawskiego, Section 3, 24, 289\u2013309. Eng. trans. by E. C. Luschei: (1992), On definitions in the so-called theory of deduction. In Le\u015bniewski, St., Collected works. Vol. 2, edited by S. J. Surma et al., Dordrecht: Polish Scientific Publishers-Kluwer, pp. 629\u2013648."},{"key":"1343_CR15","volume-title":"The logical systems of Le\u015bniewski","author":"EC Luschei","year":"1962","unstructured":"Luschei, E. C. (1962). The logical systems of Le\u015bniewski. Amsterdam: North-Holland."},{"key":"1343_CR16","first-page":"177","volume":"11","author":"J \u0141ukasiewicz","year":"1928","unstructured":"\u0141ukasiewicz, J. (1928a). O definicyach w teoryi dedukcyi. Ruch Filozoficzny, 11, 177\u2013178.","journal-title":"Ruch Filozoficzny"},{"key":"1343_CR17","first-page":"164","volume":"11","author":"J \u0141ukasiewicz","year":"1928","unstructured":"\u0141ukasiewicz, J. (1928b). Rola definicyj w systemach dedukcyjnych. Ruch Filozoficzny, 11, 164.","journal-title":"Ruch Filozoficzny"},{"key":"1343_CR18","first-page":"610","volume":"10","author":"J \u0141ukasiewicz","year":"1929","unstructured":"\u0141ukasiewicz, J. (1929). O znaczeniu i potrzebach logiki matematycznej. Nauka Polska, 10, 610\u2013612.","journal-title":"Nauka Polska"},{"key":"1343_CR19","unstructured":"\u0141ukasiewicz, J. (1963). Elements of mathematical logic (O. Wojtasiewicz, Trans.). Oxford: Pergamon Press."},{"key":"1343_CR20","unstructured":"\u0141ukasiewicz, J. (1967). The equivalential calculus. Eng. trans. by P. Woodruff in McCall, St., Polish logic 1920\u20131939. Oxford: Oxford University Press, pp. 88\u2013115."},{"key":"1343_CR21","unstructured":"\u0141ukasiewicz, J. (1970). Comments on Nicod\u2019s axiom and \u2018generalizing deduction\u2019. Eng. trans. by O. Wojtasiewicz in \u0141ukasiewicz, J., Selected works. Edited by L. Borkowski, Amsterdam and Warsaw: North-Holland and PWN, pp. 179\u2013196."},{"key":"1343_CR22","unstructured":"Mi\u00e9ville, D. (2001). Introduction \u00e0 l\u2019\u0153uvre de S. Le\u015bniewski. Fascicule I: la prototh\u00e9tique. Neuch\u00e2tel: Travaux de logique, Centre de Recherches S\u00e9miologiques."},{"key":"1343_CR23","unstructured":"Mi\u00e9ville, D. (2009). Introduction \u00e0 l\u2019\u0153uvre de S. Le\u015bniewski. Fascicule VI: la m\u00e9talangue d\u2019une syntaxe inscriptionnelle. Neuch\u00e2tel: Travaux de logique, Centre de Recherches S\u00e9miologiques."},{"key":"1343_CR24","doi-asserted-by":"crossref","DOI":"10.1057\/9780230367227","volume-title":"Alfred Tarski. Philosophy of language and logic","author":"D Patterson","year":"2012","unstructured":"Patterson, D. (2012). Alfred Tarski. Philosophy of language and logic. London: Palgrave."},{"issue":"1","key":"1343_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1305\/ndjfl\/1093894621","volume":"13","author":"VFR Rickey","year":"1972","unstructured":"Rickey, V. F. R. (1972). Axiomatic inscriptional syntax. Part I: General syntax. Notre Dame Journal of Formal Logic, 13(1), 1\u201333.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"1343_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1305\/ndjfl\/1093890806","volume":"14","author":"VFR Rickey","year":"1973","unstructured":"Rickey, V. F. R. (1973). Axiomatic inscriptional syntax. Part II: The syntax of protothetic. Notre Dame Journal of Formal Logic, 14(1), 1\u201352.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1343_CR27","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1014780217184","volume":"56","author":"P Simons","year":"2002","unstructured":"Simons, P. (2002). Reasoning on a tight budget: Lesniewski\u2019s nominalistic metalogic. Erkenntnis, 56, 99\u2013122.","journal-title":"Erkenntnis"},{"key":"1343_CR28","unstructured":"Soboci\u0144ski, B. (1955\/56). On well-constructed axiom systems. Rocznik Polskiego Towarzystwa Naukowego na Obczy\u017anie, 6, 54\u201365."},{"issue":"1\u20132","key":"1343_CR29","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1305\/ndjfl\/1093956428","volume":"1","author":"B Soboci\u0144ski","year":"1960","unstructured":"Soboci\u0144ski, B. (1960). On the single axioms of protothetic. Notre Dame Journal of Formal Logic, 1(1\u20132), 52\u201373.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1343_CR30","unstructured":"Suppes, P., (1999 [1957]). Introduction to logic. Mineola (N.Y.): Dover."},{"key":"1343_CR31","unstructured":"Tarski, A. (1923). O wyrazie perwotnym logistyki. Przegl\u0105d Filozoficzny, 26(1\u20132), 68\u201389. Eng. trans. by J. H. Woodger: (1956), On the primitive term of logistic. In Tarski, A. (1983 [1956]). Logic, semantics, metamathematics. 2nd ed., Indianapolis: Hackett, pp. 1\u201323."},{"key":"1343_CR32","unstructured":"Tarski, A. (1933). Poj\u0119ciu prawdy w j\u0119zykach nauk dedukcyjnych. In Tarski, A. (1995), Pisma logiczno-filozoficzne, Vol. 2, Warsaw: IPWN, pp. 9\u2013172. Eng. trans. by J. H. Woodger: (1956), The concept of truth in formalized languages. In Tarski, A. (1983 [1956]). Logic, semantics, metamathematics. 2nd ed., Indianapolis: Hackett Publishing Company, pp. 152\u2013278."},{"key":"1343_CR33","unstructured":"Tarski, A. (1936). O ungruntowanu naukowej semantyki. In Tarski, A. (1995), Pisma logiczno-filozoficzne, Vol. 2, Warsaw: IPWN, pp. 173\u2013185. Eng. trans. by J. H. Woodger: (1956), The establishment of scientific semantics. In Tarski, A. (1983 [1956]). Logic, semantics, metamathematics. 2nd ed., Indianapolis: Hackett Publishing Company, pp. 401\u2013408."},{"issue":"3","key":"1343_CR34","doi-asserted-by":"crossref","first-page":"341","DOI":"10.2307\/2102968","volume":"4","author":"A Tarski","year":"1944","unstructured":"Tarski, A. (1944). The semantic conception of truth. Philosophy and Phenomenological Research, 4(3), 341\u2013376.","journal-title":"Philosophy and Phenomenological Research"},{"key":"1343_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-00482-2","volume-title":"Le\u015bniewski\u2019s systems of logic and foundations of mathematics","author":"R Urbaniak","year":"2014","unstructured":"Urbaniak, R. (2014). Le\u015bniewski\u2019s systems of logic and foundations of mathematics. Dordrecht: Springer."},{"issue":"2","key":"1343_CR36","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1080\/01445340.2011.583771","volume":"33","author":"R Urbaniak","year":"2012","unstructured":"Urbaniak, R., & H\u00e4m\u00e4ri, K. S. (2012). Busting a myth about Le\u015bniewski and definitions. History and Philosophy of Logic, 33(2), 159\u2013189.","journal-title":"History and Philosophy of Logic"},{"key":"1343_CR37","volume-title":"Principia mathematica","author":"AN Whitehead","year":"1910","unstructured":"Whitehead, A. N., & Russell, B. (1910). Principia mathematica (1st ed.). Cambridge: Cambridge University Press.","edition":"1"},{"key":"1343_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-2581-6","volume-title":"Logic and philosophy in the Lvov-Warsaw school","author":"J Wole\u0144ski","year":"1989","unstructured":"Wole\u0144ski, J. (1989). Logic and philosophy in the Lvov-Warsaw school. Dordrecht: Springer."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-017-1343-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1343-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1343-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T09:23:18Z","timestamp":1527499398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-017-1343-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,27]]},"references-count":38,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["1343"],"URL":"https:\/\/doi.org\/10.1007\/s11229-017-1343-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2017,2,27]]}}}