- ホーム
- > 洋書
- > ドイツ書
- > Humanities, Arts & Music
- > Philosophy
- > general surveys & lexicons
Description
(Text)
Die vorliegende Einführung in die formale Logik behandelt neben den klassischen Themen der logische Propädeutik und der Syllogistik ein breites Spektrum von Themen der modernen Logik: Gleichheitslogik, Mengenlehre (mit echten Klassen), Aussage- und Prädikatenlogik, wobei die Prädikatenlogik durch klassenlogische Ausdrucksmittel erweitertet wird, was zu einer für Anwendungen in Philosophie und Mathematik äußerst flexiblen und ausdrucksstarken logischen Sprache führt.
(Author portrait)