搜索筛选:
搜索耗时0.0926秒,为你在为你在102,285,761篇论文里面共找到 37 篇相符的论文内容
类      型:
[期刊论文] 作者:霍书全,, 来源:重庆理工大学学报(社会科学) 年份:2014
普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而变化。他否定永恒的个体存在,主张充当命题逻...
[期刊论文] 作者:霍书全,, 来源:理论建设 年份:2012
弗雷格用实质蕴涵建立的经典逻辑在表达推理关系的时候有它的局限性,因此经典逻辑曾受到批评。弗雷格对实质蕴涵的不足完全清楚,他把条件关系区分为表达因果联系的情况和仅仅...
[期刊论文] 作者:霍书全,, 来源:上海师范大学学报(哲学社会科学版) 年份:2019
符号接地问题要解决符号如何获得意义、符号和它们的意义如何联系起来的问题。该问题由塞尔中文屋论证所引发,加拿大认知科学家哈纳德首先明确地给出表述并试图解决,历史上皮...
[期刊论文] 作者:霍书全,, 来源:哲学分析 年份:2015
谓述问题是哲学史上的难题,罗素对这一问题进行过大量的论述,并试图采用认识论的方法加以解决。戴维森认为罗素没有解决谓述问题,是他根据塔尔斯基的真理论才使该问题得到彻...
[期刊论文] 作者:霍书全, 来源:学术研究 年份:2014
逻辑原子主义主张把所有命题分析为原子命题,原子命题之间没有内涵关系,只具有外延关系,以原子命题为基本层次的语言能解决所有哲学问题。如果自然语言能够分析到确定的原子命题......
[期刊论文] 作者:霍书全,, 来源:安徽大学学报(哲学社会科学版) 年份:2011
为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建...
[期刊论文] 作者:霍书全,, 来源:哲学动态 年份:2008
[期刊论文] 作者:霍书全,, 来源:自然辩证法通讯 年份:2007
多值逻辑是取三个以上真值的非经典逻辑,寻找可靠的哲学基础和语义解释是多值逻辑研究的重要课题。随着多值逻辑研究成果的日益丰富,有些逻辑哲学问题可以得到澄清,而有些新...
[期刊论文] 作者:霍书全,, 来源:自然辩证法研究 年份:2008
现在的多值逻辑已成为内容丰富的逻辑学分支,在计算机和人工智能中有着广泛的应用,这种发展与其早期的思想有着一定的联系。从亚里士多德开始逻辑学家们就提出了各种不同的多...
[期刊论文] 作者:霍书全,, 来源:自然辩证法研究 年份:2004
从弗雷格开始,分析哲学家就把心理内容和语言的意义区分开来,不把心理内容看作语言表达式的意义,这种反心理主义的观点切断了意义和心理内容之间的联系,无法根本解决心智问题...
[期刊论文] 作者:霍书全, 来源:学术研究 年份:2019
逻辑学是一门工具科学,阐释学是一个解释和理解文本的哲学理论。现代逻辑产生之后,逻辑学主要采用形式化、数学化的方法,成为数学的一个分支,似乎与精神科学没有直接的关系。...
[期刊论文] 作者:霍书全, 来源:逻辑学研究 年份:2009
鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑。本文将对推广的命题逻辑系统L^*建立一种一阶谓词系统,并证明其......
[期刊论文] 作者:霍书全, 来源:延安大学学报:社会科学版 年份:2012
批判性思维可以指称一种思维形态,它被描述为是抓住问题要领,遵循逻辑规则,不断质疑和反省,清晰的思维方式。批判性思维也可以作为一门课程或学科,来源于非形式逻辑,其目的是...
[期刊论文] 作者:霍书全, 来源:中山大学学报:社会科学版 年份:2006
经典逻辑是建立在封闭世界预设的基础上的,但逻辑系统也可以建立在开放世界预设的基础上。鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。该文将对这一......
[期刊论文] 作者:霍书全, 来源:广东广播电视大学学报 年份:2012
当批判性思维可以作为一种思维形式或学科分支来看待,它是以逻辑论证为特征的思维形式,作为学科,它是围绕培养人的批判性思维能力而展开的知识系统。批判性思维和创新思维有...
[期刊论文] 作者:霍书全, 来源:广东广播电视大学学报 年份:2006
推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理......
[期刊论文] 作者:霍书全, 来源:中山大学研究生学刊:社会科学版 年份:2002
关于逻辑的性质,一般有三种观点:一元论,多元论和工具论,逻辑一元论把所有逻辑都归结为一种逻辑,这种分类方法往往导致只承认一种逻辑,即经典逻辑,否认多值逻辑及其它非经典逻辑的存......
[期刊论文] 作者:霍书全, 来源:中山大学研究生学刊:社会科学版 年份:2001
由于数理逻辑非常抽象,我们很难用图示的方法给以表达。但是图示法在逻辑学中是行之有效的方法。本文试图采用文恩图方法,用封闭图形表示集合,特别用圆表示一阶逻辑的合式公式集......
[期刊论文] 作者:霍书全, 来源:逻辑学研究 年份:2016
普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出于哲学的和技术的考虑在时态逻辑的基础上进...
[期刊论文] 作者:霍书全, 来源:安徽大学学报:哲学社会科学版 年份:2009
构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证......
相关搜索: