Immanent Reasoning or Equality in Action ― A Plaidoyer for the Play Level
商品資訊
系列名：Logic, Argumentation & Reasoning
ISBN13：9783319911489
出版社：Springer Nature
作者：Shahid Rahman; Zoe Mcconaughey; Ansten Klev; Nicolas Clerbout
出版日：2018/08/28
裝訂：精裝
規格：23.5cm*15.5cm (高/寬)
商品簡介
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). 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 within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning.
According to this perspective the emergence of concepts are not only games of giving and asking for reasons (games involving Why-questions), they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How.
作者簡介
Shahid Rahman is full-professor (classe exceptionnelle) of logic and epistemology at the Universite de Lille-Nord-pas-de-Calais, Sciences Humaines et Sociales. He is also researcher at the UMR-CNRS 8163 : STL.
Prof. Rahman works on philosophy and history of logic and the foundations of mathematics. He is the leading researcher in the field of the dialogical approach to logic. Prof. Rahman is the main editing director of two collections of books in Springer, namely, Logic, Epistemology and the Unity of Science (more than 40 volumes edited so far) ; and Logic, Argumentation and Reasoning, Perspectives from the Social Sciences and the Humanities. He is also main editor director of three other collections in College Publications, London. His most recent book include N. Clerbout/S. Rahman: Linking Game-Theoretical Approaches with Constructive Type Theory. Dialogical Strategies, CTT Demonstrations and the Axiom of Choice, Dordrecht, Springer, 2015; a
Ansten Klev is postdoctoral fellow at the Czech Academy of Sciences. He holds a PhD in philosophy from Leiden University. His research interests are primarily in the philsophy and history of logic and mathematics. He is especially interested in the philosophical foundations of Martin-Lof's type theory.
Zoe McConaughey is a Ph.D student in history and philosophy of logic at the Universite de Lille and the Universite du Quebec a Montreal under the joint supervision of Shahid Rahman and Mathieu Marion; her doctoral dissertation, "La Science et l'activite du dialecticien", aims at developping Aristotle's logic within the dialogical framework of immanent reasoning in order to highlight the dialectical background of the Organon.
購物須知
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。