爱因斯坦认为:中国没有形式逻辑学,道理何在?
爱因斯坦认为:中国没有形式逻辑学,道理何在?逻辑不等于形式逻辑学。要说中国人没逻辑,那肯定是个笑话;中国人不但有逻辑,而且还有一种不同于形式逻辑的很厉害的逻辑,这就是老子《道德经》中说的“正言若反”,“反者道之动”。但是,要说作为一种学科的逻辑学体系,那的确不是来自本土,如所有的科学系统一样,...
2024年度教育部人文一般项目拟立项题目24个学科高频词词云图
交叉学科/综合研究管理学经济学艺术学教育学马克思主义/思想政治教育语言学体育科学法学中国文学心理学社会学新闻学与传播学历史学外国文学哲学图书馆、情报与文献学民族学与文化学统计学国际问题研究政治学考古学逻辑学逻辑学商讨逻辑的公理化研究逻辑学带量化的动态认知逻辑研究...
经由认知心理实验的逻辑思维训练新路径-光明日报-光明网
探索“逻辑学+认知心理学”的新路向????有鉴于日常真实的决策场景有别于逻辑教科书的推理实例,而且一个人推理出错可能不只是因为逻辑知识匮乏,当下有必要呼吁一种“逻辑学+认知心理学”的思维训练新路径。逻辑课本上列出的推理规则的确是为正确思维所作的规范,我们人类推理也需要有规范,但是,任何规范要想成为一...
学逻辑从概念开始,才不会被乱用、强用、偷换概念等伎俩所欺骗!
概念的内涵就是指这个概念的具体含义,就是事物“有什么特点”;概念的外延是指这概念包含了哪些事物,也就是“包含什么”。例如,当我们讨论“鸟”这一概念时,我们能够了解到“鸟”具备“有羽毛”、“卵生”和“脊椎动物”等特征,这构成了“鸟”概念的内涵;同时,我们也能了解到“鸡”、“鹅”和“喜鹊”都属于...
舒国滢:当法律说你可以干什么时 它到底在说什么
“可为”(XmaydoT,即X可以做T)是实践推论和命令句逻辑中一个不可回避的问题。然而,长期以来,人们似乎很少注意到这个语句表述背后所隐含的复杂的语言学、逻辑学以及法学的意义。若不深入研究这个问题,则极易带来理解上的混乱,比如把“可为”理解为“应为”或“须为”,或者因为“可为”语义中包含“可不为...
访孙向晨(上):2.5个任期的院长谈哲学学院长啥样
孙向晨:作为一个哲学学院,我们有哲学系、宗教系、国学班项目,目前又增加了科学哲学和逻辑学系、艺术哲学系,还有了应用伦理专业硕士项目(www.e993.com)2024年10月18日。应该说,在全国高校的哲学院系建制中算是比较完备的,我们这些学科的建设都是在我们学院当初的规划之中的,应该算是下了先手棋。同时,我们筹建这些新系科时都进行建制化的规划,这...
达米特论逻辑与元逻辑的关系
承办单位:南京大学现代逻辑与逻辑应用研究所出版单位:中国社会科学出版社摘要:威廉姆森反驳了达米特的观点,即为了有助于逻辑原则的支持者和反对者相互理解,语义理论应该尽可能使对象语言的逻辑对元语言的逻辑不敏感。文章首先概述了谐音语义理论的一般优点。然后以模态逻辑为例,特别讨论了关于模态命题逻辑的布劳威尔公式...
王浩︱生物学的形式与直觉
王浩是享誉国际的数理逻辑学家、计算机科学家、哲学家,中国西南联大数学系、清华大学哲学系毕业,1948年获哈佛大学逻辑学博士,先后在英国牛津大学、美国哈佛大学及洛克菲勒大学任教授并领导研究项目,其中他提出的一个数理逻辑的命题被国际上定名为“王氏悖论”。王浩与比雷尔断断续续讨论了一年多,定下开幕演讲题目:...
中国人的逻辑思考是如何被扼杀的?BBC纪录片“阐释”中国人思维的6...
逻辑学家喝酒成难题带着这些问题,说姐给大家推荐一部十分有意思的纪录片,它就是BBC在2013年出品的《逻辑的乐趣》(TheJoyofLogic)。在这部纪录片中,DaveCliff教授用哲学家和数学家们之间发生的有趣故事为我们形象地诠释了逻辑的概念,并展示了神奇的逻辑究竟是怎样构建了这个复杂的大千世界。
数学逻辑和计算机程序代码之间的深层联系:互为镜像
简单来说,柯里-霍华德对应认为:计算机科学中的两个概念(类型和程序)分别等价于逻辑学中的两个概念(命题和证明)。这种对应关系导致的一个结果是程序开发被提升到了理想化的数学层面,而之前人们通常认为程序开发就是个手艺活。程序开发不只是「写代码」,还变成了证明定理的行为。这能对程序开发的行为进行形式化,...