{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:56:28Z","timestamp":1743069388858,"version":"3.40.3"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031509803"},{"type":"electronic","value":"9783031509810"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0"},{"start":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T00:00:00Z","timestamp":1707782400000},"content-version":"vor","delay-in-days":43,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-50981-0_12","type":"book-chapter","created":{"date-parts":[[2024,2,12]],"date-time":"2024-02-12T14:03:04Z","timestamp":1707746584000},"page":"363-374","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Paradoxes, Intuitionism, and Proof-Theoretic Semantics"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]},{"given":"Paulo Guilherme","family":"Santos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,2,13]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Beall, J. C. and J. Murzi (2013). Two flavors of Curry\u2019s paradox. Journal of Philosophy 110, 143\u2013165.","DOI":"10.5840\/jphil2013110336"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Beeson, M. (1985). Foundations of Constructive Mathematics. Ergebnisse der Mathematik und ihrer Grenzgebiete; 3. Folge, Band 6. Springer.","DOI":"10.1007\/978-3-642-68952-9"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Behmann, H. (1959). Der Pr\u00e4dikatenkalk\u00fcl mit limitierten Variablen. Grundlegung einer nat\u00fcrlichen exakten Logik. Journal of Symbolic Logic 24, 112\u2013140.","DOI":"10.2307\/2964755"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Bencivenga, E. (2002). Free logics. In: Handbook of Philosophical Logic. Ed. by D. M. Gabbay and F. Guenthner. Vol. 5. Dordrecht: Springer, 147\u2013196.","DOI":"10.1007\/978-94-017-0458-8_3"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Benthem, J. F. A. K. van (1978). Four paradoxes. Journal of Philosophical Logic 7, 49\u201372.","DOI":"10.1007\/BF00245920"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bernays, P. (1979). Bemerkungen zu Lorenzen\u2019s Stellungnahme in der Philosophie der Mathematik. In: Konstruktionen versus Positionen, Vol. 1. Ed. by K. Lorenz. Berlin: de Gruyter, 3\u201316.","DOI":"10.1515\/9783110875560-003"},{"key":"12_CR7","unstructured":"Coquand, T. (1986). An analysis of Girard\u2019s paradox. In: Proceedings Symposium on Logic in Computer Science. IEEE Computer Society Press, 227\u2013236."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Curry, H. (1942). The inconsistency of certain formal logics. Journal of Symbolic Logic 7, 115\u2013117.","DOI":"10.2307\/2269292"},{"key":"12_CR9","unstructured":"Dawson, Jr., J. W. (1988). The reception of G\u00f6del\u2019s incompleteness theorems. In: G\u00f6del\u2019s Theorem in focus. Ed. by S. G. Shanker. Routledge, 74\u201395."},{"key":"12_CR10","unstructured":"Do\u0161en, K. and P. Schroeder-Heister (1993). Substructural Logics. Vol. 2. Studies in Logic and Computation. Oxford University Press."},{"key":"12_CR11","unstructured":"Dummett, M. (1981). Frege. Philosophy language. 2nd ed. Duckworth."},{"key":"12_CR12","unstructured":"Dummett, M. (1991). The Logical Basis of Metaphysics. Duckworth."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Ekman, J. (2016). Self-contradictory reasoning. In: Advances in Proof-Theoretic Semantics. Ed. by T. Piecha and P. Schroeder-Heister. Springer, 211\u2013229.","DOI":"10.1007\/978-3-319-22686-6_14"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Feferman, S. (2000). Does reductive proof theory have a viable rationale? Erkenntnis 53, 63\u201396.","DOI":"10.1023\/A:1005622403850"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science 50, 1\u2013102.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K. (1931). \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatshefte f\u00fcr Mathematik und Physik 38, 173\u2013198.","DOI":"10.1007\/BF01700692"},{"key":"12_CR17","unstructured":"Gray, J. (2013). Henri Poincar\u00e9. Princeton University Press."},{"key":"12_CR18","unstructured":"Grelling, K. and L. Nelsen (1908). Bemerkungen zu den Paradoxien von Russell und Burali-Forti. Abhandlungen der Fries\u2019schen Schule II. reprinted in: Nelson, Leonard. Gesammelte Schriften III. Die kritische Methode in ihrer Bedeutung f\u00fcr die Wissenschaften. Hamburg: Felix Meiner Verlag, 1974, pp. 95\u2013127, 301\u2013334."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Halln\u00e4s, L. (1991). Partial inductive definitions. Theoretical Computer Science 87, 115\u2013142.","DOI":"10.1016\/S0304-3975(06)80007-1"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Halln\u00e4s, L. (2006). On the proof-theoretic foundation of general definition theory. Synthese 148, 589\u2013602.","DOI":"10.1007\/s11229-004-6291-6"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Halln\u00e4s, L. (2016). On the proof-theoretic foundations of set theory. In: Advances in Proof-Theoretic Semantics. Ed. by T. Piecha and P. Schroeder-Heister. Springer, 161\u2013171.","DOI":"10.1007\/978-3-319-22686-6_10"},{"key":"12_CR22","unstructured":"Hilbert, D. (1917). Mengenlehre. Vorlesung Sommersemester 1917, Ausarbeitung (Bibliothek des Mathematischen Instituts der Universit\u00e4t G\u00f6ttingen)."},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Hurkens, A. J. C. (1995). A simplification of Girard\u2019s paradox. In: Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA \u201995 Edinburgh, United Kingdom, April 10\u201312, 1995 Proceedings. Ed. by M. Dezani-Ciancaglini and G. Plotkin. Springer, 266\u2013278.","DOI":"10.1007\/BFb0014058"},{"key":"12_CR24","unstructured":"Irvine, A. D. and H. Deutsch (2016). Russell\u2019s paradox. In: The Stanford Encyclopedia of Philosophy. Ed. by E. N. Zalta. Winter 2016 edition. Metaphysics Research Lab, Stanford University."},{"key":"12_CR25","unstructured":"Kahle, R. (2006). David Hilbert \u00fcber Paradoxien. Pr\u00e9-Publica\u00e7\u00f5es. Preprint Number 06-17. Departamento de Matem\u00e1tica, Universidade de Coimbra."},{"key":"12_CR26","unstructured":"L. E. J. Brouwer (1975). Collected Works. Vol. 1: Philosophy and Foundations of Mathematics. Edited by A. Heyting. North-Holland."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Lambek, J. (1958). The mathematics of sentence structure. American Mathematical Monthly 65, 154\u2013169.","DOI":"10.2307\/2310058"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Lethen, T. (2021). Kurt G\u00f6del on logical, theological, and physical antinomies. The Bulletin of Symbolic Logic 27, 267\u2013297.","DOI":"10.1017\/bsl.2021.41"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"L\u00f6b, M. (1955). Solution of a problem of Leon Henkin. Journal of Symbolic Logic 20, 115\u2013118.","DOI":"10.2307\/2266895"},{"key":"12_CR30","unstructured":"Martin-L\u00f6f, P. (1971). A Theory of Types. Tech. rep. Department of Mathematics, University of Stockholm."},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Petrolo, M. and P. Pistone (2019). On Paradoxes in Normal Form. Topoi 38, 605\u2013617.","DOI":"10.1007\/s11245-018-9543-7"},{"key":"12_CR32","unstructured":"Prawitz, D. (1965). Natural Deduction. Vol. 3. Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy. Almqvist & Wiksell."},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Prior, A. N. (1960). The runabout inference-ticket. Analysis 21, 38\u201339.","DOI":"10.1093\/analys\/21.2.38"},{"key":"12_CR34","doi-asserted-by":"crossref","unstructured":"Read, S. (2010). General-elimination harmony and the meaning of the logical constants. Journal of Philosophical Logic 39, 557\u2013576.","DOI":"10.1007\/s10992-010-9133-7"},{"key":"12_CR35","unstructured":"Ruitenburg, W. (1991). Constructive logic and the paradoxes. Modern Logic 1, 271\u2013301."},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Santos, P. G. (2020). Diagonalization in Formal Mathematics. BestMasters. Springer.","DOI":"10.1007\/978-3-658-29111-2"},{"key":"12_CR37","unstructured":"Schroeder-Heister, P. (2012a). Paradoxes and structural rules. In: Insolubles and Consequences: Essays in honour of Stephen Read. Ed. by C. D. Novaes and O. T. Hjortland. College Publications, 203\u2013211."},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P. (2012b). Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning. Topoi 31, 77\u201385.","DOI":"10.1007\/s11245-012-9119-x"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P. (2016a). Open problems in proof-theoretic semantics. In: Advances in Proof-Theoretic Semantics. Ed. by T. Piecha and P. Schroeder-Heister. Springer, 253\u2013283.","DOI":"10.1007\/978-3-319-22686-6_16"},{"key":"12_CR40","unstructured":"Schroeder-Heister, P. (2016b). Proof-theoretic semantics. In: The Stanford Encyclopedia of Philosophy. Ed. by E. N. Zalta. Winter 2016 edition. Metaphysics Research Lab, Stanford University."},{"key":"12_CR41","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P. (2016c). Restricting initial sequents: the trade-offs between identity, contraction and cut. In: Advances in Proof Theory. Ed. by R. Kahle, T. Strahm, and T. Studer. Springer, 339\u2013351.","DOI":"10.1007\/978-3-319-29198-7_10"},{"key":"12_CR42","unstructured":"Sommaruga-Rosolemos, G. (1991). Fixed point constructions in various theories of Mathematical Logic. Bibliopolis."},{"key":"12_CR43","doi-asserted-by":"crossref","unstructured":"Tennant, N. (1982). Proof and paradox. Dialectica 36, 265\u2013296.","DOI":"10.1111\/j.1746-8361.1982.tb00820.x"},{"key":"12_CR44","unstructured":"Thiel, C. (2019). Heinrich Behmanns Beitrag zur Grundlagendebatte. In: Siegener Beitr\u00e4ge zur Geschichte und Philosophie der Mathematik. Ed. by D. Koenig, G. Nickel, S. Shokrani, and R. Kr\u00f6mer. Vol. 11. Universit\u00e4tsverlag Siegen, 191\u2013202."},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Tranchini, L. (2015). Harmonising harmony. The Review of Symbolic Logic 8, 41\u2013423.","DOI":"10.1017\/S1755020315000179"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"Tranchini, L. (2016). Proof-theoretic semantics, paradoxes and the distinction between sense and denotation. Journal of Logic and Computation 26, 495\u2013512.","DOI":"10.1093\/logcom\/exu028"},{"key":"12_CR47","doi-asserted-by":"crossref","unstructured":"Tranchini, L. (2021). Proof-theoretic harmony: towards an intensional account. Synthese 198(Suppl 5), 1145\u20131176.","DOI":"10.1007\/s11229-016-1200-3"},{"key":"12_CR48","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S. and H. Schwichtenberg (2000). Basic Proof Theory. 2nd ed. Cambridge University Press.","DOI":"10.1017\/CBO9781139168717"},{"key":"12_CR49","doi-asserted-by":"crossref","unstructured":"Weaver, N. (2012). Intuitionism and the liar paradox. Annals of Pure and Applied Logic 163, 1437\u20131445.","DOI":"10.1016\/j.apal.2012.01.014"},{"key":"12_CR50","doi-asserted-by":"crossref","unstructured":"Weyl, H. (1918). Das Kontinuum. Veit.","DOI":"10.1515\/9783112451144"},{"key":"12_CR51","unstructured":"Weyl, H. (1987). The Continuum: A Critical Examination of the Foundation of Analysis."},{"key":"12_CR52","unstructured":"Thomas Jefferson University Press. Corrected re-publication, Dover 1994. English translation of Weyl (1918)."},{"key":"12_CR53","doi-asserted-by":"crossref","unstructured":"Zermelo, E. (1908). Untersuchungen \u00fcber die Grundlagen der Mathematik. I. Mathematische Annalen. English translation in Zermelo (1967), 261\u2013281.","DOI":"10.1007\/BF01449999"},{"key":"12_CR54","unstructured":"Zermelo, E. (1967). Inverstigations in the foundations of set theory I. In: From Frege to G\u00f6del. Ed. by J. van He\u0133enoort. Harvard University Press, 199\u2013215."}],"container-title":["Outstanding Contributions to Logic","Peter Schroeder-Heister on Proof-Theoretic Semantics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-50981-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,12]],"date-time":"2024-02-12T14:10:27Z","timestamp":1707747027000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-50981-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031509803","9783031509810"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-50981-0_12","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 February 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}