不再流行
发表于 2025-3-25 04:04:10
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
刺激
发表于 2025-3-25 08:35:09
http://reply.papertrans.cn/59/5868/586770/586770_22.png
敬礼
发表于 2025-3-25 14:13:40
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
发表于 2025-3-25 18:31:42
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
发表于 2025-3-25 20:32:58
http://reply.papertrans.cn/59/5868/586770/586770_25.png
转换
发表于 2025-3-26 02:33:14
http://reply.papertrans.cn/59/5868/586770/586770_26.png
带来墨水
发表于 2025-3-26 06:12:25
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
发表于 2025-3-26 11:04:40
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.
是贪求
发表于 2025-3-26 15:44:15
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
发表于 2025-3-26 18:01:48
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.