23 found
Order:
  1.  21
    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.  53
    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.  26
    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 (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  7
    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  
  5.  12
    Immanent Reasoning or Equality in Action A Dialogical Study.Shahid Rahman, Nicolas Clerbout, Ansten Klev, Zoe Mc Conaughey & Juan Redmond - unknown
    PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    Objective Knowledge and the not Dispensability of Epistemic Subjects. Some remarks on Popper's notion of objective knowledge.Shahid Rahman, Juan Redmond & Nicolas Clerbout - unknown
    While discussing his notion of objective knowledge Popper introduces the idea of dispensability of knowing subjects, the autonomy of knowledge and the argumentative function of language. The main claim of our paper is that, on our view, objective knowledge produced by argumentative interaction is not achieved by dispensing knowing subjects but by differentiating between the play and the strategic levels of argumentation, where a distinction should be drawn between a particular concrete knowing subject engaged in that interaction, say Karl, and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. 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  
  8. 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  
  9. 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  
  10.  2
    Constructive Type Theory and the Dialogical Turn.Shahid Rahman & Nicolas Clerbout - 2014 - In J. Mittelstrass & C. von Bülow (eds.), Dialogische Logik. pp. 91-148.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. 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  
  12. 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  
  13.  3
    Fundamentals of the CTT Approach.Shahid Rahman & Nicolas Clerbout - unknown
    The paper presents a very brief overview of Per Martin-Löf's Constructive Type Theory (CTT for short). It is thought as handout for a mastersl level seminar? Sicne it is an overview on existing literatures there is no claim on originaliyt here.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. 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  
  15. 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  
  16.  1
    Immanent Reasoning or Equality in Action.Shahid Rahman & Nicolas Clerbout - unknown
    The Chapter on The equality predicate in the dialogical frame. It is based on a kind of indirect copy-cat moves.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  8
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  7
    On Play Objects and Dialogical Games; Towards a Dialogical Approach to Constructive Type Theory (by S. Rahman, N. Clerbout, Z. MacCauneghey).Shahid Rahman & Nicolas Clerbout - 2014 - In P. Allo & V. von Kerkhove (eds.), Modestly radical or radically modes . Festschrift for Jean-Paul van Bendegem.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  5
    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  
  20. 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  
  21.  1
    The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice.Shahid Rahman, Radmila Jovanovic & Nicolas Clerbout - 2015 - South American Journal of Logic 1 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  2
    The Elusive link Between Scientific Models and their Targets.Shahid Rahman, Juan Redmond & Nicolas Clerbout - unknown
    A brief examination of the most recent literature in philosophy of science shows that a host of research in this area studies the fictionalist approach to scientific models and related approaches such as van Fraassen's latest book (2008) on scientific representation. Van Fraassen's idea, to put it bluntly, relies on the idea that measurement is the main instrument by the means of which natural sciences achieve the representation aims expressed by scientific models. Moreover, if scientific knowledge is associated with the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. 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 (11 more)  
     
    Export citation  
     
    Bookmark   6 citations