Immanent Reasoning or Equality in Action

Immanent Reasoning or Equality in Action

A Plaidoyer for the Play Level

Rahman, Shahid; Clerbout, Nicolas; Klev, Ansten; McConaughey, Zoe

Springer International Publishing AG

08/2018

332

Dura

Inglês

9783319911489

15 a 20 dias

694

Descrição não disponível.
1. Introduction: Some Brief Historical and Philosophical Remarks.- 2. A Brief Introduction to Constructive Type Theory.- 3. Basic Notions for Dialogical Logic.- 4. Advanced Dialogues: Play Level.- 5. Advanced Dialogues: Strategy Level.- 6. Local Reasons and Dialogues for Immanent Reasoning.- 7. The Dialogical Roots of Equality: Dialogues for Immanent Reasoning.- 8. The Remarkable Case of the Axiom of Choice.- 9. From Dialogical Strategies To CTT-Demonstrations And Back.- 10. Material Dialogues.- 11. Concluding Remarks: A Plaidoyer for the Play Level.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Constructive Type Theory;Dialogical Logic;Argumentation and Logic;Lorenzen's Games;Logic and Logic;Philosophy of Logic;Philosophy of Mathematics;Logic and Interaction