共查询到20条相似文献，搜索用时 140 毫秒
1.
《科学技术哲学研究》2015,(5)
为了探索内涵语言的双重性,就需要研究外延逻辑语言之外的本体论承诺。拉约(Rayo)建议利用可能世界语义理论解释本体论承诺,认为任意特定的语义都可看作是用来阐述本体论承诺的不同框架,因此,需要在对象的真实存在和根据语义理论指派的对象的存在之间做出区分。在可能世界语义理论中,解释反事实的情况则更加复杂。拉约对奎因的本体论标准的重建进行了剖析,并讨论了克里普克的语义理论及其对本体论承诺的传承。外延逻辑的语义,特别是一阶逻辑,无法跨越某些特定的理论来确定意义问题。可以用外延主义的方法来理解本体论承诺,普特南利用该方法说明了意义是确定的。 相似文献
2.
逻辑经验主义的意义理论认为经验事实是句子的意义基础和证实标准。这一理论在处理有关某物存在的命题时会导致矛盾,无法自圆其说。蒯因提出“本体论承诺”的思想,将某物存在这一经验事实理解为对句子做语义分析之后,根据某种本体论思想所做出的承诺;由此,逻辑经验主义所遭遇的难题可以得到一种解决。逻辑经验主义具有还原论的特征,蒯因的“本体论承诺”则是一种整体论思想。 相似文献
3.
《科学技术哲学研究》2016,(3)
奎因提出的本体论承诺的逻辑或语言的标准主要是为了讨论本体论承诺和语义之间的关系,是关于一阶语句的形式分析。对奎因的本体论承诺标准的批判主要有两条可能的进路,其一是对本体论标准的哲学价值的批判分析,其二是对奎因的系统化方法的局限性进行批判。语言逻辑的研究由外延研究向内涵研究的转变同样与探索本体论承诺有关。霍奇和拉约分别从这两方面对奎因的本体论标准进行了批判。 相似文献
4.
科学的本体论问题随着科学技术的发展而逐渐成为研究的对象,它在信息科学和人工智能领域被赋予新的内涵。本体论承诺为逻辑视阈下开展人工智能道德的研究提供了本体论预设。在运用具有可解释优势的逻辑工具开展人工智能道德研究的技术实现和现实应用中,通过对所要构建的逻辑模型所涵盖的特定领域世界的概念和关系做出本体上的承诺,回应人工智能道德的本体诉求。 相似文献
5.
张华夏 《河北师范大学学报(哲学社会科学版)》2002,25(3):9-14
从哲学与科学的区别与联系来看,现代科学,特别是系统科学和复杂性科学,已常常地进入了哲学本体论的领域,从“拒拆形而上学”运动的失败来看本体论研究也是可能的,实践唯物论也有本体论的承诺,而且是自然本体论的承诺,世界的终极在不是确定的“存在者”,而是不确定的存在本身。 相似文献
6.
安平平 《南昌教育学院学报》2010,25(5):8-8
本体论是哲学学说中最基本的理论,它是哲学理论体系的理论中心,是哲学学说的基础、出发点和逻辑进展主线。在本质的意义上,实践是人的存在的基础,是社会产生和发展的基础,是现存世界存在和发展的基础。因此我们说,马克思哲学的本体论是实践本体论。 相似文献
7.
任百成 《和田师范专科学校学报》2008,28(6):11-12
本体论是哲学学说中最基本的理论。它是哲学理论体系的理论中心,是哲学学说的基础、出发点和逻辑进展主线。在本质的意义上,实践是人的存在的基础。是社会产生和发展的基础。是现存世界存在和发展的基础。因此．我们说,马克思哲学的本体论是实践本体论。 相似文献
8.
万小龙 《淮阴师范学院学报(哲学社会科学版)》2012,(3):322-326,420
现代模态逻辑其实是按一阶逻辑公理和规则对经典真值函数做分类研究。模态命题逻辑中任一个可能世界集W仅表示与某一公理模式相应的一组二真值函数,相应的可能世界间的关系R就是这组真值函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数式按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。 相似文献
9.
规范逻辑简论 总被引：1，自引：0，他引：1
孙明湘 《湘潭师范学院学报(社会科学版)》1998,(2)
规范罗辑是在经典命题逻辑基础上增加了"应当"、"允许"、"禁止"等规范楼态词所构成的非标准逻辑,其规范命题形式的逻辑性质除了具有真值性外还具有合理性问题。由于对其合理性的不同理解,又构成了不同的规范逻辑系统,如根据规范模态词在不同的规范可能世界中不同的逻辑关系．形成了DT、DS4、DS5等系统;根据规范模态词既绝对又相对的性质,形成了一元（绝对）、二元（相对、等系统。规范逻辑就是运用公理方法或模型方法研究规定命题形式语法或语又有效性的形式系统。 相似文献
10.
毛泽东虽然没有留下系统的哲学本体论的专著和文章,但是并不代表他没有自己的哲学本体论思想.通过研究他的著作可以发现,毛泽东作出了自己对本体论的承诺,就是实践唯物主义.实践唯物主义不是实践本体论也不是旧唯物主义,毛泽东继承了马克思关于实践的经典论述,并且丰富了它的内涵、形式等.重新认识毛泽东的哲学本体论思想对完整理解毛泽东思想有着重要理论和实践意义. 相似文献
11.
对诸如未来偶然命题,二值逻辑解决不了,三值逻辑应运而生。如今,三值逻辑理论沿着不同路线已得到迅速发展,其应用范围也日益广泛。主要的三值逻辑系统有L3、B3、K3、R3、P3。它们都对二值逻辑的限制有所突破,都在某种意义上显示出"亦此亦彼"的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,反映了各自产生的背景与目的。 相似文献
12.
亚里士多德关于命题主词的逻辑分析 总被引：1，自引：0，他引：1
滕定明 《江西教育学院学报》2004,25(4):25-28
在亚里士多德逻辑学视野中,任何一个命题,它的主词总是有所指的,或者指称客观域里的对象,或者指称非客观的虚拟域里的对象。亚里士多德确信:命题之间的反对关系以及矛盾关系能够在任一世界成立,无论命题主词所指对象是否在这个世界里存在。 相似文献
13.
限悖论逻辑(有时简称为悖论逻辑)Lpm是一种对悖论中的矛盾进行限制的逻辑。其中L表示逻辑,P表示悖论,而m表示极小化,极小化意味着限制。这里,限制矛盾的基本手法是次协调逻辑。我们说,限悖论逻辑Lpm建立的目的,正是为了消解布尔、弗雷格(BF)的经典逻辑BF中引入矛盾命题后,可以推出任意命题(这称为句法的无意义化或平庸化)这样一个难题,同时又保持BF逻辑中对联词的原有相互定义方式(这种方式受到很多人的欢迎)。Lpm由Priest首先提出语义模型,它对证明论的经典形式曾作为挑战性问题而存在。就限悖论逻辑Lpm而言,其命题逻辑的新证明论最终由林作铨博士及李未教授解决。循此前进,本章给予另一种严格形式的、更普遍的表述,并为统一地解决谓词逻辑的“证明论”提供基础。这是我们对这一问题所做的新工作。 相似文献
14.
必然命题是逻辑学中一类重要命题，自从有了可能世界的理论．关于必然命题种类的探讨越来越深入，具体。本文初步探讨了关于必然命题的一些主要种类。 相似文献
15.
《信阳师范学院学报(哲学社会科学版)》2022,(2):1-6
中世纪是逻辑学发展的重要时期,指代理论是中世纪独具特色的理论,指代理论是讨论命题中的词项与其所指对象关系的理论,它提供了一种独特的语言分析途径和方式。奥卡姆的指代理论是中世纪指代理论中颇具代表性的理论,它表明直言命题中的主项和谓项都具有指代的性质,指代对判定单称命题、特称命题、全称命题、不定命题、过去时和将来时的命题、模态命题的真值起到重要作用,从而得出指代对把握命题真值起到基础性作用。 相似文献
16.
经典逻辑视野中的弗协调逻辑 总被引：2，自引：0，他引：2
杜国平 《华南师范大学学报(社会科学版)》2007,(5):19-24
以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别;由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑,但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的,这正如非欧几何之与欧氏几何。 相似文献
17.
通过两次问卷调查可以发现,绝大多数调查对象直观上都认为：理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画：理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。 相似文献
18.
19.
苗启明 《昆明师范高等专科学校学报》2012,(2):26-30
人的思维处在与主体、与客体和与自体的三维制约关系中：主体维与对象维结合形成思维中的认识,这是认识论的课题;主体维与自体维结合形成思维中的逻辑,这是逻辑学的课题;而对象维与自体维结合则把认识与逻辑统一了起来,形成思维的具体运行方式,这是思维方式论的课题。当思维客体是辩证的且以辩证思维方法加以把握时,就会形成辩证思维方式。这就是辩证逻辑的对象。它从在本质上是关于辩证思维方式研究的应用逻辑。 相似文献
20.
罗翊重 《昆明师范高等专科学校学报》2011,(4):23-31
逻辑矛盾仅是“量词-质词-真值词”皆矛盾的非等值关系命题,辩证矛盾仅是“主词-谓词-命题词”皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之“指断合一”的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。 相似文献