導覽
近期變更
隨機頁面
新手上路
新頁面
優質條目評選
繁體
不转换
简体
繁體
18.188.20.56
登入
工具
閱讀
檢視原始碼
特殊頁面
頁面資訊
求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。
檢視 内涵逻辑和高阶模态逻辑 的原始碼
←
内涵逻辑和高阶模态逻辑
前往:
導覽
、
搜尋
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
[[File:内涵逻辑和高阶模态逻辑.jpeg|有框|右|<big></big>[https://www.kfzimg.com/G06/M00/E0/F4/p4YBAFrMOfSAY_D-AABlto5OJuU296_s.jpg 原图链接][https://search.kongfz.com/product_result/?key=%E5%86%85%E6%B6%B5%E9%80%BB%E8%BE%91%E5%92%8C%E9%AB%98%E9%98%B6%E6%A8%A1%E6%80%81%E9%80%BB%E8%BE%91%20%E4%B9%A6&status=0&_stpmt=eyJzZWFyY2hfdHlwZSI6ImFjdGl2ZSJ9 来自 孔夫子旧书网 的图片]]] 《'''内涵逻辑和高阶模态逻辑'''》,[[哲学]]逻辑专著。美国但·高尔林(Daniel Gallin)著。1975年北荷兰出版公司出版。 ==内容简介== 本书分2大部分,各有2章,主要目的是提供理解蒙塔古语义所必要的技术性背景,同时探讨高阶模态逻辑的某些有意义的数学应用。蒙塔古在他的“通用语法”一文中提出了一个内涵系统IL,这系统是在丘奇的函子类型论中附加两个大致相应于内涵和外延的算子而得。本书的第1部分就论述这个内涵系统。第1章对蒙塔古的计划作一个简要的介绍,并详细叙述IL的语形和语义。提供了IL的一个公理化系统,并把亨金有关类型论的完全性定理推广到蒙塔古的系统上,得到了有关于一类“保持性”公式的完全性结果,这一结果适用于[[英语]]的某些片断。第2章考虑了IL的某些公理化扩张,得到了IL的某些公理化扩张,得到了IL中公式的范式,还将蒙塔古系统跟外延的多种类类型论作了比较。第2部分基本上是自足的,论述跟IL等价的高阶模态逻辑系统MLP,这系统以量词和必然算子为初始符号,不同于IL的是只允许有谓词类型。系统MLP对逻辑学家来说比较自然,在模态逻辑和集合论中有一些有意义的应用,跟[[物理学]]基础也有关。第3章证明了系统MLP和理论MLP+C的广义完全性。理论MLP+C就是在系统MLP中附加一个自然的概括公理模式而得。然后证明了MLP的每一个一般模型都保真同态于一个其中任二个可能世界都可用公式来区别的模型。最后在MLP中发展了一个一般的命题算子理论。最后一章首先定义了MLP+C的布尔语义,并运用这个语义来证明外延的概括原则独立于MLP+C的公理,得出了高阶模态逻辑中几个其他的独立性结果。然后探计拓扑[[模型]],并把布尔语义跟前面的一般语义结合起来,重新构造了柯恩连续统假设独立性的斯谷脱——索罗维证明。本书为蒙塔古语义理论打下了坚实的基础,开创了有意义的技术性研究领域,常为研究蒙塔古语义的学者所引用。 ==工具书的分类== [[工具书]]<ref>[http://blog.sina.com.cn/s/blog_515f05bd0100b8eo.html 常见的工具书术语],新浪博客,2008-11-29</ref>按内容分有综合性的、专科性的;按文种分有中文的,外文的;按编辑体例与功用分有[[辞书]]、类书、政书、百科全书、年鉴、手册、书目、索引、文摘、表谱、图录、[[地图]]、名录等<ref>[https://www.fox2008.cn/ebook/21szjy/TS013020/0016_ts013020.htm 工具书有哪些类型],中学生读书网</ref>。 ==视频== ===<center> 内涵逻辑和高阶模态逻辑 相关视频</center>=== <center>假言命题逻辑内涵的本质</center> <center>{{#iDisplay:q0531c4oanv|560|390|qq}}</center> <center>张鹏:高质量发展的内涵与逻辑</center> <center>{{#iDisplay:x05299orkix|560|390|qq}}</center> ==参考文献== [[Category:040 類書總論;百科全書總論]]
返回「
内涵逻辑和高阶模态逻辑
」頁面