对哥德尔定理的辩证逻辑形式化解读

逻辑矛盾仅是“量词-质词-真值词”皆矛盾的非等值关系命题,辩证矛盾仅是“主词-谓词-命题词”皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之“指断合一”的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。     

民主的路径:哥德尔不完全性定理的视界

一个不弱于初等数论的形式系统如果是一致的,则是不完全的。哥德尔不完全性定理明确揭示和证明自己把握“真”的能力限度。在这一点上,达尔似乎和哥德尔心心相通,拥有哈耶克式的知识论。达尔的多元主义民主通过多元因子的协同作用,使民主的影象越来越清晰。达尔对理性抱有深深的疑虑,因而不曾也不敢建构一个完美的形式系统以建构完美民主。民主从达尔开始具有了合理性。从乌托邦的纯粹民主步向了经验的协商民主。多元主义民主的合法性在博弈协商的过程中得以展现。     

哥德尔不完全性定理评析

哥德尔不完全性定理越来越受到人们的垂青和重视,但有些却是错解,需要予以澄清.哥德尔不完全性定理是整个逻辑学的中心,对其他许多学科也有重大的促进作用,甚至是有些学科的发端.     

哲学逻辑对判断的非反否定演算研究

形式逻辑是关于断定的逻辑（Logic），辩证逻辑是关于描述的逻辑（Logos）。通过对性质判断的非反否定演算，将形式逻辑的断定否定演算，辩证逻辑的描述否定演算，认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算，都归结为非和反的哲学否定演算。由此，所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。     

矛盾命题的指反断非演算规律研究

对哲学判断论的能指矛盾和断定矛盾,作了具有实证内容基础的对应关系研究,而不是纯形式的研究。由此,从“有S型”性质判断的实证例子中,归纳出其非否定是针对“量-质-真值”断定项的否定,其反否定是针对“主-谓-命题”描述项的否定。进而,用事实验证了具有正反对称互补关系的逻辑形式否定演算规律和描述内容否定演算规律。     

从芝诺悖论和哥德尔不完备性定理看现代物理学的逻辑基础

从芝诺悖论和哥德尔不完备性定理出发,在讨论牛顿经典力学公理化体系特点的基础上,比较详细地分析了相对论、量子力学、粒子物理标准模型、大统一理论和超弦理论等现代物理学的内在逻辑问题,并指出了科学发展的内在动力和发展趋势。     

代数学基本定理的几种非代数证明

本文用非代数的方法给出代数学基本定理的七种不同的证明方法地。     

从谓词逻辑的观点看传统词项逻辑推理中的空词项

传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。     

从“結構“一词看日语的“双性判断词“

肯定与否定是语言的两个基本问题。在汉语中,肯定就是肯定、否定就是否定,不存在第三种情况;但在日语中却存在既能表示肯定又能表示否定的词,本文中我们称其为“双性判断词”。     

从蝴蝶定理的证明看高等几何对初等几何的作用

用高等几何方法证明了用初等几何方法较难证明的“蝴蝶定理” ,并给出定理的推广命题 ,从中显示出高等几何在初等几何中的作用     

从人治到法制到法治的进步——论我党对法律认识的理论突破

我党在人治与法治方面 ,经历了三个不同的认识阶段 ,轻视法治、重视人治的阶段 ,重视法制建设阶段 ,主张法治阶段。轻法治、重人治是治国误区 ,这种思想有着深刻的社会原因。加强法制建设 ,主张法治是我党在理论认识上的重大突破 ,也是历史的必然     

法治视野中的刑事法治

以法治理念为基础，解析现代刑事法治的内涵：刑事法治应以人权保护为价值目标；体现罪刑法定的基本立场；程序正义是实现刑事法治的法治模式。这是我国刑法未竞的历史使命，也是我国刑法发展的基本方向。     

马氏规则和反马氏规则的内在统一性

马氏规则和反马氏规则表面相反,但两者有内在的统一性。本文从电子效应和反应历程两个方面作了讨论,并通过具体实例加以解释．     

＂先行先试＂法治化模式的必要性分析

“先行先试”是地方进行各项制度创新的新名词。运用法学的视角对综合配套改革情境下的“先行先试”法治化模式进行研究,回顾中国改革开放以来的发展成就,对“先行先试”政策有待于法治化进行深层次分析是其首要任务。     

小屯村中村南新出甲骨否定词研究

小屯村中村南新出的甲骨有514片,否定词共7个：不、弗、非、毋、勿、弜、亡,本文对村中村南的否定词进行整理并探讨。     

自由诗规则和局限的理性反思

自由诗在中国长期被理解成一种打破传统格律、不受拘束的诗体,这很大程度上是一种误解。自由诗受到传统诗律负规则的制约,必须要与规则的诗律区别开;自由诗需要服从内在整体的节奏运动,讲究节奏的持续性;自由诗在题材上有一定的适用范围,适合表现某些持续的、短暂的情感或印象。自由诗的自由是一种虚构,这种虚构同时也歪曲了格律诗的功能和价值。     

论法理学视野下的良性程序性违法

法理学的发展使人们逐步认识到成文法的局限和不足,例如成文法的僵化、歧义、滞后或过于超前等问题。从法理学角度来说,司法活动也就不可能始终、同时也不应当始终沿着制定法、“应然法”或“官方法”所界定的逻辑行进。作为法律规范之一的程序法规范自然也逃脱不了一般法律的这一宿命。因此,司法实践中司法者合理地、必要地游离于某些不合时宜的程序性规范之外就成为可以理解的事情了。     

浅谈冯契对形式逻辑的辩护和匡正

在《逻辑思维的辩证法》一书中,冯契对学术界关于形式逻辑的种种批评和非难,一一做出分析和回应,并在自己类、故、理的范畴体系中实现了形式逻辑与辩证逻辑的结合,辩证法、认识论和逻辑的三者统一。     

从历史和现实的角度看以德治国

从历史的角度看，以德治国揭示了一个永恒的主题，即国家权力应由品德高尚的人来掌管。由于中西方历史，政治、文化的差异形成了以德治国在中西方迥然不同的命运，形成了不同特色；从现实来看，以德治国合乎社会发展的要求，有利于依法治国的进行。