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 Rebiun25841590 https://catalogo.rebiun.org/rebiun/record/Rebiun25841590 m o d cr cn||||||||| 080226s2006 ne a ob 101 0 eng d 2007295733 126769161 228387451 401446401 517807772 612029201 613446196 647601670 698451920 746947615 756423150 827772066 880093360 1005826530 1044200599 1044561805 1056306643 1056359849 1059525562 1060885143 1402050119 Cloth) 9781402050114 Cloth) 1402050127 electronic bk.) 9781402050121 electronic bk.) 9781429418652 electronic bk.) 1429418656 electronic bk.) 9781402050127 6610634807 9786610634804 9781402050127 (e-book) AU@ 000042135268 DEBSZ 430448805 GBVCP 524989087 NZ1 12052220 978-1-4020-5011-4 Springer http://www.springerlink.com GW5XE eng pn GW5XE AZU CEF OCLCQ UAB N$T MNU OKU E7B IDEBK OCLCQ OUN OCLCQ ISOBC OCLCO OCLCQ A7U OCLCQ W2U OCLCF DKDLA OCLCQ COO EBLCP DEBSZ OCLCQ SLY OCLCQ Z5A OTZ OCLCQ VT2 STF JG0 OCLCQ U3W WYU LEAUB WURST OCLCQ BC lcco QA lcco Q lcco PHI 011000 bisacsh 160 22 O14-532 clc The age of alternative logics assessing philosophy of logic and mathematics today edited by Johan van Benthem [and others] Dordrecht Springer 2006 Dordrecht Dordrecht Springer 1 online resource (vii, 348 pages) illustrations 1 online resource (vii, 348 pages) Text txt rdacontent computer c rdamedia online resource cr rdacarrier Logic, epistemology and the unity of science v. 3 Includes bibliographical references and index 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 Logic, Symbolic and mathematical Mathematics- Philosophy Proof theory Categories (Philosophy) Philosophy Logic Philosophy Mathematical Logic and Foundations Logique symbolique et mathématique- Congrès Logique mathématique non classique- Congrès Connaissance, Théorie de la- Congrès PHILOSOPHY- Logic Mathematics- Philosophy Proof theory Categories (Philosophy) Logique symbolique et mathématique Logique mathématique non classique Connaissance, Théorie de la Lógica Logic, Symbolic and mathematical Categories (Philosophy) Logic, Symbolic and mathematical Mathematics- Philosophy Proof theory Lógica Logique symbolique et mathématique- Congrès Logique mathématique non classique- Congrès Connaissance, Théorie de la- Congrès filosofie philosophy wiskunde mathematics logica logic Philosophy (General) Filosofie (algemeen) Electronic books Print version Age of alternative logics. Dordrecht : Springer, 2006 1402050119 9781402050114 (DLC) 2007295733 (OCoLC)74650546 Logic, epistemology and the unity of science v. 3