Switch to: References

Add citations

You must login to add citations.
  1. 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 also on: negative introduction and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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 type interpretation (in arbitrary Henkin models). The domains (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • 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. In particular, Dummett’s manifestation argument does not (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • 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 imposed also on: (i) negative (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Reprint Of: A More General General Proof Theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
    In this paper it is suggested to generalize our understanding of general (structural) proof theory and to consider it as a general theory of two kinds of derivations, namely proofs and dual proofs. The proposal is substantiated by (i) considerations on assertion, denial, and bi-lateralism, (ii) remarks on compositionality in proof-theoretic semantics, and (iii) comments on falsification and co-implication. The main formal result of the paper is a normal form theorem for the natural deduction proof system N2Int of the bi-intuitionistic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the Notion of Canonical Derivations From Open Assumptions and its Role in Proof-Theoretic Semantics.Nissim Francez - 2015 - Review of Symbolic Logic 8 (2):296-305.
  • Bilateral Relevant Logic.Nissim Francez - 2014 - Review of Symbolic Logic 7 (2):250-272.
  • On a Distinction of Two Facets of Meaning and its Role in Proof-Theoretic Semantics.Nissim Francez - 2015 - Logica Universalis 9 (1):121-127.
    I show that in the context of proof-theoretic semantics, Dummett’s distinction between the assertoric meaning of a sentence and its ingredient sense can be seen as a distinction between two proof-theoretic meanings of a sentence: 1.Meaning as a conclusion of an introduction rule in a meaning-conferring natural-deduction proof system. 2.Meaning as a premise of an introduction rule in a meaning-conferring natural-deduction proof system. The effect of this distinction on compositionality of proof-theoretic meaning is discussed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark