当代形式逻辑界说

当代形式逻辑除了作为体系主干的语义学之外,尚有作为旨在用来透彻无误而又完备无缺地进行语义研究的人工符号语言工具的语构学,以及沟通逻辑理论和应用实际的语用学。语义的研究就是关于为人工符号语言所指谓的客观世界的以充分条件关系为核心的逻辑结构或逻辑规律的研究。语构的研究,就是关于人工符号语言自身的排列结构和变形规则的研究。语用的研究,亦即关于以语义为中介的互相同义的人工符号语言和自然语言的互相转换、互相翻译的研究。当代形式逻辑界坚定而彻底地坚持辨证唯物论的逻辑客体说理论,对当代形式逻辑界说为:采用可按指谓同一的准则与自然语言互相翻译的(语用学)人工语言的机械排列和变形的方式(语构学)研究以充分条件关系为核心的客观世界的逻辑结构和逻辑规律(语义学),从而向人类提供研究宇宙的从已有事件向新事件必然过渡的普遍适用的从已知获取新知的工具。

当代形式逻辑是刑法立法正确的工具性科学

刑法条文的表述是否符合逻辑规则,是衡量一部刑法典立法技术高低的根本指标,而高超的刑法立法技术必然不能背离逻辑规则。当代形式逻辑是一门基于客观唯物论的能够有效地提高立法技术、指导刑法立法实践的工具性科学。

传统概念问题的当代形式逻辑剖析

尽管传统形式逻辑在概念问题上不研究大于1的n元名词而只研究仅占n分之1的1元名词,可是在这n分之1的研究中仍然存在着不少缺陷。譬如,关于概念的定义至今仍不能自圆其说;有些概念种类划分不合理;给概念内涵下的定义产生歧义;给普遍概念下的定义过宽;等等。传统形式逻辑是真正的逻辑科学,我们剖析的目的是深深地切望传统形式逻辑深刻正确的主导思想和久胜不衰的理论成果得到发扬光大。

客观世界的n元关系——兼谈传统形式逻辑和数理逻辑

当代形式逻辑对客观世界n元关系的研究,其视野是传统形式逻辑和数理逻辑无法相比的。从主导思想上看,传统形式逻辑是真正的名副其实的逻辑科学,但它只研究1元关系,不研究多元关系和真正普遍有效的关系推理,因此,传统形式逻辑顶多只能算n分之1的逻辑。数理逻辑虽然把1元或多元关系作为自己的研究对象之一,但它没有从内涵的角度去区分关于同一外延的k个尽管相当然而并不相同的n元关系,从量上说至少是"挂1漏k-1"的,即只从外延的角度研究一种关系而漏掉(k-1)种关系,因此,纯外延的数理逻辑顶多只能算k分之1的逻辑。当代形式逻辑从研究论域上的n目组和n目组集入手,亦即通过确定论域上的个体的所有不同序列,对论域上n个个体(n≥1)之间的所有关系进行了逻辑科学应有的全方位研究。