1.  31
    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 F. Hendricks (ed.), First-order logic revisited. Berlin: Logos. 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