有限全序语义和广义皮尔斯律 |
| |
作者姓名: | 刘壮虎 |
| |
作者单位: | 北京大学外国哲学研究所 |
| |
基金项目: | 教育部文科基地重人研究项目《20世纪西方逻辑哲学和数学哲学》05JJD720190 |
| |
摘 要: | 本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的"保真性"给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,证明FO的可靠性、完全性和可判定性;提出了广义的皮尔斯律,证明其能区分不同基数的有限全序;给出了FO的扩充系统FOn,证明了FOn刻画了n个元素的全序。
|
关 键 词: | 多值逻辑 有限全序 保真性 真的程度 皮尔斯律 |
本文献已被 维普 等数据库收录! |
|