Can I read 广义模态逻辑 on EtoBox?

广义模态逻辑 by 弓肇祥著, Gong Zhao Xiang Zhu Zuo is a book available to read on EtoBox.

What is 广义模态逻辑 about?

1 (p0-1): 目录 1 (p0-2): 第一章一阶逻辑 1 (p0-3): 第一节命题逻辑 1 (p0-4): 一、命题和命题形式 3 (p0-5): 二、命题逻辑的语言 4 (p0-6): 三逻辑符号语义学 8 (p0-7): 四、有效性 13 (p0-8): 五、命题逻辑公理系统PM 19 (p0-9): 第二节一阶谓词逻辑 19 (p0-10): 一、个体词、谓词和量词 22 (p0-11): 二、 一阶语言 25 (p0-12): 三、一阶语言的语义学 31 (p0-13): 四、一阶逻辑公理系统F 34 (p0-14): 五、带等词的一阶谓词演算FI 36 (p0-15): 第二章模态命题逻辑系统 36 (p0-16): 第一节模态 36 (p0-17): 一、真值模态和非真值模态 37 (p0-18): 二、命题模态和事物模态 38 (p0-19): 三、客观模态和主观模态 39 (p0-20): 四、逻辑模态和物理模态 39 (p0-21): 笫二节 真值模态命题形式 40 (p0-22): 一、 一元模态命题形式 42 (p0-23): 二、二元模态命题形式 43 (p0-24): 第三节模态命题逻辑系统 44 (p0-25): 一、模态逻辑系统K 53 (p0-26): 二、模态逻辑系统T、S4、S5和B 71 (p0-27): 三、模态函项和模态范式 79 (p0-28): 第一节 真和可能世界 79 (p0-29): 第三章 模态命题逻辑语义学 86 (p0-30): 第二节标准模型 92 (p0-31): 第三节 标准模型的扩充 96 (p0-32): 第四节 生成模型 103 (p0-33): 第四章 模态命题逻辑的系统特征 103 (p0-34): 第一节可靠性 104 (p0-35): 第二节 可演绎性和协调性 109 (p0-36): 第三节极大性 116 (p0-37): 第四节完备性 121 (p0-38): 第五章模态谓词逻辑 121 (p0-39): 第一节模态狭谓词逻辑 121 (p0-40): 一、含量词的模态命题形式 124 (p0-41): 二、模态狭胃词逻辑系统FT 127 (p0-42): 三、模态谓词逻辑系统FS5 131 (p0-43): 第二节带等词的一阶模态胃词逻辑 133 (p0-44): 第三节模态谓词逻辑语义学 138 (p0-45): 第六章模态逻辑系统概观 138 (p0-46): 第一节路易斯型模态逻辑 138 (p0-47): 一、路易斯模态逻辑的基本概念 141 (p0-48): 二、路易斯的系统S1 152 (p0-49): 三、路易斯的系统S2 155 (p0-50): 四、路易斯的系统S3 163 (p0-51): 五、路易斯的系统S4 167 (p0-52): 六、路易

Author

弓肇祥著, Gong Zhao Xiang Zhu Zuo

Publisher

北京:中国社会科学出版社

Published

1993

Language

ZH

ISBN

9787500410638

Subjects

Philosophy, Humanities