范德多斯,雅普 沉默地过去了。论维特根斯坦的《拖拉机》及其体系。 (英语) Zbl 1248.03005号 逻辑研究(伦敦)28.伦敦:学院出版物(ISBN 978-1-84890-008-0/pbk)。xix,第284页。(2011). 这是维特根斯坦的第一个形式逻辑方法逻辑哲学论为了做到这一点,作者不仅需要在多个地方对文本进行解读,以便对其进行流畅、纯粹的逻辑解读,而且还需要从诗歌方面,从维特根斯坦选择的高度浓缩的表达方式中进行抽象。结果是愉快且盈利丰厚的逻辑哲学论有许多旁白、历史注释、与弗雷格和罗素所采取的方法和立场的比较,最重要的是,一篇正式的注释,以及对牵引术语的正式定义,其中揭示了维特根斯坦对量化的处理是合理的,他对实数表和实数运算的使用预示了贝思的语义表方法。借助于所提出的形式化,我们发现了一些缺点,例如维特根斯坦的完美记法目标在有限领域是无法实现的,因此走出它去接受无限逻辑,并提供了一个可能的解决方案。审核人:维克托·潘布奇(凤凰城) 引用于1审查 MSC公司: 03-03 数学逻辑和基础的历史 03-02 与数学逻辑和基础相关的研究展览(专著、调查文章) 03A05号 逻辑和基础的哲学和批判性方面 03B05号 经典命题逻辑 01A60型 20世纪数学史 传记参考: 路德维希·维特根斯坦 引文:JFM 48.1128.13号;Zbl 0117.25106号 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Does},沉默地走过。论维特根斯坦的《拖拉机》及其体系。伦敦:学院出版物(2011;Zbl 1248.03005)