论文部分内容阅读
按照逻辑学家布尔(R.Bull)与西格伯格(K.Segerberg)的说法,类比于人类学,在20世纪初,刘易斯(C.Lewis)等人的工作相当于在模态逻辑学中引发了一场“农业革命”。这是现代模态逻辑学的肇始,许多工作仍然是相当初步的。模态逻辑的“手工业”时期在持续了将近六十年之后迎来了它的“工业革命”:在1960年左右,克里普克(S.Kripke)等人引入了关系语义理论,