Order:
  1.  29
    A three-valued quantified argument calculus: Domain-free model-theory, completeness, and embedding of fol.Ran Lanzet - 2017 - Review of Symbolic Logic 10 (3):549-582.
    This paper presents an extended version of the Quantified Argument Calculus (Quarc). Quarc is a logic comparable to the first-order predicate calculus. It employs several nonstandard syntactic and semantic devices, which bring it closer to natural language in several respects. Most notably, quantifiers in this logic are attached to one-place predicates; the resulting quantified constructions are then allowed to occupy the argument places of predicates. The version presented here is capable of straightforwardly translating natural-language sentences involving defining clauses. A three-valued, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Logical Inquiries into a New Formal System with Plural Reference.Ran Lanzet & Hanoch Ben-Yami - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Schefler & Wansing Heinrich (eds.), First-Order Logic Revisited. Berlin: Logos Verlag. pp. 173-223.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  53
    Chain-Arguments and the Sorites Paradox.Ran Lanzet - 2019 - Australasian Journal of Philosophy 97 (3):589-604.
    A finite chain of valid arguments can never lead from truth to falsehood. Call this the concatenation principle, or CP. Some propose to reject CP in response to the sorites paradox. I offer...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark