|
![]() |
|||
|
||||
OverviewIn 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. Full Product DetailsAuthor: Johan van Benthem , Gerhard Heinzmann , Manuel Rebuschi , Henk VisserPublisher: Springer Imprint: Springer Edition: 1st ed. 2006. 2nd printing 2009 Volume: 3 Dimensions: Width: 15.50cm , Height: 1.80cm , Length: 23.50cm Weight: 1.120kg ISBN: 9789048124855ISBN 10: 9048124859 Pages: 348 Publication Date: 12 March 2009 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsFrom 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |