逻辑 逻辑系统和逻辑学.pdf

北京大学 学 报
哲 学 社 会 科学 版
一 九九 五 年第六 期
纪 念金岳霖 先生诞辰


周 年
、
逻辑 逻辑 系 统和 逻辑学
宋文 坚
内容提 要 金 岳 霖 先 生 的 逻 辑 思 想 非 常卓越
他认为传统 形 式 逻 辑有严 重 不 足 , 因 而 新
。
兴 出数理 逻 辑 。 数理 逻辑 不 仅 能 很 好给 思 维 以训 练 , 而且 也是科 学 研 究的 重 要 工具 大 学 应 开
。 。
设 的 是 数理 逻 辑课程 它是 一 门 重 要基 础 课 。 金 先 生 的这 些 思 想在 今 天 得 到 充分证 明 数 理逻
。
辑 在 许 多 学 科 得 到 应 用 , 并 发 展 出 专 门 的 应 用逻 辑
关键词 数理 逻 辑 逻 辑 系 统 应 用 逻辑 逻 辑分析 逻 辑哲 学
、 ,
今 年 是 我 国著 名哲 学 家 逻 辑学 家 金 岳霖 诞 辰

周 年 也是 他 的 重 要逻 辑 著作 《逻
。 , ,
辑 》发表
周 年 金 先生 一生 与哲学 和逻辑 相伴 解放前 他 在这两 门学 科领域 都有重 要建树
做 出很 大贡 献
解放 后 , 从


年 到

! 年 , 金老担 任北 大哲学 系主 任 , 对 哲学 系的学科
建 设付 出了辛 勤劳 累 。 他更 特别 地关 心哲学 系逻 辑教学 工作 。 当时 , 国 内有部 分人士 贬低逻
辑 , 甚至 把形 式逻辑 视作 形而 上学 , 金 老则 不顾这 些 , 在哲学 系成 立了 中国第 一个逻 辑专业