Switch to: References

Add citations

You must login to add citations.
  1. The logics of a universal language.Eduardo Alejandro Barrio & Edson Bezerra - 2024 - Asian Journal of Philosophy 3 (1):1-22.
    Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, we argue (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Expressing consistency consistently.Lucas Rosenblatt - 2021 - Thought: A Journal of Philosophy 10 (1):33-41.
    Thought: A Journal of Philosophy, EarlyView.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos - 2021 - Australasian Journal of Logic 3.
    In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations