John Barwise

Band II: Anwendungen und Metatheorie Dieser Band kn pft sowohl inhaltlich als auch methodisch nahtlos an den ersten Band von Sprache, Beweis und Logik an. Dabei f hrt Band II weit ber die blichen Einf hrungen hinaus und eignet sich als Textgrundlage f r einen Fortsetzungskurs zur blichen Logikeinf hrung. Zusammen ergeben beide B nde somit eine homogene Einf hrung in die Logik, f r die bislang Texte verschiedener Autoren erforderlich waren. Zu den behandelten Themenbereichen z hlen: Theorie der generalisierten Quantoren, numerische Aussagen, Russells Kennzeichnungstheorie vs. Pr suppositionen, naive Mengentheorie und ZFC, mathematische Induktion, induktive Korrektheitsbeweise von Programmen, Hornformeln, Resolutionsverfahren, Skolemisierung, Unifikation, Beweise von Korrektheit, Vollst ndigkeit und Kompaktheit f r Aussagen- und Pr dikatenlogik, das Theorem von L wenheim und Skolem, Skolems 'Paradox', Nichtstandardmodelle der Arithmetik, G dels Unvollst ndigkeitstheorem. Die im Buch erw hnte Software ist vergriffen und nicht mehr erh ltlich.

Band I: Aussagen- und Pr dikatenlogik Mit Sprache, Beweis und Logik liegt nun die auf zwei B nde angelegte deutsche bersetzung des erfolgreichen Lehrbuchs Language, Proof and Logic vor. Band I f hrt in die klassische Aussagen- und Pr dikatenlogik ein und bertrifft dabei andere Logikeinf hrungen an Ausf hrlichkeit und Praxisn he bei weitem. Den Text zeichnen u.a. die folgenden Punkte aus: Der Text zeigt zahlreiche interdisziplin re Ankn pfungspunkte zu Philosophie, Sprachwissenschaft, Mathematik und Informatik auf. Es handelt sich um ein vielerprobtes Standardwerk, dessen hervorragende didaktische Qualit t sich oftmals unter Beweis gestellt hat. Der vorgestellte Kalk l des nat rlichen Schliessens ist praxisnah und verst ndlich. Er wird aufbauend auf informelle Argumentationsmuster eingef hrt, die den Studierenden implizit bereits vertraut sind. Begleitend zum Text gibt es eine umfangreiche Software-Unterst tzung, die sehr zur Veranschaulichung des Stoffes beitr gt. Studierende k nnen so selbst ndig mit den Beweistechniken experimentieren und erhalten unmittelbares Feedback f r viele bungen. "It's as if the teaching of logic moved from black-and-white to Technicolor." - Tom Burke, University of South Carolina