搜索结果: 1-4 共查到“哲学 哲学逻辑”相关记录4条 . 查询时间(0.11 秒)
20 世纪60 年代之后,涌现出了尝试以非经典逻辑为基础逻辑来拯救集合论的热潮. 在这一时期,诞生了模态集合论、弗协调集合论、直觉主义集合论等一些基于哲学逻辑的集合理论. 模态逻辑是在经典逻辑的基础上增加模态算子形成的一种二阶逻辑,因此,它是一种比经典逻辑强的逻辑.模态集合论相对于公理化集合论是一种加强了基础逻辑的公理化集合论. 与ZF公理化集合论用公理限制集合的方法不同,弗协调集合论也是一种改变...
新版《哲学逻辑手册》的内容结构
哲学逻辑手册 内容结构
2009/1/15
《哲学逻辑手册》第二版介绍了目前国际逻辑学研究的主要内容和理论框架，其作者都是目前正活跃在逻辑学界的各个分支的前沿专家。手册各章独立成篇，为世界各国的逻辑研究者们进一步研究提供了一个新的起点。1983-1989年四卷本的第一版《哲学逻辑手册》出版之时，逻辑已经在计算机科学和人工智能领域获得了基础性的地位。15年以来，哲学逻辑领域发生了极大的变化。计算机、人工智能和计算语言学等对哲学逻辑的需要促进了...
著作推荐--哲学逻辑与逻辑哲学
2008/1/7
转引自：http://www.formalontology.it/pathways_logic.htm
Pathways to Philosophical Logic and the Philosophy of Logic
Preliminary note: The purpose of these pages is to give both the beginner and the more...