Switch to: References

Add citations

You must login to add citations.
  1. Identity in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.
    The logic of identity contains riches not seen through the coarse lens of predicate logic. This is one of several lessons to draw from the subtle treatment of identity in Martin‐Löf type theory, to which the reader will be introduced in this article. After a brief general introduction we shall mainly be concerned with the distinction between identity propositions and identity judgements. These differ from each other both in logical form and in logical strength. Along the way, connections to philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Inconsistency-Adaptive Dialogical Logic.Mathieu Beirlaen & Matthieu Fontaine - 2016 - Logica Universalis 10 (1):99-134.
    Even when inconsistencies are present in our premise set, we can sensibly distinguish between good and bad arguments relying on these premises. In making this distinction, the inconsistency-adaptive approach of Batens strikes a particularly nice balance between inconsistency-tolerance and inferential strength. In this paper, we use the machinery of Batens’ approach to extend the paraconsistent approach to dialogical logic as developed by Rahman and Carnielli. In bringing these frameworks closer together, we obtain a dynamic mechanism for the systematic study of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Past and Present Interactions in Legal Reasoning and Logic.Matthias Armgardt, Patrice Canivez & Sandrine Chassagnard-Pinet (eds.) - 2015 - Cham, Switzerland: Springer.
    This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, Jørgensen´s Dilemma, the Rhetor´s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Introducing consistency in a dialogical framework for paraconsistent logic.Eduardo Alejandro Barrio, Nicolas Clerbout & Shahid Rahman - 2020 - Logic Journal of the IGPL 28 (5):953-972.
    The logics of formal inconsistency are logics tolerant to some amount of contradiction, but in which some versions of explosion still hold. The main result of this paper is a reconstruction of two such logics in the dialogical framework. By doing so, we achieve two things. On the one hand, we provide a formal approach to argumentative situations where some contradictions may occur while keeping the idea that there may still be situations in which some propositions are ‘safe’ in the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Um quadro dialógico para ficções como objetos hipotéticos.Shahid Rahman & Juan Redmond - 2015 - Filosofia Unisinos 16 (1).
    Recent work on the development of a dialogical approach to the logic of fiction stresses the notion of existence as choice. Moreover, this approach to existence has been combined with the notion of ontolog-ical dependence as deployed by A. Thomasson’s artifactual theory of fiction. In order to implement such a combination within the dialogical frame several predicates of ontological dependence have been de-fined. However, the definition of such predicates seems to lean on a model-theoretic semantics for mod-al logic after all. (...)
    Download  
     
    Export citation  
     
    Bookmark