| 書(shū)目名稱 | Strukturtypen der Logik | | 編輯 | Wolfgang Stegmüller,Matthias Varga Kibéd | | 視頻video | http://file.papertrans.cn/881/880508/880508.mp4 | | 叢書(shū)名稱 | Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie | | 圖書(shū)封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-24 23:25
發(fā)表于 2025-3-21 18:09:37
