林邦瑾
- 作品数：11 被引量：12H指数：2
- 供职机构：贵州大学更多>>
- 相关领域：哲学宗教理学自动化与计算机技术更多>>
- “说谎者悖论”剖析——思辩逻辑是产生“悖论”的根源被引量：5
- 2005年
- 思辩逻辑认为逻辑的研究对象是思维或语言;而客体逻辑则主张逻辑科学研究独立于人的认识的客观世界原本具有的客观的逻辑结构和规律。剖析“说谎者悖论”的关键是鉴别“命题”及其“真假”的标准:思辩逻辑认同语言标准;而客体逻辑则坚持客体标准。“说谎者悖论”的真相是:向壁虚构的构造者们不要物证、不顾时空地将几个同音同形然而不同义的语句叠合在一起,从而将语句的“虚”与“真假”根本不同的值纯思辩地混沌杂揉。从实事求是的客体逻辑出发,任何人构造不出任何一个在事实上满足“自我悖反”的“悖论”。
- 林邦瑾
- 关键词：空话逻辑结构
- 谈“一个辩证命题的形式化”
- 1981年
- 刘永川同志的《一个辩证命题的形式化》(简称《化》文,载《哲学研究》1981年第6期),对我的《“矛盾”命题的无矛盾形式》(简称《矛》文,载《哲学研究》1981年第1期)进行商榷。《矛》、《化》二文均以将辩证命题“物体在同一瞬间既在同一个地方又不在同一个地方(Ω)”形式化为宗旨。
- 林邦瑾
- 关键词：形式化哲学研究区间套辩证矛盾
- 制约逻辑是内涵智能机的逻辑理论基础
- 在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针。宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制,这便是“宇宙智能”,人认识后便是从已知进入新知。这客观的...
- 龚启荣林邦瑾
- 关键词：人类智能制约逻辑
- 文献传递
- 必然、可能、偶然、风马牛
- 1991年
- 在普通逻辑思考实际中,必然既不是1元的模态词,而且,必然与恒真的真值函数之间也并无内在联系。“A必然B”的含义为:“可独立于A、B的真值确定不会是A真而B假”,其中的“可独立于A、B的真值确定”称为“第一独立性”。“A必然B”的符号表达式为“A B”,可念作“A制约B”,其中的称为“制约号”,是2元的非正统的联结号。可能就是不必然不;偶然就是不必然且可能;“A风马牛B”的含义为“把A或 H、B或 B不论是放在前域还是后域,这之间的关系都是偶然”,故而也可称为“彻底的偶然”。容易验证,从语义上说,正统一阶谓词演算中的A B(A蕴涵B)和在其它语言中用来作为逻辑工具的“若A,则B”之间的关系是风马牛。
- 林邦瑾
- 关键词：人工智能自然语言
- “说谎者悖论”剖析——思辩逻辑是产生“悖论”的根源
- 思辩逻辑认为逻辑的研究对象是思维或语言;而客体逻辑则主张逻辑科学研究独立于人的认识的客观世界原本具有的客观的逻辑结构和规律。剖析“说谎者悖论”的关键是鉴别“命题”及其“真假”的标准:思辩逻辑认同语言标准;而客体逻辑则坚持...
- 林邦瑾
- 关键词：说谎者悖论空话
- 文献传递
- “失钻悖论”剖析——不存在“自指”语句被引量：1
- 2006年
- “失钻悖论”乃基于含有空词的空话,空话之值为非“真”非“假”的“虚”。任何被称为“悖论”的莫不皆然,均为故弄玄虚。在应由良知占主导地位的人类文明史中原本不应出现会“从明显可接受的前提,经明显可接受的推导,推出明显不可接受的结论”这种向壁虚构、无事生非的荒唐怪事。语句的客观的形成过程和语义映射决定了事实上不可能构建出任何“自指”语句。以为真有“自指”语句从而营造出“悖论”是思辩逻辑在虚伪的舞台上演出的一场持续了许多世纪的子虚乌有的闹剧。
- 林邦瑾
- 关键词：语义映射
- 充分条件与制约关系被引量：7
- 2004年
- 充分条件关系的定义历来是逻辑学关注的焦点。传统形式逻辑的界说可归结为“朦胧的正确” ;正统数理逻辑的规定可归结为“清晰的荒谬”。“事件A是B的充分条件”的逻辑含义是“可独于A、B的有无确定 (这称为“第一独立性”)不会是有A而无B”。这便是“A制约B” ,其间的“前件A为有可独立于后件B的有无确定”称为“第二独立性”。包含在制约关系中的逻辑性质两个独立性是人类能以有限把握无限 ,从已知进入新知的逻辑依据 ,是逻辑科学这座大厦两块坚实的基石。
- 林邦瑾
- 关键词：数理逻辑
- 数学归纳公理与内涵科学分析法被引量：1
- 1994年
- 语句的绝对的、唯一的语义是被其指谓的客观事件。从素朴数学归纳法到皮亚诺数学归纳公理再到基于制约系统Cnd的数论形式系统N的形式公理,是一个历史的发展过程。"从N出发可证明1=0"是种误解。人类把握有限或无限不可逐一列举域不能通过对外延的列举,只能采用内涵科学分析法。
- 林邦瑾
- “矛盾”命题的无矛盾形式被引量：2
- 1981年
- 现实世界充满辩证矛盾。因此,对现实世界作辩证的思考就无法避免辩证矛盾。然而,普通逻辑却又不允许自相矛盾。这就产生了辩证思维中包含辩证矛盾的命题如何不自相矛盾的形式化的问题。本文试图通过将一个包含辩证矛盾的辩证命题不自相矛盾的形式化来初步地探讨这个问题。
- 林邦瑾
- 关键词：辩证矛盾形式化普通逻辑逻辑思考具体思维
- 制约逻辑是内涵智能机的逻辑理论基础
- 在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针。宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制,这便是“宇宙智能”,人认识后便是从已知进入新知。这客观的...
- 龚启荣林邦瑾
- 关键词：人类智能制约逻辑
- 文献传递
