Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung

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.

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.

Zusammenfassung

Testifies to the liveliness of modern perspectives on the philosophy of logic and mathematics

Shows new trends and possible developments for research

Transforms rigid classical partitions into a more open playground for improvisation

Inhaltsverzeichnis

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.

Details
Erscheinungsjahr: 2009
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Inhalt: x
348 S.
ISBN-13: 9789048124855
ISBN-10: 9048124859
Sprache: Englisch
Herstellernummer: 12642786
Einband: Kartoniert / Broschiert
Redaktion: Benthem, Johan Van
Heinzmann, Gerhard
Rebuschi, Manuel
Visser, Henk
Herausgeber: Johan van Benthem/Gerhard Heinzmann/Manuel Rebuschi et al
Auflage: 2006. 2nd Printing 2009 edition
Hersteller: Springer
Springer Netherland
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 233 x 160 x 25 mm
Von/Mit: Johan Van Benthem (u. a.)
Erscheinungsdatum: 12.03.2009
Gewicht: 0,515 kg
Artikel-ID: 101635188

Ähnliche Produkte

Buch
-16 %

178,95 €* UVP 213,99 €

Lieferzeit 1-2 Wochen

Buch

246,95 €*

Lieferzeit 1-2 Wochen

Buch
-10 %

47,95 €* UVP 53,49 €

Lieferzeit 1-2 Wochen

Taschenbuch

26,25 €*

Lieferzeit 1-2 Wochen

Taschenbuch

54,15 €*

Lieferzeit 4-7 Werktage

Taschenbuch
-14 %

55,40 €* UVP 64,19 €

Lieferzeit 2-4 Werktage