湖南省哲学社会科学基金(06YB62)
- 作品数：9 被引量：17H指数：2
- 相关作者：李红革孙明湘李建华刘霖汪慧英更多>>
- 相关机构：湖南科技大学湘潭大学中南大学更多>>
- 发文基金：湖南省哲学社会科学基金更多>>
- 相关领域：哲学宗教文化科学自然科学总论更多>>
- 逻辑哲学的对象、范围及与相关学科的关系
- 2006年
- 逻辑哲学研究由逻辑所提出或引起的各种哲学问题,其研究对象主要包括三部分内容:1.关于逻辑的哲学分析;2.对各种逻辑系统内部所提出的各种问题作出哲学回答;3.对于逻辑和哲学的基本概念的精细分析。逻辑哲学与哲学逻辑、元逻辑、语言哲学在研究对象上和研究的范围是既有区别又有联系的。
- 李建华
- 关键词：逻辑哲学元逻辑语言哲学
- 内涵的刻画与认知的可能世界——兼评查尔莫斯的二维语义理论被引量：2
- 2007年
- 解决同义性问题的一个重要困难在于:断定表达式有相同的意义包含了如下的假定———不同的说话者用音节划分世界的方式是一样的。因此,同义性问题不仅涉及指称问题,也涉及说话者如何使用语言的问题,而这也是"分析性"和"内涵"这些概念何以导致众多争论的重要原因之一。查尔莫斯认为,为了刻画表达式的内涵,必须区分认知的可能世界和模态的可能世界,从而利用理性(说话者使用语言的方式)和模态(真实世界的可能状态)构建出"意义"的解释。
- 荣立武李建华
- 论塔斯基的语义性真概念被引量：2
- 2007年
- 塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。
- 孙明湘李建华汪慧英
- 关键词：塔斯基真理
- 逻辑真理与哲学真理比较研究
- 2007年
- 人类的思维与外部世界的关系一直都是哲学的重要内容,真理是它们之间相符合的重要哲学范畴。但是,逻辑哲学的真理理论却是一种与经典哲学完全不同的真理理论,因此,了解逻辑哲学真理理论的基本内容及其目的,将它与经典哲学真理观区别开来,有利于人们正确认识逻辑哲学真理理论的价值及作用。本文的主要内容就是简要介绍逻辑哲学真理理论与经典哲学真理理论的主要特点,并对它们之间的区别做出简单的论述。
- 孟坦李建华
- 关键词：真理真理理论逻辑哲学
- 论推类与传统类比推理被引量：6
- 2007年
- 类比推理在人类的认识史上起着重要的作用,在中国古代,推类这一推理形式备受重视并占主导地位。到了近代,西方传统逻辑传入中国,传统类比推理在中国文化的土壤中成长并获得长足发展。中国古代逻辑中的推类与传统逻辑中的类比推理本质相同,但又有其各自不同的形式、特点和运用。
- 刘霖
- 关键词：推类
- 论逻辑的有效性及其判定被引量：1
- 2006年
- 推理形式的有效性是逻辑学的核心概念。由于现代逻辑的形式系统化,推理形式的不同类型构成了不同的逻辑系统,有效性概念相对于不同的系统而言,具有相对性和层次性。同时,系统内的有效性又分为语形有效性与语义有效性,它们分别可由形式证明的方法和语义解释的方法加以判定。
- 孙明湘李建华
- 关键词：逻辑有效性
- 形式化及其历史发展被引量：5
- 2008年
- 形式化方法是现代逻辑最重要的方法。它把精确性、严格性、显明性、能行性和普遍性等等特性带入理论研究之中,促使理论研究走向深入与深化。形式化方法有一个从萌芽到逐步成熟、定型的过程,这个过程就是实质公理化、抽象公理化、形式公理化。考察形式化方法的历史发展,有助于我们把握这种方法的实质、发展趋势及其作用。
- 李建华李红革
- 关键词：形式化形式化方法历史发展
- 事物存在的两种形式及其逻辑意义
- 2008年
- 李建华李红革
- 关键词：逻辑意义辩证逻辑形式逻辑逻辑理论学术界
