Switch to: References

Add citations

You must login to add citations.
  1. Proof-Theoretic Reconstruction of Generalized Quantifiers.Nissim Francez & Gilad Ben-Avi - 2015 - Journal of Semantics 32 (3):313-371.
  • What is Inferentialism?Jaroslav Peregrin - unknown
    Inferentialism is the conviction that to be meaningful in the distinctively human way, or to have a 'conceptual content', is to be governed by a certain kind of inferential rules. The term was coined by Robert Brandom as a label for his theory of language; however, it is also naturally applicable (and is growing increasingly common) within the philosophy of logic.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
  • Compositionality and the Prospect of a Pluralistic Semantic Theory.Adam C. Podlaskowski - 2019 - Australasian Journal of Philosophy 97 (2):325-339.
    A semantic theory is committed to semantic monism just in case every particular semantic property posited by the theory is a member of the same kind. The commitment to semantic monism appears to draw some support from the need to provide a compositional semantics, since taking a single kind of semantic property as key to a semantic theory affords a uniform pattern on the basis of which the meaning of any given sentence can be compositionally determined. This line of support (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Constructive Belief Reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.
    The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Generalized Syllogistic Inference System Based on Inclusion and Exclusion Relations.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Studia Logica 100 (4):753-785.
    We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.
    The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
    In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.
    Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors . A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the defined logic to standard (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 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  
  • Characterizing Generics Are Material Inference Tickets: A Proof-Theoretic Analysis.Preston Stovall - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-37.
    ABSTRACTAn adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proof-Theoretic Semantics for Natural Language.Nissim Francez - forthcoming - Topoi:1-15.
    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  
  • Truth-Conditional Cognitivism and the Lexical Problem.Fabrizio Calzavarini - forthcoming - Topoi:1-12.
    When dealing with ‘meaning’ or related notions, one cannot ignore what for a long time was the dominant paradigm in semantics. According to such paradigm, truth-conditional formal semantics for natural language is a theory of semantic competence. In this article, I shall discuss a foundational problem for such semantic program. I shall first be following authors who claim that truth-conditional formal semantics is unable to provide a complete account of lexical competence, and, therefore, it suffers from incompleteness. Moreover, as a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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   9 citations  
  • Rules for Subatomic Derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.
    In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.
    A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
    The paper studies the extension of harmony and stability, major themes in proof-theoretic semantics, from single-conclusion natural-deduction systems to multiple -conclusions natural-deduction, independently of classical logic. An extension of the method of obtaining harmoniously-induced general elimination rules from given introduction rules is suggested, taking into account sub-structurality. Finally, the reductions and expansions of the multiple -conclusions natural-deduction representation of classical logic are formulated.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations