检索结果-南通市图书馆

哲学研究 2004年第10期 57-63页

作者：陈波北京大学哲学系

经典逻辑是指由弗雷格、皮尔士、罗素等人创立的现代逻辑系统，由统一的命题演算和谓词演算构成，叫做“一阶逻辑”，其特点是使用特制的人工符号语言，运用公理化、形式化的方法。与后来出现的各种逻辑系统相比，经典逻辑至少含有下述... 详细信息

经典逻辑是指由弗雷格、皮尔士、罗素等人创立的现代逻辑系统，由统一的命题演算和谓词演算构成，叫做“一阶逻辑”，其特点是使用特制的人工符号语言，运用公理化、形式化的方法。与后来出现的各种逻辑系统相比，经典逻辑至少含有下述假定或预设：

关键词：经典逻辑变异逻辑定义苏珊·哈克论证方法

经典逻辑与价值逻辑的统一——中国教育方针概念的理论研究

在线全文

学校读者我要写书评

暂无评论

国家教育行政学院学报 2014年第6期 3-8页

作者：杨天平浙江师范大学浙江金华321004

教育方针概念的运演从简单到宏富、从抽象到具体。运用辩证唯物主义和历史唯物主义相结合的理论视点进行定义,教育方针是一定统治阶层在一定历史时期关于教育发展的总方针,是教育性质、方向、目的、任务、内容和途径等的总规定,是一种... 详细信息

教育方针概念的运演从简单到宏富、从抽象到具体。运用辩证唯物主义和历史唯物主义相结合的理论视点进行定义,教育方针是一定统治阶层在一定历史时期关于教育发展的总方针,是教育性质、方向、目的、任务、内容和途径等的总规定,是一种规范、引导和管理教育发展的政策活动,集中反映了不同时代国家的教育意志及其价值导向。

关键词：中国教育方针经典逻辑价值逻辑

在线全文

学校读者我要写书评

暂无评论

经典逻辑、自由逻辑与空词项

世界哲学 2017年第3期 153-159页

作者：胡泽洪邓雄雁华南师范大学政治与行政学院贵州师范大学马克思主义学院

经典逻辑与自由逻辑都涉及空词项问题。经典逻辑对空词项采取的是一种否定的态度,它要求命题的"主词非空",在逻辑中排斥带有空词项的命题,从而导致经典逻辑与存在问题缠绕在一起。自由逻辑把空词项视为合法的逻辑词项,允许含有空词项的... 详细信息

经典逻辑与自由逻辑都涉及空词项问题。经典逻辑对空词项采取的是一种否定的态度,它要求命题的"主词非空",在逻辑中排斥带有空词项的命题,从而导致经典逻辑与存在问题缠绕在一起。自由逻辑把空词项视为合法的逻辑词项,允许含有空词项的命题出现在逻辑系统中,并试图给包含空词项的命题以恰当的语义解释。自由逻辑对空词项的这一积极态度,带来了一系列逻辑和哲学上的好处。

关键词：经典逻辑自由逻辑空词项存在问题

在线全文

学校读者我要写书评

暂无评论

经典逻辑视野下的非经典否定

哲学动态 2010年第7期 96-100页

作者：余俊伟中国人民大学哲学院北京100872

直觉主义逻辑中的否定有直观而清晰的含义，意为“不可能”，其强于经典否定；而相干逻辑与弗协调逻辑中的否定缺乏直观性。一般地，非经典否定只有在能够借助经典否定说明的情况下才能获得清晰的含义。我们定义一个从弗协调逻辑到经典... 详细信息

直觉主义逻辑中的否定有直观而清晰的含义，意为“不可能”，其强于经典否定；而相干逻辑与弗协调逻辑中的否定缺乏直观性。一般地，非经典否定只有在能够借助经典否定说明的情况下才能获得清晰的含义。我们定义一个从弗协调逻辑到经典逻辑的半嵌入映射，

关键词：逻辑视野否定说弗协调逻辑直觉主义逻辑经典逻辑直观性清晰

在线全文

学校读者我要写书评

暂无评论

经典逻辑度量空间上的反射变换

陕西师范大学学报（自然科学版） 2009年第6期37卷 1-4页

作者：胡明娣王国俊陕西师范大学数学与信息科学学院陕西西安710062 安康学院数学系陕西安康725000 上海市高可信计算重点实验室华东师范大学上海200062

探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不... 详细信息

探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不动点性态,得到了不动点的一般形式,即[A]∨φ*([A])或[A]∧φ*([A])(A∈F(S)).最后指出当n>2时,对于n值G del逻辑系统,相应的逻辑度量空间不具有上述性质.

关键词：经典逻辑 Lindenbaum代数逻辑度量空间反射变换自同构不动点 Gdeln值逻辑度量空间

在线全文

学校读者我要写书评

