Gerhard Heinzmann - Böcker

In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings:- Proof, Knowledge and Computation- Truth Values beyond Bivalence- Category-Theoretic Structures- Independence, Evaluation Games, and Imperfect Information- Dialogue and Pragmatics.The contents exemplify the liveliness of modern perspectives on the philosophy of logic and mathematics and demonstrate the growth of the discipline. It describes new trends, possible developments for research and new issues not normally raised in the standard agenda of the philosophy of logic and mathematics. It transforms rigid classical partitions into a more open field for improvisation.

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics.Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics.Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.

This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and attribution of rationality) that have been developed in both psychology and epistemology. There are four parts which explore: historical and systematic studies; the formalization of context in epistemology; the formalization of reasoning in interactive contexts in psychology; the formalization of pathological conversations.Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view.The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge.The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology.Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor (“Dialogue, Rationality, Formalisms”) which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.

This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and attribution of rationality) that have been developed in both psychology and epistemology. There are four parts which explore: historical and systematic studies; the formalization of context in epistemology; the formalization of reasoning in interactive contexts in psychology; the formalization of pathological conversations.Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view.The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge.The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology.Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor (“Dialogue, Rationality, Formalisms”) which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.

Indispensable for understanding Henri Poincaré's vast activity in the mathematical sciences. Provides new sources revealing Poincaré's involvement as president of the "Commission permanente du Répertoire bibliographique des sciences mathématiques" as an actor in the "Dreyfus Affair," and on his links with the editors of the major mathematical journals.The letters, many of which are unpublished, are fully annotated with an emphasis on the academic, cultural and technical contexts. An introduction underlines the lessons that can be drawn from the reading of these correspondences on Poincaré's position in the mathematical and academic communities. Three indexes facilitate the reading.Le volume de la correspondance de Poincaré consacré à ses échanges avec les mathématiciens permet de suivre son investissement dans le champ des sciences mathématiques de ses débuts comme étudiant brillant et prometteur préparant une thèse jusqu’à ses derniers jours, où devenu une icone pourla communauté mathématique depuis de longues années, sa correspondance traduit autant son activité dans la recherche que son implication dans les questions académiques, institutionnelles et organisationnelles. Les questions liées à la théorie des équations différentielles et l’entreprise du Répertoire bibliographique des sciences mathématiques ont suscité une activité épistolaire particulièrement sensible par le nombre de lettres qui y font allusion et par la diversité des correspondants qui abordent les questions de bibliographie mathématique. Les correspondances sont aussi l’occasion de multiples partages d’informations mathématiques, académiques et éditoriales.

Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.

This book challenges the views put forward by Pierre Cartier, one of the anchors of the famous Bourbaki group, and Cédric Villani, one of the most brilliant mathematicians of his generation, who received the Fields Medal in 2010. Jean Dhombres, mathematician and science historian, and Gerhard Heinzmann, philosopher of science and also a specialist in mathematics engage in a fruitful dialogue with the two mathematicians, prompting readers to reflect on mathematical activity and its social consequences in history as well as in the modern world. Cédric Villani’s popular success proves once again that a common awareness has developed, albeit in a very confused way, of the major role of mathematics in the construction and efficiency of natural sciences, which are at the origin of our technologies. Despite this, the idea that mathematics cannot be shared remains firmly entrenched, a perceived failing that has even been branded a lack of culture by vocal forces in the media as well as cultural and political establishment.  The authors explore three major directions in their dialogue: the highly complex relationship between mathematics and reality, the subject of many debates and opposing viewpoints; the freedom that the construction of mathematics has given humankind by enabling them to develop the natural sciences as well as mathematical research; and the responsibility with which the scientific community and governments should address the role of mathematics in research and education policies.

This book challenges the views put forward by Pierre Cartier, one of the anchors of the famous Bourbaki group, and Cédric Villani, one of the most brilliant mathematicians of his generation, who received the Fields Medal in 2010. Jean Dhombres, mathematician and science historian, and Gerhard Heinzmann, philosopher of science and also a specialist in mathematics engage in a fruitful dialogue with the two mathematicians, prompting readers to reflect on mathematical activity and its social consequences in history as well as in the modern world. Cédric Villani’s popular success proves once again that a common awareness has developed, albeit in a very confused way, of the major role of mathematics in the construction and efficiency of natural sciences, which are at the origin of our technologies. Despite this, the idea that mathematics cannot be shared remains firmly entrenched, a perceived failing that has even been branded a lack of culture by vocal forces in the media as well as cultural and political establishment.  The authors explore three major directions in their dialogue: the highly complex relationship between mathematics and reality, the subject of many debates and opposing viewpoints; the freedom that the construction of mathematics has given humankind by enabling them to develop the natural sciences as well as mathematical research; and the responsibility with which the scientific community and governments should address the role of mathematics in research and education policies.