检索结果-南通市图书馆

贵州社会科学 2015年第3期303卷 38-42页

作者：盛作国胡红华东师范大学上海200421 贵阳学院贵州贵阳550005

儒家有无逻辑,或有什么样的逻辑,这是"中国古代有无逻辑"的题中之义。考察发现,儒家不唯有学界业已关注到的"名"这一逻辑范畴,事实上还可抽取"辞"、"知"、"辩"、"壹"等范畴,构成涵盖逻辑概念论、命题论、推理论、论辩论和逻辑规律论在... 详细信息

儒家有无逻辑,或有什么样的逻辑,这是"中国古代有无逻辑"的题中之义。考察发现,儒家不唯有学界业已关注到的"名"这一逻辑范畴,事实上还可抽取"辞"、"知"、"辩"、"壹"等范畴,构成涵盖逻辑概念论、命题论、推理论、论辩论和逻辑规律论在内的儒家逻辑思想体系。从推论方式看,儒家逻辑思想体系融贯了归纳、演绎和类推三种推论方式。

关键词：儒家经典儒家逻辑思想体系中国逻辑思想史比较逻辑

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

蕴涵理论研究 ——从《墨经》到《制约逻辑》

蕴涵理论研究 ——从《墨经》到《制约逻辑》

引用

作者：盛作国贵州大学

学位级别：硕士

蕴涵是逻辑学中的一个重要概念,对于它的意义的不同理解和把握,会导致对推理前后件之间关系的不同说明与刻划,并最终导致性质和功能有别的不同逻辑系统的构建和产生。从某种意义上说,蕴涵的演进构成了整个逻辑科学尤其是现代逻辑发展的... 详细信息

蕴涵是逻辑学中的一个重要概念,对于它的意义的不同理解和把握,会导致对推理前后件之间关系的不同说明与刻划,并最终导致性质和功能有别的不同逻辑系统的构建和产生。从某种意义上说,蕴涵的演进构成了整个逻辑科学尤其是现代逻辑发展的历史。不同的逻辑系统尽管在形式上有某种可对译性,但仍可依据其所奠基的“蕴涵”理论的不同而体现其实质的特异性。如海丁(Heyting)的直觉主义命题逻辑系统H通过所谓的“哥德尔转换”可以在经典逻辑中获得新的解释,并且,通过一定的程序,直觉主义命题逻辑还可以在模态系统S4中得到解释。然而,直觉主义命题系统通常被认为是经典命题系统的真子系统,S4被认为是经典命题系统的扩充系统。于是问题产生了:经典命题系统、直觉主义命题系统和S4之间究竟是一种什么样的关系?进而,推理前后件之间究竟是一种什么样的关系?各种蕴涵理论是否清晰而恰当地刻画了推理前后件之间的关系?不同的逻辑系统之间的可比性到底体现在哪里?真正的充分条件关系究竟是函数的还是非函数的?推理的构成要素有哪些,或者说推理如何可能?笔者不仅拟从逻辑哲学层面回答上述问题,从逻辑史的角度去区分、澄清和阐明不同意义的蕴涵及其相互关系,并且,力图澄清关于制约逻辑的一些重要事实,主要涉及蕴涵怪论问题、制约逻辑的元逻辑思想及其相关问题、所谓的“必然与可能互制”问题、“1=0”问题、“形式的可译性与实质特异性”问题、“第一独立性的实施”与“内涵科学分析法”问题等。通过对各种“蕴涵”理论的考察,探求一种能够清晰而恰当地刻划充分条件关系的“蕴涵”理论。提出作者的一些粗浅认识以求教于学界贤达、同仁。研究可得出如下观点或初步结论:推理前后件之间必定满足充分条件关系,具有第一独立性:充分条件关系不是函数关系;推理必须满足“可以推”、“需要推”和“不循环”等要求;两个独立性是推理能从已知获取新知的逻辑根据;王浩教授关于蒯因NF系统和ML系统一致性的证明结论“若NF一致,则ML一致”足以说明表示充分条件关系的“若…,则…”之间存在第一独立性(迄今,NF和ML的一致性问题并未得到解决,亦即,其一致性既没有得到证明,也没有被否证。王浩教授在并不知道命题“NF一致”之真假,也不知道命题“ML一致”之真假的情况下,却事实上确立了命题“若NF一致,则ML一致”为真,包含在充分条件关系中第一独立性在这里简直是明若观火!)。形式上的可译并不意味系统间的等价;制约逻辑命题演算Cm系统与相干逻辑命题演算R系统事实上不等价;没有量词的制约逻辑名词演算Cn系统与带量词的相干逻辑谓词演算系统RQ系统绝对不等价。A、B二形式系统“绝对不等价”是指:在不改变A、B的形式语言的条件下,任意改变A、B的公理和规则,均不能使A、B等价。A、B的差异不是在公理、规则这个层次上,而是在形式语言这个层次上,亦即,对A、B的形式语言作出纯语构(不顾及语义)对照,A、B的形式语言中的式未必能互相对译:A的式对译后可以不是B的式,或者,B的式对译后可以不是A的式。以下指责不成立,是对制约逻辑的误解或曲解:制约逻辑不可能定义“必然”、“可能”这类概念;制约逻辑名词演算Cn系统可以证明“可能”与“必然”互制;制约系统包含“怪论”;关于初等数论的形式系统N可以证明1=0,而N的第一条公理就是1≠0,所以N是不一致的(即矛盾的)。

