Tips无名氏No.9999999

2099-01-01 00:00:01 ID: Tips

(;´Д`)医生！你说话啊！

无标题无名氏No.58286780

2023-06-25(日)07:39:01 ID: BzHFIfd (PO主)

数理逻辑需要用的集合的概念，数字的概念。

而集合构造数字的时候又需要用到数理逻辑的概念。

这不是很矛盾吗？谁先谁后呢？数学的基础到底是什么？

>>No.45315243

对角线证明：（喜）

无标题无名氏No.58286782

2023-06-25(日)07:39:39 ID: BzHFIfd (PO主)

定义一阶逻辑的语法和演绎规则并不依赖于集合论，而是用递归定义的方式。而集合论一般被定义成一阶逻辑下的一个理论。当然，如果涉及到一阶逻辑语义层面的讨论就会有套娃问题，这时候会区分元语言和对象语言。比如在用格罗滕迪克宇宙讨论ZFC的模型时，这里格罗滕迪克宇宙是元语言层面的东西，ZFC是对象语言，二者处于不同的两个层级互不干涉。

无标题无名氏No.58286786

2023-06-25(日)07:40:03 ID: BzHFIfd (PO主)

>>45296674

(ﾉ)`ω´(ヾ)好吧我也看不懂

我昨天又搜了一下，好像有个叫 tarski 真值定义的东西。然鹅并不能看懂(;´Д`)

这是网址

plato.stanford.edu/entries/tarrski-truth

无标题无名氏No.58286790

2023-06-25(日)07:40:37 ID: BzHFIfd (PO主)

>>No.45340850

我不懂，但是我有要诀要告诉你(ゝ∀･)

不要幻想出一个至高对象然后用至高者推出他者，不断后撤背景性秩序只会滑向至高

我觉得应该直接制定一个背景，先不要质疑它

无标题无名氏No.58286793

2023-06-25(日)07:41:11 ID: BzHFIfd (PO主)

我觉得背景性是一个不能被提取为对象的存在

，比如说宇宙，你不能说宇宙之外是什么，因为宇宙之外也可以是宇宙，只能说地球之外是宇宙（地球也在宇宙中|д` )），是否定性的

至高就是假如有个自上而下的理论，比如说什么终极大一统理论，能推出一切理论

或者什么华哥这种(　ﾟ 3ﾟ)

无标题无名氏No.58286797

2023-06-25(日)07:41:26 ID: BzHFIfd (PO主)

塔斯基真值理论？或许可以看一些分析哲学（或者逻辑哲学）的东西( ﾟ∀ﾟ)

无标题无名氏No.58286800

2023-06-25(日)07:41:42 ID: BzHFIfd (PO主)

用hilbert system把命题展开成有限个符号的组合( ﾟωﾟ)这样就不用去管他先后了