一阶逻辑命题符号化的研究

一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,而一阶逻辑命题符号化是一阶谓词逻辑的基础,把自然语言用离散数学的相关符号转化为谓词公式。文章着重分析自然语言含有三个或三个以上谓词的命题符号化,将每句自然语言分解成多个复合的主谓语,按照“”量词与“→”联结词搭配,“”量词与“∧”联结词搭配的规则进行符号化。通过一阶逻辑命题符号化,利用一阶逻辑等值式及推理规则能高效率处理和解决自然语言领域的相关问题。

言语理解中的知觉符号表征与命题符号表征

采用移动窗口技术探讨言语理解中信息表征的方式。被试为华南师范大学本科生 96名。实验材料按照探测图画中物体的形状跟先前阅读的句子中描述的物体的隐含形状的关系总体上分为两类,一类是匹配版本,一类是不匹配版本。采用相关样本t检验分别对两种条件下图画再认的反应时间和正确率进行统计分析。实验 1中被试读完句子以后马上进行图画探测任务,结果表明这时被试头脑中进行的是知觉符号表征。实验 2中被试的阅读任务难度增大,结果表明这时被试头脑中进行的是命题符号表征。实验 3中被试阅读的关键信息进入长时记忆以后再进行图画探测任务,结果表明这时被试头脑中进行的也是命题符号表征。总的实验结果表明言语理解中既存在知觉符号表征,也存在命题符号表征,知觉符号表征是信息表征的一种早期状态,人类头脑中最终的信息表征形式主要是命题符号表征。

情境模型的实质:命题符号与知觉符号之争

阅读理解中情境模型的建构是当今阅读研究的热点。传统命题符号理论认为情境模型是组相关命题,是非模式符号系统;随着知识表征理论的发展,知觉符号理论认为情境模型的建构包括模式符号系统,即含有知觉符号。文章对比了两种理论对情境模型的不同解释,并介绍了相关的实证研究,最后对未来验证两种理论的研究方向进行了展望。

颜色概念的知觉符号表征与命题符号表征

使用启动范式通过两个实验检验颜色概念的表征是知觉符号表征还是命题符号表征。实验1使用显性颜色概念,即颜色词;实验2使用隐性颜色概念,即隐含颜色信息的词。实验结果表明显性颜色概念的表征是知觉符号表征,而隐性颜色概念的表征是命题符号表征。

离散数学教学中的命题符号化难点讨论

离散数学是计算机科学与技术专业的一门重要的专业基础课程，而数理逻辑是其最复杂内容之一，而进行逻辑推理首先要进行命题符号化，如何进行准确的命题符号化正是本文要讨论的问题。

离散数学命题符号化的三种方法

命题符号化是离散数学课程的重要内容,看似简单,学生在学习过程中却常常犯错,甚至经典教材配套用书也存在一些错误.针对这一教学难题,分析出错的原因,并结合教学实际,提出了解决命题符号化问题的三种方法:真值表法、类比法和平衡主谓法.

解析命题符号化

在命题逻辑学的整个推理过程中 ,命题准确、正确的符号化是关键的、重要的第一步 .若命题符号化是错误的 ,则最终的推理结果必然错误 .在有关“命题逻辑学”的教材及参考书中对此缺乏详细的介绍及讲解 ,本文结合教学对命题符号化中的一些问题进行探讨 .

命题符号理论中知识表征思想的发生学追问

命题符号理论以命题作为知识表征的基本单位,但对命题之“从何而来、如何而来”尚未厘清。研究聚焦构成命题的奠基元素,基于知识发生的视角看知识表征,对既有理论的表征机理展开发生学追问;通过回溯哲学认识论层面上“知识何以可能”问题的思想成就,尝试自先验条件开始把握命题的发生发展机理,在发生学的意义上对既有命题表征问题给出新的诠释;进一步阐述对于认知心理学、语言学等部门科学以及知识表征工作的启发和建议。

数理逻辑中谓词命题符号化的难点解析

本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验，总结谓词命题符号化的学习要点和难点，从而帮助学生更高效地学习好数理逻辑．

关于一阶逻辑命题符号化的思考

命题符号化是逻辑推理的基础，本文讨论一阶逻辑命题符号化需要注意的几个问题，帮助学生更好地掌握一阶逻辑的命题符号化。

作为话语命题符号基底的模态符号研究

本文基于根植认知理论,在对模态符号进行重新界定的基础上,对话语模态符号与命题符号的关系进行了探究。话语的运作,从根本上讲,来自模态符号和命题符号的相互转换;从话语生成视角体现为模态符号到命题符号的转换,命题符号是模态符号的体现形式,而从话语识解视角则体现为命题符号到模态符号的转换。因此,模态符号作用于话语运作的全过程,是命题符号的基底。本研究能够为话语运作研究提供一个新视角。

命题形式与命题的符号化

命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入,导致了命题的符号化和命题形式之间的相对分离,使命题形式已不能简单地等同于命题的符号化。命题的符号化可以借助非逻辑常项实现,但纯命题形式不包含非逻辑常项,在纯形式推演中也没有真正意义上的非逻辑常项。

符号消费理论的认知边界与假命题

传播学研究者大都认同鲍德里亚的符号消费理论,认为消费者在大众传媒的渲染下追求商品的象征意义而抛弃其实用价值,热衷于体验商品符号的某些快感。鲍德里亚的理论既有某些合乎情理的知识,也有虚幻、荒谬的观点,很多论述把真命题与假命题混杂在一起,充满似是而非的幻觉和自相矛盾的论证。

知觉符号理论刍议

认知科学研究中一个核心问题是知识在头脑中是如何表征的。其中占主流的理论一直是命题符号理论,受体验哲学和体验认知的推动以及知觉和认知的关系发生转变的影响,Barsalou针对命题符号理论的不足提出了知觉符号理论。知觉符号理论做为第二代认知科学的代表性理论之一,提出后获得了许多实验证据的支持。当然,该理论也存在着一些问题,有待于研究者进一步探讨。

关于命题逻辑中两个问题的思考

针对学生在学习命题逻辑时有困难的两个基本问题,运用实例进行了分析说明,较好的解决了学生学习过程中的困难。

函数在谓词逻辑符号化中的应用

针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。

建筑形式符号的评析

本文从以下几个方面探讨了建筑形式符号的评析问题:符号的注释方法;影响符号评析的因素分析;符号的评析依据以及实例分析。

命题的一个新定义与命题的同一性问题

命题曾被定义为某些句子,但句子没有固定的真值。命题曾被定义为句子的意义,但"意义"这个概念并不比"命题"更清晰。还原论把命题定义为一种由可能世界、可能的个体等组成的集合论性的构造物,但这种理论意味着全部的逻辑真理表达的是同一个命题。命题曾被定义为是一些态度(如相信)的对象和真值的承担者;就是说,命题是由它与其他对象(如人,真值)的关系来定义的;这种定义使人们有理由怀疑命题是否真正存在,抑或是态度主体(人)的一种幻觉?命题的内容可以千变万化,但命题的内容却有共同的形式,不仅命题逻辑、一阶逻辑所表达的命题,而且二阶逻辑等高阶逻辑、非经典逻辑的命题,都能纳入这种形式。根据这一点我们提出了一个新的对命题的定义。这样定义的"命题"概念更加清晰,能让我们解决命题的同一性问题。