论文部分内容阅读
美国逻辑学家斯穆里安的逻辑谜题系列著作是普及现代数理逻辑知识的著名作品,本文首先介绍了斯穆里安本人提出的一套“亚瑟与伯纳德谜题”的解答方法,然后从模态命题逻辑角度提出了一种一般解答方案并举例说明了该方案。
逻辑谜题的逻辑
【摘 要】
：
美国逻辑学家斯穆里安的逻辑谜题系列著作是普及现代数理逻辑知识的著名作品,本文首先介绍了斯穆里安本人提出的一套“亚瑟与伯纳德谜题”的解答方法,然后从模态命题逻辑角度
【机 构】
：
中国社会科学院哲学所,中国社会科学院逻辑学研究室
【出 处】
：
西部学刊
【发表日期】
：
2016年1期
其他文献
建立牡丹籽油中没食子酸、齐墩果酸含量的测定方法。采用Agilent Poroshell 120 EC-C18(3.0×50nm,2.7μm)色谱柱,DAD检测器;流动相:乙腈-0.1%磷酸水溶液梯度洗脱;检测波长21
本文讨论了通过对数控仿形仪及仿形系统的设计，并采用立式铣床的结构形式，开环控制系统，使本文所讨论的数控仿形铣床具有高的加工性能，高的可靠性，低造价的特点。
<正>官员成为社会最大的祸患,这与官员产生的初衷和旨义完全背道而驰。任何一个社会、一个政权走向没落的开始,几乎无一例外地都是从吏治上出问题的。作为社会的中流砥柱,官
建立HPLC法测定沙棘叶、果实、枝条中齐墩果酸和熊果酸含量。在色谱柱(岛津ODS柱4.6mm×250mm,5μm),流动相(甲醇-0.2%磷酸溶液(87∶13)),检测波长210nm,柱温30℃,流速1.0mL/
习近平的文艺思想从多方面创造性地发展了马克思主义文艺理论,实现了马克思主义文论中国化的又一次历史性飞跃,在马克思主义文论史上占有突出的位置。把习近平文艺思想放到马