The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today / edited by Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser.

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. Th...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: van Benthem, Johan (Editor), Heinzmann, Gerhard (Editor), Rebuschi, Manuel (Editor), Visser, Henk (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Logic, Epistemology, and the Unity of Science, 3
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3267527
003 MWH
005 20191023121154.0
007 cr nn 008mamaa
008 100301s2006 ne | s |||| 0|eng d
020 |a 9781402050121 
024 7 |a 10.1007/978-1-4020-5012-7  |2 doi 
035 |a (DE-He213)978-1-4020-5012-1 
050 4 |a E-Book 
072 7 |a HPL  |2 bicssc 
072 7 |a PHI011000  |2 bisacsh 
072 7 |a QDTL  |2 thema 
245 1 4 |a The Age of Alternative Logics  |h [electronic resource] :  |b Assessing Philosophy of Logic and Mathematics Today /  |c edited by Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser. 
250 |a 1st ed. 2006. 
264 1 |a Dordrecht :  |b Springer Netherlands :  |b Imprint: Springer,  |c 2006. 
300 |a X, 348 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Logic, Epistemology, and the Unity of Science,  |x 2214-9775 ;  |v 3 
490 1 |a Springer eBook Collection 
505 0 |a 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. 
520 |a 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. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Logic. 
650 0 |a Mathematical logic. 
650 0 |a Philosophy. 
690 |a Electronic resources (E-books) 
700 1 |a van Benthem, Johan.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Heinzmann, Gerhard.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Rebuschi, Manuel.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Visser, Henk.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Logic, Epistemology, and the Unity of Science,  |x 2214-9775 ;  |v 3 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-1-4020-5012-7  |3 Click to view e-book 
907 |a .b32675276  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g ne   |h 4  |i 1 
912 |a ZDB-2-SHU 
950 |a Humanities, Social Sciences and Law (Springer-11648) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i21806895  |z 02-26-20 
999 f f |i 37c92fa6-8086-58e5-bf18-9b32276ab2f6  |s bcd11d67-ab9d-546a-9939-b8b9495a9e9d 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |e E-Book  |h Library of Congress classification  |i Elec File  |n 1