| 书目名称 | Strukturtypen der Logik | | 编辑 | Wolfgang Stegmüller,Matthias Varga Kibéd | | 视频video | | | 丛书名称 | Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie | | 图书封面 |  | | 描述 | Diese 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, werde | | 出版日期 | Book 1984 | | 关键词 | Berechenbarkeitstheorie; Beweis; Kalkül; Kardinalzahl; Kompaktheitssatz; Lemma; Logik; Löwenheim-Skolem-The | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-61722-5 | | isbn_softcover | 978-3-642-61723-2 | | isbn_ebook | 978-3-642-61722-5 | | copyright | Springer-Verlag Berlin Heidelberg 1984 |
The information of publication is updating
|
|
发表于 2025-3-21 18:09:37
