Limit search to available items
Book Cover
E-book

Title The age of alternative logics : assessing philosophy of logic and mathematics today / edited by Johan van Benthem [and others]
Published Dordrecht : Springer, 2006

Copies

Description 1 online resource (vii, 348 pages) : illustrations
Series Logic, epistemology and the unity of science ; v. 3
Logic, epistemology and the unity of science ; v. 3.
Contents From the contents Acknowledgments -- Part I Proof, Knowledge and Computation -- Part II Truth Values Beyond Bivalence -- Part III Category-Theoretic Structures -- Part IV Independence, Evaluation Games and Imperfect Information -- Part V Dialogue and Pragmatics -- Part VI Appendices. Index
Summary 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
Analysis filosofie
philosophy
wiskunde
mathematics
logica
logic
Philosophy (General)
Filosofie (algemeen)
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Logic, Symbolic and mathematical.
Mathematics -- Philosophy.
Proof theory.
Categories (Philosophy)
Logic, Symbolic and mathematical -- Congresses
Nonclassical mathematical logic -- Congresses
Knowledge, Theory of -- Congresses
PHILOSOPHY -- Logic.
Mathematics -- Philosophy.
Proof theory.
Categories (Philosophy)
Logique symbolique et mathématique.
Logique mathématique non classique.
Connaissance, Théorie de la.
Logica.
Logic, Symbolic and mathematical.
Nonclassical mathematical logic
Knowledge, Theory of
Categories (Philosophy)
Logic, Symbolic and mathematical
Mathematics -- Philosophy
Proof theory
Logica.
Logique symbolique et mathématique -- Congrès.
Logique mathématique non classique -- Congrès.
Connaissance, Théorie de la -- Congrès.
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
LC no. 2007295733
ISBN 1402050119
9781402050114
1402050127
9781402050121
9781429418652
1429418656
6610634807
9786610634804