Abstract
In this autobiographical sketch, which is followed by a bibliography of my writings, I try to relate my intellectual development to problems, ideas and results in proof-theoretic semantics on which I have worked and to which I have contributed.
Chapter PDF
Similar content being viewed by others
References
American Mathematical Society (2020). 2020 Mathematics Subject Classification. url: https://mathscinet.ams.org/mathscinet/msc/msc2020.html.
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.
Avron, A. (1990). Gentzenizing Schroeder-Heister’s natural extension of natural deduction. Notre Dame Journal of Formal Logic 31, 127–135. doi: https://doi.org/10.1305/ndjfl/1093635337.
Binder, D. and T. Piecha (2017). Popper’s notion of duality and his theory of negations. History and Philosophy of Logic 38, 154–189. doi: https://doi.org/10.1080/01445340.2016.1278517.
Binder, D. and T. Piecha (2021). Popper on quantification and identity. In: Karl Popper’s Science and Philosophy. Ed. by Z. Parusniková and D. Merritt. Berlin: Springer, 149–169. doi:https://doi.org/10.1007/978-3-030-67036-8_8.
Brandom, R. B. (1994). Making It Explicit: Reasoning, Representing, and Discursive Commitment. Cambridge, MA: Harvard University Press.
Brandom (2000). Articulating Reasons: An Introduction to Inferentialism. Cambridge, MA: Harvard University Press.
Buhl, G. (1961). Ableitbarkeit und Abfolge in der Wissenschaftstheorie Bolzanos. Kantstudien Ergänzungshefte 83. Kölner Universitäts-Verlag.
Buldt, B. (2022). Logic and foundations of the exact sciences at the University of Konstanz: people & projects 1966–2021. In: 60 Jahre DVMLG. Ed. by B. Löwe and D. Sarikaya. London: College Publications, 51–96.
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.
Dummett, M. (1973). Frege: Philosophy of Language. London: Duckworth.
Dummett, M. (1991). Frege. Philosophy of Mathematics. Cambridge, MA: Harvard University Press.
Dyckhoff, R. (2018). A note on bobs-only Grandsire Triples. 2 January 2018. St Andrews University. url: https://www.ringing.info/bobs-only_g7.pdf.
Ekman, J. (1994). Normal Proofs in Set Theory. Unversity of Göteborg: Ph.D. thesis. url: https://hdl.handle.net/2077/10743.
Francez, N. (2015). Proof-Theoretic Semantics. London: College Publications.
Friedrichsdorf, U. (1992). Einführung in die klassische und intensionale Logik. Braunschweig: Vieweg.
Gabbay, D. M. and U. Reyle (1984). N-PROLOG: an extension of PROLOG with hypothetical implications. Journal of Logic Programming 1, 319–355. doi: https://doi.org/10.1016/0743-1066(84)90029-3. 34 Peter Schroeder-Heister
Gentzen, G. (1933). Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. Mathematische Annalen 107, 329–350. doi: https://doi.org/10.1007/BF01448897. English translation in: The Collected Papers of Gerhard Gentzen. Ed. by M. E. Szabo. Amsterdam: North Holland 1969, 29–52.
Gentzen, G (1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39, 176–210 (doi: https://doi.org/10.1007/BF01201353), 405–431 (doi: https://doi.org/10.1007/BF01201363). English translation in: The Collected Papers of Gerhard Gentzen. Ed. by M. E. Szabo. Amsterdam: North Holland 1969, 68–131.
Gödel, K. (2003). Kurt Gödel: CollectedWorks: Volume IV: Selected Correspondence, A–G. Ed. by S. Feferman, J. W. Dawson, W. Goldfarb, C. Parsons, and W. Sieg. Oxford: Clarendon Press.
Hallnäs, L. (1983). On Normalization of Proofs in Set Theory. Unversity of Stockholm: Ph. D. thesis. Published as: Dissertationes Mathematicae, Vol. 261, Polska Akademia Nauk, Warszawa 1988. url: http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.zamlynska- 2e4a4d2f- 6a08- 47b6- 8e9b- 1f63f3aac438/c/rm26101.pdf.
Hallnäs, L. (1991). Partial inductive definitions. Theoretical Computer Science 87, 115–142. doi: https://doi.org/10.1016/S0304-3975(06)80007-1.
Hallnäs, L. (2006). On the proof-theoretic foundation of general definition theory. Synthese 148, 589–602. doi: https://doi.org/10.1007/s11229-004-6291-6.
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.
Lloyd, J. W. (1984). Foundations of Logic Programming. 2nd Edition 1987. Berlin: Springer.
Lorenzen, P. (1955). Einführung in die operative Logik und Mathematik. 2nd Edition 1969. Berlin: Springer.
Miller, D. (1986). A theory of modules for logic programming. In: Proceedings of the 1986 Symposium on Logic Programming (Salt Lake City Utah). Washington: IEEE Computer Society Press, 106–114.
Mittelstraß, J., ed. (1980–2018). Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. I–IV (1980–1996). 2nd Edition: Vol. I–VIII (2005–2018). Stuttgart: Metzler.
Paramei, G. V. (2009). Walter H Ehrenstein (1950-2009). Perception 38, 784–787. doi: https://doi.org/10.1068/p3805ob.
Piecha, T. (2016). Completeness in proof-theoretic semantics. In: Advances in Proof-Theoretic Semantics. Ed. by T. Piecha and P. Schroeder-Heister. Berlin: Springer, 231–251. doi: https://doi.org/10.1007/978-3-319-22686-6_15.
Piecha, T. (2023). Karl Popper on deduction. In: Perspectives on Deduction. Ed. by A. Piccolomini d’Aragona. Berlin: Springer.
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.
Popper, K. and D. Miller (1983). A proof of the impossibility of inductive probability. Nature 302, 687–688. doi: https://doi.org/10.1038/302687a0.
Popper, K. and D. Miller (1987). Why probabilistic support is not inductive. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences 321, 569–591. doi: https://doi.org/10.1098/rsta.1987.0033.
Popper, K. R. (1945). The Open Society and Its Enemies. London: Routledge.
Prauss, G. (1974). Kant und das Problem der Dinge an sich. Bonn: Bouvier.
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. (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. (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.
Pym, D., E. Ritter, and E. Robinson (2022). Proof-theoretic semantics in sheaves (extended abstract). In: Scandinavian Logic Symposium (SLSS 2022). 17th–19th June, 2022. Bergen, Norway. url: http://www0.cs.ucl.ac.uk/staff/D.Pym/PymRitterRobinson.pdf.
Rumelhart, D. E., J. L. McClelland, PDP Research Group, et al. (1988). Parallel Distributed Processing. New York: IEEE.
Sambin, G., G. Battilotti, and C. Faggian (2000). Basic Logic: reflection, symmetry, visibility. Jounal of Symbolic Logic 65, 979–1013. doi: https://doi.org/10.2307/2586685.
Sandqvist, T. (2015). Base-extension semantics for intuitionistic sentential logic. Logic Journal of the IGPL 23, 719–731. doi: https://doi.org/10.1093/jigpal/jzv021.
Shastri, L. and V. Ajjanagadde (1993). From simple associations to systematic reasoning: a connectionist representation of rules, variables and dynamic bindings using temporal synchrony. Behavioral and Brain Sciences 16, 417–451. doi: https://doi.org/10.1017/S0140525X00030910.
Stålmarck, G. (1991). Normalization theorems for full first order classical natural deduction. Journal of Symbolic Logic 56, 129–149. doi: https://doi.org/10.2307/2274910.
Stegmüller, W. (1959). Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung. Wien: Springer. doi: https://doi.org/10.1007/978-3-7091-3524-2.
Stegmüller, W. (1979). The Structuralist View of Theories: A Possible Analogue of the Bourbaki Programme in Physical Science. Berlin: Springer. doi: https://doi.org/10.1007/978-3-642-95360-6.
Sundholm, G. (1986). Proof theory and meaning. In: Handbook of Philosophical Logic, Vol. III. Ed. by D. Gabbay and F. Guenthner. Dordrecht: Reidel, 471–506. doi: https://doi.org/10.1007/978-94-017-0464-9_3.
Tennant, N. (1980). Aproof-theoretic approach to entailment. Journal of Philosophical Logic 9, 185–209. doi: https://doi.org/10.1007/BF00247748.
Tennant, N. (2017). Core Logic. Oxford University Press.
The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton: Institute for Advanced Study.
Thiel, C. (1965). Sinn und Bedeutung in der Logik Gottlob Freges. Meisenheim a. Gl.: Anton Hain.
van Atten, M., P. Boldini, M. Bourdeau, and G. Heinzmann, eds. (2008). One Hundred Years of Intuitionism (1907–2007): The Cerisy Conference. Basel: Birkhäuser. doi: https://doi.org/10.1007/978-3-7643-8653-5.
Vogel, M. (1975). Die Lehre von den Tonbeziehungen. Bonn-Bad Godesberg: Verlag für systematische Musikwissenschaft.
von Kutschera, F. (1968). Die Vollständigkeit des Operatorensystems {¬, ∧, ∨, ⊃} für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik. Archiv für mathematische Logik und Grundlagenforschung 11, 3–16. doi: https://doi.org/10.1007/BF01973339.
von Kutschera, F. (1969). Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle. Archiv für mathematische Logik und Grundlagenforschung 12, 104–118. doi: https://doi.org/10.1007/BF01969697.
von Kutschera, F. (1996). Frege and natural deduction. In: Frege: Importance and Legacy. Ed. by M. Schirn. Berlin: De Gruyter, 301–304. doi: https://doi.org/10.1515/9783110813043.301.
Wansing, H. (2000). The idea of a proof-theoretic semantics and the meaning of the logical operations. Studia Logica 64, 3–20. doi: https://doi.org/10.1023/A:1005217827758.
Wirth, C.-P. (2021). Gisbert Hasenjaeger and a most interesting unpublished draft for Hilbert and Bernays’ “Grundlagen der Mathematik”. Siegener Beiträge zur Geschichte und Philosophie der Mathematik 14, 1–57. doi: https://doi.org/10.25819/ubsi/10063.
Publications by Peter Schroeder-Heister
Most publications can be downloaded from Peter Schroeder-Heister’s homepage.
(A) Logic-related publications including significant abstracts
Schroeder-Heister, P. (1981a). Bibliographie Hugo Dingler (1981–1954). Zeitschrift für philosophische Forschung 35, 283–298. Slightly modified version in: Der wissenschaftliche Nachlaß von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers. Ed. by G. Wolters and P. Schroeder-Heister. doi: https://doi.org/10.15496/publikation-69429.
Schroeder-Heister, P (1981b). Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen. University of Bonn: Doctoral Dissertation. Published online together with the manuscript “Sentential calculi with rules of arbitrary levels” of 1982 (Summary of Chapters 1 and 2 of the German Ph.D. thesis). doi: https://doi.org/10.15496/publikation-68454.
Schroeder-Heister, P (1982). Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren. Conceptus. Zeitschrift für Philosophie 16, 45–59. doi: https://doi.org/10.15496/publikation-72304.
Schroeder-Heister, P (1983a). Inversion principles and the completeness of intuitionistic natural deduction systems. In: Abstracts of the 7th International Congress of Logic, Methodology and Philosophy of Science (Salzburg 1983), 150–153. doi: https://doi.org/10.15496/publikation-72545.
Schroeder-Heister, P (1983c). The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle. Journal of Philosophical Logic, 359–377. doi: https://doi.org/10.1007/BF00263483.
Schroeder-Heister, P (1984a). A natural extension of natural deduction. Journal of Symbolic Logic 49, 1284–1300. doi: https://doi.org/10.2307/2274279.
Schroeder-Heister, P (1984b). Freges Permutationsargument: Zu §10 der “Grundgesetze der Arithmetik”. In: Frege Conference 1984. Proceedings of the International Conference Held at Schwerin (GDR), September 10-14, 1984. Ed. by G. Wechsung. Berlin: Akademie-Verlag, 182–188. doi: https://doi.org/10.15496/publikation-72305.
Schroeder-Heister, P (1984c). Generalized rules for quantifiers and the completeness of the intuitionistic operators &, ∨, ⊃,⊥, ∀, ∃. In: Computation and Proof Theory: Proceedings of the Logic Colloquium Held in Aachen, July 18-23, 1983, Part II. (Lecture Notes in Mathematics Vol. 1104). Ed. by M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, and W. Thomas. Berlin: Springer, 399–426. doi: https://doi.org/10.1007/BFb0099494.
Schroeder-Heister, P (1984d). 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.
Došen, K. and P. Schroeder-Heister (1985). Conservativeness and uniqueness. Theoria 51, 159–173. doi: https://doi.org/10.1111/j.1755-2567.1985.tb00093.x.
Schroeder-Heister, P. (1985a). Natural deduction calculi with rules of higher levels (Abstract). Journal of Symbolic Logic 50, 275–276. doi: https://doi.org/10.2307/2273818.
Schroeder-Heister, P. (1985b). Proof-theoretic validity and the completeness of intuitionistic logic. In: Foundations of Logic and Linguistics: Problems and Their Solutions. Ed. by G. Dorn and P. Weingartner. New York: Plenum Press, 43–87. doi: https://doi.org/10.1007/978-1-4899-0548-2_4.
Mittelstraß, J. and P. Schroeder-Heister (1986). Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis Universalis bei Leibniz. In: Pragmatik. Handbuch pragmatischen Denkens. Band I: Pragmatisches Denken von den Ursprüngen bis zum 18. Jahrhundert. Ed. by H. Stachowiak. In collab. with C. Baldus. Hamburg: Felix Meiner Verlag, 392–414. doi: https://doi.org/10.15496/publikation-72307.
Došen, K. and P. Schroeder-Heister (1987). A general interpolation and definability theorem (Abstract). Journal of Symbolic Logic 52, 315–316. doi: https://doi.org/10.2307/2273893.
Schroeder-Heister, P. (1987a). A model-theoretic reconstruction of Frege’s permutation argument. Notre Dame Journal of Formal Logic 28, 69–79. doi: https://doi.org/10.1305/ndjfl/1093636847.
Schroeder-Heister, P. (1987b). Judgements of higher levels in Martin-Löf’s logical theory (Abstract). Journal of Symbolic Logic 52, 1083. doi: https://doi.org/10.2307/2273851.
Schroeder-Heister, P. (1987c). Structural Frameworks with Higher-Level Rules. University of Konstanz: Habilitationsschrift. doi: https://doi.org/10.15496/publikation-69827.
Schroeder-Heister, P. and F. Schaefer (1987). Der strukturalistische Reduktionsbegriff und Repräsentationen von Theorien. In: Logik, Wissenschafstheorie und Erkenntnistheorie. Akten des 11. Internationalen Wittgenstein Symposiums, 4.-13. 8. 1986, Kirchberg/Wechsel (Österreich). Ed. by P. Weingartner and G. Schurz. Wien: Hölder-Pichler-Tempsky, 230–233. doi: https://doi.org/10.15496/publikation-72329.
Došen, K. and P. Schroeder-Heister (1988). Uniqueness, definability and interpolation. Jounal of Symbolic Logic 53, 554–570. doi: https://doi.org/10.2307/2274524.
Hallnäs, L. and P. Schroeder-Heister (1989). Logic programming with higher-level rules (Abstract). Journal of Symbolic Logic 54, 656–657. doi: https://doi.org/10.2307/2274896.
Schroeder-Heister, P. (1989a). Judgements of higher levels and standardized rules for logical constants in Martin-Löf’s theory of logic. In: Proceedings of the Workshop on Programming Logic. Ed. by P. Dybjer, L. Hallnäs, B. Nordström, K. Petersson, and J. M. Smith. Göteborg: Programming Methodology Group, University of Göteborg and Chalmers University of Technology, 494–517. doi: https://doi.org/10.15496/publikation-72310.
Schroeder-Heister, P. and F. Schaefer (1989). Reduction, representation and commensurability of theories. Philosophy of Science 56, 130–157. doi: https://doi.org/10.1086/289476.
Hallnäs, L. and P. Schroeder-Heister (1990a). A proof-theoretic approach to logic programming: I. Clauses as rules. Journal of Logic and Computation 1, 261–283. doi: https://doi.org/10.1093/logcom/1.2.261.
Hallnäs, L. and P. Schroeder-Heister (1990b). 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.
Schroeder-Heister, P. (1991a). An asymmetry between introduction and elimination inferences. In: Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science (Uppsala 1991). doi: https://doi.org/10.15496/publikation-72545.
Schroeder-Heister, P. (1991c). Hypothetical reasoning and definitional reflection in logic programming. In: Extensions of Logic Programming: International Workshop, Tübingen, December 1989, Proceedings. LNCS (Vol.475). Ed. by P. Schroeder-Heister. Berlin: Springer, 327–340. doi: https://doi.org/10.1007/BFb0038701.
Schroeder-Heister, P (1991d). Structural frameworks, substructural logics, and the role of elimination inferences. In: Logical Frameworks. Ed. by G. Huet and G. Plotkin. Cambridge University Press, 385–403. doi: https://doi.org/10.1017/CBO9780511569807.016.
Schroeder-Heister, P (1991e). Uniform proof-theoretic semantics for logical constants (Abstract). Journal of Symbolic Logic 56, 1142. doi: https://doi.org/10.2307/2275092.
Hallnäs, L. and P. Schroeder-Heister (1992b). Local reflection in inductive definitions: the D-rule (Abstract). Journal of Symbolic Logic 57, 300. doi: https://doi.org/10.2307/2275203.
Schroeder-Heister, P. (1992a). Cut elimination in logics with definitional reflection. In: Nonclassical Logics and Information Processing: International Workshop, Berlin, November 1990, Proceedings. Lecture Notes in Computer Science Vol. 619. Ed. by D. Pearce and H. Wansing. Berlin: Springer, 146–171. doi: https://doi.org/10.1007/BFb0031929.
Schroeder-Heister, P. (1992b). Rules of definitional reflection in logic programming. In: Proceedings of the Workshop on Linear Logic and Logic Programming, Washington, DC, 14 November 1992 (following the 1992 Joint International Conference and Symposium on Logic Programming). Ed. by D. Miller. University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-92-80, 45–46. doi: https://doi.org/10.15496/publikation-72545. url: https://repository.upenn.edu/cis_reports/301.
Schroeder-Heister, P. (1993). Rules of definitional reflection. In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (Montreal 1993). Los Alamitos: IEEE Press, 222–232. doi: https://doi.org/10.1109/LICS.1993.287585.
Schroeder-Heister, P. (1994a). Cut elimination for logics with definitional reflection and restricted initial sequents. In: Post-Conference Workshop on “Proof-Theoretical Extensions of Logic Programming” at the 11th International Conference on Logic Programming (ICLP’94, S. Margherita Ligure, Italy, 13–17 June 1994). doi: https://doi.org/10.15496/publikation-72545.
Schroeder-Heister, P. (1994b). Definitional reflection and the completion. In: Extensions of Logic Programming: Proceedings of the 4th International Workshop, ELP ’93 (St. Andrews, March/April 1993). Lecture Notes in Computer Science, Vol. 798. Ed. by R. Dyckhoff. Berlin: Springer, 333–347. doi: https://doi.org/10.1007/3-540-58025-5_65.
Hudelmaier, J. and P. Schroeder-Heister (1995). Classical Lambek logic. In: Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX ’95, Schloß Rheinfels, St. Goar, Germany, May 7–10, 1995. Proceedings. Ed. by P. Baumgartner, R. Hähnle, and J. Possega. Berlin: Springer, 247–262. doi: https://doi.org/10.1007/3-540-59338-1_40.
Schroeder-Heister, P. (1997). Frege and the resolution calculus. History and Philosophy of Logic 18, 95–108. doi: https://doi.org/10.1080/01445349708837278.
Schroeder-Heister, P. (1998b). Wahrscheinlichkeit. In: Karl Popper: Logik der Forschung. Ed. by H. Keuth. Klassiker Auslegen, Vol. 12, 185–213. 4th Edition 2013. Berlin: Akademie Verlag, 187–215. doi: https://doi.org/10.1524/9783050050188.187.
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.
Schroeder-Heister, P. (2002a). Popper’s inferential definitions of logical constants (Abstract). In: Karl Popper 2002 – Centenary Congress (Vienna, 3-7 July 2002). doi: https://doi.org/10.15496/publikation-69821. Full paper published as Schroeder-Heister, 2006b.
Schroeder-Heister, P. (2002b). Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. Bulletin of Symbolic Logic 8, 246–265. doi: https://doi.org/10.2178/bsl/1182353872. Extended version available under doi: https://doi.org/10.15496/publikation-69828.
Schroeder-Heister, P. (2003a). Definitional reflection and circular reasoning. In: Abstracts of the 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, Spain, August 7-13, 2003). Ed. by E. Álvarez, R. Bosch, and L. Villamil, 126–128. doi: https://doi.org/10.15496/publikation-72545.
Schroeder-Heister, P. (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).
Schroeder-Heister, P. (2005a). Begründungsrationalität und Logik. In: Homo Sapiens und Homo Faber. Epistemische und technische Rationalität in Antike und Gegenwart. Festschrift für Jürgen Mittelstraß. Ed. by G.Wolters and M. Carrier. Berlin: De Gruyter, 285–296. doi: https://doi.org/10.15496/publikation-72306. Publisher doi: https://doi.org/10.1515/9783110923940.285.
Schroeder-Heister, P. (2005c). Generalized rules, direct negation, and definitional reflection (Abstract). In: First World Congress on Universal Logic (UNILOG 2005), Montreux, Switzerland, March 31 – April 3, 2005. doi: https://doi.org/10.15496/publikation-72545.
Schroeder-Heister, P. and P. Contu (2005). Folgerung. In: Logik in der Philosophie. Ed. by W. Spohn, P. Schroeder-Heister, and E. J. Olsson. Heidelberg: Synchron Wissenschaftsverlag, 247–276. doi: https://doi.org/10.15496/publikation-70826.
Wehmeier, K. F. and P. Schroeder-Heister (2005). Frege’s permutation argument revisited. Synthese 147, 43–61. doi: https://doi.org/10.1007/s11229-004-6206-6.
Schroeder-Heister, P. (2006a). Assertion and Denial in proof-theoretic semantics (Abstract and Extended Summary). In: GAP6, 6th International Congress of the Society for Analytical Philosophy, Berlin, 11-14 September 2006; UNILOG’07, 2nd World Congress and School on Universal Logic, Xi’an, 16-22 August 2007; GAP7, 7th International Congress of the Society for Analytical Philosophy, Bremen, 14-17 September 2009. doi: https://doi.org/10.15496/publikation-72545.
Schroeder-Heister, P. (2006b). Popper’s structuralist theory of logic. In: Karl Popper: A Centenary Assessment. Vol. III: Science. Ed. by I. Jarvie, K. Milford, and D. Miller. Aldershot: Ashgate, 17–36. doi: https://doi.org/10.15496/publikation-69821.
Schroeder-Heister, P. (2006d). 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.
Schroeder-Heister, P. (2007a). Direct negation in proof-theoretic semantics and the square of opposition (Abstract). In: First World Congress on the Square of Opposition, Montreux, Switzerland, 1–3 June 2007. doi: 10. 5496/publikation-72545. Full paper published as Schroeder-Heister, 2012a.
Schroeder-Heister, P. (2007b). Generalized definitional reflection and the inversion principle. Logica Universalis 1, 355–376. doi: https://doi.org/10.1007/s11787-007-0018-7.
Schroeder-Heister, P. (2007c). Lorenzens operative Logik und moderne beweistheoretische Semantik. In: Der Konstruktivismus in der Philosophie im Ausgang von Wilhelm Kamlah und Paul Lorenzen. Ed. by J. Mittelstraß. Paderborn: Mentis, 167–196. doi: https://doi.org/10.30965/9783969750582_013.
Mittelstraß, J. and P. Schroeder-Heister (2008). Nicholas Rescher on Greek philosophy and the syllogism. In: Rescher Studies: A Collection of Essays on the Philosophical Work of Nicholas Rescher Presented to Him on the Occasion of His 80th Birthday. Ed. by R. Almeder. Frankfurt: Ontos Verlag, 211–240. doi: https://doi.org/10.15496/publikation-72303. Publisher doi: https://doi.org/10.1515/9783110329094.211.
Schroeder-Heister, P. (2008a). Lorenzen’s operative justification of intuitionistic logic. In: One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference. Ed. by M. van Atten, P. Boldini, M. Bourdeau, and G. Heinzmann. Basel: Birkhäuser, 214–240 [References for whole volume: 391–416]. doi: https://doi.org/10.1007/978-3-7643-8653-5_14.
Schroeder-Heister, P. (2008b). Proof-theoretic versus model-theoretic consequence. In: The Logica Yearbook 2007. Ed. by M. Peliš. Prague: Filosofia, 187–200. doi: https://doi.org/10.15496/publikation-70827.
Schroeder-Heister, P. (2009a). Proof-theoretic Semantics. Advanced Course, 21st European Summer School in Logic, Language and Information (ESSLLI), Bordeaux, 27–31 July 2009 (Abstract and Course Plan). doi: https://doi.org/10.15496/publikation-72545.
Schroeder-Heister, P. (2009b). 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.
Schroeder-Heister, P. (2011a). An alternative implication-left schema for the sequent calculus (Abstract). Bulletin of Symbolic Logic 17, 316. doi: https://doi.org/10.2178/bsl/1305810915.
Schroeder-Heister, P. (2011b). 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.
Schroeder-Heister, P. (2011d). Schluß und Umkehrschluß. Ein Beitrag zur Definitionstheorie. In: Lebenswelt und Wissenschaft. XXI. Deutscher Kongreß für Philosophie, Universität Duisburg-Essen, 15.-19.9.2008. Kolloquienbeiträge. Ed. by C. F. Gethmann, J. C. Bottek, and S. Hiekel. (= Deutsches Jahrbuch Philosophie, Vol. 2). Hamburg: Felix Meiner, 1065–1092. doi: https://doi.org/10.15496/publikation-72308.
Piecha, T. and P. Schroeder-Heister (2012). Implications as rules in dialogical semantics. In: The Logica Yearbook 2011. Ed. by M. Peliš and V. Punčochář. London: College Publications, 211–225. doi: https://doi.org/10.15496/publikation-70828.
Schroeder-Heister, P. (2012a). Definitional reasoning in proof-theoretic semantics and the square of opposition. In: The Square of Opposition: A General Framework for Cognition. Ed. by J.-Y. Béziau and G. Payette. Bern: Peter Lang, 323–349. doi: https://doi.org/10.15496/publikation-72333.
Schroeder-Heister, P. (2012b). 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.
Schroeder-Heister, P. (2012d). 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.
Schroeder-Heister, P. (2012e). The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. Synthese 187. Special issue The Philosophy of Logical Consequence and Inference. Ed. by S. Lindström, E. Palmgren and D. Westerståhl, 925–942. doi: https://doi.org/10.1007/s11229-011-9910-z.
Schroeder-Heister, P. (2012f). What is the proper logic of consequence? In: GAP8, 8th International Congress of the Society for Analytical Philosophy, Konstanz, 17-20 September 2012, 40–41. doi: https://doi.org/10.15496/publikation-72545. url: http://www.gap8.de/mentisgap8-druck-endversion.pdf.
Schroeder-Heister, P. (2013). Definitional Reflection and Basic Logic. Annals of Pure and Applied Logic 164. Special issue Articles in Honor of Giovanni Sambin’s 60th Birthday. Ed. by M.E. Maietti, E. Palmgren and M. Rathjen, 491–501. doi: https://doi.org/10.1016/j.apal.2012.10.010.
de Campos Sanz, W., T. Piecha, and P. Schroeder-Heister (2014). Constructive semantics, admissibility of rules and the validity of Peirce’s law. Logic Journal of the IGPL 22, 297–308. doi: https://doi.org/10.1093/jigpal/jzt029.
Olkhovikov, G. K. and P. Schroeder-Heister (2014a). On flattening elimination rules. Review of Symbolic Logic 7, 60–72. doi: https://doi.org/10.1017/S1755020313000385.
Olkhovikov, G. K. and P. Schroeder-Heister (2014b). Proof-theoretic harmony and the levels of rules: general non-flattening results. In: Second Pisa Colloquium in Logic,Language and Epistemology. Ed. by E. Moriconi and L. Tesconi. Pisa: Edizioni ETS, 245–287. doi: https://doi.org/10.15496/publikation-72309.
Schroeder-Heister, P. (2014a). 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.
Schroeder-Heister, P. (2014b). Generalized elimination inferences,higher-level rules,and the implicationsas-rules interpretation of the sequent calculus. In: Advances in Natural Deduction: A Celebration of Dag Prawitz’s Work. Ed. by L. C. Pereira, E. H. Haeusler, and V. de Paiva. Berlin: Springer, 1–29. doi: https://doi.org/10.1007/978-94-007-7548-0_1.
Schroeder-Heister, P. (2014c). Proof-theoretic harmony: the issue of propositional quantification. 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, 5–16. doi: https://doi.org/10.15496/publikation-72327.
Schroeder-Heister, P. (2014d). The calculus of higher-level rules, propositional quantifiers, and the foundational approach to proof-theoretic harmony. Studia Logica 102. Special issue Gentzen’s and Jaśkowski’s Heritage: 80 Years of Natural Deduction and Sequent Calculi. Ed. by A. Indrzejczak, 1185–1216. doi: https://doi.org/10.1007/s11225-014-9562-3.
Piecha, T.,W. de Campos Sanz, and P. Schroeder-Heister (2015). Failure of completeness in proof-theoretic semantics. Journal of Philosophical Logic 44, 321–335. doi: https://doi.org/10.1007/s10992-014-9322-x.
Piecha, T. and P. Schroeder-Heister (2015a). Dialogical logic for definitional reasoning and implications as rules. In: Dialogische Logik. Ed. by J. Mittelstraß and C. von Bülow. Paderborn: Mentis, 91–125. doi: https://doi.org/10.30965/9783897856394_009.
Schroeder-Heister, P. (2015a). 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.
Schroeder-Heister, P. (2015c). Proof-theoretic validity based on elimination rules. In: Whyis this a Proof? Festschrift for Luiz Carlos Pereira. Ed. by E. H. Haeusler, W. de Campos Sanz, and B. Lopez. London: College Publications, 159–176. doi: https://doi.org/10.15496/publikation-70825.
Piecha, T. and P. Schroeder-Heister (2016b). Atomic systems in proof-theoretic semantics: two approaches. In: Epistemology, Knowledge and the Impact of Interaction. Ed. by J. Redmond, O. P. Martins, and A. N. Fernández. Berlin: Springer, 47–62. doi: https://doi.org/10.1007/978-3-319-26506-3_2.
Schroeder-Heister, P. (2016a). Open problems in proof-theoretic semantics. In: Advances in Proof-Theoretic Semantics. Ed. by T. Piecha and P. Schroeder-Heister. Berlin: Springer, 253–283. doi: https://doi.org/10.1007/978-3-319-22686-6_16.
Schroeder-Heister, P. (2016b). 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.
Piecha, T. and P. Schroeder-Heister (2017). The definitional view of atomic systems in proof-theoretic semantics. In: The Logica Yearbook 2016. Ed. by P. Arazim and T. Lávička. London: College Publications, 185–200. doi: https://doi.org/10.15496/publikation-70829.
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.
Piecha, T. and P. Schroeder-Heister (2018a). Intuitionistic logic is not complete for standard proof-theoretic semantics (Abstract). Bulletin of Symbolic Logic 24, 262. doi: https://doi.org/10.1017/bsl.2018.13.
Schroeder-Heister, P. (2018). Die Grundlagen mathematischer Beweise. Philosophisch-logische Überlegungen. Mitteilungen der Mathematischen Gesellschaft in Hamburg 38, 117–137. url: https://mathges.hamburg/Zeitschriften.html.
Piecha, T. and P. Schroeder-Heister (2019b). General proof theory: introduction. Studia Logica 107. Special issue General Proof Theory. Ed. by T. Piecha and P. Schroeder-Heister, 1–5. doi: https://doi.org/10.1007/s11225-018-9818-4.
Piecha, T. and P. Schroeder-Heister (2019c). Incompleteness of intuitionistic propositional logic with respect to prooftheoretic 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.
Schroeder-Heister, P. and L. Tranchini (2021). How to Ekman a Crabbé-Tennant. Synthese 199, 617–639. doi: https://doi.org/10.1007/s11229-018-02018-3.
Binder, D., T. Piecha, and P. Schroeder-Heister (2022a). Popper’s theory of deductive logic. In: The Logical Writings of Karl Popper. Ed. by D. Binder, T. Piecha, and P. Schroeder-Heister. Berlin: Springer, 1–79. doi: https://doi.org/10.1007/978-3-030-94926-6_1.
Schroeder-Heister, P. (2022a). Axiomatic thinking, identity of proofs and the quest for an intensional proof-theoretic semantics. In: Axiomatic Thinking I. Ed. by F. Ferreira, R. Kahle, and G. Sommaruga. Berlin: Springer, 145–163. doi: https://doi.org/10.1007/978-3-030-77657-2_8.
Schroeder-Heister, P. (2022b). 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.
(P) Psychological publications
Heister, G. and P. Schroeder-Heister (1984). A note on location of the decisional stages of choice reactions in the left hemisphere. Cortex 20, 271–275. doi: https://doi.org/10.1016/S0010-9452(84)80044-1.
Heister, G. and P. Schroeder-Heister (1985). S-R compatibility effect or cerebral laterality effect? Comments on a controversy. Neuropsychologia 23, 427–430. doi: https://doi.org/10.1016/0028-3932(85)90030-2.
Heister, G., W. H. Ehrenstein, and P. Schroeder-Heister (1986a). Spatial S-R compatibility effects with unimanual two-finger choice reactions for prone and supine hand positions. Perception & Psychophysics 40, 271–278. doi: https://doi.org/10.3758/BF03211507.
Heister, G., W. H. Ehrenstein, and P. Schroeder-Heister (1986a) (1986b). Spatial S-R compatibility with two-finger choice reactions (Abstract, 9th European Vision Conference, Bad Nauheim, Germany, 17–20 September 1986). Perception 15, Number 1, A33. doi: https://doi.org/10.15496/publikation-72545.
Heister, G., W. H. Ehrenstein, and P. Schroeder-Heister (1986a) (1987). Spatial S-R compatibility with unimanual two-finger choice reactions: effects of irrelevant stimulus location. Perception & Psychophysics 42, 195–201. doi: https://doi.org/10.3758/BF03210508.
Heister, G. and P. Schroeder-Heister (1987). Evidence for stimulus-response compatibility effects in a divided visual field study of cerebral lateralization. Acta Psychologica 66, 127–138. doi: https://doi.org/10.1016/0001-6918(87)90029-1.
Heister, G., P. Schroeder-Heister, and W. H. Ehrenstein (1987). Spatial stimulusresponse (S-R) compatibility under head tilt: evidence for a factorial model (Abstract, 10th European Conference on Visual Perception, Varna, Bulgaria, 21–24 September 1987). Perception 16, Number 2, A17 (p. 241). doi: https://doi.org/10.15496/publikation-72545. doi for all conference abstracts: https://doi.org/10.1068/p160225.
Ehrenstein, W. H., P. Schroeder-Heister, and G. Heister (1988). Spatial visuo-motor compatibility with orthogonal stimulus-response arrangement (Abstract, 11th European Conference on Visual Perception, Bristol, UK, 31 August – 3 September1988). Perception 17, Number 3, A77 (p. 415). doi: https://doi.org/10.15496/publikation-72545.
Schroeder-Heister, P., G. Heister, and W. H. Ehrenstein (1988). Spatial S-R compatibility under head tilt. Acta Psychologica 69, 35–44. doi: https://doi.org/10.1016/0001-6918(88)90028-5.
Ehrenstein, W. H., G. Heister, and P. Schroeder-Heister (1989). Spatial visuomotor compatibility as a function of retinal eccentricity (Abstract, 12th European Conference on Visual Perception, Zichron Yaakov, Israel, 17 – 22 September 1989). Perception 18, Number 4, A62 (p. 544). doi: https://doi.org/10.15496/publikation-72545.
Ehrenstein, W. H., P. Schroeder-Heister, and G. Heister (1989). Spatial S-R compatibility with orthogonal stimulus-response relationship. Perception & Psychophysics 45, 215–220. doi: https://doi.org/10.3758/BF03210700.
Heister, G., T. Landis, M. Regard, and P. Schroeder-Heister (1989a). Shift of functional cerebral asymmetry during the menstrual cycle. Neuropsychologia 27, 871–880. doi: https://doi.org/10.1016/0028-3932(89)90010-9.
Heister, G., T. Landis, M. Regard, and P. Schroeder-Heister (1989b). Shift of visual half-field superiority for face perception during the menstrual cycle (Abstract, General Conference of the European Brain Behaviour Society, Zurich, Switzerland, 7–9 September 1988). Behavioural Brain Research 33, 314. doi: https://doi.org/10.1016/S0166-4328(89)80124-X.
Heister, G., P. Schroeder-Heister, and W. H. Ehrenstein (1990). Spatial coding and spatio-anatomical mapping: evidence for a hierarchical model of spatial stimulusresponse compatibility. In: Stimulus-Response Compatibility: An Integrated Perspective. Ed. by R. W. Proctor and T. G. Reeve. Amsterdam: North-Holland, 117–143. doi: https://doi.org/10.1016/S0166-4115(08)61220-0.
Heister, G. and P. Schroeder-Heister (1994). Spatial S-R compatibility: positional instruction vs. compatibility instruction. Acta Psychologica 85, 15–24. doi: https://doi.org/10.1016/0001-6918(94)90017-5.
(C) Collections edited or initiated
Wolters, G. and P. Schroeder-Heister, eds. (1979). Der wissenschaftliche Nachlaß von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers. Universität Konstanz. Digital Edition in: Hugo Dingler. Gesammelte Werke auf CD-ROM. Ed. by U. Weiß. Karsten Worm InfoSoftWare: Berlin 2004, Appendix, Chapters 1986 and 1987. Republished online Universität Tübingen 2022. doi: https://doi.org/10.15496/publikation-69429.
Schroeder-Heister, P., ed. (1990). Proceedings of the SNS Logic Colloquium, March 1990. SNS-Bericht 90-58. Universität Tübingen. doi: https://doi.org/10.15496/publikation-69809.
Schroeder-Heister, P., ed. (1991b). Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings. Berlin: Springer. doi: https://doi.org/10.1007/BFb0038689.
Eriksson, L.-H., L. Hallnäs, and P. Schroeder-Heister, eds. (1992). Extensions of Logic Programming: Second InternationalWorkshop, ELP’91, Stockholm, Sweden, January 27-29, 1991. Proceedings. Berlin: Springer. doi: https://doi.org/10.1007/BFb0013601.
Došen, K. and P. Schroeder-Heister, eds. (1993). Substructural Logics. Oxford University Press.
Lamma, E. and P. Mello, eds. (1993). Extensions of Logic Programming: Third International Workshop, ELP’92, Bologna, Italy, February 26-28, 1992. Proceedings. Berlin: Springer. doi: https://doi.org/10.1007/3-540-56454-3.
Dyckhoff, R., ed. (1994). Extensions of Logic Programming: 4th International Workshop, ELP’93, St Andrews, UK, March 29–April 1, 1993. Proceedings. Berlin: Springer. doi: https://doi.org/10.1007/3-540-58025-5.
Dyckhoff, R., H. Herre, and P. Schroeder-Heister, eds. (1996). Extensions of Logic Programming: 5th International Workshop, ELP’96, Leipzig, Germany, March 28-30, 1996. Proceedings. Berlin: Springer. doi: https://doi.org/10.1007/3-540-60983-0.
Kahle, R., P. Schroeder-Heister, and R. Stärk, eds. (2001). Proof Theory in Computer Science: International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings. Berlin: Springer. doi: https://doi.org/10.1007/3-540-45504-3.
Spohn, W., P. Schroeder-Heister,and E. J. Olsson, eds. (2005). Logik in der Philosophie. Heidelberg: Synchron Wissenschaftsverlag.
Kahle, R. and P. Schroeder-Heister, eds. (2006). Proof-Theoretic Semantics. Special issue of Synthese (Vol. 148 No. 3). doi: https://doi.org/10.1007/s11229-004-6292-5.
Bour, P. E., G. Heinzmann, W. Hodges, and P. Schroeder-Heister, eds. (2014–2015). Logic and Philosophy of Science in Nancy (I-II). Selected Contributed Papers from the 14th International Congress of Logic, Methodology and Philosophy of Science. (I) Philosophia Scientiae, Vol. 18 No. 3 (doi: https://doi.org/10.4000/philosophiascientiae.957), (II) Vol. 19 No. 1 (doi: https://doi.org/10.4000/philosophiascientiae.1027).
Schroeder-Heister, P., G. Heinzmann, W. Hodges, and P. E. Bour, eds. (2014). Logic, Methodology and Philosophy of Science: Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies. College Publications. doi: https://doi.org/10.15496/publikation-73440.
Piecha, T. and P. Schroeder-Heister, eds. (2015b). Proceedings of the Conference on Hypothetical Reasoning, 23–24 August 2014, Tübingen. doi: https://doi.org/10.15496/publikation-415.
Piecha, T. and P. Schroeder-Heister, eds. (2016a). Advances in Proof-Theoretic Semantics. Berlin: Springer. doi: https://doi.org/10.1007/978-3-319-22686-6.
Piecha, T. and P. Schroeder-Heister, eds. (2016c). General Proof Theory: Celebrating 50 Years of Dag Prawitz’s “Natural Deduction”. Proceedings of the Conference held in Tübingen, 27-29 November 2015. doi: https://doi.org/10.15496/publikation-10394.
Piecha, T. and P. Schroeder-Heister, eds. (2018b). Proof Theory. Proceedings of the Workshop held at Unilog’2018 in Vichy, 25 June 2018. doi: https://doi.org/10.15496/publikation-25225.
Piecha, T. and P. Schroeder-Heister, eds. (2019a). General Proof Theory. Special issue of Studia Logica (Vol. 107 No. 1). doi: https://doi.org/10.1007/s11225-018-9818-4.
Piecha, T. and P. Schroeder-Heister, eds. (2019d). Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019. doi: https://doi.org/10.15496/publikation-35319.
Binder, D., T. Piecha, and P. Schroeder-Heister, eds. (2022b). The Logical Writings of Karl Popper. Berlin: Springer. doi: https://doi.org/10.1007/978-3-030-94926-6.
(D) Dissertations supervised, selected dissertations examined
Keronen, S. R. (1991). Computational Natural Deduction. Australian National University, Canberra: Doctoral Dissertation [Supervised by Robin Stanton]. doi: https://doi.org/10.25911/5d78dc1842b02.
Mortari, C. A. (1991). Issues in Epistemic and Modal Logics and their Applications. University of Tübingen: Doctoral Dissertation [Supervised by Walter Hoering]. url: https://philpapers.org/archive/MORIIE.pdf.
Soldati, G. (1991). Bedeutung und psychischer Gehalt: Eine Untersuchung zur sprachanalytischen Kritik von Husserls früher Phänomenologie. University of Tübingen: Doctoral Dissertation [Supervised by Manfred Frank]. Published (rev.) Paderborn: Schöningh, 1994.
Eriksson, L.-H. (1993). Finitary Partial Inductive Definitions and General Logic. Royal Institute of Technology, Stockholm: Doctoral Dissertation [Supervised by Lars Hallnäs].
Oestermeier, U. (1993). Bildliches und logisches Denken. Eine Kritik der Computertheorie des Geistes. University of Tübingen: Doctoral Dissertation. Published Wiesbaden: Deutscher Universitätsverlag.
Zimmermann, E. (1995). Spezielle Systeme der Modallogik, deren relationale Semantik und philosophische Deutung. University of Tübingen: Doctoral Dissertation [Supervised by Walter Hoering].
Widebäck, F. (2001). Identity of Proofs. University of Stockholm: Doctoral Dissertation [Supervised by Dag Prawitz]. Published Stockholm: Almqvist & Wiksell.
Falkman, G. (2003). Issues in Structured Knowledge Representation: A Definitional Approach with Application to Case-Based Reasoning and Medical Informatics. ChalmersUniversity ofTechnology and GöteborgUniversity: Doctoral Dissertation [Supervised by Lars Hallnäs]. url: https://research.chalmers.se/en/publication/?id=369.
Bean, J. M. L. (2005). Ribbon Proofs: A Proof System for the Logic of Bunched Implications. Queen Mary and Westfield College: Doctoral Dissertation [Supervised by David Pym and Edmund Robinson]. url: http://www.eecs.qmul.ac.uk/tech_reports/RR-06-01.pdf.
Wie˛ckowski, B. (2006). Modality without Reference: An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance. University of Tübingen: Doctoral Dissertation. url: https://hdl.handle.net/10900/46279.
Arndt, M. (2008). Logical Tomography: Exposing the Structural Constituents of Logic. University of Tübingen: Doctoral Dissertation. url: https://hdl.handle.net/10900/49337.
Tranchini, L. (2010). Proof and Truth: An Anti-Realist Perspective. University of Siena and University of Tübingen: Doctoral Dissertation [Joint Siena-Tübingen degree. Siena supervisor: Gabriele Usberti]. url: https://hdl.handle.net/10900/46853. Published (rev.) Pisa: Edizioni ETS, 2013.
Lüdecke, R. (2012). Infinite-Valued Least Model and Game Semantics for Formula-Based and Normal Logic Programs. University of Tübingen: Doctoral Dissertation. Published München: Verlag Dr. Hut.
Piecha, T. (2012). Formal Dialogue Semantics for Definitional Reasoning and Implications as Rules. University of Tübingen: Doctoral Dissertation. url: https://hdl.handle.net/10900/49704.
Yim, A. (2012). On Galois Correspondences in Formal Logic. University of Oxford: Doctoral Dissertation [Supervised by Jochen Koenigsmann]. url: https://ora.ouls.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97.
Maurer, H. (2014). Integrative (Synchronisations-)Mechanismen der (Neuro-)Kognition vor dem Hintergrund des (Neo-)Konnektionismus, der Theorie der nichtlinearen dynamischen Systeme, der Informationstheorie und des Selbstorganisationsparadigmas. University of Tübingen: Doctoral Dissertation. Published Norderstedt: Books on Demand.
Spahn, S. A. (2018). Axiomatizations of Compositional Inductive-Recursive Definitions. University of Tübingen: Doctoral Dissertation [Supervised by Neil Ghani]. doi: https://doi.org/10.15496/publikation-26071.
Oliveira, H. (2019). Inference Rules and the Meaning of the Logical Constants: An Elaboration of Dummett’s Notions of Proof-Theoretic Validity. University of Tübingen: Doctoral Dissertation. doi: https://doi.org/10.15496/publikation-27634.
Piccolomini d’Aragona, A. (2019). Dag Prawitz’s Theory of Grounds. Aix-Marseille University and Sapienza University of Rome: Doctoral Dissertation [Joint Aix-Marseille-Rome degree. Supervisors: Gabriella Crocco and Cesare Cozzo]. url: https://hal.archives-ouvertes.fr/tel-02482320.
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.
Gazzari, R. (2020). Formal Theories of Occurrences and Substitutions. University of Tübingen: Doctoral Dissertation. doi: https://doi.org/10.15496/publikation-47553.
Lolić, A. (2020). Automated Proof Analysis by CERES. Technical University Vienna: Doctoral Dissertation [Supervised by Alexander Leitsch and Matthias Baaz]. doi: https://doi.org/10.34726/hss.2020.47184.
Gheorghiu, A. (2023). Investigations into Semantics in Reductive Logic. University College London: Doctoral Dissertation [Supervised by David Pym].
(R) Reviews
Schroeder, P. (1981). Review of: R. H. Wettstein, Eine Gegenstandstheorie der Wahrheit. Argumentativ-rekonstruierender Aktualisierungs- und Erweiterungsversuch von Kants kritischer Theorie (Königstein/Ts.: Forum Academicum 1980). Dialectica 35, 361–362. doi: https://doi.org/10.1111/j.1746-8361.1981.tb00789.x.
Schroeder-Heister, P. (1983b). Review of: M. D. Resnik, Frege and the Philosophy of Mathematics (Ithaca/London: Cornell University Press 1980). History and Philosophy of Logic 4, 99–102. doi: https://doi.org/10.1080/01445348308837049.
Schroeder-Heister, P. (1984e). Reviewof: E.-H.W. Kluge,The Metaphysics of Gottlob Frege: An Essay in Ontological Reconstruction (The Hague/Boston/London: Martinus Nijhoff 1980). History and Philosophy of Logic 5, 241–245. doi: https://doi.org/10.1080/01445348408837073.
Schroeder-Heister, P. (1984f). Review of: G. Currie, Frege: An Introduction to His Philosophy (Brighton: Harvester Press; Totowa, NJ: Barnes & Noble 1982). History and Philosophy of Logic 5, 239–241. doi: https://doi.org/10.1080/01445348408837073.
Friedrichsdorf, U. and P. Schroeder-Heister (1985). Review of: G. E. Hughes & M. J. Cresswell, A Companion to Modal Logic (London: Methuen 1984). Journal of Semantics 4, 389–390. doi: https://doi.org/10.1093/jos/4.4.389.
Schroeder-Heister, P. (1986). Essay review of: G. Frege, Collected Papers on Mathematics, Logic, and Philosophy. Ed. by B. McGuinness. Trans. by M. Black, V. H. Dudman, P. Geach, H. Kaal, E.-H. W. Kluge, B. McGuinness and R. H. Stoothoff (Oxford/New York: Blackwell1984). History and Philosophy of Logic 7, 187–193. doi: https://doi.org/10.1080/01445348608837101.
Schroeder-Heister, P. (1988–1994). Reviews no. MR0869008, MR0875532, MR0877309, MR0902364, MR0920132, MR0934575, MR0990559, MR1029453, MR1172519. In: Mathematical Reviews. American Mathematical Society. url: https://mathscinet.ams.org/mathscinet.
Schroeder-Heister, P. (1989b). Review of: W. Schüler, Grundlegungen der Mathematik in transzendentaler Kritik. Frege und Hilbert (Hamburg: Meiner 1983). Journal of Symbolic Logic 54, 622. doi: https://doi.org/10.2307/2274880.
(E) Encyclopedia articles
Schroeder-Heister, P. (1980–2018). Ca. 220 entries. In: Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. I–IV (1980–1996). 2nd Edition: Vol. I–VIII (2005–2018). Ed. by J. Mittelstraß. Stuttgart: Metzler.
Schroeder-Heister, P. (1992c). Schließen, natürliches. In: Historisches Wörterbuch der Philosophie, Vol. 8. Ed. by J. Ritter, K. Gründer, and G. Gabriel. Basel, 1300–1303. doi: https://doi.org/10.24894/HWPh.3706.
Schroeder-Heister, P. (1995a). Popper, Karl Raimund. In: Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. 3. Ed. by J. Mittelstraß. Stuttgart: Metzler, 289–296. 2nd Edition: Vol. 6, 2016, 369–377.
Schroeder-Heister, P. (1995b). Selbstreferenz (I. Logik). In: Historisches Wörterbuch der Philosophie, Vol. 9. Ed. by J. Ritter, K. Gründer, and G. Gabriel. Basel, 515–516. doi: https://doi.org/10.24894/HWPh.5435.
Herre, H. and P. Schroeder-Heister (1998). Formal languages and systems. In: Routledge Encyclopedia of Philosophy. London: Routledge. doi: 10 . 4324/9780415249126-Y011-1.
Schroeder-Heister, P. (2001a). Popper, Sir Karl Raimund. In: Neue Deutsche Biographie, Vol. 20. Berlin: Duncker & Humblot, 625–628. url: https://www.deutschebiographie.de/pnd118595830.html#ndbcontent.
Schroeder-Heister, P. (2005b). Dummett, Michael Anthony Eardley. In: Enzyklopädie Philosophie und Wissenschaftstheorie. 2nd Edition, Vol. 2. Ed. by J. Mittelstraß. Stuttgart: Metzler, 258–262.
Schroeder-Heister, P. (2012c). Proof-Theoretic Semantics. In: Stanford Encyclopedia of Philosophy. Ed. by E. N. Zalta. Metaphysics Research Lab, Stanford University. url: https://plato.stanford.edu/entries/proof-theoretic-semantics/. Revised 2018 and 2023.
Schroeder-Heister, P. (2015b). Popper, Karl Raimund (1902–94). In: International Encyclopedia of the Social & Behavioral Sciences. Ed. by J. D. Wright. Second Edition. Vol. 18. Oxford: Elsevier, 522–527. doi: https://doi.org/10.1016/B978-0-08-097086-8.61109-1. First Edition 2001.
(M) Miscellaneous including selected unpublished manuscripts
Hallnäs, L. and P. Schroeder-Heister (1992a). Girard’s “fixpoint theorem”. In: Linear Logic Mailing List (Included in TYPES Forum). doi: https://doi.org/10.15496/publikation-70816. url: https://www.seas.upenn.edu/~sweirich/types/archive/1992/msg00043.html.
Schroeder-Heister, P. (1998a). Ein Logik-Lotse geht von Bord. Zur Verabschiedung des Naturwissenschaftlers und Philosophen Walter Hoering. In: Schwäbisches Tagblatt, 4.12.1998. Tübingen, 27. doi: https://doi.org/10.15496/publikation-68456.
Schroeder-Heister, P. (2001b). Prof. Dr. Walter Felscher (Obituary). Tübinger Universitätsnachrichten, Vol. 21, No. 100, 9 April 2001. doi: https://doi.org/10.15496/publikation-68455.
Schroeder-Heister, P. (2003b). Proof-Theoretic Semantics: Some Basic Ideas (Manuscript). Published online together with the manuscript “Proof-Theoretic and Constructive Consequence" (2003). University of Tübingen. doi: https://doi.org/10.15496/publikation-72548.
Schroeder-Heister, P. (2006c). Prof. Dr. Gisbert Hasenjaeger (1.6.1919–2.9.2006). In: Chronik und Bericht der Rheinischen Friedrich-Wilhelms-Universität Bonn über das Akademische Jahr 2005/2006. University of Bonn, 57–59. url: https://nbn-resolving.de/urn:nbn:de:hbz:5:2-251940.
Schroeder-Heister, P. (2008c). The categorical and the hypothetical: an inferentialist critique of the transmission view of consequence. Draft submitted for a special issue of Erkenntnis on inferentialism that did not materialize. doi: https://doi.org/10.15496/publikation-70814.
Schroeder-Heister, P. (2011c). Proof-Theoretic Semantics (Manuscript). University of Tübingen. doi: https://doi.org/10.15496/publikation-72550.
Hallnäs, L. and P. Schroeder-Heister (2016). General proof theory and definitional reflection. Notes dedicated to Dag Prawitz on his 80th birthday. doi: https://doi.org/10.15496/publikation-70815.
Heidelberger, M. and P. Schroeder-Heister (2019). Walter Hoering (1933–2019). Grabrede und Nachruf. Universität Tübingen. doi: https://doi.org/10.15496/publikation-69428.
Schroeder-Heister, P. (2019a). Die Logik in allen ihren Aspekten. Zum Tode von Professor Dr. Dr. Walter Hoering (Obituary). Newsletter Uni Tübingen aktuell No. 4/2019. doi: https://doi.org/10.15496/publikation-69428.
Schroeder-Heister, P. (2019b). Kosta Došen (1954–2017). Studia Logica 107. Special issue General Proof Theory. Ed. by T. Piecha and P. Schroeder-Heister, 7–9. doi: https://doi.org/10.1007/s11225-018-9814-8.
Popper, K. R. and P. Schroeder-Heister (2022). Popper’s correspondence with Peter Schroeder-Heister. In: The Logical Writings of Karl Popper. Ed. by D. Binder, T. Piecha, and P. Schroeder-Heister. Berlin: Springer, 509–522. doi: https://doi.org/10.1007/978-3-030-94926-6_32.
Schroeder-Heister, P. (2022c). Kosta Došen 1954–2017. Obituaries. Universität Tübingen. doi: https://doi.org/10.15496/publikation-72328.
Schroeder-Heister, P. (2022d). Pandemic ponderings: reflections of a pencil and paper academic. In: Pandemic Ponderings: Fellow Reflections beyond Corona. Ed. by C. Garsten and S. M. Rekanovic. Uppsala: Swedish Collegium for Advanced Study (SCAS), 25–31.
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). Proof-Theoretic Semantics: An Autobiographical Survey. 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_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-50981-0_1
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)