本文關(guān)鍵詞：一元算符邏輯理論三探——狹義函數(shù)相對(duì)論視野下的現(xiàn)代模態(tài)邏輯　出處：《華中科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2012年03期 　論文類(lèi)型：期刊論文

  更多相關(guān)文章： 狹義一元算符 經(jīng)典二元真值函數(shù) K- K-

【摘要】：狹義函數(shù)相對(duì)論基本原理:對(duì)于任意二真值的邏輯變量p和由任意一元算符H與p所形成的二真值變量Hp,無(wú)論Hp是否為p的真值函數(shù),它總會(huì)等值于p和獨(dú)立于p的另一二真值變量q所形成的一個(gè)真值函數(shù)。由于有且僅有16個(gè)二真值二元函數(shù)式和有且僅有16個(gè)相應(yīng)的基本二真值二元函數(shù),所以有且僅有16個(gè)一元算符和有且僅有16個(gè)相應(yīng)的基本二真值一元非函數(shù)。其他的二真值一元非函數(shù)由且僅由這16個(gè)一元算符疊置所形成。那么可進(jìn)一步認(rèn)為現(xiàn)代模態(tài)邏輯公理其實(shí)是按一階邏輯對(duì)經(jīng)典二真值函數(shù)做分類(lèi)研究。模態(tài)命題邏輯中任一可能世界集W僅對(duì)應(yīng)一組二元真值函數(shù),相應(yīng)的可能世界間的關(guān)系R就是這組函數(shù)共有的一種集合性質(zhì)。任一公理模式在一框架內(nèi)有效,就是將屬于W的每個(gè)真值函數(shù)(式)按K-2分別依次代入該公理模式中的每一個(gè)"□",使得形成一組經(jīng)典定理。
[Abstract]:The basic principle of special function relativity: for the logical variable p of arbitrary binary truth value and the binary truth variable HP formed by any univariate operator H and p, whether HP is a true function of p or not. It is always equivalent to a truth function formed by p and the other binary truth variable Q independent of p, because there are and only 16 binary binary functions with binary binary values and only 16 corresponding binary functions with basic binary values. Therefore, there are only 16 unary operators and only 16 basic binary value unary functions. The other binary value unary functions are formed by and only by the superposition of these 16 unary operators. It is considered that the axiom of modern modal logic is to classify classical two-truth functions according to first-order logic, and that any set of possible worlds W in modal propositional logic only corresponds to a set of binary truth functions. The corresponding relation between the possible worlds R is a set property shared by this set of functions. Any axiomatic model is valid within a framework. That is to put each truth function (formula) belonging to W into each "-" of the axiom pattern according to K-2, so as to form a set of classical theorems.
【作者單位】： 華中科技大學(xué)哲學(xué)系;
【基金】：國(guó)家留學(xué)基金(學(xué)號(hào)200635015)項(xiàng)目 國(guó)家社科基金項(xiàng)目(2007zxc49)
【分類(lèi)號(hào)】：B815.1
【正文快照】： 本文僅研究二真值的非函數(shù),而把非二真值的非函數(shù)留在“3+N探”討論。類(lèi)比愛(ài)因斯坦提出“同時(shí)性的相對(duì)性原理”,本文先提出狹義函數(shù)相對(duì)論的基本原理“對(duì)于任意二真值的邏輯變量p和由任意一元算符H與p所形成的二真值變量Hp,無(wú)論Hp是否為p的真值函數(shù),它總會(huì)等值于p和獨(dú)立于p的

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前2條

1 萬(wàn)小龍;;經(jīng)典邏輯命題聯(lián)結(jié)詞的泛函分析初探——一元算符是否可能窮盡?[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2011年06期

2 莫紹揆;多值函數(shù)新論[J];南京大學(xué)學(xué)報(bào)(自然科學(xué)版);1998年01期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前4條

1 萬(wàn)小龍;李福勇;田雪;;一元算符邏輯理論二探——一元算符完全性視野下的道義邏輯研究[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2012年03期

2 萬(wàn)小龍;李福勇;;量子邏輯、量子悖論與量子疑難[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2012年05期

3 萬(wàn)小龍;;現(xiàn)代模態(tài)邏輯的形式分析初步——魔態(tài)羽翼的跨世界逃逸與“刑師”分析下的在劫難逃[J];淮陰師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2012年03期

4 M.斯托克霍夫;馬明輝;;意義的體系——維特根斯坦的《邏輯哲學(xué)論》與形式語(yǔ)義學(xué)[J];世界哲學(xué);2009年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前2條

1 萬(wàn)小龍;陳明益;;“魔態(tài)”語(yǔ)義的跨世界逃逸與“刑師”分析下的在劫難逃——狹義函數(shù)相對(duì)論視野下的現(xiàn)代模態(tài)邏輯[A];第八屆全國(guó)分析哲學(xué)研討會(huì)論文集（上）[C];2012年

2 田雪;萬(wàn)小龍;陳明益;;狹義函數(shù)相對(duì)論視野下的道義邏輯與道義悖論解析[A];第八屆全國(guó)分析哲學(xué)研討會(huì)論文集（上）[C];2012年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前5條

1 杜國(guó)平;;哲思邏輯——一個(gè)形而上學(xué)內(nèi)容的公理體系[J];東南大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年04期

2 莫紹揆;多值函數(shù)與復(fù)變函數(shù)[J];工科數(shù)學(xué);1988年03期

3 陳曉平;;辯證邏輯與形而上學(xué)——兼析形式系統(tǒng)Z的辯證法含義[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年05期

4 杜國(guó)平;;經(jīng)典邏輯視野中的弗協(xié)調(diào)邏輯[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2007年05期

5 桂起權(quán),陳曉平;辯證邏輯形式化的研究綱領(lǐng)[J];云南社會(huì)科學(xué);1992年05期

，

本文編號(hào)：1429739