This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and...

"Referenz und Realität" von Heinrich Wansing ist ein philosophisches Werk, das sich mit den komplexen Beziehungen zwischen Sprache, Referenz und Wirklichkeit auseinandersetzt. Wansing untersucht, wie sprachliche Ausdrücke auf Objekte in...

"Knowledge and Belief in Philosophy and Artificial Intelligence" von Heinrich Wansing untersucht die Schnittstellen zwischen philosophischen Konzepten des Wissens und Glaubens und deren Anwendung in der künstlichen Intelligenz. Das Buch...