Peter Schröder-Heister (schroederheister)

Menzionato/a in queste pagine del portale

Contributi a Philosophie.ch

Bibliography

Binder, David, Piecha, Thomas and Schröder-Heister, Peter. 2022. The Logical Writings of Karl Popper. Trends in Logic. Berlin: Springer, doi:10.1007/978-3-030-94926-6.
Dyckhoff, Roy, Herre, Heinrich and Schröder-Heister, Peter, eds. 1996. Extensions of Logic Programming: 5th International Workshop, Leipzig, Germany, March 28-30, 1996. Lecture Notes in Computer Science n. 1050. Berlin: Springer.
Eriksson, Lars-Henrik, Hallnäs, Lars and Schröder-Heister, Peter, eds. 1992. ELP’91. Proceedings of the 2nd International Workshop on Extensions of Logic Programming. Berlin: Springer.
Eriksson, Lars-Henrik, Hallnäs, Lars and Schröder-Heister, Peter, eds. 1998. COLT: Proceedings of the Workshop on Computational Learning Theory. San Francisco, California: Morgan Kaufmann Publishers.
Mittelstrass, Jürgen and Schröder-Heister, Peter. 1986. “Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz.” in Pragmatik. Handbuch pragmatischen Denkens. Bd. I. Pragmatisches Denken von den Ursprüngen bis zum 18. Jahrhundert, edited by Herbert Stachowiak, pp. 392–414. Hamburg: Felix Meiner Verlag.
Piecha, Thomas and Schröder-Heister, Peter. 2012. “Implications as Rules in Dialogical Semantics.” in The Logica Yearbook 2011, edited by Michal Peliš and Vı́t Punčochář, pp. 211–226. London: College Publications.
Piecha, Thomas and Schröder-Heister, Peter. 2017. “The Definitional View of Atomic Systems in Proof-Theoretic Semantics.” in The Logica Yearbook 2016, edited by Pavel Arazim and Tomáš Lávička, pp. 185–200. London: College Publications.
Schröder-Heister, Peter. 1982. “Logische Konstanten und Regeln (zur Bedeutung von Aussagenoperatoren).” Conceptus: Zeitschrift für Philosophie 16: 45–59.
Schröder-Heister, Peter. 1983. “The Completeness of Intuitionistic Logic with Respect to a Validity Concept Based on an Inversion Principle.” The Journal of Philosophical Logic 12(3): 359–376.
Schröder-Heister, Peter. 1984a. “A Natural Extension of Natural Deduction.” The Journal of Symbolic Logic 49: 1284–1300.
Schröder-Heister, Peter. 1984b. “Popper’s Theory of Deductive Inference and the Concept of a Logical Constant.” History and Philosophy of Logic 5(1): 79–110.
Schröder-Heister, Peter, ed. 1991a. ELP’90. Proceedings of the 1st International Workshop on Extensions of Logic Programming. Berlin: Springer.
Schröder-Heister, Peter, ed. 1991b. Extensions of Logic Programming: 2nd International Workshop. Lecture Notes in Computer Science. Berlin: Springer.
Schröder-Heister, Peter. 1997. “Wahrscheinlichkeit (VIII. Kap.).” in Popper: Logik der Forschung, edited by Herbert Keuth, pp. 187–216. Klassiker Auslegen n. 12. Berlin: Akademie Verlag. Page references to the fourth edition: Keuth (2013).
Schröder-Heister, Peter. 2004. “Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus.” in Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work, edited by Luiz Carlos Pereira, Edward Hermann Hausler, and Valeria de Paiva, pp. 1–30. Trends in Logic n. 39–54. Dordrecht: Springer.
Schröder-Heister, Peter. 2008. “Proof-Theoretic versus Model-Theoretic Consequence.” in The Logica Yearbook 2007, edited by Michal Peliš, pp. 187–200. Praha: Filosofia. Nakladetelstvı́ Filosofického ústavu AV ČR.
Schröder-Heister, Peter. 2009. “Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-Theoretic Semantics.” in The Logica Yearbook 2008, edited by Michal Peliš, pp. 237–252. London: College Publications.
Schröder-Heister, Peter. 2011. “Schluss und Umkehrschluss: Ein Beitrag zur Definitionstheorie.” in Lebenswelt und Wissenschaft, edited by Carl Friedrich Gethmann, pp. 1065–1092. Deutsches Jahrbuch Philosophie n. 2. Hamburg: Felix Meiner Verlag, doi:10.28937/978-3-7873-2399-9.
Schröder-Heister, Peter. 2012a. “The Categorical and the Hypothetical: A Critique of Some Fundamental Assumptions of Standard Semantics.” Synthese 187(3): 8925–8942.
Schröder-Heister, Peter. 2012b. “Proof-Theoretic Semantics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2012/entries/proof-theoretic-semantics/.
Schröder-Heister, Peter. 2012c. “Paradoxes and Structural Rules.” in Insolubles and Consequences. Essays in Honour of Stephen Read, edited by Catarina Dutilh-Novaes and Ole Thomassen Hjortland. Tributes n. 18. London: King’s College Publications.
Schröder-Heister, Peter. 2018. “Proof-Theoretic Semantics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/.
Schröder-Heister, Peter. 2023. “Proof-Theoretic Semantics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2023/entries/proof-theoretic-semantics/.
Schröder-Heister, Peter and Došen, Kosta, eds. 1993. Substructural Logics. Oxford Science Publications. Oxford: Oxford University Press.
Spohn, Wolfgang, Schröder-Heister, Peter and Olsson, Erik J. 2005. Logik in der Philosophie. Heidelberg: Synchron, Wissenschaftsverlag der Autoren.
Wehmeier, Kai Frederick and Schröder-Heister, Peter. 2005. “Frege’s Permutation Argument Revisited.” Synthese 147(1): 43–61.