{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T18:01:36Z","timestamp":1648749696470},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,6,9]],"date-time":"2015-06-09T00:00:00Z","timestamp":1433808000000},"content-version":"tdm","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":[[2017,1]]},"DOI":"10.1007\/s11229-015-0781-6","type":"journal-article","created":{"date-parts":[[2015,6,8]],"date-time":"2015-06-08T06:35:10Z","timestamp":1433745310000},"page":"67-78","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Carnap and the invariance of logical truth"],"prefix":"10.1007","volume":"194","author":[{"given":"Steve","family":"Awodey","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,9]]},"reference":[{"key":"781_CR1","volume-title":"Carnap\u2019s ideal of explication and naturalism","author":"S Awodey","year":"2012","unstructured":"Awodey, S. (2012). \u201cExplicating \u2018analytic\u2019 \u201d. In P. Wagner (Ed.), Carnap\u2019s ideal of explication and naturalism. Basingstoke: Palgrave Macmillan."},{"key":"781_CR2","series-title":"Logic, epistemology, and the unity of science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-94-007-4435-6_9","volume-title":"Epistemology versus ontology: Essays in honor of Per Martin-L\u00f6f","author":"S Awodey","year":"2012","unstructured":"Awodey, S. (2012). Type theory and homotopy. In P. Dybjer, et al. (Eds.), Epistemology versus ontology: Essays in honor of Per Martin-L\u00f6f (Vol. 27, pp. 183\u2013201)., Logic, epistemology, and the unity of science Dordrecht: Springer."},{"key":"781_CR3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1023\/A:1005622201768","volume":"54","author":"S Awodey","year":"2001","unstructured":"Awodey, S., & Carus, A. W. (2001). Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928. Erkenntnis, 54, 145\u2013172.","journal-title":"Erkenntnis"},{"key":"781_CR4","volume-title":"Carnap\u2019s logical syntax of language","author":"S Awodey","year":"2009","unstructured":"Awodey, S., & Carus, A. W. (2009). From Wittgenstein\u2019s prison to the boundless ocean: Carnap\u2019s dream of logical syntax. In P. Wagner (Ed.), Carnap\u2019s logical syntax of language. Basingstoke: Palgrave Macmillan."},{"key":"781_CR5","doi-asserted-by":"crossref","unstructured":"Awodey, S., & Carus, A. W. (2010). G\u00f6del and Carnap. In S. Feferman, C. Parsons, & S. Simpson (Eds.), Kurt G $$\\ddot{d}$$ d \u00a8 el: Essays for his centennial. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9780511750762.015"},{"issue":"3","key":"781_CR6","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/j.apal.2012.10.016","volume":"164","author":"S Awodey","year":"2013","unstructured":"Awodey, S., & Forssell, H. (2013). First-order logical duality. Annals of Pure and Applied Logic, 164(3), 319\u2013348.","journal-title":"Annals of Pure and Applied Logic"},{"key":"781_CR7","first-page":"469","volume-title":"The philosophy of Rudolf Carnap","author":"EW Beth","year":"1963","unstructured":"Beth, E. W. (1963). Carnap\u2019s views on the advantages of constructed systems over natural languages in the philosophy of science. In P. Schilpp (Ed.), The philosophy of Rudolf Carnap (pp. 469\u2013502). Chicago: Open Court."},{"issue":"1","key":"781_CR8","doi-asserted-by":"crossref","first-page":"29","DOI":"10.2178\/bsl\/1208358843","volume":"14","author":"D Bonnay","year":"2008","unstructured":"Bonnay, D. (2008). Logicality and invariance. Bulletin of Symbolic Logic, 14(1), 29\u201368.","journal-title":"Bulletin of Symbolic Logic"},{"key":"781_CR9","first-page":"355","volume":"1","author":"R Carnap","year":"1927","unstructured":"Carnap, R. (1927). Eigentliche und uneigentliche Begriffe. Symposion, 1, 355\u2013374.","journal-title":"Symposion"},{"key":"781_CR10","unstructured":"Carnap, R. Beweis der Unm\u00f6glichkeit einer Gabelung der Arithmetik. Unpublished note dated 12.6.27. Young Research Library, UCLA, Manuscript collection #1029, Rudolf Carnap Papers, Box 1, folder 1."},{"key":"781_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-25375-5","volume-title":"Logische Syntax der Sprache","author":"R Carnap","year":"1934","unstructured":"Carnap, R. (1934). Logische Syntax der Sprache. Vienna: Springer."},{"key":"781_CR12","volume-title":"Introduction to semantics","author":"R Carnap","year":"1942","unstructured":"Carnap, R. (1942). Introduction to semantics. Cambridge: Harvard University Press."},{"key":"781_CR13","volume-title":"Meaning and necessity","author":"R Carnap","year":"1947","unstructured":"Carnap, R. (1947). Meaning and necessity. Chicago: University of Chicago Press."},{"key":"781_CR14","volume-title":"Logical foundations of probability","author":"R Carnap","year":"1950","unstructured":"Carnap, R. (1950). Logical foundations of probability. Chicago: University of Chicago Press."},{"issue":"1","key":"781_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1215\/00294527-2010-002","volume":"51","author":"S Feferman","year":"2010","unstructured":"Feferman, S. (2010). Set-theoretical invariance criteria for logicality. Notre Dame Journal of Formal Logic, 51(1), 3\u201320.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"781_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173193","volume-title":"Reconsidering logical positivism","author":"M Friedman","year":"1999","unstructured":"Friedman, M. (1999). Tolerance and analyticity in Carnaps philosophy of mathematics. In M. Friedman (Ed.), Reconsidering logical positivism. Cambridge: Cambridge University Press."},{"key":"781_CR17","unstructured":"Friedman, M., & Creath, R. (Eds.). (2007). Carnap\u2019s quest for analyticity. Cambridge compainion to Carnap. Cambridge: Cambridge University Press."},{"key":"781_CR18","volume-title":"Carnap, Tarski, and Quine at Harvard: Conversations on logic, mathematics and science","author":"G Frost-Arnold","year":"2013","unstructured":"Frost-Arnold, G. (2013). Carnap, Tarski, and Quine at Harvard: Conversations on logic, mathematics and science. Chicago: Open Court."},{"key":"781_CR19","first-page":"61","volume-title":"Science and subjectivity: The Vienna circle and twentieth-century philosophy","author":"W Goldfarb","year":"1992","unstructured":"Goldfarb, W., & Ricketts, T. (1992). Carnap and the philosophy of mathematics. In D. Bell & W. Vossenkuhl (Eds.), Science and subjectivity: The Vienna circle and twentieth-century philosophy (pp. 61\u201378). Berlin: Akademie-Verlag."},{"key":"781_CR20","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1090\/S0002-9904-1938-06694-3","volume":"44","author":"S Mac Lane","year":"1938","unstructured":"Mac Lane, S. (1938). Carnap on logical syntax. Bulletin of the American Mathematical Society, 44, 171\u2013176.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"781_CR21","volume-title":"The bounds of logic: A generalized viewpoint","author":"G Sher","year":"1991","unstructured":"Sher, G. (1991). The bounds of logic: A generalized viewpoint. Cambridge: MIT Press."},{"key":"781_CR22","first-page":"143","volume-title":"History and philosophy of logic","author":"A Tarski","year":"1986","unstructured":"Tarski, A. (1986). What are logical notions? In J. Corcoran (Ed.), History and philosophy of logic (Vol. 7, pp. 143\u2013154). Amsterdam: Elsevier."},{"key":"781_CR23","unstructured":"Tarski, A., & Lindenbaum, A. (1956). On the limitations of deductive theories, 1936. In Logic, semantics, metamathematics: Papers from 1923 to 1938 by Alfred Tarski (J. H. Woodger, Ed., Trans.). Oxford: Oxford University Press."},{"key":"781_CR24","volume-title":"Homotopy type theory: Univalent foundations of mathematics","author":"The Univalent Foundations Program","year":"2013","unstructured":"The Univalent Foundations Program. (2013). Homotopy type theory: Univalent foundations of mathematics. Princeton: Institute for Advanced Study."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0781-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0781-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0781-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0781-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:45:10Z","timestamp":1559371510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0781-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,9]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["781"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0781-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,9]]}}}