我的逻辑观
其实对于这个构思,从开学习逻辑不久就有困惑。市面上那么多教材,那么多结构,不同的形式,讲述的却都是逻辑。甚至无法评价到底谁对谁错,那么我究竟应该信任谁?
就我现在认识到的观点,我们都可以去信任它们。或者说,在学习的过程中,这些体系都是我们需要去了解的部分。
不论是传统的古典逻辑,形式逻辑,还是现代的命题逻辑,谓词逻辑。不论是一阶逻辑,还是变化的高阶逻辑,模态逻辑,以及其他逻辑,都需要我们有所涉猎。
在最为受大众认可的一阶逻辑中,我们也需要了解它的语形和语义。可靠性和完全性,当然还有一致性和可满足性。了解到一阶逻辑的优点和缺点。优点是表述明晰,是我们当下能做到的最经典的对证明的符号化演算。但缺点也很明显,它的表述性并不是那么强,在从直观形式向符号语言转化中,已然会丢失一些重要的性质。
如果你是个哲学初学者,和我一样,我建议先了解和现实语言相关度很大的形式逻辑。然后在这个的基础上了解命题逻辑,随后是谓词逻辑,并且了解他们的语形学和语义学。在这个的基础之上,优先是模态逻辑,然后可以去了解其他的逻辑形式。并开始找到一条属于自己的道路。
就我现在认识到的观点,我们都可以去信任它们。或者说,在学习的过程中,这些体系都是我们需要去了解的部分。
不论是传统的古典逻辑,形式逻辑,还是现代的命题逻辑,谓词逻辑。不论是一阶逻辑,还是变化的高阶逻辑,模态逻辑,以及其他逻辑,都需要我们有所涉猎。
在最为受大众认可的一阶逻辑中,我们也需要了解它的语形和语义。可靠性和完全性,当然还有一致性和可满足性。了解到一阶逻辑的优点和缺点。优点是表述明晰,是我们当下能做到的最经典的对证明的符号化演算。但缺点也很明显,它的表述性并不是那么强,在从直观形式向符号语言转化中,已然会丢失一些重要的性质。
如果你是个哲学初学者,和我一样,我建议先了解和现实语言相关度很大的形式逻辑。然后在这个的基础上了解命题逻辑,随后是谓词逻辑,并且了解他们的语形学和语义学。在这个的基础之上,优先是模态逻辑,然后可以去了解其他的逻辑形式。并开始找到一条属于自己的道路。
逻辑了话就在语言的运用中....
...
@猫薄荷糖
元语言中亦有逻辑形式,但抽象出来的逻辑更便于理解和证明。
推荐个模态逻辑的入门著作吧,这方面好像没多少
说实话我自己在模态这边读的也不多,除了周北海的(还没怎么细看),就看过李小五的。
待我这个假期补一补,回头来写。谢谢提醒。
能推荐本集合论较基础的书吗?
刘壮虎的《素朴集合论》
> 我来回应