排序方式: 共有51条查询结果,搜索用时 15 毫秒
1.
2.
3.
逻辑哲学的一个具体困难在于:与数学、物理学、生物学、心理学和历史学相比,逻辑学本身有一个欠发达的学科身份.像其现代形式的任何东西都起步非常晚,逻辑学系很罕见,至少在以英语为母语的大学中是如此.它目前分布在数学系、计算机科学系和哲学系,并且在每种情况下,都带有某些其主学科的特征.由哲学关切带动的逻辑是哲学逻辑,其在原则上与逻辑哲学截然不同,尽管在实践上二者往往不易区分此外,逻辑学包含许多相互间没有太多共性的各种分支,比如模型论、证明论、集合论、递归函数论,以及哲学逻辑因此,逻辑哲学应该反思什么并不是完全清楚的然而,这种情况在带来威胁的同时也提供机遇.我们能够以任何最有望带来回报的方式来研究逻辑哲学.逻辑哲学的本性中没有任何东西限制我们使用任何我们所知的作为证据,只要其与我们考察的问题相关.逻辑哲学所面临的最紧迫的任务是对逻辑学作为一门科学的本性和首要原则进行重新思考.从长远来看,人们可能希望关于逻辑学本性的更大的清晰性将有助于我们在更多具体的逻辑哲学问题上取得更大的进步. 相似文献
4.
对我国两个著名的数理逻辑系统的评析——为建构我国的数理辩证逻辑系统献言 总被引:1,自引:0,他引:1
从"数理辩证逻辑的对象问题"、"数理辩证逻辑与经典数理逻辑的关系问题"、"数理辩证逻辑的常项问题"三个方面来评析,赵总宽教授的<数理辩证逻辑导论>一书建构的逻辑系统更宜称为非经典逻辑中的扩展逻辑.以桂起权教授等著的<次协调逻辑与人工智能>一书为样本,对次(弗)协调逻辑系统进行评析的结果表明,该系统的根本缺陷在于混淆了"逻辑矛盾"、"谈判矛盾"、"辩证矛盾"三个不同的概念,从而对不矛盾律、司脱克规则的否定也是不当的. 相似文献
5.
王青海 《榆林高等专科学校学报》2008,18(4):97-99
数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理,是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手,提出了基于数理逻辑的知识表示方法与实例,并提出谓词逻辑的局限与应当进一步研究的问题。 相似文献
6.
经济学理论界崇尚通过构建数理模型来进行理论分析是根植于西方文明的毕达哥拉斯情结;构造既反映经济行为又能被实际数据检验的动态理论模型成了经济学难题。目前,经济学家尚不可能理解现实经济的全部复杂结构,其理论为需要而服务。经济学在方法论上不同于物理学,经济学帝国也许将要面临发展史上第一次"数学危机"。 相似文献
7.
2004年5月,《社会科学论坛》特别推出张建军教授与张斌峰教授的笔谈文章《从“逻先生”看“德先生”与“赛先生”》,以纪念“五四”85周年。文中对于“逻辑的社会文化功能”给予了独特而深刻的分析,并在最后指出了多被大家遗忘但却意义重大的一个事实,那就是,我国现代著名学术大师金岳霖先生当年之所以从政治学转向逻辑学研究,正是认识到了社会政治进步强烈呼唤逻辑意识与逻辑思维素养的培育。金岳霖先生最早把现代逻辑系统地介绍到中国来,并培育了一批有较高素养的逻辑学和哲学专门人才,国内学界因此尊称他为“金逻辑”。这使笔者联想到了… 相似文献
8.
判别逻辑推理是否有效的方法有:真值表法、等值演算法、主析取范式法、推理规则法等,本文通过几个具体教学实例,来了解和掌握离散数学中真值表法在数理逻辑推理中的应用,其思维方法和推理过程,大家可以参考与借鉴。 相似文献
9.
不同的逻辑分支学科有着不同的理论叙述方式。普通逻辑分支中的基本规律理论是以自然语言为载体的逻辑基础学科理论 ,引入人工语言的符号公式后反倒出现与规律的自然语言叙述不协调甚至矛盾的情况。同一律的公式 (A→ A)与此规律的内容表述并不一致 ;不矛盾律的形式化公式 (A∧ A)也是不全面的 ,因为它漏掉了对两个具有反对关系的思想同真情况的排除 ;排中律的形式化公式 (A∨ A)也是不恰当的 ,因为它没有涵盖排中律对于下反对关系的应用。普通逻辑基本规律用自然语言进行表述已经满足了理论的明确性 ,而对它们再予以形式化的公式刻画反而弄巧成拙。普通逻辑基本规律不需要形式化 相似文献
10.
张今杰 《电子科技大学学报(社会科学版)》2002,4(1):72-76
本文认为 ,2 0世纪初西方哲学界发生的“语言学转向”有其深层的根源———哲学的危机。这种危机非同寻常 ,因为它意味着西方哲学陷入失去研究对象的困境 ,同时其存在的必要性受到了人们的普遍质疑。西方思想家们纷纷寻求出路 ,英美科学主义与欧陆人本主义不约而同地抓住了“语言”这根救命草 ,使西方哲学发生了“语言学转向”。本文认为 ,“语言学转向”并未从根本上解决西方哲学的危机 ,但至少在某种程度上使西方哲学的危机得到了缓解。“语言学转向“的重要后果之一是科学主义和人文主义的日益汇流 相似文献