上述分类在某些看法甚至正式考试中存在不一致,比如“休谟”/“康德”。以及各个学者前后期的学术观点也不一致,分类是难以精确的。
由于本文只是初级了解,而且事实上即使是名家也翻译不同[1],不进行深究,本文简化如下
在工程场景下,比如AI,一般会用a priori
来描述逻辑知识的一种实现,比如logic, mathematics, and certain ethical principles。它一般是与后天(aposteriori)的经验知识相对立。
先验一般就会与kant理论混在一起讨论,比如 space, time, and causality。它们是经验的前提。
与生俱来(Birth)主要用于医学上的定义,不在本部分范畴中。
分析(Analytic)判断
是谓词包含在主词之中。A proposition is analytic if the content of the predicate-concept of the proposition is already contained within the subject-concept of that proposition. they are true by definition。因此它不提供新知识,因为谓词的含义已经包含在主词之内。
综合判断
谓词的含义超出主词的含义,并且其真假需要按照经验(感知)才能确定。
注意这些不能简化:分析!=理性主义!=自洽的形式化,综合!=经验主义
这里的争议点主要在于“包含”的定义,举例如下
7+5=12
,对于我是死记硬背的经验图像,而有人可能认为是存粹的数字。对此,这里查了很多资料,又会陷入”现象学“中(胡塞尔,弗雷格,海德格尔,哥德尔),点到为止。
要深度理解微积分,必须掌握其形而上的“单子论”,可惜国内研究资料非常少,而且“单子”难以形式化。
这里可以借助“褶子”进行导读理解,但是又把你带到了法国当代哲学了。
表象:感觉、知觉、概念和范畴等等。
时间空间:是先验直观的形式,是经验存在的预设。
感性(直观):被动的接受到对象对于我们的刺激而形成的表象,时间与空间是直观感性的有且只有形式。
直观:一种知识不论以各种方式和通过什么手段与对象发生关系,它借以和对象发生直接关系、并且一切思维作为手段以之为目的的,还是直观。可以类比为日语的て
,英语的by
范畴:它是一般对象的可能性的条件。有时被转喻为“格律”
先验逻辑:按照概念形成范畴以整理知觉。
存粹:pure,单纯指思考边界。比如存粹知性、存粹理性。
知性:范畴是知性(Verstand)的纯粹概念,一共有12种,比较重要的是时空上的因果关系。
人类的认识开始于经验,知识来自于理性,下图是个人的理解,注意个人认为“现象”不等于“经验”
这里值得注意的是,箭头是递归螺旋的,这里也体现了自我反思(反身性),即可计算性。
从神经科学的角度,这里也非常类似“直觉推理”和“逻辑推理”的术语。
假如从计算机的角度进行分析,康德定义了一个递归的状态机,函数的初始值是“经验与感官印象”,内部通过“先天综合”进行计算,个人认为如下
人们通过有限的知性和有限的经验去认知事物,但是却想达到最完美纯粹的理性,最终会导致二律背反。
这里个人认为也是一个递归问题,我们通过对递归的运动状态分析来反推递归。
这个观点预测/限定了人的认知范围,比如物理上的“宇宙边界外/光速/高维空间”是无法理解的。
或者换一句说,“时间空间”的抽象能力,是否就决定了某人的智力上限?
A: 个人认为如下
因此智力可以后天提高,但是后期会边际递减。
A: 个人认为如下:
递归性质是一个“自我反思”的抽象公式,是“范畴”能力,是先天综合的判断能力,存粹的递归就是存粹的理性,但是不可知。
计算机算法的递归,比如fib(n)=fib(n-2)+fib(n-1),是对离散空间与时间感知,通过理性思考的分析判断。
无论康德观点经过时代变迁后如何失效,但是都强调了
另外方法论上的维度上,一定要基于历史的角度去研究
导图:https://mm.edrawsoft.cn/template/174696
康德的先验(a priori)论到底指什么 - 劳承万 ↩
胡 塞 尔 对 康 德 先 验 哲 学 的 改 进 ———以对“先天综合知识”的理解为视角 “No. 2 2014” ↩