14 found
Order:
  1.  46
    Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  69
    Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.
    This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...)
  3.  43
    Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):233-246.
    Prawitz proposed certain notions of proof-theoretic validity and conjectured that intuitionistic logic is complete for them [11, 12]. Considering propositional logic, we present a general framework of five abstract conditions which any proof-theoretic semantics should obey. Then we formulate several more specific conditions under which the intuitionistic propositional calculus turns out to be semantically incomplete. Here a crucial role is played by the generalized disjunction principle. Turning to concrete semantics, we show that prominent proposals, including Prawitz’s, satisfy at least one (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4.  88
    Failure of Completeness in Proof-Theoretic Semantics.Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister - 2015 - Journal of Philosophical Logic 44 (3):321-335.
    Several proof-theoretic notions of validity have been proposed in the literature, for which completeness of intuitionistic logic has been conjectured. We define validity for intuitionistic propositional logic in a way which is common to many of these notions, emphasizing that an appropriate notion of validity must be closed under substitution. In this definition we consider atomic systems whose rules are not only production rules, but may include rules that allow one to discharge assumptions. Our central result shows that Harrop’s rule (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  5.  16
    Karl Popper on Deduction.Thomas Piecha - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 301-321.
    We outline Karl Popper’s theory of deduction, which he developed in the 1940s. In his theory it is assumed that a consequence relation is given or otherwise constructed by postulation. Logical operations, which may be available in this consequence relation, are then characterized by means of relational definitions, and logical operators are introduced as names for these operations by means of inferential definitions. Using logically structured sentences thus introduced, the inference laws for them are immediately obtained from the inferential definitions.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Completeness in Proof-Theoretic Semantics.Thomas Piecha - 2015 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.
     
    Export citation  
     
    Bookmark   8 citations  
  7. Atomic Systems in Proof-Theoretic Semantics: Two Approaches.Peter Schroeder-Heister & Thomas Piecha - 2016 - In Ángel Nepomuceno Fernández, Olga Pombo Martins & Juan Redmond (eds.), Epistemology, Knowledge and the Impact of Interaction. Cham, Switzerland: Springer Verlag.
     
    Export citation  
     
    Bookmark   5 citations  
  8.  58
    General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.
    This special issue on general proof theory collects papers resulting from the conference on general proof theory held in November 2015 in Tübingen.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  49
    Popper's Notion of Duality and His Theory of Negations.David Binder & Thomas Piecha - 2017 - History and Philosophy of Logic 38 (2):154-189.
    Karl Popper developed a theory of deductive logic in the late 1940s. In his approach, logic is a metalinguistic theory of deducibility relations that are based on certain purely structural rules. Logical constants are then characterized in terms of deducibility relations. Characterizations of this kind are also called inferential definitions by Popper. In this paper, we expound his theory and elaborate some of his ideas and results that in some cases were only sketched by him. Our focus is on Popper's (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  48
    Inversion by definitional reflection and the admissibility of logical rules.Wagner Campos Sanz & Thomas Piecha - 2009 - Review of Symbolic Logic 2 (3):550-569.
    The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by Schroeder-Heister . Using the framework of definitional reflection and its admissibility interpretation, we show that, in the sequent calculus of minimal propositional logic, the left introduction rules are admissible (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  21
    A Critical Remark on the BHK Interpretation of Implication.Wagner de Campos Sanz & Thomas Piecha - 2014 - Philosophia Scientiae 18:13-22.
    On analyse l’interprétation BHK de constantes logiques sur la base d’une prise en compte systématique de Prawitz, résultant en une reformulation de l’interprétation BHK dans laquelle l’assertabilité de propositions atomiques est déterminée par des systèmes de Post. On démontre que l’interprétation BHK reformulée rend davantage de propositions assertables que la logique propositionnelle intuitionniste rend prouvable. La loi de Mints est examinée en tant qu’exemple d’une telle proposition. La logique propositionnelle intuitionniste devrait par conséquent être considérée comme étant incomplète. Nous concluons (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Dialogical Logic.Thomas Piecha - 2015
    Dialogical Logic Dialogical logic is an approach to logic in which the meaning of the logical constants and the notion of validity are explained in game-theoretic terms. The meaning of logical constants like “and”, “or”, “implies”, “not”, “every”, and so forth, is given in terms of how assertions containing these logical constants can … Continue reading Dialogical Logic →.
     
    Export citation  
     
    Bookmark  
  13. Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017.Thomas Piecha & Jean Fichot (eds.) - 2017
    No categories
     
    Export citation  
     
    Bookmark  
  14. Advances in Proof-Theoretic Semantics: Introduction.Peter Schroeder-Heister & Thomas Piecha - 2015 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark