张顺
- 作品数:5 被引量:8H指数:2
- 供职机构:南京大学哲学系更多>>
- 发文基金:国家社会科学基金江苏省社会科学基金更多>>
- 相关领域:哲学宗教更多>>
- 受限量化域与实质蕴涵“严峻反例”的化解——四论从形式蕴涵看“实质蕴涵怪论”被引量:1
- 2020年
- 从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用,并非对条件句命题逻辑刻画的“高层次的重复”。基于受限量化域的特殊形式蕴涵,是化解“严峻反例”的基本工具。准确理解命题函数和逻辑量词,清晰分辨命题与命题函数、条件命题与条件句,对于把握形式蕴涵化解路径起着关键作用。关于“吉伯德反例”等“极严峻反例”的化解,需诉诸刻画“多重概括”的量词叠置型形式蕴涵。以受限量化域和特殊形式蕴涵刻画某些自然语言条件句的逻辑形式,澄清认知共同体关于这些语句的“为假直觉”或“为真直觉”之逻辑机理,有助于将经典逻辑正确运用于自然语言理解,对逻辑教学体系改革也具有重要意义。
- 张建军张顺
- 关键词:形式蕴涵
- 条件句的语义排歧与假设性思考的量化机制——五论从形式蕴涵看“实质蕴涵怪论”被引量:1
- 2021年
- 能够使用条件句做假设性思考,是人类理性思维的一种重要特征。自然语言条件句的语义排歧,需要在区分条件句与条件命题、命题与命题函数的基础上,更多地关注使用受限量化域的特殊形式蕴涵。在珀尔因果模型论的基础上对共伴式和干预式假设性思考的研究,使得假设性思考中基于形式蕴涵的量化机制得以清晰呈现。通过对量化机制的把握解决"实质蕴涵怪论"问题造成的假设性思考疑难,消除因果模型论的"反经典外貌",维护实质蕴涵理论的基础性和普适性,经典逻辑在人类智能和人工智能研究中的基础功能和作用可得到进一步开掘。
- 张建军张顺
- 关键词:条件句形式蕴涵
- 科学确证的贝叶斯网络模型被引量:3
- 2016年
- 科学确证的假说-演绎模型与贝叶斯确证模型分别体现了定性确证与定量确证的内涵,然而科学确证是一个在纵横方向都具备复杂内涵的问题,两种模型均没克服因确证本身的复杂性与非单调性所带来的一些难题。为此,将贝叶斯网络方法运用到确证理论的建构中,通过图论与贝叶斯确证理论的结合开拓确证理论研究的新进路,并构建贝叶斯确证网络的简单模型。同时,从模型的定义、结构建模、推理等方面阐述贝叶斯确证网络的基本内容。
- 张顺
- 罗素的形式蕴涵思想辨析——三论从形式蕴涵看“实质蕴涵怪论”被引量:3
- 2016年
- 罗素的形式蕴涵思想,经历了一个从不成熟到成熟的过程。在首次提出基于命题函数的"形式蕴涵"概念的《数学的原则》中,由于罗素尚不具有清晰的逻辑量词观念,其使用"变元蕴涵"和"两个断定间的关系"对形式蕴涵的解释,存在多重混淆与失误之处。在深入研究弗雷格的著作并掌握逻辑量词理论之后,罗素的形式蕴涵思想实现了"完型转换",形成了成熟期的清晰认识。把握罗素的思想历程及其对基本的"实质蕴涵怪论"问题的解决,对于理解"从形式蕴涵看实质蕴涵怪论"的研究进路,具有重要启发价值。
- 张顺张建军
- 关键词:形式蕴涵
- 寇里悖论与弗封闭模式之辨——兼谈悖论的实质
- 2023年
- 普利斯特用弗封闭模式将若干集合论悖论和语义悖论统一为“同一种悖论”,进而根据统一解法原理论证其“双面真理论”的解悖优势。但他坚持将寇里悖论排除在弗封闭模式之外,引起了广泛争议。他在严格区分寇里语句与寇里论证的基础上回应了比尔等人的质疑,但将悖论的实质归于论证并不能成功区分寇里悖论与弗封闭悖论。回顾寇里本人的工作,寇里语句的构建是寇里悖论最终建构的关键要素,也是区分其集合论版本与语义版本的直接依据。因此与寇里语句紧密相关的理论背景与事实才是寇里悖论的实质所在,弗封闭模式依据论证形式统摄罗素悖论与说谎者悖论却排斥寇里悖论的做法是不恰当的,悖论的“属概念”是理论事实而非论证,悖论的分类应当以理论背景为标准。
- 施迎盈张顺