暂无评论

经典逻辑公理在模糊逻辑系统中的真度分析

计算机工程与应用 2010年第18期46卷 38-39页

作者：牛广化陈怀进袁彦莉枣庄科技职业学院建筑工程系山东滕州277500 聊城市人民医院山东聊城252000 聊城大学数学科学学院山东聊城252059

对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。

关键词：经典逻辑公理 Gdel系统 Lukasiewicz系统 R0系统真度

论经典逻辑的绝对性与相对性——兼评经典逻辑是否可修正

在线全文

学校读者我要写书评

暂无评论

华南师范大学学报（社会科学版） 2013年第3期 134-138页

作者：胡泽洪华南师范大学政治与行政学院广东广州510631

作为人类整体知识中的核心部分和一切知识的基础,经典逻辑在整个人类知识体系中具有最大程度的可靠性和可应用性。但同时,它的可靠性和可应用性也是有条件的,它也与经验和直观发生直接或间接的联系。因此,与其他科学一样,经典逻辑也是... 详细信息

作为人类整体知识中的核心部分和一切知识的基础,经典逻辑在整个人类知识体系中具有最大程度的可靠性和可应用性。但同时,它的可靠性和可应用性也是有条件的,它也与经验和直观发生直接或间接的联系。因此,与其他科学一样,经典逻辑也是绝对性与相对性的统一。在理论上,经典逻辑是可修正的;而实际上,经典逻辑尚没有被修正。

关键词：经典逻辑绝对性相对性

对传统逻辑的有力挑战——评《经典逻辑与直觉主义逻辑》

在线全文

学校读者我要写书评

暂无评论

哲学动态 1990年第4期 20-,32页

作者：诸葛殷同

直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规律和方法,特别是数学归纳法,是可靠的出发点,其它一切数学对象和理论都应该从自然数构造出来。所谓“构造”出... 详细信息

直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规律和方法,特别是数学归纳法,是可靠的出发点,其它一切数学对象和理论都应该从自然数构造出来。所谓“构造”出来,是指:(1)对存在命题“有X具有A性质”的一个证明,必须根据该证明能找到一个特殊的对象X,X满足A;(2)只有在有一个方法能判明一命题或其否定中有一个是真的条件下,才能承认该命题或者其否定为真,不承认任一命题非真即假。直觉主义哲学家不一定建立一套构造性数学;从事构造性数学研究的数学家也不一定信仰直觉主义哲学。构造性数学是数学的一个部分。直觉主义逻辑,也称构造逻辑。

关键词：直觉主义逻辑传统逻辑构造性数学经典逻辑数学研究自然数数学归纳法哲学家反理性主义唯心主义

在线全文

学校读者我要写书评

暂无评论

从认知三层面看亚相容逻辑与经典逻辑

学术论坛 2012年第4期35卷 5-9页

作者：付敏澳门科技大学通识教育部

亚相容逻辑致力于刻画"不相容"但"足道"情形下的逻辑机制,在系统中容纳矛盾而限制矛盾律。其倡导者或将它与经典逻辑并列,或视其为对经典逻辑的择代。然而,在认知行动中,无论是在实在、思想和语言层面,本体论意义上的矛盾律都无法违反,... 详细信息

亚相容逻辑致力于刻画"不相容"但"足道"情形下的逻辑机制,在系统中容纳矛盾而限制矛盾律。其倡导者或将它与经典逻辑并列,或视其为对经典逻辑的择代。然而,在认知行动中,无论是在实在、思想和语言层面,本体论意义上的矛盾律都无法违反,被限制的只能是作为认知规范的矛盾律,被容纳的只是由违背该规范而产生的信念矛盾。而经典逻辑恰好可以通过对信念矛盾的本体论重塑,实现对亚相容逻辑的合理统摄。

关键词：认知三层面亚相容逻辑经典逻辑矛盾矛盾律

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

论经典逻辑的局部修正——以弗协调逻辑为例

广西社会科学 2010年第12期 51-54页

作者：彭媚娟广东工业大学文法学院广东广州510006

为了适应新的需要,经典逻辑应在原有系统的基础上,建立新系统,提出新型的语义解释。弗协调逻辑可以对经典逻辑进行进一步的修正,但这种修正是局部的,并非根本性的。经典逻辑与弗协调逻辑是"前身"与"延伸"的关系,弗协调逻辑包含了经典逻... 详细信息

为了适应新的需要,经典逻辑应在原有系统的基础上,建立新系统,提出新型的语义解释。弗协调逻辑可以对经典逻辑进行进一步的修正,但这种修正是局部的,并非根本性的。经典逻辑与弗协调逻辑是"前身"与"延伸"的关系,弗协调逻辑包含了经典逻辑,可以取代经典逻辑。

关键词：经典逻辑局部修正弗协调逻辑关系