搜索结果: 1-7 共查到“知识库 形式逻辑”相关记录7条 . 查询时间(4.028 秒)
形式逻辑一词来自康德。康德对形式与内容的区分影响深远。康德关于形式与内容的区别可以有一种新的解释：所谓形式，指与逻辑常项相关的表达式；所谓内容，指与非逻辑常项相关的表达式。康德在自己的思想中有这样的认识，但没有完全说清楚。日常认识、科学认识的表达是有内容的，哲学认识、逻辑认识的表达也是有内容的。澄清这个问题，逻辑上涉及句法与语义的区别，语言上涉及语言和语言所表达的东西的区别，以及这两个方面之间的关...
从形式逻辑到先验逻辑——评胡塞尔的《形式逻辑与先验逻辑》
形式逻辑 先验逻辑 胡塞尔
2010/3/4
胡塞尔在1930年为《观念Ⅰ》英文版所写的“后记”中，通过回顾他20多年来在现象学领域的研究，重申了他对哲学概念的理解。他说：“在我看来，哲学按照其观念应当是一门普遍的和在彻底意义上的科学，它是出自最终的奠基，或者同样可以说，出自最终的自己负责的科学，因此在这样一门科学中，并没有任何述谓的或前述谓的明见性，可以作为毋庸置疑的认识基础而起作用。正如我所强调的那样，它是这样一种观念，这种观念……只是以...
Dynamic Variations: Update and Revision for Diverse Agents
Dynamic Variations Diverse Agents
2009/1/15
I would like to thank my supervisor, Prof. Johan van Benthem, for his
consistent support and assistance. He is the best supervisor and teacher
I could have wished for. Without his perceptiveness, I ...
二难推理的大前提是两个假言判断构成的选言判断吗?
假言判断 二难推理
2008/12/12
二难推理在传统逻辑里亦称假言选言推理,它是由一个包含两个选言肢的选言判断和两个假言判断为前提而进行的推理。人们在习惯上把两个假言判断构成的那个前提叫做大前提,把包含两个选言肢的选言判断的那个前提叫小前提。人们对小前提是选言判断,似无分歧,但对由两个假言判断作为肢判断而构成的大前提,在
二难推理破斥式的二小前提是联言判断吗?——评一种二难推理破斥式的模式
二小前提 二难推理破斥式
2008/12/12
苏联И·R·楚巴欣和И·Н·布洛德斯基主编的《形式逻辑》一书的中译本第151页到152页上(上海人民出版社。1981年4月第1版。以下简称《楚本》)把二难推理,即在传统逻辑里亦称假言选言推理的破斥式的模式概括为:
关于周延问题,在我国逻辑学界至今还存在着分歧意见。本文提出如下管见,以求进一步探讨。一、是否存在所谓“定义形式的全称肯定判断”项的周延问题? 杜岫石同志在《形式逻辑教程》中说,存在一种“定义形式的全称肯定判断”。“这种判
范式、形式逻辑和历史辩证法
2007/11/2
历史学研究各种社会现象的发展过程,通过描述和解释这些现象,发挥认识和教育功能。执行这一任务的,是被称之为历史学界的一“科学共同体”(Scien-tific community)。中学历史教师的工作,是转达和复