Abstract
The contributions to this volume represent a broad range of aspects of proof-theoretic semantics. Some do so in the narrower, and some in the wider sense of the term. Some deal with issues I have been concerned with directly, and some tackle further problems. All of them open interesting new perspectives and develop the field in different directions. I will briefly comment on the significance of each contribution here.
Chapter PDF
Similar content being viewed by others
References
Abadi, M., L. Cardelli, P.-L. Curien, and J.-J. Lévy (1991). Explicit substitutions. Journal of Functional Programming 1, 375–416. doi: https://doi.org/10.1017/S0956796800000186.
Arndt, M. (2019). Eight inference rules for implication. Studia Logica 107, 781–808. doi: https://doi.org/10.1007/s11225-018-9821-9.
Arndt, M. (2023). Eight rules for implication elimination. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Arndt, M. and L. Tesconi (2014). Principles of explicit composition. In: Second Pisa Colloquium in Logic, Language and Epistemology. Ed. by E. Moriconi. Pisa: Edizioni ETS, 19–67.
Bärtschi, M. and G. Jäger (2023). Some set-theoretic reduction principles. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
de Campos Sanz, W. (2023). Kolmogorov and the general theory of problems. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Došen, K. (1989). Logical constants as punctuation marks. Notre Dame Journal of Formal Logic 30, 362–381. doi: https://doi.org/10.1305/ndjfl/1093635154.
Francez, N. (2015). Proof-Theoretic Semantics. London: College Publications.
Francez, N. (2022). Proof-theoretic semantics as a resource for expressing semantic variability. Synthese 200, article number 294. doi: https://doi.org/10.1007/s11229-022-03780-1.
Francez, N. and M. Kaminski (2023). Truth-value constants in multi-valued logics. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. By T. Piecha and K. F. Wehmeier. Berlin: Springer.
Frege, G. (1884). Die Grundlagen der Arithmetik: Eine logisch mathematische Untersuchung über den Begriff der Zahl. Breslau: Wilhelm Koebner. Engl. The Foundations of Arithmetic: A logico-mathematical enquiry into the concept of number. Basil Blackwell: Oxford 1950, 2nd edition 1953.
Frege, G. (1906). Über die Grundlagen der Geometrie. Jahresbericht der Deutschen Mathematiker-Vereinigung 15, 293–309, 377–403, 423–430. Engl. On the Foundations of Geometry (Second Series). In: G. Frege, On the Foundations of Geometry and Formal Theories of Arithmetic, trans. and ed. by E.-H. W. Kluge. New Haven: Yale University Press, 49–112.
Frege, G. (1923). Logische Untersuchungen. Dritter Teil: Gedankengefüge. Beiträge zur Philosophie des deutschen Idealismus 3, 36–51. Engl. Logical Investigations. Third Part: Compound Thoughts. In: G. Frege, Logical Investigations, trans. by P. Geach and R. Stoothoff, ed. by P. Geach, Oxford: Blackwell 1977, 55–77.
Hallnäs, L. (2023). On the structure of proofs. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Hallnäs, L. and P. Schroeder-Heister (1990). A proof-theoretic approach to logic programming: II. Programs as definitions. Journal of Logic and Computation 1, 635–660. doi: https://doi.org/10.1093/logcom/1.5.635.
Hilbert, D. and P. Bernays (1934). Grundlagen der Mathematik I. Berlin: Springer. Second edition 1968.
Hindley, J. R. (1997). Basic Simple Type Theory. Cambridge: Cambridge University Press.
Indrzejczak, A. (2023). Logicality of equality. In: Peter Schroeder-Heister on Proof- Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Kahle, R. and P. Santos (2023). Paradoxes, intuitionism, and proof-theoretic semantics. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. By T. Piecha and K. F. Wehmeier. Berlin: Springer.
Liang, C. and D. Miller (2023). Focusing Gentzen’s LK proof system. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Negri, S. and J. von Plato (2001). Structural Proof Theory. Cambridge University Press.
Pereira, L. C., E. H. Haeusler, and V. Nascimento (2023). Disjunctive syllogism without Ex falso. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Piecha, T. and P. Schroeder-Heister (2019). Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics. Studia Logica 107. Special issue General Proof Theory. Ed. by T. Piecha and P. Schroeder-Heister, 233–246. doi: https://doi.org/10.1007/s11225-018-9823-7.
Pistone, P. and L. Tranchini (2023). Intensional harmony as isomorphism. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist & Wiksell. Reprinted Mineola, NY: Dover Publ., 2006.
Prawitz, D. (1971). Ideas and results in proof theory. In: Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970). Ed. by J. E. Fenstad. Amsterdam: North-Holland, 235–308. doi: https://doi.org/10.1016/S0049-237X(08)70849-8.
Prawitz, D. (1972). The philosophical position of proof theory. In: Contemporary Philosophy in Scandinavia. Ed. by R. E. Olson and A. M. Paul. Baltimore: Johns Hopkins Press, 123–134.
Prawitz, D. (1973). Towards a foundation of a general proof theory. In: Logic, Methodology and Philosophy of Science IV. Ed. by P. Suppes et al. Amsterdam: North-Holland, 225–250.
Prawitz, D. (1979). Proofs and the meaning and completeness of the logical constants. In: Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29 – July 6, 1976. Ed. by J. Hintikka, I. Niiniluoto, and E. Saarinen. Dordrecht: Kluwer, 25–40 [revised German translation ‘Beweise und die Bedeutung und Vollständigkeit der logischen Konstanten’, Conceptus, 16, 1982, 31–44]. doi: https://doi.org/10.1007/978-94-009-9825-4_2.
Prawitz, D. (2006). Meaning approached via proofs. Synthese 148. Special issue Proof- Theoretic Semantics, edited by R. Kahle and P. Schroeder-Heister., 507–524. doi: https://doi.org/10.1007/s11229-004-6295-2.
Prawitz, D. (2023). The validity of inference and argument. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Rezende de Castro Alves, T. (2019). Synonymy and Identity of Proofs: A Philosophical Essay. University of Tübingen: Doctoral Dissertation. doi: https://doi.org/10.15496/publikation- 32950.
Schroeder-Heister, P. (1984a). A natural extension of natural deduction. Journal of Symbolic Logic 49, 1284–1300. doi: https://doi.org/10.2307/2274279.
Rezende de Castro Alves, T. (1984b). Popper’s theory of deductive inference and the concept of a logical constant. History and Philosophy of Logic 5, 79–110. doi: https://doi.org/10.1080/01445348408837064.
Rezende de Castro Alves, T. (1997). Frege and the resolution calculus. History and Philosophy of Logic 18, 95–108. doi: https://doi.org/10.1080/01445349708837278.
Schroeder-Heister, P. (1999). Gentzen-style features in Frege. In: Abstracts of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, Poland (August 1999), 449. doi: https://doi.org/10.15496/publikation-72545.
Rezende de Castro Alves, T. (2004). On the notion of Assumption in logical systems. In: Selected Papers Contributed to the Sections of GAP5, Fifth International Congress of the Society for Analytical Philosophy, Bielefeld, 22-26 September 2003. Ed. by R. Bluhm and C. Nimtz. Paderborn: Mentis, 27–48. url: http://www.gap5.de/proceedings/. (Abstract and Extended Summary doi: https://doi.org/10.15496/publikation-72545).
Rezende de Castro Alves, T. (2006). Validity concepts in proof-theoretic semantics. Synthese 148. Special issue Proof-Theoretic Semantics. Ed. by R. Kahle and P. Schroeder-Heister, 525–571. doi: https://doi.org/10.1007/s11229-004-6296-1.
Rezende de Castro Alves, T. (2009). Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics. In: The Logica Yearbook 2008. Ed. by M. Peliš. London: College Publications, 237–251. doi: https://doi.org/10.15496/publikation-70817.
Rezende de Castro Alves, T. (2011). Implications-as-rules vs. implications-as-links: an alternative implicationleft schema for the sequent calculus. Journal of Philosophical Logic 40, 95–101. doi: https://doi.org/10.1007/s10992-010-9149-z.
Rezende de Castro Alves, T. (2012a). Paradoxes and structural rules. In: Insolubles and Consequences: Essays in Honour of Stephen Read. Ed. by C. Dutilh Novaes and O. Hjortland. London: College Publications, 203–211. doi: https://doi.org/10.15496/publikation-70824.
Rezende de Castro Alves, T. (2012b). Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning. Topoi 31, 77–85. doi: https://doi.org/10.1007/s11245-012-9119-x.
Rezende de Castro Alves, T. (2014). Frege’s sequent calculus. In: Trends in Logic XIII: Gentzen’s and Jaśkowski’s Heritage – 80 Years of Natural Deduction and Sequent Calculi. Ed. By A. Indrzejczak, J. Kaczmarek, and M. Zawidzki. Łódż University Press, 233–245. doi: https://doi.org/10.15496/publikation-72324.
Rezende de Castro Alves, T. (2015). Harmony in proof-theoretic semantics: a reductive analysis. In: Dag Prawitz on Proofs and Meaning. Ed. by H. Wansing. Berlin: Springer, 329–358. doi: https://doi.org/10.1007/978-3-319-11041-7_15.
Rezende de Castro Alves, T. (2016). 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. Basel: Birkhäuser, 339–351. doi: https://doi.org/10.1007/978-3-319-29198-7_10.
Rezende de Castro Alves, T. (2022). Intensional proof-theoretic semantics and the rule of contraction. In: Logically Speaking: A Festschrift for Marie Duží. Ed. by P. Materna and B. Jespersen. London: College Publications, 5–21.
Rezende de Castro Alves, T. (2023). Proof-theoretic semantics: an autobiographical survey. In: Peter Schroeder- Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Schroeder-Heister, P. and L. Tranchini (2017). Ekman’s paradox. Notre Dame Journal of Formal Logic 58, 567–581. doi: https://doi.org/10.1215/00294527-2017-0017.
Schroeder-Heister, P. and L. Tranchini (2021). How to Ekman a Crabbé-Tennant. Synthese 199, 617–639. doi: 10.1007/ s11229-018-02018-3.
Sundholm, G. (2023). Grundlagen der Arithmetik, §17: Part 1. Frege’s anticipation of the deduction theorem. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Tennant, N. (1982). Proof and paradox. Dialectica 36, 265–296. doi: https://doi.org/10.1111/j.1746-8361.1982.tb00820.x.
Tennant, N. (1992). Autologic. Edinburgh: Edinburgh University Press.
Tennant, N. (2002). Ultimate normal forms for parallelized natural deductions. Logic Journal of the IGPL 10, 299–337. doi: https://doi.org/10.1093/jigpal/10.3.299.
Tennant, N. (2021). Normalizability, cut eliminability and paradox. Synthese 199, 597–616. doi: https://doi.org/10.1007/s11229-016-1119-8.
Tennant, N. (2023). Frege’s class theory and the logic of sets. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Tranchini, L. (2023). Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics. Berlin: Springer.
Wansing, H. (2023). A note on synonymy in proof-theoretic semantics. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Więckowski, B. (2011). Rules for subatomic derivation. Review of Symbolic Logic 4, 219–236. doi: https://doi.org/10.1017/S175502031000033X.
Więckowski, B. (2023). Counterfactual possibilities and might-counterfactuals. In: Peter Schroeder- Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-ShareAlike 4.0 International License (http://creativecommons.org/licenses/by-sa/4.0/), which permits use, sharing, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. If you remix, transform, or build upon this chapter or a part thereof, you must distribute your contributions under the same license as the original.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Schroeder-Heister, P. (2024). Comments on the Contributions. In: Piecha, T., Wehmeier, K.F. (eds) Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic, vol 29. Springer, Cham. https://doi.org/10.1007/978-3-031-50981-0_17
Download citation
DOI: https://doi.org/10.1007/978-3-031-50981-0_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-50980-3
Online ISBN: 978-3-031-50981-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)