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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Shahid Rahman is full-professor (classe exceptionnelle) of logic and epistemology at the Université 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-Löf's type theory.
Zoe McConaughey is a Ph.D student in history and philosophy of logic at the Université de Lille and the Université du Québec à Montréal under the joint supervision of Shahid Rahman and Mathieu Marion; her doctoral dissertation, "La Science et l'activité 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.
Nicolas Clerbout is Profesor of Philosophy at the University of Valparaíso, Chile. He works on logic and philosophy of logic and is an expert in the field of the dialogical approach to logic. He also serves as executive editor for the Springer collection "Logic, Epistemology and the Unity of Science" and as editor for one other collection in College Publications.Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur bbfe1cb0eb99a721a580079f593bb8d3
Quantité disponible : Plus de 20 disponibles
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Etat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. N° de réf. du vendeur POD-231181
Quantité disponible : 10 disponible(s)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. In. N° de réf. du vendeur ria9783319911489_new
Quantité disponible : Plus de 20 disponibles
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 352 pp. Englisch. N° de réf. du vendeur 9783319911489
Quantité disponible : 2 disponible(s)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. N° de réf. du vendeur 26376478666
Quantité disponible : 4 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. Print on Demand. N° de réf. du vendeur 369566741
Quantité disponible : 4 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18376478656
Quantité disponible : 4 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Hardcover. Etat : Brand New. 354 pages. 9.25x6.10x1.10 inches. In Stock. N° de réf. du vendeur x-3319911481
Quantité disponible : 2 disponible(s)
Vendeur : moluna, Greven, Allemagne
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proposes a new way to implement interaction in logicProvides an innovative approach on linking Martin-Loef s Constructive Type theory and Dialogical Logic Includes worked out exercises and examplesShahid Rahman is full-professor (cl. N° de réf. du vendeur 220289874
Quantité disponible : Plus de 20 disponibles
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch. N° de réf. du vendeur 9783319911489
Quantité disponible : 1 disponible(s)