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

逻辑科学中的形式化方法是指分析和研究思维形式结构的方法。它比较了各种不同内容的思维形式（主要是命题和推理），找出了各部分之间的联系方式。例如，命题包含了概念之间的联系，而推理是每个命题之间的联系，并提取了它们共同的形式结构。
 
蔡曙山
清华大学
清华大学认知科学基地主任、心理与认知科学中心主任。他还担任国际逻辑、方法论和科学哲学协会学术助理、国际符号学研究协会主任、国际符号交流学院院士。他的主要研究领域是逻辑、哲学和认知科学。

[我要扒资料]

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。