孙明湘
- 作品数：22 被引量：28H指数：3
- 供职机构：中南大学公共管理学院哲学系更多>>
- 发文基金：湖南省哲学社会科学基金更多>>
- 相关领域：哲学宗教理学文化科学自然科学总论更多>>
- 论金岳霖的逻辑观被引量：1
- 2004年
- 金岳霖站在现代逻辑学科的前沿 ,提出逻辑的实质是穷尽所有可能的必然命题 ,逻辑系统是研究逻辑的工具 ,各逻辑系统的不同 ,不是实质的不同 ,而是表达实质的具体工具不同。实质上各系统都是在一定范围内对可能的穷尽 ,而由于或者是推论的工具的不同如实质蕴涵与严格蕴涵 ,或者是表示可能 (即命题 )的工具的不同如二值与多值等 ,导致了不同的逻辑系统。金岳霖还从逻辑的实质和工具两方面对“必然”、“推论”、“同一、排中、矛盾思维三原则”等基本概念作了深入的阐述。
- 孙明湘
- 关键词：金岳霖逻辑观
- 逻辑演算与形式化方法被引量：3
- 2003年
- 逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质。
- 孙明湘李霞飞
- 关键词：形式化
- 浅析波普尔的证伪主义——波普尔对“分界问题”与“归纳问题”的解决被引量：2
- 2008年
- 证伪主义是波普尔在批判归纳主义与证实原则的基础上建立起来的。证伪原则既是波普尔解决"分界问题"与"归纳问题"的关键,也是他的科学认识论与方法论的基础。波普尔的证伪主义为科学与哲学的发展提供了重要经验,但也面临许多困难。
- 孙明湘陈娜
- 关键词：波普尔证伪主义
- 论在不同逻辑系统中的排中律被引量：2
- 2010年
- 作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷性等假定的修正,排中律不再是该类系统中的可证公式,因而丧失其有效性。作为逻辑真理的排中律同任何真理一样,是普遍性与相对性的对立统一。
- 孙明湘
- 关键词：排中律逻辑系统非经典逻辑
- 数理逻辑中的归纳定义和归纳证明被引量：2
- 2004年
- 运用数学归纳法能证明一个表示逻辑定理的全称命题的真实性,即通过证明一集合对象具有某性质,从而证明该集合所有对象具有该性质,其原因在于用归纳法证明的集必须首先是一个用归纳定义给出的归纳集,它是与自然数集相同的最小归纳集,它具有封闭性,即:如果该集合的初始元有某性质,并且有一生成函数使得在初始元基础上,可不断生成新的元,如果这些生成元也有该性质,那么由生成元运用生成函数所生成的其他生成元,也有该性质,于是可断定,该集合中所有元都有该性质。归纳集所具有的这种封闭性质,就是数学归纳法原理。它是一前件真而后件不能假的蕴涵命题,因此归纳证明实际是通过证明它的前件(奠基和归纳两步)真,从而证明后件(归纳命题)必然真的演绎证明。
- 孙明湘沈旭明
- 关键词：数理逻辑自然数集
- 试论赖欣巴哈的意义理论
- 2004年
- 意义和意义理论是当代许多哲学派别和哲学家从事哲学研究时不可或缺的部分。赖欣巴哈从对意义的概念分析入手 ,对意义理论进行了细致的分析研究 ,指出了逻辑实证主义的真理的意义理论的证实原则所遇到的困难。为克服其困难 ,他将自己的概率理论运用于意义理论提出了概率的意义理论 ,使实证主义的意义理论得以进一步发展。对意义理论的发展和研究都具有重要价值。
- 孙明湘沈旭明
- 规范逻辑简论被引量：1
- 1998年
- 规范罗辑是在经典命题逻辑基础上增加了"应当"、"允许"、"禁止"等规范楼态词所构成的非标准逻辑，其规范命题形式的逻辑性质除了具有真值性外还具有合理性问题。由于对其合理性的不同理解，又构成了不同的规范逻辑系统，如根据规范模态词在不同的规范可能世界中不同的逻辑关系．形成了DT、DS4、DS5等系统；根据规范模态词既绝对又相对的性质，形成了一元（绝对）、二元（相对、等系统。规范逻辑就是运用公理方法或模型方法研究规定命题形式语法或语又有效性的形式系统。
- 孙明湘
- 关键词：有效性
- 弗雷格的真值函项理论被引量：2
- 1997年
- 本文就G·弗雷格为构建一阶逻辑语言，把数学概念“函项”、“主目”、“值”等，通过类比和普遍化方法而用以分析命题的逻辑结构，并用以重建谓词公式的真值函项理论作一简要阐述和分析。
- 孙明湘
- 关键词：弗雷格谓词一阶逻辑
- 关系命题的语形和语义——一个逻辑分析的实例被引量：2
- 2004年
- 当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达和理解这类命题的含义以及它们之间的关系?这是现代逻辑必须研究和解决的问题。可以运用一阶逻辑工具及其解释的方法,分析该类命题的语形和语义,揭示不同量词在关系命题中位置变化的规律,对关系命题相应的普效式、可满足式给出严格的证明,从而提供一个逻辑分析实例。
- 孙明湘李建华
- 关键词：语形语义存在量词全称量词逻辑
- 论塔斯基的语义性真概念被引量：2
- 2007年
- 塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。
- 孙明湘李建华汪慧英
- 关键词：塔斯基真理
