蔡曙山 现代逻辑与形式化方法

蔡曙山 现代逻辑与形式化方法

 蔡曙山 现代逻辑与形式化方法形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构。 蔡曙山清华大学...
  • 1
  • 共 1 页
微信二维码