分析命题与综合命题之辨——对奎因论证的证伪

对分析命题和综合命题进行一番历时性梳理,剖析奎因在论证上的偏颇之处:其一,混淆了定义与同义词之间的界限;其二,扩大了同义词的范畴;其三,错误地将词项同义的条件限定在满足"所有语境"的情况下,从而得出结论奎因对形而上学的批判并不构成挑战。     

论周礼全的辩证逻辑思想--兼论逻辑研究中的极左思潮

周礼全先生倡导亚里士多德的大逻辑观，极富远见，并身体力行，在菜式逻辑，模态逻辑，语言逻辑与辩证逻辑诸分支都有建树，他认为黑格尔的辩证逻辑是认识逻辑，是将形式逻辑的精华按认识过程的编排，是一部完整的辩证认识论，一种新的逻辑类型。     

模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

内涵实体的本体论地位

讨论了历史上的内涵实体论、含义和指标。认为Quine(奎因)的口号没有同一性就没有实体是一种新的教条,捍卫实体的实在性不能成为在本体论上排斥内涵实体的理由。通过具体的语言分析论证了在本体论上承诺内涵实体的合理性。     

相干逻辑的产生及评价

在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑。     

Fuzzy模态逻辑及其基础系统

引进一个集合与其真子集元素个数之比较的概念 ,对Fuzzy模态命题α A的语义给出了严格的定义。在模态逻辑语言中添加Fuzzy模态算子α 和α ◇ ,建立Fuzzy模态逻辑。文中讨论了基础Fuzzy模态逻辑系统。     

道义逻辑D-系统的一种布尔值模型

本文为道义模态逻辑D－系统建立布尔值模型。首先定义道义模成公式○α的布尔值‖○α‖；其次证明在该定义下，道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数）也是道义模态逻辑系统D1、D2和D3的布尔值模型。     

论周礼全的辩证逻辑思想——兼论逻揖研究中的极左思潮

周礼全先生倡导亚里士多德的大逻辑观,极富远见。并身体力行,在形式逻辑、模态逻辑、语言逻辑与辩证逻辑诸分支都有建树。他认为黑格尔的辩证逻辑是认识论逻辑,是将形式逻辑的精华按认识过程的编排,是一部完整的辨证认识论,一种新的逻辑类型     

理性批判与人文关怀--老庄与海德格尔的哲学对话

理性批判与人文关怀是老庄与海德格尔在哲学上的两个契合点。在理性批判上，老庄侧重于道德批判，海德格尔侧重于技术批判，两种批判的旨意都在于要使人获得原初性存在的本质，达到一种理想的生存境界，这两种面向生活本身的哲学都表达了深切的人文关怀。老庄与海德格尔的思想对我们在今天这样一个理性膨胀、人文关怀失落的背景下进行现代化建设具有重要的启示。     

巴赫金对俄国形式主义的批判

巴赫金对俄国形式主义的批判,首先在方法论上认为形式主义脱离了人类文化总体研究文学,势必削弱文学在人类文化总体中的地位;其次巴赫金对俄国形式主义的基本概念进行了批判,认为玄奥的语言、材料和手法、陌生化等都具有虚无主义的倾向;最后,巴赫金通过对形式主义的批判表达了自己的内容—形式观,他创新性地赋予形式动态的积极意义。     

关于K的三种模糊模态逻辑

引入了MR₀代数的概念,讨论了它的一些重要性质,给出了MR₀代数的同构定理。其次,构建了模态系统K₁,证明了在MR₀代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K₂,并证明了系统K₂是可靠的;通过将Kripke模型中的二元关系R模糊化, 建立了模态逻辑系统K₃,并证明了系统K₃是完备的。     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

关于逻辑可修正性及相关问题的若干思考

逻辑真理是可错的吗?逻辑是可修正的吗?这些问题因为奎因的系统论述而备受关注,引发了国内外学者的热烈讨论和长期的争议。由于逻辑本被公认的普遍适用性和逻辑真理在逻辑系统中所居的特殊地位,对这些问题的不同回答对逻辑学甚至其他亲缘学科会带来不同的影响。通过梳理评判各家之言后认为,逻辑是可修正的,但逻辑真理是不可错的。     

多元模态逻辑在有限模型语义下的■os-Tarski定理

证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立,即：在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．     

从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在.该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义.     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。