充分条件关系及其两个特异性

充分条件关系的定义历来是逻辑学关注的焦点,传统形式逻辑的界说是"朦胧的正确",而正统数理逻辑的规定实为"清晰的荒谬"。"事件A是B的充分条件"的逻辑含义是"可独于A、B的有无确定(这称为"第一独立性")不会是有A而无B"。这便是非纯真值函数的复合事件——充分条件事件"若A则B"。其间的"前件A为有可独立于后件B的有无确定"称为"第二独立性"。包含在充分条件关系中的逻辑性质两个独立性是人类能以有限把握无限、从已知进入新知的逻辑依据,是逻辑科学这座大厦两块坚实的基石。

穿透性角膜移植65例临床总结

报道65例穿透性角膜移植的结果。植片完全透明46眼,占70.71%,其中植片直径<7mm为35眼,占小直径的89.70%;半透明为14眼,占21.54%;完全混浊5眼,其中植片直径大于10mm为3眼,幼年者2眼。术后排斥反应时间为14天～3个月,持续时间为2周～6个月。角膜上皮溶解3眼,新生血管反应为65眼,基质水肿7眼,术后42天全角膜植片溶解坏死脱落1眼。手术效果单纯白斑,角膜变性最好,角膜穿孔为最差。

对现行传统逻辑读本中命题逻辑推理的几点剖析

在传统形式逻辑中，除“联言推理”和“假言易位推理”外，其它复合命题推理，凡用数理逻辑符号表达出来的式子全都是涵衍式，包含蕴涵怪论。真值表方法是判定作为真值函数的重言式的方法，不是判定推理式有效性的方法。所谓“反三段论”，只有当其中的基础命题为传统直言命题时才有效。数理逻辑演算技巧精确严密，但它是数学，与向人类提供从已知获取新知识的。具的逻辑科学殊异，不能用它来“改造”或“取代”传统形式逻辑。

客观世界的集——兼对悖论之王“罗素悖论”的剖析

对象就是可以对之思考的一切。在思考时不对之进行分解的单个对象称为个体。集就是由有限或无限个个体组成的组合、总和或整体。为集P的任意元所共有且只为集P的元所仅有的属性称为集P的共仅属性。集由其全部元唯一地确定,这称为集的外延原则。康托尔的集合论"概括原则"说认为,对于任意给出的一项性质p,必定存在一个以p为共仅属性的集P,这显然不能成立。客观世界不存在P∈P,而只存在eP,这称为集的排己性。e∈P和eP不能并存、至少有一存在、是且只能是二者之一,依次称为属于关系的不矛盾律、排中律、选一律。罗素犯了康托尔"概括原则"的唯心论错误,凭空想出个根本就找不到的违反幂集原理的所谓集R,于是虚构了自欺欺人的根本就不可能出现矛盾互推的所谓"矛盾互推"的"悖论"。

宇宙智能、人类智能、人工智能

在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针 宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制 ,这便是“宇宙智能” ,人认识后便是从已知进入新知 这客观的必然过渡就是客观的“制约关系” 人类、机器按各自能实现的方式去摹写、模拟宇宙智能 ,便分别是“人类智能”、“人工智能” 人工智能的基础装置是基于制约逻辑的内涵智能机 ,其硬件的核心元件是能模拟客观的制约关系的“制约门”

真值表等数理逻辑方法的判定功能

真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的判定方法 .

传统形式逻辑与数理逻辑关系论

充分条件关系跟刻划真值函数关系的实质蕴涵关系之间是风马牛关系。因此,用数理逻辑"改造"或"取代"传统形式逻辑是一种常识性错误。

彪炳古今的韩非定律

远在百家争鸣的春秋战国时期 ,韩非子就迳直去研究客观世界的逻辑结构和逻辑规律。更难能可贵的是 ,在韩非子的逻辑思想宝库里还显露出当代逻辑的不用逻辑量词然而却分析到多元关系和项 (个体变元、个体常项 )的语义的研究和语构的研究的端倪。韩非子关于项逻辑的研究比德国数理逻辑家弗雷格的谓词逻辑早两千多年。

作为联结关系“偶然”和“风马牛”的逻辑含义

作为逻辑联结关系的“偶然”是一种特殊的可能:同时也可能不的可能,即,可能不如此的可能,或者说是,有与之不相容的可能情况的可能。作为逻辑联结关系的“风马牛”是一种最彻底的、最特殊的偶然。A风马牛B,当且仅当,A偶然B且A偶然B。偶然和风马牛都是2元的非纯真值联结关系。不是为正统数理逻辑所研究的纯真值联结词。

