说谎者悖论:真与循环--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥21.56

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

《说谎者悖论：真与循环》是在当代悖论研究中富有活力的情境语义学解悖方案的奠基之作。本书提出，由于情境具有部分性，可以被不断地扩充，所以说谎者命题会随着情境的变化而表现出不同的真值，但情境的变化决定着这里不存在任何悖论。这个方案非常符合直观，具有很高的非特设性，有力地推动了悖论研究的发展，并且在一系列相关研究领域中呈现出广泛的解题功能。本书力求“读者友好”，可适用于多层次、多方面的读者。它不预设读者通晓作为元理论的集合论ZFC／AFA，而是辟出专章来详细讲述这种新的集合论，也不预设读者熟知其他解悖方案，而是详细介绍以往两种的解悖方案，让读者自己通过对比来理解情境语义学解悖方案及其优势。此外，书中精心编制了很多习题，可帮助读者熟练掌握书中涉及的形式技术。针对不熟悉形式技术的读者，本书做了精心布局，即使在阅读时跳过某些技术性较强的部分，也不影响对情境语义学解悖方案的理解。同时，本书还提出了一些未决问题，以促进读者进一步思考和研究。

作者简介

关于作者乔恩•巴威斯美国有名逻辑学家、计算机科学与人工智能学家，情境语义学与情境理论的创始人。曾先后任教于美国斯坦福大学和印第安纳大学。著作主要有《可容许集合与结构》（1975）、《情境与态度》（1983,1999）、《说谎者悖论：真与循环》（1987,1989）、《逻辑中的情境》（1989）、《超级证明》（1994）、《信息流：分布式系统的逻辑》（1997）和《语言、证明与逻辑》（1999）等，主编《数理逻辑手册》（1975）和《模型论的逻辑》（1985）等。约翰•埃切曼迪美国有名逻辑学家、计算机科学与人工智能学家。现任斯坦福大学人文与科学学院帕特里克•苏佩斯讲习教授，HAI（Human-CenteredAIInstitute）联席主任，曾任斯坦福大学常务副校长（教务长）。主要著作有《说谎者悖论：真与循环》（1987,1989）、《超级证明》（1994）、《逻辑后承论》（1999）、《语言、证明与逻辑》（1999）、《塔斯基的世界：修正与扩充》（2007）等。关于译者贾国恒河南上蔡人，华东师范大学哲学系副教授，南京大学现代逻辑与逻辑应用研究所兼职研究员。主要从事现代逻辑、逻辑哲学、悖论和情境语义学等领域研究，已出版专著一部、译著两部，发表学术论文二十余篇。

第I篇引言
第1章说谎者悖论
第1节一些背景
第2节悖论诊断
第3节基本决定
第4节本书规划
第5节类说谎者悖论清单
第2章语句、陈述与命题
第1节罗素命题
第2节奥斯汀陈述与命题
第3节一种形式语言
第3章超集的全域
第1节集合论从Z到A
第2节 AFA
第3节 ZFC/AFA的相容性
第4节解方程
第5节归纳与共归纳定义
第II篇罗素命题与说谎者悖论
第4章罗素命题的建模
第1节基本定义
第2节 L的罗素语义学
第5章罗素命题的真
第1节真与此世界
第2节 T-模式与此世界
第3节克里普克结构与其他封闭条件
第4节见证函数
第5节悖论性罗素命题
第6章罗素阐释的推论
第1节更多例子分析
第2节罗素阐释的问题
第7章语句与罗素命题
第1节证明论
第2节悖论句
第III篇奥斯汀命题与说谎者悖论
第8章奥斯汀命题的建模
第1节基本定义
第2节奥斯汀命题的真
第9章奥斯汀命题与此世界
第1节可及的奥斯汀命题
第2节奥斯汀世界的建模
第3节奥斯汀世界的T-模式
第10章奥斯汀语义学
第1节 L的奥斯汀语义学
第2节可表达命题的T-封闭
第3节更多例子分析
第4节奥斯汀完备性定理
第11章罗素阐释与奥斯汀阐释的联系
第1节作为对角线论证的说谎者悖论
第2节映像定理
第3节悖论句的刻画
第12章否定与否认
第13章结语
第1节悖论的正确处理
第2节怀疑者的教益
参考文献
索引
附言
译者后记

说谎者悖论:真与循环

库存： {{selectedSku?.stock}} 库存充足