15 found
Order:
  1.  12
    Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
    This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...)
    No categories
  2.  45
    First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
    We present a new proof of soundness/completeness of tableaux with respect to dialogical games in Classical First-Order Logic. As far as we know it is the first thorough result for dialogical games where finiteness of plays is guaranteed by means of what we call repetition ranks.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  9
    Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
    We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  72
    Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi’s Commentary on the Handbook of Logic. [REVIEW]Nicolas Clerbout, Marie-Hélène Gorisse & Shahid Rahman - 2011 - Journal of Philosophical Logic 40 (5):633-662.
    In classical India, Jain philosophers developed a theory of viewpoints ( naya-vāda ) according to which any statement is always performed within and dependent upon a given epistemic perspective or viewpoint. The Jainas furnished this epistemology with an (epistemic) theory of disputation that takes into account the viewpoint in which the main thesis has been stated. The main aim of our paper is to delve into the Jain notion of viewpoint-contextualisation and to develop the elements of a suitable logical system (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  4
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Building a Winning $$\mathbf {P}$$ P -Strategy Out of a CTT Demonstration.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  7. Brief Reminder of Constructive Type Theory.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  8. Conclusions and Work in Progress.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  9. Dialogues with Play-Objects.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  10. From Dialogical Strategies to CTT Demonstrations.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  11. The Dialogical Take on the Axiom of Choice, and Its Translation Into CTT.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  12. Interacción E Igualdad. La Interpretación Dialógica de la Teoría Constructiva de Tipos.Shahid Rahman, Nicolas Clerbout & Juan Redmond - 2017 - Crítica. Revista Hispanoamericana de Filosofía 49 (145):49-89.
    The main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory, which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a specific form of dialogical interaction governed by the development rule known as formal rule or Socratic rule, which prescribes the use of copy-cat moves. It will be shown, as (...)
    No categories
     
    Export citation  
     
    Bookmark  
  13. Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos.Shahid Rahman, Nicolas Clerbout & Juan Redmond - 2017 - Critica 49 (145):49-89.
    Mediante un estudio dialógico de la noción de igualdad definicional de la teoría constructiva de tipos, se mostrará que tal igualdad, que en la TCT provee el criterio de identidad asociado a un tipo, puede comprenderse, desde el punto de vista lúdico, como resultado de una forma específica de interacción dialógica regida por la regla formal, más conocida recientemente como la regla socrática, que prescribe el uso de jugadas de espejo. Esto se ilustrará con el desarrollo dialógico de las partes (...)
    No categories
     
    Export citation  
     
    Bookmark  
  14.  6
    On Dialogues, Predication and Elementary Sentences.Shahid Rahman & Nicolas Clerbout - 2013 - Revista de Humanidades de Valparaíso 2:7-46.
    In its origins Dialogical logic constituted the logical foundations of an overall new movement called the Erlangen School or Erlangen Constructivism that should provide a new start to a general theory of language and of science. In relation to the theory of language, according to the Erlangen-School, language is not just a fact that we discover, but a human cultural accomplishment whose construction reason can and should control. The constructive development of a scientific language was called the Orthosprache-project. Unfortunately, the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    Sobre Diálogos, Predicción y Frases Elementales.Shahid Rahman & Nicolas Clerbout - 2013 - Revista de Humanidades de Valparaíso 2:7-46.
    In its origins Dialogical logic constituted the logical foundations of an overall new movement called the Erlangen School or Erlangen Constructivism that should provide a new start to a general theory of language and of science. In relation to the theory of language, according to the Erlangen-School, language is not just a fact that we discover, but a human cultural accomplishment whose construction reason can and should control. The constructive development of a scientific language was called the Orthosprache-project. Unfortunately, the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark