Switch to: References

Add citations

You must login to add citations.
  1. The Elimination of Direct Self-reference.Qianli Zeng & Ming Hsiung - 2023 - Studia Logica 111 (6):1037-1055.
    This paper provides a procedure which, from any Boolean system of sentences, outputs another Boolean system called the ‘_m_-cycle unwinding’ of the original Boolean system for any positive integer _m_. We prove that for all \(m>1\), this procedure eliminates the direct self-reference in that the _m_-cycle unwinding of any Boolean system must be indirectly self-referential. More importantly, this procedure can preserve the primary periods of Boolean paradoxes: whenever _m_ is relatively prime to all primary periods of a Boolean paradox, this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Resolving infinitary paradoxes.Michał Walicki - 2017 - Journal of Symbolic Logic 82 (2):709-723.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Beliefs supported by binary arguments.Chenwei Shi, Sonja Smets & Fernando R. Velázquez-Quesada - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):165-188.
    In this paper, we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Our main contribution is the design of a logical setting that allows us reason about binary arguments which are either in favour or against a certain claim. This is a setting in which arguments and propositions are the basic building blocks so that the concept of argument-based belief emerges in a straightforward way. We work against the background of Dung’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Unified Theory of Truth and Paradox.Lorenzo Rossi - 2019 - Review of Symbolic Logic 12 (2):209-254.
    The sentences employed in semantic paradoxes display a wide range of semantic behaviours. However, the main theories of truth currently available either fail to provide a theory of paradox altogether, or can only account for some paradoxical phenomena by resorting to multiple interpretations of the language. In this paper, I explore the wide range of semantic behaviours displayed by paradoxical sentences, and I develop a unified theory of truth and paradox, that is a theory of truth that also provides a (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Collective argumentation: A survey of aggregation issues around argumentation frameworks.Gustavo Bodanza, Fernando Tohmé & Marcelo Auday - 2017 - Argument and Computation 8 (1):1-34.
    Dung’s argumentation frameworks have been applied for over twenty years to the analysis of argument justification. This representation focuses on arguments and the attacks among them, abstracting away from other features like the internal structure of arguments, the nature of utterers, the specifics of the attack relation, etc. The model is highly attractive because it reduces most of the complexities involved in argumentation processes. It can be applied to different settings, like the argument evaluation of an individual agent or the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A graph-theoretic analysis of the semantic paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.
    We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations