我觉得似乎叫做 “逻辑学” 比叫做 “数理逻辑” 更合适, 大家觉得如何?
分类讨论: 逻辑学
我也觉得叫逻辑学比较好
要不要弄个 “代数学” 底下 “一般代数” 的类似物? 或者弄个 “一阶逻辑”, 再讨论其他的
确实有点乱, 只不过我没太懂你想怎么分类呢, 要不你先按照你想的分下类?
我也没有准确想法
我感觉应该给一阶逻辑新开个分类, 毕竟这里面分类: 类型论里的条目并不基于一阶逻辑. 不过我暂时没想好一阶逻辑、零阶逻辑和更高阶逻辑是否要放在一起.
我又想了一下, 可能可以 “命题逻辑”、“一阶逻辑”、“模型论”、“范畴逻辑” 合并叫 “数理逻辑”. “数理逻辑” 和 “类型论” 再放进大类 “数学基础” 里.
但我认为类型论和一阶逻辑平行, 是数理逻辑的子项
主要是我感觉 “数理逻辑” 这个词本身也不太良定, 命题逻辑、谓词逻辑, 模型论又是一套体系, 和类型论思想又不太相同, 不如就用数理逻辑来作为它们的统称.
一阶逻辑和模型论的思想本身就不太一样, 另外类型论也具有模型, 也可以往范畴实现, 所以我认为模型论、范畴逻辑和一阶逻辑的联系并不明显比和类型论的联系更强, 只是类型论比较新而已
但通常的模型论指的就是一阶语言的模型论. 范畴逻辑我也没想好怎么办, 可能可以直接丢到范畴论里.
没有更早的话题