Descripción del título
The age of alternative logi...
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
Monografía
monografia Rebiun21948128 https://catalogo.rebiun.org/rebiun/record/Rebiun21948128 m o d | cr -n--------- 070827s2006 ne o 000 0 eng d 1-280-63480-4 9786610634804 1-4020-5012-7 1-4294-1865-6 10.1007/978-1-4020-5012-7 doi UPVA 997152475803706 UAM 991007634123304211 CBUC 991010407629306709 CBUC 991010407629306709 UCAR 991007934602604213 MiAaPQ MiAaPQ MiAaPQ eng HPL bicssc PHI011000 bisacsh 10 160 511.3 The age of alternative logics electronic resource] Assessing Philosophy of Logic and Mathematics Today edited by Johan Benthem ... [et al.]. Dordrecht Springer 2006 Dordrecht Dordrecht Springer 1 online resource (338 p.) 1 online resource (338 p.) Text txt computer c online resource cr Logic, Epistemology, and the Unity of Science v.3 Description based upon print version of record 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 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 English Logic, Symbolic and mathematical Mathematics- Philosophy Proof theory Categories (Philosophy) Electronic books Benthem, Johan 1-4020-5011-9 Logic, Epistemology, and the Unity of Science