The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Benthem, Johan van (Επιμελητής έκδοσης), Heinzmann, Gerhard (Επιμελητής έκδοσης), Rebuschi, Manuel (Επιμελητής έκδοσης), Visser, Henk (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer Netherlands, 2006.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.