12/27/2015 11:06:00 下午

不需「現實世界的」的翻譯

現時二維模態邏輯的形式系統主要源於 Crossley & Humberstone (1977) ,而將模態邏輯擴充至二維模態邏輯的主要理由是要 翻譯 “It is possible for every red thing to be shiny” 這類的語句 。 Teic...
12/15/2015 11:37:00 上午

二維模態邏輯之起源

二維模態邏輯 (two-dimensional modal logic) 的出現和其他邏輯系統一樣,是為強化既有邏輯系統的表達力,使之能處理更多日常語句。二維模態邏輯最早出現在 Segerberg (1973) ,不過最為人熟知卻是在 Crossley & Humbers...
12/08/2015 09:09:00 上午

Barcan Formula

模態邏輯有兩個式子,由女哲學家 Ruth Barcan Marcus 命名,分別是 (BF) $\forall x\Box Fx\to\Box\forall x Fx$ (CBF) $\Box\forall x Fx\to\forall x\Box Fx$ 第一個式...
技術提供:Blogger.