Titlebook: Linking Game-Theoretical Approaches with Constructive Type Theory; Dialogical Strategie Nicolas Clerbout,Shahid Rahman Book 2015 The Author

不再流行

Nicolas Clerbout,Shahid Rahmanialogue between the author, a sociologist of scientific practice, and John Paul Van Bendegem, a philosopher of scientific practice. The dialogue was initiated by the author to understand what philosophers of scientific practice do and how what they do differs (if at all) from what sociologists of sc

刺激

敬禮

2211-4548 ories using the dialogical approach to logic.Focuses on the This?title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One imp

Insulin

Book 2015es, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be

IVORY

轉(zhuǎn)換

帶來墨水

From Dialogical Strategies to CTT Demonstrations,We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning .-strategy in the dialogical game for ..

Hormones

The Dialogical Take on the Axiom of Choice, and Its Translation into CTT,To illustrate the translation procedure described in the previous chapter, here is what is known as the intensional formulation of the Axiom of Choice.

是貪求

Building a Winning ,-strategy Out of a CTT Demonstration,In this brief chapter we will consider the other direction of the equivalence result between the valid fragments of the CTT framework and the dialogical framework. That is, we will show that if there is a CTT demonstration for . then there is a winning .-strategy in the dialogical game for ..

dragon

Conclusions and Work in Progress,Developing a dialogical approach to CTT is still only beginning and many open issues have yet to be tackled in order to assess its fruitfulness. However, before these issues could be tackled, the dialogical approach to CTT had to be shown faithful to the standard CTT formulation.