Order:
  1.  14
    Quantification in Ordinary Language and Proof Theory.Michele Abrusci & Pasquali - 2016 - Philosophia Scientiæ 20:185-205.
    This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the construction (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  9
    Quantification in Ordinary Language and Proof Theory.Michele Abrusci, Fabio Pasquali & Christian Retoré - 2016 - Philosophia Scientae 20:185-205.
  3. Hilbert’s Τ and Ε in Proof Theory: A Proof-Theoretical Representation of Universal and Existential Statements.Michele Abrusci - 2018 - In Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic. De Gruyter. pp. 1-22.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark