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...
Pierre Edouard Bour Manuel Rebuschi Laurent Rollet
This Festschrift is published on the occasion of Gerhard Heinzmann's 60th birthday. Its title "Construction" refers to Heinzmann's philosophical options (intuitionism, dialogical pragmatism, constructivism), as well as to his exceptional involvement in the building of many scientific enterprises and new scientific institutions. Sixty authors contributed to the volume, and the gathered essays witness the various centers of interest and intellectual achievements of Heinzmann. They are organised in five sections: (1) Henri Poincare; (2) History and Philosophy of Mathematics; (3) History and...
This Festschrift is published on the occasion of Gerhard Heinzmann's 60th birthday. Its title "Construction" refers to Heinzmann's philosophical optio...
The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and the ways in which they can be modeled, in particular formalized - a question of prime importance and utmost relevance to such diverse disciplines as philosophy, linguistics, computer science and artificial intelligence and cognitive science.
Bringing together essays written by world-leading experts and emerging researchers in epistemology, logic, philosophy of language, linguistics and theoretical computer science, the book examines the...
The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and th...
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...
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...
The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and the ways in which they can be modeled, in particular formalized - a question of prime importance and utmost relevance to such diverse disciplines as philosophy, linguistics, computer science and artificial intelligence and cognitive science.
Bringing together essays written by world-leading experts and emerging researchers in epistemology, logic, philosophy of language, linguistics and theoretical computer science, the book examines the...
The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and th...