Results for 'Proof-theoretic semantics'

993 found
Order:
  1.  15
    Prooftheoretic semantics of natural deduction based on inversion.Ernst Zimmermann - 2021 - Theoria 87 (6):1651-1670.
    The article presents a full prooftheoretic semantics for natural deduction based on an extended inversion principle: the elimination rule for an operator q may invert the introduction rule for q, but also vice versa, the introduction rule for a connective q may invert the elimination rule for q. Such an inversion—extending Prawitz' concept of inversion—gives the following theorem: Inversion for two rules of operator q (intro rule, elim rule) exists iff a reduction of a maximum formula for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  66
    Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
    In this paper we show how Dummett-Prawitz-style proof-theoretic semantics has to be modified in order to cope with paradoxical phenomena. It will turn out that one of its basic tenets has to be given up, namely the definition of the correctness of an inference as validity preservation. As a result, the notions of an argument being valid and of an argument being constituted by correct inference rules will no more coincide. The gap between the two notions is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  3.  88
    The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  88
    Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
    The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  5. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  6. Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
    The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  7. Proof-Theoretic Semantics and the Interpretation of Atomic Sentences.Preston Stovall - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 163-178.
    This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  79
    Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
    The paper proposes a semantic value for the logical constants (connectives and quantifiers) within the framework of proof-theoretic semantics, basic meaning on the introduction rules of a meaning conferring natural deduction proof system. The semantic value is defined based on Fregecontributions” to sentential meanings as determined by the function-argument structure as induced by a type-logical grammar. In doing so, the paper proposes a novel proof-theoretic interpretation of the semantic types, traditionally interpreted in Henkin models. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9.  60
    Proof-Theoretic Semantics, by Nissim Francez.Ivo Pezlar - 2017 - Mind 126 (501):299-304.
    Proof-Theoretic Semantics, by FrancezNissim. London: College Publications, 2015. Pp. xx + 415.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  96
    Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.Peter Schroeder-Heister - 2012 - Topoi 31 (1):77-85.
    From the point of view of proof-theoretic semantics, it is argued that the sequent calculus with introduction rules on the assertion and on the assumption side represents deductive reasoning more appropriately than natural deduction. In taking consequence to be conceptually prior to truth, it can cope with non-well-founded phenomena such as contradictory reasoning. The fact that, in its typed variant, the sequent calculus has an explicit and separable substitution schema in form of the cut rule, is seen (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  11. Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
    Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  17
    Single-Assumption Systems in Proof-Theoretic Semantics.Leonardo Ceragioli - 2022 - Journal of Philosophical Logic 51 (5):1019-1054.
    Proof-theoretic semantics is an inferentialist theory of meaning, usually developed in a multiple-assumption and single-conclusion framework. In that framework, this theory seems unable to justify classical logic, so some authors have proposed a multiple-conclusion reformulation to accomplish this goal. In the first part of this paper, the debate originated by this proposal is briefly exposed and used to defend the diverging opinion that proof-theoretic semantics should always endorse a single-assumption and single-conclusion framework. In order (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  85
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  14. Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.
  15.  30
    A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
    The paper introduces a proof-theoretic semantics for adjectival modification as an alternative to the traditional model-theoretic semantics basing meaning on truth-conditions. The paper considers the proof-theoretic meaning of modification by means of the three traditional adjective classes: intersective, subsective and privative. It does so by introducing a meaning-conferring natural-deduction proof system for such modification. The PTS theory of meaning is not polluted by ontological commitments, for example, a scale for beauty and a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  7
    Proof-Theoretic Semantics: An Autobiographical Survey.Peter Schroeder-Heister - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 1-51.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  35
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  18.  28
    Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.
    The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between introduction and elimination rules traditionally imposed by harmony, a balance should be imposed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  19.  27
    Proof-theoretic semantics as a resource for expressing semantic variability.Nissim Francez - 2022 - Synthese 200 (4):1-27.
    The paper highlights proof-theoretic semantics as providing natural resources for capturing semantic variation in natural language. The semantic variations include:Distinction between extensional predication and attribution to intensional transitive verbs a non-specific object.Omission of a verbal argument in a transitive verb.Obtaining sameness of meaning of sentences with transitive verbs with omitted object and existentially quantified object.Blocking unwarranted entailments in adjective–noun combinations.Capturing quantifier scope ambiguity.Obtaining context dependent quantifier domain restriction. The proof-theoretic resources employed to capture the above (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  21. Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
    The standard approach to what I call “proof-theoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of proof-theoretic semantics, this paper investigates in detail various notions of proof-theoretic validity and offers certain improvements of the definitions given by Prawitz. Particular emphasis is placed on the relationship between semantic (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  22.  47
    Proof-theoretic Semantics for Classical Mathematics.William W. Tait - 2006 - Synthese 148 (3):603-622.
    We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  94
    The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
    This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  24.  3
    Categorical Proof-theoretic Semantics.David Pym, Eike Ritter & Edmund Robinson - forthcoming - Studia Logica:1-38.
    In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms using inductive clauses derived from proof-theoretic rules. A key aim is to show completeness of the proof rules without any requirement for formal models. Establishing this for propositional intuitionistic logic raises some technical and conceptual issues. We relate Sandqvist’s (complete) base-extension semantics of intuitionistic propositional logic to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  16
    A Proof-Theoretic Semantics for Exclusion.Nissim Francez & Michael Kaminski - 2017 - Logica Universalis 11 (4):489-505.
    The paper provides a proof-theory for a negative presentation of classical logic based on a single primitive of exclusion, generalizing the known presentation via the binary ‘nand. The completeness is established via deductive equivalence to Gentzens NK/LK systems.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  3
    Proof-Theoretic Semantics and Atomic Base. 정인교 - 2015 - Cheolhak-Korean Journal of Philosophy 125:57.
    기존의 증명론적 의미론은 대부분 논리상항의 의미에 대한 증명론적 규명에 그 초점이 맞추어져왔다. 그러나 원자문장의 의미에 대한 증명론적 규명이 이루어지지 않는 한 증명론적 의미론은 불완전한 이론에 머무르게 된다. 이 글에서는 증명론적 의미론의 원자적 기반에 관한 문제가 검토되고 그 해결책이 모색될 것이다. 증명론적 의미론의 대표적인 형태인 프라위츠와 덤밋의 증명론적 타당성개념의 핵심 사항들에 대해 논의하고, 이 이론에 대한 원자적 기반의 문제를 제기한 후, 최소한 귀납적으로 정의된 술어에 관해서는 만족스런 원자적 기반이 마련될 수 있음을 보일 것이며, 이를 넘어서 보다 포괄적인 원자적 기반을 제시하는 문제가 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  29
    Proof theoretic semantics and feasibility.Jean Fichot - unknown
  28.  70
    Steps Towards a Proof-Theoretical Semantics.Enrico Moriconi - 2012 - Topoi 31 (1):67-75.
    The aim of this paper is to reconsider several proposals that have been put forward in order to develop a Proof-Theoretical Semantics, from the by now classical neo-verificationist approach provided by D. Prawitz and M. Dummett in the Seventies, to an alternative, more recent approach mainly due to the work of P. Schroeder-Heister and L. Hallnäs, based on clausal definitions. Some other intermediate proposals are very briefly sketched. Particular attention will be given to the role played by the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  43
    Proof-Theoretic Semantics for Natural Language.Nissim Francez - 2019 - Topoi 40 (1):55-69.
    The paper has two parts: 1. A brief exposition of proof-theoretic semantics, not necessarily in connection to natural language. 2. A review, with a contrastive flavour, of some of the applications of PTS to NL with an indication of advantages of PTS as a theory of meaning for NL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  37
    The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  31.  11
    Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.
    In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  10
    A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic.Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano & Vlasta Sikimić - 2016 - Journal of Logic and Computation 26 ( 6):1961-2015.
    The present article provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems that have been successfully applied to diverse scientific disciplines, but the proof-theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  32
    Kant’s Die falsche Spitzfindigkeit and Proof-theoretic Semantics.Tiago Rezende de Castro Alves - 2022 - History and Philosophy of Logic 44 (3):273-286.
    According to Schroeder-Heister 2018, proof-theoretic semantics is ‘an alternative to truth-condition semantics. It is based on the fundamental assumption that the central notion in terms of which meanings are assigned to certain expressions of our language, in particular to logical constants, is that of proof rather than truth. In this sense proof-theoretic semantics is semantics in terms of proof. Proof-theoretic semantics also means the semantics of proofs, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  59
    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 (...)
  35. Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
  36. 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  
  37. Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.
    This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Introduction: Proof-theoretic semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.
  39.  64
    Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.Göran Sundholm - 1994 - The Monist 77 (3):294-314.
    In his Grundgesetze, §32, Frege launched the idea that the meaning of a sentence is given by its truth condition, or, in his particular version, the condition under which it will be a name of the True. This, indeed, was only one of the many roles in which truth has to serve within the Fregean system. In particular, truth is an absolute notion in the sense that bivalence holds: every Gedanke is either true or false, in complete independence of any (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  40.  58
    On a Generality Condition in ProofTheoretic Semantics.Bogdan Dicher - 2017 - Theoria 83 (4):394-418.
    In the recent literature on proof-theoretic semantics, there is mention of a generality condition on defining rules. According to this condition, the schematic formulation of the defining rules must be maximally general, in the sense that no restrictions should be placed on the contexts of these rules. In particular, context variables must always be present in the schematic rules and they should range over arbitrary collections of formulae. I argue against imposing such a condition, by showing that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  4
    Proof-Theoretic Semantics,by Nissim Francez.Ivo Pezlar - 2016 - Mind:fzw056.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  22
    On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\).Sara Ayhan & Heinrich Wansing - 2023 - Bulletin of the Section of Logic 52 (2):187-237.
    We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{SC2Int}\) is that it makes use of two kind of sequents, one representing proofs, the other representing refutations. The structural rules of \(\mathtt{SC2Int}\), in particular its cut rules, are shown to be admissible. Next, interaction rules are defined that allow transitions from proofs to refutations, and vice (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  56
    Weak disharmony: Some lessons for proof-theoretic semantics.Bogdan Dicher - 2016 - Review of Symbolic Logic (3):1-20.
    A logical constant is weakly disharmonious if its elimination rules are weaker than its introduction rules. Substructural weak disharmony is the weak disharmony generated by structural restrictions on the eliminations. I argue that substructural weak disharmony is not a defect of the constants which exhibit it. To the extent that it is problematic, it calls into question the structural properties of the derivability relation. This prompts us to rethink the issue of controlling the structural properties of a logic by means (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  44.  96
    Some problems for proof-theoretic semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
    Proof-theoretic semantics is an approach to logical semantics based on two ideas, of which the first is that the meaning of a logical connective can be explained by stipulating that some mode of inference, e.g., a natural deduction introduction or elimination rule, is permissible. The second idea is that the soundness of rules which are not stipulated outright may be deduced by some proof-theoretic argument from properties of the rules which are stipulated outright. I (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  29
    Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.B. G. Sundholm - 1994 - The Monist 77 (3):294-314.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  20
    Introduction: Bilateralism and Proof-Theoretic Semantics (Part I).Sara Ayhan - 2023 - Bulletin of the Section of Logic 52 (2):101-108.
  47. 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  
  48.  82
    What is the Meaning of Proofs?: A Fregean Distinction in Proof-Theoretic Semantics.Sara Ayhan - 2020 - Journal of Philosophical Logic 50 (3):571-591.
    The origins of proof-theoretic semantics lie in the question of what constitutes the meaning of the logical connectives and its response: the rules of inference that govern the use of the connective. However, what if we go a step further and ask about the meaning of a proof as a whole? In this paper we address this question and lay out a framework to distinguish sense and denotation of proofs. Two questions are central here. First of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  30
    Towards a Proof-Theoretic Semantics for Dynamic Logics.V. Sikimic - unknown
    This thesis provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. After an illustration of the basic principles of proof-theoretic semantics, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reject on them in the light of proof-theoretic semantic principles. The main original contributions of the present thesis are: (a) a revised version (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. 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  
1 — 50 / 993