共查询到20条相似文献，搜索用时 312 毫秒
1.
曾昭式 《商丘师范学院学报》2002,18(1):14-16
张东荪认为逻辑学是多元的，他把逻辑学分为形式逻辑、数理逻辑、形而上学的逻辑和社会政治思想的逻辑四种。他认为逻辑学的多元性是由文化的多元性决定的。不同的民族有不同的文化，不同的文化必然导致不同的逻辑学，这种观点误读了逻辑学的研究对象，没有认识到逻辑学的全人类性和工具性质。其结果影响了逻辑学在中国近代时期的传播与发展。 相似文献
2.
《周易》以及整个传统易学本身蕴涵着丰富的逻辑思想及思维。本文通过对易学与逻辑学的关系、中国逻辑史和易学的现代逻辑学的研究，探讨了研究易学逻辑思想及“逻辑易’’的方法论问题．以促使易学的逻辑学研究能够在合乎学术规范的基础上不断推进。 相似文献
3.
本文从逻辑学的发展历程考察了逻辑学发展的认知转向。逻辑学和认知心理学的结合为信息科学尤其是计算机科学的理论与应用提供了方法，形成了一个以计算机为带头学科、以逻辑为基础、以认知为对象的研究方向，从而导致认知逻辑这一研究新课题的产生。认知逻辑的研究内容主要包括认识逻辑和心理逻辑，其研究方法涉及哲学思辨、心理实验、逻辑推理、计算机模拟和数学方法等。我们从认识逻辑、心理逻辑、人工智能三方面的研究成果可了解认知逻辑的研究现状。当前对认知逻辑的研究尚存在一些问题，但未来将会在若干领域有所突破。 相似文献
4.
着重从逻辑史的发展角度，论述真是逻辑学绵延发展的永恒主题，并认为逻辑是关于获取真的推理方式的科学。 相似文献
5.
柳昌清 《信阳师范学院学报(哲学社会科学版)》2000,20(1):21-24
逻辑学面临的危机和挑战迫使逻辑学界重视逻辑学的应用问题.但是,逻辑应用又依赖于逻辑学的发展.有了"有用的逻辑".才能有"逻辑的有用".中国人从古到今使用的都是辩证逻辑,但还有强要把辩证逻辑用一套符号系统科学地刻画出来,并应用于教学.当前逻辑学界需要把主要精力放在辩证逻辑和或然逻辑的研究方面.促其成熟,并应用于教学,这样才能改变"逻辑学无用"的局面. 相似文献
6.
赵保国 《信阳师范学院学报(哲学社会科学版)》2000,20(4):21-25
在整个20世纪,传统逻辑学命运乖舛.试验逻辑学派在其间扮演了一个极其重要的角色.试验逻辑学是由杜威创立,通过其本人和其学生胡适的不懈努力传入中国,在二三十年代的中国产生了不小的影响.试验逻辑对传统逻辑进行了批评和否定,但它本身并不是纯粹的逻辑学.国人在二三十年代对试验逻辑的推崇以及时传统逻辑的排斥是有一定原因的. 相似文献
7.
现代逻辑学科的发散性思考 总被引：4，自引：1，他引：4
周祯祥 《华南师范大学学报(社会科学版)》2003,3(3):3-8,17
20世纪的主流逻辑是现代形式逻辑，但在主流之下还有一种非主流的现代非形式的逻辑在发展和成长。非形式的逻辑是和我们的生活世界联系更为紧密的一种新逻辑，它已经在西方国家受到逻辑学者的关注，并在批判性思维运动和逻辑教学需要的推动下形成了新的研究领域。我们应该用一种发散的思维方式把它也看作是现代逻辑的一个组成部分来进行研究，而不应排除在现代逻辑的视野之外。 相似文献
8.
法律逻辑是电大法律班学员的一门必修课程。它融法学与普通逻辑学于一炉，是一门具有法律专业性质的逻辑应用课程。因此，在教学中正确处理好法学与普通逻辑学之间的关系，对提高法律逻辑课的教学质量、培养学生逻辑思维与应用能力有着重要作用。 相似文献
9.
张桂贞 《洛阳师范学院学报》2002,21(4):16-17,56
近年来 ,我国逻辑学界又一次展开了逻辑观的大讨论 ,主要观点有两种 :一种是传统派观点 ,认为逻辑是研究思维形式及其规律的 ;一种是现代派观点 ,认为逻辑是研究推理形式的。从逻辑学发展趋势看 ,现代派观点似有定义过窄之嫌 ,而传统的逻辑观基本适应了当前逻辑学各个分支学科蓬勃发展的需要。据此 ,逻辑是研究通过语言表达的抽象思维的形式、规律和方法的学说 相似文献
10.
戴冕 《河北师范大学学报(哲学社会科学版)》2014,(6)
传统的逻辑学由亚里士多德创立,两千多年来一直作为哲学的子学科,直到19世纪末弗雷格创立现代逻辑,逻辑学研究开始由哲学界、数学界、信息科学界三分天下。论历史,逻辑学不可谓不久远;论学术价值,逻辑学不可谓不重要。但直到今天,对于逻辑是什么,搞逻辑有什么用,仍是一个需要解决的问题。 相似文献
11.
比较逻辑学是基于各类逻辑学的一门综合性理论学科,它以三大逻辑体系的平等对话为前提,突出比较意识、比较思维与比较方法的自觉运用,有自己特有的学科特性与学科视域、学科范畴。比较逻辑不在于“比较”,而在于“汇通”,“比较逻辑”不是或不仅仅是“逻辑比较”,比较逻辑有其特殊的“比较视域”,“比较逻辑学”理应成为一门独立学科。比较逻辑学可分为叙述的比较逻辑学、评价的比较逻辑学与汇通的比较逻辑学三个层次。 相似文献
12.
摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论,我们重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。 相似文献
13.
动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集．正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统．是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的．而是公式协调的。 相似文献
14.
1978年以来,经过20多年的奋斗,我国逻辑教学与研究取得了不斐的成绩,并已初步实现现代化,但仍存在着不当的逻辑观、普通逻辑和现代逻辑的地位、逻辑学学科归属等问题.树立正确的逻辑观,坚定不移地走现代逻辑教学与研究的道路、大力普及和推广现代逻辑知识、根据培养目标的不同,分别开设现代逻辑课程和批判性思维课程. 相似文献
15.
"素质教育"是《国家中长期教育改革和发展规划纲要》(2010-2020年)的战略主题。思维素质是人的各项素质的基础。要培养思维素质和提高全民逻辑思维能力,必须加强逻辑教育。为此,对逻辑学功能的定位、对逻辑教学内容的调整和教学方法的改进,成为当前迫切研究的主要课题。通过阐述了逻辑观及逻辑学的功用;阐明在复合型人才培养中逻辑教学的主要内容——论证及其方法,凸显素质教育中的逻辑教学问题。 相似文献
16.
董英东 《毕节师范高等专科学校学报》2014,(8):1-7
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 相似文献
17.
赵曼初 《湖南广播电视大学学报》2004,(3):15-18
《法律逻辑学》课程作为开放教育本科试点专业的选修课，具有教师导学难度大、学生学习难度更大两个显特点，必须针对其特殊性和高难度，在微观教学上选择以面授教学为主、网络教学为辅，教师导学为主、学生个别化自主学习为辅，学生独立完成作业为主、教师提供参考答案为辅的教学模式。教师必须对教学资源进行全面了解、科学整合与合理设计，以教学执行方案、教学辅导、作业参考答案为主的本资源，供学生根据自己的知识基础、学习兴趣、学习时间、学习条件等具体情况，自由自主地进行个性化选择和应用。 相似文献
18.
陈锐 《黔南民族师范学院学报》2003,23(1):18-26
恩斯特@马利(Ernst Mally),奥地利著名逻辑学家,于1926年提出了第一个道义逻辑系统,开辟了逻辑研究的新领域.但马利的系统遭到人们的长期批判,认为他的道义系统存在严重的缺陷.作者认为,马利的系统虽然存在着一些不足,但这些不足并没有人们想象的那么严重,只需稍做改进,其系统并不比其他逻辑学家提出的系统逊色.作者还认为,长期以来,人们习惯于从一元的角度来看待马利的系统,这实际不是对马利道义思想的正确反映,或许用二元逻辑的观点看待马利的系统更为合适. 相似文献
19.
在各类逻辑课程的教学中,逻辑学教师容易忽视"逻辑"概念自身的内涵.这一行为所导致的直接后果是,学生学完之后仍不知逻辑为何物,而老师在教学过程中也不自觉地偏离"逻辑"的内涵.根据学生的知识背景和各类逻辑课程所欲达成的目标,我们选择了三个不同的角度来引出"逻辑"的内涵,以期引起相关的讨论. 相似文献
20.
模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型检测是关于时间逻辑判定问题的研究,其研究的两类实体:一是关于刻画程序计算性质的逻辑公式,二是用来刻画程序的模型,模型检测的任务就是要校准这两种不同形式的信息——公式和模型——是否相一致。 相似文献