Dieses Buch basiert auf zwei zentralen Annahmen: Fur den wissen schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen notig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung uber Kunstliche Intelligenz (KI) verwendeten Mathe matik. Beide Behauptungen mussen begrundet werden. Man sollte allerdings meinen, unser erster Grundsatz fande ei gentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissen schaftsgebieten, in denen das...