模态逻辑的典范性问题
@@ 按照逻辑学家布尔(R.Bull)与西格伯格(K.Segerberg)的说法,类比于人类学,在20世纪初,刘易斯(C.Lewis)等人的工作相当于在模态逻辑学中引发了一场"农业革命".这是现代模态逻辑学的肇始,许多工作仍然是相当初步的.模态逻辑的"手工业"时期在持续了将近六十年之后迎来了它的"工业革命":在1960年左右,克里普克(S.Kripke)等人引入了关系语义理论,这也被视为模态逻辑作为逻辑学独立分支成熟的标志.
模态逻辑、性问题、典范性
B81(逻辑学(论理学))
国家社会科学基金;中国博士后科学基金
2011-03-30(万方平台首次上网日期,不代表论文的发表时间)
90-93