逻辑哲学论 |
您所在的位置:网站首页 › 关于哲学的图 › 逻辑哲学论 |
研究纯形式内容的推论的一门学科,这种内容是很明确的。 若一个推论可以被表达成一个完全抽象的规则(即不只是和任一特定事物或性质有关的规则)的一个特定应用,则这个推论拥有纯形式内容。 形式逻辑的规则由亚里斯多德最先写成。 在许多逻辑的定义中,逻辑推论与带有纯形式内容的推论会是同一种概念。但这不表示非形式逻辑的概念是空洞的,因为没有任何一种形式语言可以捕捉到自然语言语义间所有的微细差别。 形式是逻辑的核心,但在“形式逻辑”中对“形式”使用时常不很明确,因而使其阐述变得很费解。其中,符号逻辑仅为形式逻辑的一种类型,而和形式逻辑的另一种类型-只处理直言命题的三段论不同。 符号逻辑 命题逻辑 谓词逻辑 数理逻辑 模型论 证明论 集合论 递归论 |
今日新闻 |
点击排行 |
|
推荐新闻 |
图片新闻 |
|
专题文章 |
CopyRight 2018-2019 实验室设备网 版权所有 win10的实时保护怎么永久关闭 |