从数理逻辑概括规则看内涵科学分析法

无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻辑工具使用的"若,则"不是真值函数"蕴涵",而是通过内涵科学分析法确立第一独立性的"制约"。

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

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

眼眶与颅、副鼻窦联合植物性异物的诊断及处理

报道眶内和眶颅、眶副鼻窦联合植物性异物8例,以芦根为主,存留时间4个月到8年。异物部位:眶内2例,筛颌窦2例,硬脑膜1例,中颅凹2例,蝶窦1例。确诊方法以CT 为主。均以手术摘出异物而治愈。

当代形式逻辑界说

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

眼眶内异物21例分析与处理

眼眶内异物较为常见,往往由于漏诊或误诊或处理不当而致眼部瘘口畸形或视功能损害。笔者就临床实践中所遇见的21例眶内异物进行分析。 21例眶内异物中枪弹伤及战伤11例,铁片伤5例植物戳防5例.异物位于眶内及眶尖15例累及筛、蝶窦4例;眶颅联合异物2例。5例植物均引起急性眶蜂窝织炎,其中4例形成慢性瘘管。眶内异物的临床表现依据异物所在部位和致伤时对眼球、眼肌或神经的损伤而定.眼部出血可由直接损伤所致,也可由于眶骨骨折或大血管破裂引起眶内血肿。

究竟什么逻辑理论是人工智能的合适工具

我们的讨论所涉及的逻辑理论体系有:正统数理逻辑、各种非正统数理逻辑(如形形色色的模态逻辑、衍推逻辑、相干逻辑)、久盛不衰的传统形式逻辑以及由我国学者创建的作为传统形式逻辑当代发展的崭新逻辑理论体系制约逻辑。 所谓人工智能,就是对宇宙的显示实施机器表示,加到原有的知识表示系统中去行使机器推理,去得出前所未有的新知识表示的运行过程。人工智能之所以为智能,其根本是能从已有知识去得出新的知识。根据这样的人工智能观,我们的研究结果是,只有具有深刻正确的主导思想,在理论上坚持论证不许循环,向人类认识提供效能卓著的从已知获取新知的工具的传统形式逻辑的当代发展的崭新逻辑学说制约逻辑才是人工智能合适的逻辑理论工具。

眼眶内侧深部肿瘤摘出手术进路研究

目的 :寻找眼眶内侧深部肿瘤或异物摘出的手术切口新进路。方法 :应用上下睑缘、睑板、眶隔、结膜联合矢状切口进路 ,然后用深部拉钩扩大创腔视野 ,直视下摘出肿瘤。结果 :16例 16只眼接受本手术切口进路 ,都能完整摘出肿瘤 ,术中出血甚少 ,术后无内直肌麻痹、无明显瘢痕 ,随访 2～ 10年无后期并发症。结论 :上下睑缘、睑板、眶隔和结膜联合矢状切开进路是眶内侧深部肿瘤等摘出首选手术进路。

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

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

传统直言命题的制的逻辑剖析(英文)

传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而至今还存在种种逻辑理论上的问题．我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类．当直言命题的主词S的外延是可进一列举的有限集时为外延命题．与A、E、I、O相对应的外延命题依次为：P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em)，P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em)．当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题．与A、E、I、O相对应的内涵命题依次为：S（x）P（x）、S（x）P（x）、S（x）！P（x）、S（x）！P（x）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．

制约逻辑才是知识表示的合适的逻辑工具(英文)

专家系统中产生式规则的"若…则…"的前后件问存在着的是制约逻辑所揭举的制约关系中的两个独立性:可独立于前后件的真假确定不会是前真而后假(一独),前件为真可独立于后件的真假确定(二独).从形式上说,当制约逻辑C.系统中的"制约"、"必定"分别跟狭谓词演算F中的→、V x作对应时.Cn与F是交叉关系.F中的定理可成为专家系统中的规则,当且仅当,F中的定理翻译成Cn的式后也是Cn的定理.在F之外有无限多个实际可用的有效规则,这些规则在Cn中是定理."A必然B"就是"A制约B",表达式皆为A→B."A可能B"、"A偶然B"、"A彻底地偶然B"可从一得到定义.制约逻辑成功地避免了实质蕴涵怪论和一般模态逻辑避免不了的严格蕴涵怪论.它的表达功能和推理能力比以往的任何系统都强而且丰富.制约逻辑是知识表示自々合适的逻辑工具.正统数量逻辑和形形色色的非古典逻辑(包括衍推逻辑、相关逻辑等)以及传统形式逻辑都不是知识表示的合适工具。