{"product_id":"strukturtypen-der-logik-9783540122104","title":"Strukturtypen der Logik","description":"\u003cp\u003e • Author(s): Matthias Varga Von Kibed\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eDiese Absicht wurde verstärkt durch den äu eren Umstand, da  in zunehmendem Ma e Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich möge \"etwas Schriftliches verfassen\", das man mit nach Hause nehmen könne. Hinzu kam schlie lich noch das Wissen um didaktische Nachteile vieler Logik-Bücher. In den meisten von ihnen werden nur spezielle syntaktische und semantische Verfahren behandelt. Wenn z. B. in einem Werk ausschlie lich die axiomatische Methode, in einem weiteren allein das natürliche Schlie en und in einem dritten nur der Kalkül der PositivfNegativ-Teile vorgeführt wird, so fällt es selbst einem routinier- ten Mathematiker schwer, die Gleichwertigkeit dieser Kalkülisierungen einzusehen. Weichen dann auch noch die Systematisierungen der Se- mantik erheblich voneinander ab, so wird ein Nichtmathematiker ver- mutlich sogar den Eindruck gewinnen, die fraglichen Bücher handelten von verschiedenen Gegenständen. Doch dies ist nur die eine Seite der Medaille. In immer mehr Bücher, die das Wort, Logik' im Titel tragen, werden nämlich umgekehrt mehr oder weniger ausführlich Bereiche einbezogen, die zwar für Untersuchungen zur Logik von Wichtigkeit sind, die jedoch weit über den Rahmen der Logik hinausführen, wie z. B. Rekursionstheorie, axiomatische Mengenlehre oder Hilbertsche Beweis- theorie. Zieht man die Grenze einmal so weit, so ist nicht zu erkennen, warum nicht noch viel mehr einbezogen werden sollte. In zunehmendem Ma e spielen z. B. algebraische Begriffe eine wichtige Rolle bei logischen Untersuchungen.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":47781195514007,"sku":"9783540122104","price":17812.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540122104.webp?v=1778051402","url":"https:\/\/atlanticbooks.com\/products\/strukturtypen-der-logik-9783540122104","provider":"Atlantic Books","version":"1.0","type":"link"}