Immanent Reasoning or Equality in Action
-15%
portes grátis
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
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.
