Switch to: Citations

Add references

You must login to add references.
  1. The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   241 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 (6 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  • Heterogeneous Logic.I. L. Humberstone - 1988 - Erkenntnis 29 (3):395 - 435.
    This paper considers the question: what becomes of the notion of a logic as a way of codifying valid arguments when the customary assumption is dropped that the premisses and conclusions of these arguments are statements from some single language? An elegant treatment of the notion of a logic, when this assumption is in force, is that provided by Dana Scott's theory of consequence relations; this treatment is appropriately generalized in the present paper to the case where we do not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • Against the Identification of Assertoric Content with Compositional Value.Brian Rabern - 2012 - Synthese 189 (1):75-96.
    This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   67 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   23 citations  
  • 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. The compositionality of the resulting attribution (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • 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.
  • How a Semantics for Tonk Should Be.Andreas Fjellstad - 2015 - Review of Symbolic Logic 8 (3):488-505.
  • The Runabout Inference Ticket.Arthur Prior - 1967 - In Peter Strawson (ed.), Analysis. Oxford University Press. pp. 38-9.