5 found
Sort by:
  1. Bartosz Więckowski (forthcoming). Constructive Belief Reports. Synthese:1-31.
    The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski (Stud Log 100:815–853, 2012) 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 (Type-theoretical grammar, (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Bartosz Więckowski (2012). A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Bartosz Więckowski (2011). Rules for Subatomic Derivation. 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 (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Bartosz Więckowski (2010). Associative Substitutional Semantics and Quantified Modal Logic. Studia Logica 94 (1):105 - 138.
    The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Bartosz Wieckowski, Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.
    This dissertation develops a substitutional semantics for first-order (modal) logic which, unlike truth-value semantics, allows a fine-grained analysis of the semantical behaviour of the terms and predicates from which atomic formulae are composed. Moreover, it proposes a nondenotational philosophical foundation for the semantics of substitutional quantified (modal) logic.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation