Switch to: References

Add citations

You must login to add citations.
  1. Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - 2023 - Studia Logica 111 (6):947-977.
    Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naïve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dream of Recapture.Carlo Nicolai - 2022 - Analysis 82 (3):445-450.
    As a response to the semantic and logical paradoxes, theorists often reject some principles of classical logic. However, classical logic is entangled with mathematics, and giving up mathematics is too high a price to pay, even for nonclassical theorists. The so-called recapture theorems come to the rescue. When reasoning with concepts such as truth/class membership/property instantiation, (These are examples of concepts that are taken to satisfy naive rules such as the naive truth schema and naive comprehension, and that therefore are (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations