检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

《墨经》的单称命题概述

中国哲学史 2008年第1期 52-58页

作者：韩国建上海古籍出版社

沈有鼎认为'或谓之牛,或谓之非牛'[1]中的句子'这是牛'、'这不是牛'是一对'矛盾命题'.[2]周云之、刘培育进而认为是'单称矛盾命题'.[3]但是沈有鼎等并没有给出文本的句子,命题、单称命题,本文认为,在确定出句子,命题、单称命题后这些说... 详细信息

沈有鼎认为'或谓之牛,或谓之非牛'[1]中的句子'这是牛'、'这不是牛'是一对'矛盾命题'.[2]周云之、刘培育进而认为是'单称矛盾命题'.[3]但是沈有鼎等并没有给出文本的句子,命题、单称命题,本文认为,在确定出句子,命题、单称命题后这些说法是可以成立的.本文将对单称命题等的认识作一概述.

关键词：单称命题《墨经》矛盾命题沈有鼎句子

在线全文

学校读者我要写书评

暂无评论

对单称命题划归为全称命题的商榷

理论探讨 1995年第3期 82-84页

作者：张忠义中共佳木斯市委党校

对单称命题划归为全称命题的商榷张忠义国内绝大多数教材都把单称命题（判断）划归为全称命题。国内比较权威的两本教材《形式逻辑》（中国人民大学哲学系逻辑教研室编，中国人民大学出版社１９８４年第２版）和《普通逻辑》（普通逻辑... 详细信息

对单称命题划归为全称命题的商榷张忠义国内绝大多数教材都把单称命题（判断）划归为全称命题。国内比较权威的两本教材《形式逻辑》（中国人民大学哲学系逻辑教研室编，中国人民大学出版社１９８４年第２版）和《普通逻辑》（普通逻辑编写组编，上海人民出版社１９８６年...

关键词：单称命题全称命题传统逻辑包含于关系亚里士多德属于关系三段论现代逻辑矛盾关系传递关系

在线全文

学校读者我要写书评

暂无评论

单称命题、真理与指称(英文)

逻辑学研究 2015年第3期8卷 88-100页

作者：何朝安东华大学人文学院

单称命题观念的可理解性和合法性是当代弗雷格主义语义学与罗素主义语义学争论的焦点问题。在模态结构下,单称命题观念与一系列强有力的基本假设相冲突。普兰廷加等人发展了一个专门针对单称命题的标准论证,试图通过归谬论证来证明单称... 详细信息

单称命题观念的可理解性和合法性是当代弗雷格主义语义学与罗素主义语义学争论的焦点问题。在模态结构下,单称命题观念与一系列强有力的基本假设相冲突。普兰廷加等人发展了一个专门针对单称命题的标准论证,试图通过归谬论证来证明单称命题观念是不融贯的。面对之于单称命题理论的这一挑战,一种颇具潜力的应对策略是区分两种真理观念,即命题在"世界里"为真与命题在"世界上"为真的区分。此策略试图表明,承诺单称命题"在世界上为真"并不导致与基本假设相冲突。本文在此专门考察这一策略的可行性。基于真理问题与指称问题的内在联系,即语句指称(真值)是语词指称的函项,我们力图证明,两种真理观念的区分实际上可还原为著名的顽固指称固定性和持续指称固定性的区分。而后一区分可以相当严格地在卡普兰的二维语义学框架下得到说明。此框架的实质基础是指称纳入的概念。文章基于对空名语义学的相关分析,通过借鉴埃文斯的描述性名称构造方式,构造了一种独特的绝对空名。最后,以此为基础,我们试图表明卡普兰框架下的指称"纳入"概念难以贯彻到底,继而,以之为基础来为单称命题观念提供辩护的策略也难以维系。

关键词：单称命题 proposition 归谬论证 truth 可理解性 notion 弗雷格 names

在线全文

学校读者我要写书评

暂无评论

单称命题与全称命题的分与合

广西社会科学 2004年第3期 21-22页

作者：岳利民长沙理工大学中文系湖南长沙410077

探讨单称命题与全称命题在什么情况下应该分 ,在什么情况下应该合。

关键词：单称命题全称命题分合普通逻辑学换质法换位法命题变形推理

在线全文

学校读者我要写书评

暂无评论

关于单称命题的三段论推理

贵州工程应用技术学院学报 2018年第4期36卷 70-76页

作者：张晓君田凤琳四川师范大学逻辑与信息研究所四川成都610068

大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念:"在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。"通过利用有效的单称命题三段论但其对应的直言三段论却是无效的11个事实,强而有力地否定了这... 详细信息

