学习形式逻辑对哲学讨论有什么用?

我对这个问题的说明如下

  1. 用是指较为宽泛的意义获取哲学知识。
    1.1 在这里我使用形式逻辑指代包括模态逻辑,数理逻辑,集合论,模型论等更为复杂的形式推理系统。

  2. 我不知道我的观察是否正确。在我的阅读经历中,大多数文本中对形式逻辑的使用,仅限于通过形式逻辑将一个命题进行表述,来达到使得命题更为清晰的目的。大多数文本甚至没有对这些命题尝试进行形式逻辑意义上的推理。

  3. 不排除存在许多哲学讨论依赖形式逻辑展开。可能是因为我的阅读比较少或者不够前沿,但大多数我看到的哲学讨论并不依赖形式逻辑进行推理,尽管这些哲学讨论都具有所谓分析风格。

基于2,3 形式逻辑对于哲学讨论似乎并不是必要的。

  1. 基于以上观察,似乎哲学讨论只需要最基础的babylogic便可以进行,那么更为复杂形式逻辑推演对哲学讨论意义是什么?我们有必要去学习吗?

你忽略了数学哲学和逻辑哲学。。。其他分哲有时候也有用到