Peter Schroeder-Heister

Biographic Data

ID5969279
NAMEPeter Schroeder-Heister
GIVEN NAMESPeter
FAMILY NAMESchroeder-Heister
SIGNATURESCHROEDER-HEISTER P
AFFILIATIONSUniversity of Tübingen
ORCID0000-0001-7113-9972
VERIFIEDYes
TOTAL WORKS11
TOTAL CITATIONS19
WORKS AS AUTHOR11
WORKS AS EDITOR0
FIRST PUBLICATION YEAR1985
LATEST PUBLICATION YEAR2024
H-INDEX3

  • Prawitz's completeness conjecture

    Open AccessPeter Schroeder-Heister, Peter Schroeder‐HeisterARTICLETheoria2024

    In 1973, Dag Prawitz conjectured that the calculus of intuitionistic logic is complete with respect to his notion of validity of arguments. On the background of the recent disproof of this conjecture by Piecha, de Campos Sanz and Schroeder‐Heister, we discuss possible strategies of saving Prawitz's intentions. We argue that Prawitz's original semantics, which is based on the principal frame of all atomic systems, should be replaced with a general…

  • How to Ekman a Crabbé-Tennant

    Open AccessPeter Schroeder-Heister, Luca TranchiniARTICLESynthese2021Cited by: 1References: 19

  • Popper, Karl Raimund (1902–94)

    Open AccessPeter Schroeder-HeisterCHAPTERInternational Encyclopedia of the…2015

  • The categorical and the hypothetical

    Open AccessPeter Schroeder-HeisterARTICLESynthese2012Cited by: 4References: 15

  • Introduction

    Open AccessReinhard Kahle, Peter Schroeder-HeisterARTICLESynthese2006Cited by: 5References: 5

  • Validity Concepts in Proof-theoretic Semantics

    Open AccessPeter Schroeder-HeisterARTICLESynthese2006Cited by: 8References: 31

  • Enzyklopädie Philosophie und Wissenschaftstheorie

    Open AccessGottfried Gabriel, Matthias Gatzemeier et al.BOOKEnzyklopädie Philosophie und…2005

  • Frege’s permutation argument revisited

    Open AccessKai F Wehmeier, Peter Schroeder-HeisterARTICLESynthese2005Cited by: 1References: 9

  • Reduction, Representation and Commensurability of Theories

    Open AccessPeter Schroeder-Heister, Frank Schaefer et al.ARTICLEPhilosophy of Science1989References: 12

    Theories in the usual sense, as characterized by a language and a set of theorems in that language (“statement view”), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models (“non-statement view”, J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called “representations” of th…

  • Book Note

    Ulf Friedrichsdorf, Peter Schroeder-HeisterARTICLEJournal of Semantics1985

    BOOK NOTE Get access G.E. Hughes and M.J. Cresswell, A Companion to Modal Logic. Methuen, London and New York, Pp. XVIII + 203. Ulf Friedrichsdorf, Ulf Friedrichsdorf Universität Konstanz Fakultät für MathematikPostfach 5560 D-7750 Konstanz Fed. Rep. Germany Search for other works by this author on: Oxford Academic Google Scholar Peter Schroeder-Heister Peter Schroeder-Heister Universität Konstanz Fakultät für MathematikPostfach 5560 D-7750 Konst…

  • Conservativeness and uniqueness

    Open AccessKostadoŝen Kostadoŝen, Peter Schroeder-Heister et al.ARTICLETheoria1985