大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念:"在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。"通过利用有效的单称命题三段论但其对应的直言三段论却是无效的11个事实,强而有力地否定了这一观念。经过提出的25个事实表明:利用广义量词理论和集合论,不仅可以形式化地表示关于单称命题的三段论,而且还可形式化地判断和证明其有效性及相关语篇推理的有效性。这些形式化的创新研究有利于语言学(包括计算语言学)、认知科学、人工智能、计算机科学中的知识表示和知识推理等相关研究的发展。

关键词：单称命题全称命题直言三段论有效性

在线全文

学校读者我要写书评

暂无评论

真之同一论与单称命题

逻辑学研究 2012年第4期5卷 77-87页

作者：刘满新中山大学逻辑与认知研究所

麦道的哲学试图抹去心灵与世界之间的本体论间隙。为了实现这一哲学计划,麦道需要接受某种真之同一论。本文认为,麦道所需要的是真之坚实同一论,并且承诺关于罗素式单称命题。本文首先论证真之同一论论题,然后更进一步,在麦道的哲学计... 详细信息

麦道的哲学试图抹去心灵与世界之间的本体论间隙。为了实现这一哲学计划,麦道需要接受某种真之同一论。本文认为,麦道所需要的是真之坚实同一论,并且承诺关于罗素式单称命题。本文首先论证真之同一论论题,然后更进一步,在麦道的哲学计划下辩护真之坚实同一论,认为真命题与世界中的事实同一。本文并非要给出一个对同一论或坚实同一论的完整理论,而是试图在麦道的哲学计划下给出一个对坚实同一论的辩护,认为坚实同一论是可行的。

关键词：真理论同一论单称命题

在线全文

学校读者我要写书评

暂无评论

论单称命题的特点

湘潭师范学院学报（社会科学版） 2008年第4期30卷 13-15页

作者：李芬芬湘潭大学哲学系湖南湘潭411105

以往的逻辑学论著中都是把单称命题归于全称命题讨论,这样处理是不妥当的。单称命题的定义、单称命题的逻辑值以及单称命题在三段论中的处理问题上都有自己的特点,不能简单地把单称命题完全划归到全称命题考虑。

关键词：单称命题定义逻辑值三段论

普遍的逻辑该如何关乎个体对象:从亚里士多德到弗雷格

在线全文

学校读者我要写书评

暂无评论

湖北大学学报（哲学社会科学版） 2024年第4期51卷 97-104页

作者：余欢浙江大学哲学学院浙江杭州310014

研究逻辑史的学者们在比较现代与传统逻辑之间的差异时,视角往往聚焦于现代逻辑在处理关系以及多量词命题时所具有的强大解释力,忽略了个体对象、名字以及单称命题的作用。逻辑作为一门普遍学科如何关乎个体对象,是一个可以借此梳理和... 详细信息

研究逻辑史的学者们在比较现代与传统逻辑之间的差异时,视角往往聚焦于现代逻辑在处理关系以及多量词命题时所具有的强大解释力,忽略了个体对象、名字以及单称命题的作用。逻辑作为一门普遍学科如何关乎个体对象,是一个可以借此梳理和对比传统与现代逻辑的问题。可以看到,传统逻辑选择避免讨论个体甚至衍生出了一套“化个体为普遍”的理论及方法;而现代逻辑则肯定了个体、名字和单称命题的逻辑表现,乃至它们在表达逻辑普遍性中不可或缺的作用;逻辑普遍性因此就和个体的给出方式,也就是传统逻辑对名字的“类名化”处理以及现代逻辑对个体变元的使用,息息相关。所以逻辑学虽然是关乎思维内容的学问,同时也更加关注表达思维内容的不同方式,特别是由语言形式本身的改变而带来对逻辑普遍性的全新理解。

关键词：普遍性单称命题对象名字

在线全文

学校读者我要写书评

暂无评论

弗雷格式思想与罗素式命题

学术研究 2008年第9期 28-33页

作者：任远中山大学逻辑与认知研究所

本文从克里普克所攻击的所谓"弗雷格—罗素的描述主义传统"出发,比较了弗雷格和罗素在处理单词词项的语义值方面的分歧并检讨了背后的方法论进路的差异:对于弗雷格,其涵义指称区分的二层次意义理论的基础是以"求真"为核心的数学—逻辑哲... 详细信息

本文从克里普克所攻击的所谓"弗雷格—罗素的描述主义传统"出发,比较了弗雷格和罗素在处理单词词项的语义值方面的分歧并检讨了背后的方法论进路的差异:对于弗雷格,其涵义指称区分的二层次意义理论的基础是以"求真"为核心的数学—逻辑哲学;对于罗素,以"亲知原则"为典型特征的认识论立场则是其指称理论的出发点。文章进一步比较了弗雷格式思想和罗素式命题的不同特征并讨论了它们对新指称理论的影响。

关键词：弗雷格罗素指称思想单称命题