2 Ergebnisse für: assertional
-
Making it Explicit: Reasoning, Representing, and Discursive Commitment - Robert Brandom - Google Books
http://books.google.de/books/about/Making_It_Explicit.html?id=1ihqvEzZXxMC
What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have…
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …