据说“反射原理”是从“否定神学”中推究出来的，
但我没有太理解这俩到底是怎么相关的，
有哪位大佬能详细说一下吗？

回复2楼楼中楼吧友 @Xx_古！汉语_xX ：“否定神学”强调通过否定属性来接近神的本质，而“反射原理”则是从这一思想中发展出的一种逻辑原则，即认为无法直接理解绝对存在者时，可通过研究其不存在或缺乏的属性来理解。两者在方法论上有所关联。

@铃木莎世里

淼

这个你可以参考白光那个作者写的无限与心灵
里面有一章讲过古代经典神学的无穷到否定神学在到反射原理的对比
说反射原理来自否定神学的意思是，古代本体论，是希腊哲学的形式逻辑构造出来的概念，而形式逻辑构造出来的概念恰恰是集合论的讨论对象，所以现代的元数学是来自古希腊哲学的形式逻辑的升级版，只是没有了古希腊哲学的神学含义
在过去，同一律，最早来源于古希腊哲学家巴门尼德，认为神是存在，存在可以说，不存在不可以说，所以神是永恒的，从这种神学中产生了形式逻辑的几条规则，而在由形式逻辑的演变成现代元数学，是一个继承关系
但是现代元数学已经去神学了，只是单纯形式符号演绎，不在像古希腊形式逻辑是一门通神的学科

简而言之就是否定神学的形式逻辑概念是反射原理
其中新柏拉图主义后期曾经有一个人提出无限否定神学(这个人我忘叫啥了)可以让神不断的逃离我们的语句的指称，不断的逃离当前语言系统，让我们的语言捕捉不到，和集合论里不带参数的反射原理是一个东西

形式逻辑的演变起点是古希腊诗人克赛诺芬尼提出了一神论(这个神没有身体，但靠思想可以控制万物^)到他的学生巴门尼德提出存在者存在不存在者不存在到在到苏格拉底，柏拉图，亚里士多德，从一开始形式逻辑就是一门神学，所以中世纪阿拉伯神学家和基督教神学家分别吸收了古希腊的本体论，形式逻辑，进行了在包装，把神放在形式逻辑系统内进行推演
也就是说近代科学革命前，神学形式逻辑是不分家的，形式逻辑讨论的逻辑结构往往是神学命题一部分，而现代的反射原理只是单纯逻辑符号的演绎不涉及本体论层面
但是现代的元数学都是从古希腊哲学继承过来的，古代的逻辑学都是今天逻辑学的鼻祖，其中也包括诸如否定神学这样的通过形式辩证推导出来的概念
只是古代逻辑学不够精确，现代逻辑学是对它们的形式化

非要说否定神学和反射原理的区别
大概就是前者是神学里的一个工具，往往和神秘冥想，顿悟，有一定关系，中世纪不少神秘主义者相信通过不断的去除思维中对神的认知可以让自己的灵魂更接近上帝
而现代反射原理是用来处理逻辑结构的工具，往往需要我们自己人为搭建一套公理系统(比如zfc)然后在公理和公理之间使用反射原理，其中某些大一点的可数序数比如反射序数就有反射了，当然越强的基数反射效果也会越厉害，但是不管这俩个差异有多大，其核心思路都是，不管我们描述的对象有多大，都是只能描述神(对象)之下的层级
这一点也是神学的公理