认知逻辑的英文表述是epistemiclogic，而episteme的意思就是知识的意思。因此从字面上来理解，认知逻辑就是有关知识的逻辑。然而，现在我们看到的认知逻辑已经从知识扩充到了信念，甚至涉及到......
“经验证据对理论的不充分决定命题一直构成对认识论和实在论的严峻挑战”，以至于“其最激烈的形式，构成整个科学研究的重大问题。”①戴维特(M.Devitt)描述“不充分决定命题”为当代科学哲学的“重要理论......
王路研究员在《金岳霖的孤独与无奈》（注：《读书》1998年第1期。）和《论我国的逻辑教学》（注：《西南师范大学学报》1999年第2期。）二文中讨论了我国的逻辑教学问题。我们欢迎王路的文章，中国逻辑科学......
正则语言类在并、连结和星号运算下是封闭的。其证明采用的都是非确定型有穷自动机（简记作NFA）理论。M.Sipser在《IntroductiontotheTheoryofComputation》中用确定......
就指称问题来说，最令人困惑的一个问题就是语句的指称应该是什么？真值作为语句的逻辑值能不能同时又是语句的所指？一个句子所包含的语词的指称能不能决定该语句的指称？语句的指称和它所包含的语词的指称是不是同属......
悖论问题是学术界孜孜以求探讨了2000年的大难题。从古至今，不少哲学家和逻辑学家都对悖论问题极为关注，也为悖论的成因与消解问题而殚精竭虑：从古希腊为解决悖论废寝忘、积劳成疾而死的文法家和诗人柯斯的斐勒......
如果承认科学是对自然现象（包括各种事物）的系统的、可由事实证据支配的说明，那么，科学的历史学则是关于这种说明的说明：它提供了关于前一个说明的完整过程以及在这个过程中各种陈述性命题经过组织和整理而呈现出......
本文作者提出科学假设，整个世界可以一分为二：物质世界与信息世界；它们各自都有两大基本属性：存在性和能动性；宇宙事物具有四个基本属性：物质、能量；信息、智能。作为一个大的科学门类，研究物质的物质科学已经......
唐代玄奘法师西行求法，“道贯五明,声映千古”(窥基语)，他在因明学(论辩逻辑)方面的成就代表了印度当时的最高水平。本文拟从西行求学、回国译讲和培养人才以及从理论上继承、发展陈那新因明三个方面来加以评述......
一、经验简洁性的定义科学理论的进步或创新有许多标准，给每一个标准下一个明晰的定义是必要的，因为规范地描述科学史需要形式化的、实际可行的分析机制。我的定义方法是以问子和解子为基本概念，通过理论与理论之间......