形式系统的可靠性和完全性问题 |
| |
引用本文: | 余俊伟.形式系统的可靠性和完全性问题[J].湘潭工学院学报,2005,8(1):25-29. |
| |
作者姓名: | 余俊伟 |
| |
作者单位: | 中国人民大学哲学系,北京100872 |
| |
摘 要: | 语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对干通常的语义解释是否具有强可靠性。对必然化规则和模态逻辑系统来说有类似的结果。
|
关 键 词: | 语法 全称 语义解释 概括 相对 经典 限制 必然 形式系统 模态逻辑 |
本文献已被 维普 等数据库收录! |
|