古典逻辑

作品数:43被引量:25H指数:2
导出分析报告
相关领域:哲学宗教更多>>
相关作者:姚从军陈克守龚勇安黄耀枢马明辉更多>>
相关机构:北京大学曲阜师范大学河南大学南开大学更多>>
相关期刊:《管理世界》《现代哲学》《广西师范大学学报(哲学社会科学版)》《哈尔滨学院学报》更多>>
相关基金:国家社会科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
亚里士多德逻辑与弗雷格逻辑差异——主谓词理论
《海外英语》2023年第24期75-77,共3页杨弘川 
陈那遣他理论研究(项目编号:21BZJ030)。
亚里士多德创建了古典逻辑,弗雷格创建了现代逻辑,那么古典逻辑是如何向现代逻辑转向的呢?从两人对命题中的主词、谓词的基本看法,侧面可以看到两种逻辑的差异,最终揭示古典逻辑向现代逻辑转向的原因。亚里士多德将存在划分为十个范畴,...
关键词:亚里士多德 弗雷格 古典逻辑 命题 谓词 
实用主义的“古典”逻辑及其谱系学意蕴被引量:2
《东岳论丛》2019年第1期21-28,共8页姬志闯 
国家社科基金项目"新实用主义的谱系及其当代面向研究"(14BZX068);国家社科基金重大项目"实用主义研究"(14ZDB022)子课题"实用主义的谱系研究";河南省高等学校哲学社会科学优秀学者项目"新实用主义研究"(2014-YXXZ-38)的阶段性成果
尽管实用主义叙事者们就"古典实用主义"给出了诸多谱系描述,但都因为其"古典"逻辑的各执一词或单一依赖,而让这一标签在谱系范围的多样善变中显得模糊和随意,并因此陷入了不同程度的困境。于是,对这些"古典"叙事进行分类考察和批判审视...
关键词:实用主义 “古典”逻辑 谱系学意蕴 
首届重庆纯逻辑与应用逻辑会议
《中国哲学年鉴》2015年第1期512-512,共1页西南哲 
6月19日在西南大学政治与公共管理学院逻辑与智能研究中心召开,由重庆市逻辑学会主办,西南大学逻辑与智能研究中心承办。在过去50年中,使用数学方法(代数、模型论和证明论)研究非古典逻辑取得了巨大的成功;另一方面,非古典逻辑...
关键词:应用逻辑 重庆市 政治与公共管理学院 西南大学 数学方法 古典逻辑 计算机科学 大学逻辑 
形式化量子力学不必使用量子逻辑
《逻辑学研究》2010年第1期51-72,共22页卞拓蒙 
一般认为,标准量子力学需要使用一套它自己的逻辑系统,即量子逻辑。量子逻辑采用与一般逻辑系统不同的语义规则,因此和古典逻辑无法兼容。此篇文章将呈现一套量子力学的严格形式基础,它是对古典二值逻辑之保守扩充;保守扩充意指比原先...
关键词:量子力学 逻辑系统 古典逻辑 语义规则 二值逻辑 三值逻辑 逻辑架构 可行性 
古典命题逻辑与模态命题逻辑的形式系统之比较
《毕节学院学报(综合版)》2009年第10期31-36,共6页姚从军 
2007年湖南科技学院重点科研项目"古典命题逻辑与模态命题逻辑的比较";项目编号:07XKYTA011
LPM与Lp相比:由于□的引入,导致了初始符号与形成规则的扩张;从而引起了LPM的合式公式、原子公式、元语言变项和常项的取值范围,比Lp中相应部分的取值范围大大扩张;K、D、T、B、S4、S5与P相比:公理数量增多;变形规则增加,且相同变形规...
关键词:古典逻辑 模态逻辑 形式系统 
析布劳维尔的直觉主义
《重庆工学院学报(社会科学版)》2009年第2期42-43,共2页翟晓佩 
阐述了直觉主义者的主要观点,认为海丁演算系统的提出是直觉主义逻辑最重要的发展,并对海丁演算系统的特点作了介绍和评价。同时介绍了直觉主义的消极作用和积极作用。
关键词:布劳维尔 直觉主义 古典逻辑 海丁演算系统 
古典命题逻辑与模态命题逻辑的语义之比较
《湖南科技学院学报》2009年第2期90-91,共2页姚从军 
湖南科技学院重点科研项目"古典命题逻辑与模态命题逻辑的比较"(07XKYTA011)
模态命题逻辑的语义解释与古典命题逻辑的语义解释相比:语义解释的构成要素增多了,增加了两个元素□和R,且相同要素V的作用范围扩大了;根据语义解释能够得出的永真式的数量增多了,故前者比后者的解释能力也大大增强。
关键词:古典逻辑 模态逻辑 语义 解释 赋值 
古典命题逻辑与模态命题逻辑的自然推理系统之比较
《湖南科技学院学报》2008年第9期74-76,82,共4页姚从军 
2007年湖南科技学院重点科研项目"古典命题逻辑与模态命题逻辑的比较"(07XKYTA011)的研究成果之一。
模态命题逻辑的自然推理系统TN、S4N、S5N与古典命题逻辑的自然推理系统PN相比:形式语言有了扩张;推理规则增多,且相同推理规则的作用范围扩大;推出的定理数量增多;推理能力大大增强。
关键词:古典逻辑 模态逻辑 自然推理系统 
互逆主义逻辑与古典逻辑比较
《北京联合大学学报》2006年第3期43-47,共5页王郁昕 徐影 
提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,...
关键词:古典逻辑 互逆主义逻辑 实质蕴涵怪论 互逆蕴涵 二元认识 归纳复合 分解 
点击·2003精彩回应 篆刻的古典逻辑规定性
《青少年书法》2003年第24期16-16,共1页吴玉柱 
读了《青少年书法》青年版第3期“点击·2003”栏目中关于林健先生的批评文章,若有所思,也想凑凑热闹说几句。大凡艺术,都有其古典的逻辑规律,所有的艺术创作必须遵从它的逻辑规律。
关键词:规定性 篆刻家 
检索报告 对象比较 聚类工具 使用帮助 返回顶部