一、弗协调逻辑是逻辑学领域中的革命弗协调逻辑（ParaconsistentLogic）是一种非经典逻辑，但它又是其中最具有革命性的逻辑学分支。Para这个前缀有超越、否定的意思，“弗”就是“不”即否定......
在传统的科学史语境中，伽利略的辉煌与伟大不仅在于他发现了摆的等时性、落体定律、惯性定律和抛物体运动规律，以及发现了太阳黑子、木星的四颗卫星和月球上的环形山等，他的传奇一生，他与教会的“关系”亦令史家所......
在逻辑或逻辑真理本身是否需要辨护（justification）、它们是否具有某种本体论或认识论基础等问题上，存在两种截然相反的观点：实在论和反实在论，由此还派生出逻辑究竟是发现还是发明，究竟是一门关于......
逻辑悖论与语义悖论有一个共同的特征，即不依赖于具体的主体。有一类悖论与此不同，其特征是涉及到具体的主体的心理状态，这就是认识论悖论。本文将从一个著名的认识论悖论——知道者悖论——入手，并达到一些普遍性......
2006年10月，美国《计算机周刊》评出了IT界最伟大的10位精英人物，结果苹果公司的CEO史蒂夫·乔布斯(SteveJobs，1955-)凭借创新精神勇夺桂冠，万维网发明者蒂姆·伯纳斯·李(TimB......
模态逻辑模态指的是事物和命题的必然性和可能性等这类性质。模态逻辑简单地说就是关于必然性与可能性的逻辑。因为涉及到必然性与可能性这样一些哲学概念，模态逻辑又称为哲学逻辑，是哲学逻辑中最先发展起来的一个重......
在文献[1]至文献[4]中，笔者曾评析了几位西方权威的相关论点，在此，通过批判并消解雅布罗“非自涉”悖论等，进一步对几位西方权威的相关论点加以评析。1 雅布罗悖论的消解雅布罗（S.Yablo）的“非自......
自然语言逻辑是一门交叉边缘性学科，它的“研究对象是自然语言，研究工具是现代逻辑，研究目的是把自然语言转换成一种计算机可以处理的信息。”[1]现代逻辑的热点从上个世纪末开始，已经扩大转移到与自然语言和计......
在科学发展史上，休谟是第一个对归纳法的合理性提出质疑的哲学家。他认为，“不可能有理证性的论证来证明，我们所没有经验过的例子类似于我们所经验过的例子”。休谟对归纳法的这一质疑，被康德称之为“休谟问题”，......
在中国哲学史和逻辑史的研究中，有一个流行的看法，认为墨辩即《墨经》中关于“辩”的理论或曰“辩学”，［1］就是逻辑学，称为“墨辩逻辑学”或“《墨经》逻辑学”。这是当代的一大“造说”，溯其渊源，梁启超创立......