从希尔伯特到胡塞尔:现象学,特别是形式数学现象学的初步导论

因此,盘旋在胡塞尔头脑中的数学理想完全是现代的,首先是莱布尼茨—这位孤独的思想家,在数个世纪中不被理解,最初在他天才的“数学和逻辑统一的观念”中已经预见过这一点,特别是在他的严格的逻辑形式化的普全数学和代数符号化的关系逻辑的观念中,亦即组合术的语言(combinatoriacharacteristica)。[4]直到十九世纪,通过...

《剑桥实用主义研究》:聚焦英国实用主义的发展谱系

在20世纪50年代,经过第二次语言转向后复兴的实用主义,吸纳了分析哲学的探究方式,但这种探究在过于狭隘的意义上理解语言,即未加反省地将语言理解为形式化的、有着清晰逻辑结构的语言,从而在语言与世界的关系上产生了语言表述的范围究竟是否便是世界的实质范围这一问题。我们可以参照近代经验主义的困难来理解这一问题。...

【胜任力】第11期学员《导论》课程讨论发言展示(一)

掌握了MAIE模型、教案制核心概念,按要求完成实践作业,能运用病区协作,营养会诊,营养个案的基本工作方法和流程。知道自己工作中的不足与差距。胜任力中为什么,是什么,怎么办,给了我解惑。差距:1.营养知识水平有限,对临床营养合理营养支持参与程度和水平还有待进一步提高。2.工作思路不对,工作过于形式化,日常...

刘萌萌:科学革命对17世纪自然法观念转变的影响

这一心理动因在格老修斯那里是“自爱”,在霍布斯那里是“自利”,在普芬道夫那里是作为纯粹形式化的社会性的“群居倾向”,在托马修斯那里是“幸福”。霍布斯是运用这种方法的典范。他把人的“自利”和“自保”倾向作为出发点,并使其进一步“科学化”,为其奠定了自然哲学的基础。霍布斯宣称他的自然法学说和政治哲学可...

8月语言学联合书单|语言濒危状态个案研究

“意思文本”转换理论模式下的配价理论和辖域理论,系统分析俄汉语焦点副词语义辖域、句法辖域、语义指向、向法分布、交际结构等,对比描写制约俄汉语焦点副词句法题元实现的语义、语法、语用等条件;借鉴俄罗斯语义学对消极谓词语义机制研究的有益思想和方法,探寻焦点副词的形式化语义解释机制,将其用于指导俄汉语义句法研究...

3月语言学联合书单|什么是会话分析

本书是一部理论性强、涉及多种语言的材料和数亿字的汉语语料库的研究专著,遵照“形式-意义”关联原则,将“话语情态”限定在“说话人在语句中留下的、由语法化的形式(也即封闭类成员或有限对立的形式)表达的自我印记(也即语句中表达主观性和交互主观性的部分)”,分别对句类、情态助动词、情态副词和语气助词所表达...

广东第二!华师喜增53门省级一流课程!

本课程依托国家级“十二五”规划教材《教育技术学研究方法基础》(谢幼如、李克东编著),根据国家教育信息化建设与发展前沿,重构课程内容体系,创新研究方法应用,提供丰富情景案例,可供教育技术专业学生,中小学、职教和高校的教师以及从事教育信息化领域的相关人员学习使用。

图灵奖设立50周年,向伟大的计算机科学家们致敬

代表作品:自动机理论、语言和计算导论(原书第3版)弗雷德里克·布鲁克斯(FrederickPhillipsBrooks,Jr.)资深计算机科学家。布鲁克斯这个名字在中国知之者不多,但在美国却是大名鼎鼎的,因为他在20世纪60年代初只有29岁时就主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM/360系列计算机的开发工作,取得辉...

人工智能的起源:六十年前,一场会议决定了今天的人机大战

麦卡锡后来发明的LISP语言中最重要功能Eval实际就是丘奇的lambda演算,而且他后半生致力于用数理逻辑把常识形式化,大家由此猜他可能也是丘奇的学生,但其实不是,他压根学的就不是逻辑。他的老师是失去双手的代数拓扑学家所罗门·莱夫谢茨(Lefschetz)。但麦卡锡对逻辑和计算理论一直有强烈兴趣,他1948年刚到普林斯顿读研究...

「教育强国」沈壮海 刘灿:多重视野中的大中小学思政课一体化建设...

在这方面的探索过程中,思政课教师应注意把握好“火候”,做好画龙点睛工作,不失时机地进行教育引导和总结提升,避免教学陷入单纯的娱乐化、形式化、表面化。所谓掌握好“尺度”,就是要看到建设性是思政课的根本,批判性是马克思主义的特征,面对社会存在的不良现象、学生关注的各类问题,思政课既不...