关键词：蕴涵实质蕴涵严格蕴涵相干蕴涵直觉主义蕴涵制约关系逻辑哲学哲学逻辑

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

不相干谬误的批判性审查——兼论“执柯以伐柯”式论证

引用

思想与文化 2018年第1期22卷 260-275页

作者：盛作国华东师范大学哲学系贵阳学院马克思主义学院

顾名思义,“不相干谬误”应该是一类因缺乏相干性而导致的谬误。但是,考察发现,不相干谬误并非总是缺乏相干性的。此外,一般而言,谬误性的论证在论辩中都应当避免被使用。然而,“执柯以伐柯”式论证的成功运用表明:谬误性的论证也可以... 详细信息

顾名思义,“不相干谬误”应该是一类因缺乏相干性而导致的谬误。但是,考察发现,不相干谬误并非总是缺乏相干性的。此外,一般而言,谬误性的论证在论辩中都应当避免被使用。然而,“执柯以伐柯”式论证的成功运用表明:谬误性的论证也可以被合理地运用于反驳。

关键词：论辩不相干谬误 “执柯以伐柯”式论证

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

企业竞争情报搜集与反竞争情报

引用

贵阳金筑大学学报 2004年第3期 106-109页

作者：盛作国贵阳金筑大学图书馆贵州贵阳550005

阐述竞争情报的概念;分析搜集竞争情报的方法与途径;介绍反竞争情报的具体措施。

关键词：企业竞争竞争情报搜集反竞争情报广告分析招标分析专利分析

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

走向科学与人文统一的逻辑学

走向科学与人文统一的逻辑学

引用

“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会

作者：盛作国贵阳学院生态文明城市建设研究中心

逻辑学科学理性与人文取向的分歧,提出了逻辑学研究究竟是坚持科学主义还是人文主义等问题。长期以来,人们只以为逻辑学的本质是科学的,往往忽视其人文特质。事实上,逻辑学具有科学与人文的双重特质。因此,树立"科学精神"与"人文精神"... 详细信息

逻辑学科学理性与人文取向的分歧,提出了逻辑学研究究竟是坚持科学主义还是人文主义等问题。长期以来,人们只以为逻辑学的本质是科学的,往往忽视其人文特质。事实上,逻辑学具有科学与人文的双重特质。因此,树立"科学精神"与"人文精神"统一的"逻辑学精神",是保证当代逻辑学健康发展的基本条件。

关键词：逻辑哲学科学理性科学特质人文向度人文特质理论研究

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

所谓“1=0”等结论的证明

所谓“1=0”等结论的证明

引用

贵州制约逻辑学会2013年“获取新知”专题研讨会——弘扬获取新知的思想开发振兴贵州的智慧

作者：盛作国贵阳学院华东师范大学

制约逻辑曾为一部分人所误解。批评者认为:制约逻辑不可能定义"必然"、"可能"这类概念;制约逻辑名词演算Cn系统可以证明"可能"与"必然"互制;制约系统包含"怪论";关于初等数论的形式系统N可以证明1=0,而N的第一条公理就是1≠0,所以N是不... 详细信息

制约逻辑曾为一部分人所误解。批评者认为:制约逻辑不可能定义"必然"、"可能"这类概念;制约逻辑名词演算Cn系统可以证明"可能"与"必然"互制;制约系统包含"怪论";关于初等数论的形式系统N可以证明1=0,而N的第一条公理就是1≠0,所以N是不一致的(即矛盾的)。为澄清事实、消除误解,特撰此文,以正视听。

关键词：制约逻辑名词演算系统Cn 关于初等数论的形式系统N 数学归纳公理正统数理逻辑

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

情报推理的逻辑理论工具——制约逻辑在情报科学中的应用

情报推理的逻辑理论工具——制约逻辑在情报科学中的应用

引用

贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会

作者：盛作国胡红贵阳学院

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域。情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。国际人工智能研究主要地以作为现代基础数学的正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把一些原本不是... 详细信息

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域。情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。国际人工智能研究主要地以作为现代基础数学的正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把一些原本不是真值函数关系的复合命题处理成真值函数关系,把原本能确保不循环的推理格式变换成同语反复的重言式,从而远离了普通逻辑思考实际。建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。因此,情报推理不能以正统数理逻辑作为推理工具。

关键词：情报推理制约逻辑人工智能专家系统

来源： cnki会议评论