胡泽洪
- 作品数：59 被引量：153H指数：6
- 供职机构：华南师范大学更多>>
- 发文基金：国家社会科学基金教育部人文社会科学重点研究基地度重大研究项目广东省哲学社会科学规划项目更多>>
- 相关领域：哲学宗教语言文字自然科学总论文化科学更多>>
- 存在问题的逻辑哲学省察被引量：5
- 2001年
- 本文试图立足于现代逻辑哲学 ,从三个方面对存在问题作一初步的介绍与讨论 :作为真实个体的存在与作为思想对象的存在 ;隐含的存在与明示的存在 ;传统逻辑的存在与现代逻辑的存在。
- 胡泽洪
- 关键词：本体论
- 自由模态逻辑及其表列系统
- 2017年
- "空词项"在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服"空词项"的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元语言,并且其完全性定理的证明更为简洁。因而,表列系统用来刻画自由模态逻辑更具优势。
- 胡泽洪邓雄雁
- 关键词：自由逻辑模态逻辑
- 关于弗协调逻辑的思考
- 2008年
- 弗协调逻辑的产生,引发了我们对如下几个问题的思考:弗协调逻辑有无产生的必要?弗协调逻辑与经典逻辑的关系如何?弗协调逻辑对矛盾律普遍性的置疑是否意味着逻辑规律是可修正的?
- 彭媚娟胡泽洪
- 关键词：弗协调逻辑经典逻辑逻辑规律
- 谓词抽象和模态谓词逻辑的合法性被引量：1
- 2014年
- 奎因对模态谓词逻辑的合法性持怀疑态度,他从逻辑角度论证了模态语境是指称不明的,同一替换原理和存在概括规则在模态语境中都是无效的,他的批评影响很大。但是,若在模态谓词逻辑中引入谓词抽象,它可以表达所有模态从言和从物命题,还能有助于区分严格指示词和非严格指示词的模态意义。同一替换和存在概括都有从言和从物形式,可是奎因没有注意到这些重要区别,所以,奎因的论点是以偏概全的,其论证并不真正构成对模态谓词逻辑发展的威胁。
- 邓雄雁胡泽洪
- 关键词：模态逻辑谓词抽象严格指示词
- 本体论与逻辑被引量：6
- 2003年
- 本体论就是就是关于"存在"的科学,它研究何物存在以及以什么方式存在等问题,在本体论的争论中,以传统的唯名论与实在论之分为基础,莱涅夫斯基进一步将其分为具体主义、单范畴的柏拉图主义与多范畴的柏拉图主义三种类型。传统逻辑与现代逻辑由于其各自不同的特点,它们与本体论的联系是不同的:如果说,传统逻辑与事实本体论在内容上时有混杂、联系密切的话,现代逻辑则通过形式化方法,远离了事实本体论。
- 胡泽洪
- 关键词：本体论逻辑哲学命题理论形式化
- 预设研究二题被引量：12
- 2006年
- 本文就预设研究中的两个主要问题进行了讨论。一是从命题或语句是否具有真假值的角度来定义和考察预设,这种意义上的预设我们谓之语义预设。语义预设是保证一个句子取得真值的必要条件,满足语义预设,是一个句子成为命题的必要条件。一些学者对语义预设的诘难,是可以反驳的。二是不满足于静态地、抽象地从命题与命题之间的语义或逻辑关系研究预设,要求联系具体的交际语境,联系具体的交际者的信念、背景知识来动态地研究预设现象,这就是中外学者关于语用预设研究的实质。语义预设与语用预设对预设研究的侧重点不同,研究层面不一样,但它们双方并非对立的,而是互补的。
- 胡泽洪
- 关键词：预设语义预设语用预设
- 论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察被引量：3
- 2011年
- 胡泽洪邓雄雁
- 关键词：模态逻辑谓词逻辑命题逻辑一阶逻辑逻辑学家
- 谓词抽象和“弗雷格之谜”
- 2014年
- 弗雷格认为"相等"问题需要考虑涵义和意谓两个因素,这个问题包含相等的必然性、同一保真替换有效性和空词项三方面的问题。这些之所以成为问题,原因在于缺乏一个有效手段对"相等"的从言和从物形式进行区分,并误认为内涵和外延是截然对立的。引入谓词抽象,可以穿透内涵语境,把涵义和意谓衔接起来,对模态从言和从物形式进行区分,并刻画词项的不同指称方式,从而完成对"相等"问题的三方面考察。
- 邓雄雁秦波胡泽洪
- 关键词：弗雷格谓词抽象
- 协调、一致与一阶公理系统的强完全性被引量：1
- 2010年
- 在公理系统中演绎定理是连接一致性和协调性的桥梁。对于带演绎定理的公理系统,可以证明公式集的一致性和协调性是等价的。在不带演绎定理的一阶公理系统中,一致性和协调性的差异集中体现在强完全性证明过程中。基于一致性的证明不依赖演绎定理,但基于协调性的强完全性证明多处受演绎定理束缚。文中将给出一个松绑方案,基于协调性上证明一阶公理系统QC1的强完全性。
- 邓雄雁胡泽洪
- 蕴涵刍议被引量：7
- 2006年
- 实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样,其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象,所谓的“实质蕴涵怪论”其实并不怪,它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系,从而作了错误的解读所造成的;作为一种特殊的条件语句,在反事实条件句与实质蕴涵的关系问题上,在反事实条件句与一般性条件句的区分上,还有很多地方需要进一步探索。
- 胡泽洪
- 关键词：实质蕴涵反事实条件句
