cd904ba0-eea7-460a-acb8-fa034cde9733 8 2024-10-10 15:20:19 2024-10-22 14:39:10 H2024.9.19.3 710667f8-90b1-4924-8f88-26158edecd43 西哲大咖们_404：尼采 © 版权所有 作者：阿色 2012.9.19（参考） 1 西哲大咖们_405：弗雷格 ahmm-西哲大咖们_0：前言.html ahmm-西哲大咖们_404：尼采.html ahmm-西哲大咖们_406：索绪尔.html 0 内部序参量 外部关联参量 [概述]弗雷格是德国著名数学家、逻辑学家和哲学家，开创了现代数理逻辑和分析哲学。其形式逻辑和公理系统、命题演算、谓词演算等思想不仅在数学和逻辑学领域具有重要地位，也为后来的计算机科学和人工智能奠定了坚实的理论基础。 © 版权所有    作者：阿色 2024.10.22 42 2 0 0 0 0 0.3562790697674419 0.2944632768361582 @ 分析哲学/数理逻辑奠基人 建立形式逻辑/公理系统/语言分析 数学哲学/语言哲学/思维符号/谓词演算 (sw)(af)https://baike.baidu.com/item/%E5%BC%97%E9%87%8C%E5%BE%B7%E9%87%8C%E5%B8%8C%C2%B7%E8%B7%AF%E5%BE%B7%E7%BB%B4%E5%B8%8C%C2%B7%E6%88%88%E7%89%B9%E6%B4%9B%E5%B8%83%C2%B7%E5%BC%97%E9%9B%B7%E6%A0%BC/2094455?fr=ge_ala -/405弗雷格.png 1 0.08646511627906976 0.06275706214689265 [ 生平 ] 德/教师家庭 Friedrich L. G. Frege (1848~1925)生于维斯玛 生前无名/二战后在美国出名 0.8 0.04070542635658914 0.2819322033898305 [ 家庭 ] 父:女中校长 母:教师 路德宗信仰中成长 子女均夭折,领养一男孩 0.6 0.12825581395348837 0.47169491525423735 [ 教育 ] 哥廷根大学博士 耶拿大学→哥廷根大学 回耶拿任讲师→教授 只有1名注册学生——卡尔纳普 1 0.601875968992248 0.06827118644067795 [ 主要哲学思想1 ] 数理逻辑 重构逻辑学科 谓词微积分形式系统/量化语句分析 全称量词/同一/条件命题→改进逻辑系统 1.2 0.6142558139534884 0.4027005649717514 [ 主要哲学思想2 ] 分析哲学 数/科学的可靠逻辑基础 强调形式分析和逻辑分析 反对心理主义和经验主义/真理是客观的 1.4 0.8390387596899224 0.10210169491525423 [ 主要哲学思想3 ] 语言哲学 基于语言分析/形式化语言 意义~指称:真实含义~所指的对象 语境原则:词语在语境中才有意义 1.3 0.8552945736434108 0.433141242937853 [ 主要著作1 ] 《概念演算》 算术语言造纯形式化语言 因此书比肩亚里士多德的逻辑学 形式逻辑系统≈莱布尼兹演算推论器 1.3 0.42736434108527127 0.5404519774011299 [ 主要著作2 ] 《算术的基础》 数=可被逻辑定义的类 算术运算=逻辑关系的特殊形式 书中详细描述了人工语言系统 1 0.4180387596899225 0.020644067796610148 [ 概念1 ] 量化语句 变元-量词组成句:如所有人 例:全称命题∀x∈M，p(x)的含义 集合M中任一元素x，都满足性质p(x) 1.3 0.2552015503875969 0.07707344632768359 [ 概念2 ] 谓词微积分 处理量化语句的形式系统 系统化/精确推理量化语句形式的命题 谓词:例是红的/微积分=精细增减演算 1.5 0.18153488372093024 0.2578305084745763 1 [ 学生 ] 卡尔纳普 二战间赴美/译介弗思想 促进美科学/尤其计算机发展 [ 同行者 ] 罗素: 数学家哲学家 无师徒关系,但观点相同 罗力拓数理逻辑和分析哲学 [ 继承者 ] 维特根斯坦 曾请弗审《逻辑哲学论》 互送论文/维晚期推翻语言哲学 [ 影响计算机和AI ] 图灵&计算机AI先驱 数理逻辑形式化→图灵机 AI符号主义流派:逻辑推理 [ 阿色树新风 ] 系统要逻辑+混沌 AI不限于语言和形式逻辑 大模型之后符号主义再崛起