×

沉默地过去了。论维特根斯坦的《拖拉机》及其体系。 (英语) Zbl 1248.03005号

逻辑研究(伦敦)28.伦敦:学院出版物(ISBN 978-1-84890-008-0/pbk)。xix,第284页。(2011).
这是维特根斯坦的第一个形式逻辑方法逻辑哲学论为了做到这一点,作者不仅需要在多个地方对文本进行解读,以便对其进行流畅、纯粹的逻辑解读,而且还需要从诗歌方面,从维特根斯坦选择的高度浓缩的表达方式中进行抽象。结果是愉快且盈利丰厚的逻辑哲学论有许多旁白、历史注释、与弗雷格和罗素所采取的方法和立场的比较,最重要的是,一篇正式的注释,以及对牵引术语的正式定义,其中揭示了维特根斯坦对量化的处理是合理的,他对实数表和实数运算的使用预示了贝思的语义表方法。借助于所提出的形式化,我们发现了一些缺点,例如维特根斯坦的完美记法目标在有限领域是无法实现的,因此走出它去接受无限逻辑,并提供了一个可能的解决方案。

MSC公司:

03-03 数学逻辑和基础的历史
03-02 与数学逻辑和基础相关的研究展览(专著、调查文章)
03A05号 逻辑和基础的哲学和批判性方面
03B05号 经典命题逻辑
01A60型 20世纪数学史
PDF格式BibTeX公司 XML格式引用