豆瓣评论

  • 维参
    情境语义学经典作品,相比The Situation in Logic,本作主要关注情境语义学的形式技术,从非良基(非正则)AFA系统出发构成了完整的说谎者悖论解决方案。相较而言,两位作者更希望借本作向读者推广AFA系统并推及其它悖论,是以流程全面、解说详细,还有很好的课后题目。在哲学方面,本作将经典的命题-事实二元关系扩张为命题-世界/情境-事实,自身融贯一致且符合RZH标准地解决了说谎者悖论。01-24
  • holly2007
    形式邏輯,天花亂墜,基金加持,不知講甚。09-01
  • 马蹄北去
    以相当娴熟的技巧结合了数理技术和概念分析,将介于语句和事实之间的命题建模为非良基集合,以此定位和分析悖论产生的关键点。罗素方案中“由模型为真”和“在模型中为真”的区分,奥斯汀方案中“否定”和“否认”的区分,以及两种方案中肯定封闭和否定封闭的不对称性质都很有启发。“曾经表现为悖论的东西,现在看来确是歧义”“逻辑学家讨厌歧义但喜欢悖论”02-05