论文部分内容阅读
一般地说，一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是由自由逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。大多数逻辑学家所讨论的模态谓词逻辑其实是一阶模态逻辑。
论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察
【摘 要】
：
一般地说，一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是由自由逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。大多数逻辑学家所讨论的模态谓词逻辑其实是一阶模态逻辑。
【机 构】
：
华南师范大学政治与行政学院中山大学逻辑与认知研究所
【出 处】
：
哲学研究
【发表日期】
：
2011年1期
【基金项目】
：
本文是教育部人文社会科学重点研究基地重大项目“现代逻辑背景下的逻辑哲学问题研究”（编号07JJD720045）的阶段性成果.
其他文献
以20世纪80年代为起点的当代中国改革开放，不仅带来了中国社会的巨大进步，而且也繁荣了当代中国的马克思主义哲学研究，其中一个重要的方面就是：众多马克思主义哲学研究的“范式化”。当下，中国马克思主义哲学的研究者不断地探索理解马克思主义哲学形态的新视域、新路径，
如何评价改革开放以来中国哲学的发展，特别是马克思主义哲学研究的创新，一直是学术界争论的问题。至今还有人认为，在市场经济的大潮中，中国的哲学研究更加“边缘化”，没有取得太多的进展。我个人则一直倾向于认为，改革开放以来，中国的哲学研究取得了很大的进展，并且这一发展对于中国的改革开放和市场经济建构发挥着积极的推动作用。
美国杜克大学比较文学教授迈克尔·哈特（M．Hardt）和意大利著名哲学家安东尼奥·奈格里（A．Ne酣）在他们合著的《帝国——全球化的政治秩序》一书中，从后现代的视角对当代世界政治秩序进行了研究，并阐发了诸多有着真知灼见的理论观点。其中，关于资本的“外界”（outside）理论就是一个有着很高学术价值的理论。在本文中，笔者试就这一理论做一简要评析。
从信息与智能交互的角度来看，语言（包括自然语言和人工语言）是信息的载体，同时也是智能主体（cognitiveagent，比如人或仿人机器人或具有智能的高级动物）相互交流的工具。自然语言不再是描述现实的静态语言，而是对智能主体的认知状态进行更新的动态程序语言。（vailBenthem，2010，P．6）因而，对语言表达式（指专名、通名、摹状词、语句等）的意义的研究显得尤为重要。
欧阳教授的《社会认识论导论》早在上个世纪90年代就出版了，是我社“中国社会科学博士论文文库”第一批出版的图书之一，影响很大。《社会认识论导论》所围绕的主题、考虑的问题、研究的视野，以及对社会认识论提出的基本理论框架和观点，是经得起时间考验的，有些观点在现在看来依然有新意。
关于“社会认识与社会形态研究丛书”，特别是欧阳教授的《社会认识论导论》，我认为它的价值首先在于开创了社会认识论这一学科方向。社会认识论的提出和研究使得我国的认识论研究发生了某种转型，这种转型具有重要意义。对于拟科学的哲学来说，往往很难跟踪自然科学的最新发展成果。而且近年来自然科学的发展很快，其分化又非常厉害，方向越来越窄，在自然科学领域综合性的大师越来越少，拟科学的认识论面临困境。在这个时候，社会认识论改变了我国认识论研究的发展方向，使得它立足于实践，向人文、社会的维度发展，从而深刻地影响了我国认识论的发
连续性增长通常被认为是科学知识必不可少的特点，然而在20世纪的法国哲学中，“知识进步与否”却构成了其主要的论题之一。其中，以柏格森、萨特为代表的意识哲学倡导连续、绵延和进步的历史主义；以康吉莱姆、斯特劳斯、福柯为代表的概念哲学则信奉间断、断裂的非历史主义，在他们看来，知识、概念与合理性的运动并非连续——它会有起伏、变化、停顿、跳跃、曲折和倒转。而对于后一种思潮，巴什拉（G．Bachelard）无疑是其精神导师。
弗雷格是第一个注意到命题的预设为假会影响到命题真值判定的哲学家。对这种因预设为假而形成的真值空隙，弗雷格、罗素和斯特劳森提出了不同的处理方式，由此奠定了预设的语义解释的基础。但预设的语义解释一直面临着种种质疑。这些质疑有说服力吗？应该放弃预设的语义解释吗？本文将对此进行分析，揭示这些质疑中所存在的问题，从而对预设的语义解释的合理性进行辩护。
正如人们所熟知的，把Philosophy译成“哲学”的人是日本明治初期启蒙思想家西周（1819—1897）。他最初把Philosophy译成“希哲学”，后来为了解释这个新概念，又以“希贤学”加以说明，而最终作为学术用语在日本固定下来的是“哲学”。在采用“希哲学”或“希贤学”翻译期间，西周曾多次把这门学问与“理学”或“性理学”相提并论。