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...
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the dev...
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...
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the dev...
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...
This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conc...
Peter Schroeder-Heister Gerhard Heinzmann Wilfrid Hodges
The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorraine and the birthplace of Henri Poincare. For the first time in LMPS history, the Nancy congress had a special topic: Logic and Science Facing the New Technologies. These Proceedings include state of the art discussions by leading scholars. Besides plenary talks, they contain many of the invited papers from the four sections: Logic, General Philosophy of Science, Methodological and Philosophical Issues of Particular Sciences, and Methodological...
The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorra...
This book challenges the views put forward by Pierre Cartier, one of the anchors of the famous Bourbaki group, and Cedric 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. Cedric Villani s popular success proves once...
This book challenges the views put forward by Pierre Cartier, one of the anchors of the famous Bourbaki group, and Cedric Villani, one of the most ...
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...
This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conc...