六壬又称“大六壬”，是古代易学中的重要经典推理系统。在古代，六壬与太乙、遁甲并列为三式，而六壬其传尤古。关于六壬的起源，纪晓岚总篡《四库全书·六壬大全提要》中曰：六壬与遁甲、太乙，世谓之三式。而六壬其......
摘要：智能信息处理需要各种不确定性推理，于是出现了数十种非标准逻辑，我们统称为数理辩证逻辑，其中有一部分是连续值逻辑；逻辑代数是建立数理逻辑的重要基础，正象布尔代数在标准逻辑中扮演的角色那样；在泛逻辑......
一，智能科学技术基础理论重大问题高层研讨会简介（一）会议组织和背景2004年9月10日~12日，由国家自然科学基金委信息科学部和中国人工智能学会主办、燕山大学承办的“智能科学技术基础理论重大问题高层研......
如果说法律公正是法律所追求的终极目标的话，那么，法律理性便是达至这个终极目标的根本保障。没有理性的公正是无法想象的。人们通常都把法律理性区分为两个层面，即形式理性和实质理性，并进一步把前者看作法律逻辑......
语义学是研究符号与适用该符号的对象的关系的科学。“侔”是中国古代墨家在论辩过程中总结出来的一种论说方式。但是，自西方传统逻辑输入后，近现代学者纷纷以西方传统逻辑比附之，即附性推理、归纳法或三段论推理。......
一、AGM传统及相应的语义表达我们面临着无时不在变化的世界，新的信息不断地冲击着主体原有的信念系统，主体不可能对新出现的各种信息无动于衷。有时主体可能不假思索地接受新信息；有时为了接受新信息会产生很多......
奥斯汀的言语行为理论与预设理论和会话涵义理论并称为语用学领域中三个主要的研究范畴。①言语行为理论的提出主要是针对逻辑实证主义的意义理论中存在的问题所做出的回应。逻辑实证主义认为只有可证实性的语句才是有......
一 真克里普克在《命名与必然性》中严格区分了“必然真”和“先验真”。在他看来，前者属于形而上学的范畴，而后者属于认识论的范畴。克里普克认为，当人们说一件事情是必然真的，他们的视角是从世界的存在方式这个......
系统Z是我在文〔1〕中建立的经典命题逻辑的一个公理系统。这系统只用一种初始联结词——广义析舍，而且采用括号记法，因而使得系统的陈述更为直接明了。它的可判定性、可靠性、完全性和独立性等证明也都很简单。系......
本质主义是由古希腊哲学家亚里士多德创立的一种哲学理论。在20世纪模态逻辑兴起之后，本质主义成为模态逻辑哲学中的一个争论热点。本文试图在总结几种有代表性的本质主义学说的基础上，作一些补充和发展，同时驳斥......