国家社会科学基金(04BZX047)
- 作品数：7 被引量：12H指数：3
- 相关作者：李娜郝旭东魏燕侠张莉敏更多>>
- 相关机构：南开大学更多>>
- 发文基金：国家社会科学基金天津市哲学社会科学研究规划项目更多>>
- 相关领域：哲学宗教理学更多>>
- 从语言发展的观点看逻辑学
- 一、自然语言文字的一个重要特征人们在日常生活中所使用的语言文字,可以分为拼音语言文字和非拼音语言文字两大类。英语语言文字、俄语语言文字、法语语言文字、德语语言文字、意大利语语言文字、西班牙语语言文字等都是拼音语言语言文字...
- 李娜
- 文献传递
- 次协调逻辑及其带来的逻辑哲学问题被引量：3
- 2005年
- 次协调逻辑在人工智能领域的应用卓有成效。它可以在系统中容忍不平庸的矛盾,同时又限制这种矛盾使之不会在系统中扩散,从而使得“矛盾可以推出一切”的后果不会在系统内发生。这个目标是依靠弱化否定词的经典含义和削弱矛盾律的作用,从而限制斯哥特规则的作用范围来实现的。文章试图在阐明次协调逻辑基本机制的基础上,将次协调逻辑放在与非经典逻辑、逻辑真理观以及哲学辩证法相联系的层面上,对由此而带来的逻辑哲学问题作进一步的解析。
- 李娜郝旭东
- 关键词：否定词矛盾律次协调逻辑逻辑哲学
- 论奎因对模态逻辑的批判被引量：1
- 2005年
- 模态逻辑一经产生,就遭到奎因的质疑。奎因认为,模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的,应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析,文章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷,因此奎因的批判是不能成立的。
- 张莉敏
- 关键词：模态逻辑
- 一个含有原子的自然模型∑(A)
- 2008年
- 1989年A.Blass和A.Scedrov构造了含有原子的模型V(A)(A是所有原子的集合,参见文献)并证明了V(A)是ZFA(ZFA=ZF+A,公理A断言:存在所有原子的集合)的模型。由于集合论的公理系统GB是ZF的一个保守扩充,因此,集合论的公理系统GBA(GBA=GB+A,其中GB是集合论的含有集合和类的哥德尔-贝奈斯公理系统)也是ZFA的一个保守扩充。本文的目的是在集合论的含有原子和集合的公理系统ZFA的自然模型V(A)的基础上,为集合论的含有原子、集合和类的公理系统GBA建立模型。因此,我们首先介绍了A.Blass和A.Scedrov的含有原子的模型V(A);第二,给出并证明V(A)具有的一些基本性质;第三,扩充了集合论的公理系统ZFA的形式语言(?)_(ZFA)并定义含有原子和集合的类C:第四,构造含有原子、集合和类的模型∑(A),称它为自然模型,最后,证明了∑(A)是GBA的模型。
- 李娜
- 关键词：原子
- 国内模态逻辑哲学问题研究述评被引量：4
- 2007年
- 针对模态逻辑哲学的主要研究内容——模态逻辑和哲学的关系、模态逻辑的合法性论争、可能世界问题以及模态语境问题等,本文述评了国内学者陈波、张家龙等人的观点。笔者认为随着一些模态逻辑技术为国内学者所掌握,更多的模态逻辑哲学问题将会引发学界的讨论。
- 李娜魏燕侠
- 关键词：模态逻辑
- 模态系统P_1的协调性
- 2005年
- 本文证明模态系统P1的协调性。为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P和严格蕴涵系统S等价。
- 李娜
- 关键词：布尔值模型等价性
- 模态系统S4.1的协调性
- 2004年
- 文献眼7演证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调性。
- 李娜
- 关键词：布尔值模型等价性
- 试论“真矛盾”及次协调逻辑的哲学价值被引量：4
- 2006年
- 二十世纪后期以来,再也没有哪一种逻辑像次协调逻辑那样,在取得丰富研究成果的同时,也领略到了极为尖锐的批判,仿佛其本身就是一种意味深长的“矛盾”。依照次协调逻辑“真矛盾”的观点所构建的次协调逻辑系统,夷非所思地试图要容纳我们所认知的悖论、辩证矛盾、甚至逻辑矛盾。次协调逻辑试图要和悖论永久共存,但我们可以为了暂时的搁置这种矛盾,发展某理论的其他方面而接受这种逻辑技术。次协调逻辑在反映人脑的容错机制上具有重要的描述功能,这对提高计算机的智能化具有十分重要的实践意义。
- 李娜郝旭东
- 关键词：次协调逻辑辩证法矛盾律逻辑哲学
