APP 與PMB-直覺相對有同樣強大的理論與它相對抗。因為缺少一個更好的名字,我們將稱它為對象的直覺(objectual intuition)(O-直覺)。它嵌入了公理A的觀念:命題7(O-模型).在某些重要的意義下,虛構(gòu)的存在物確實是對象,而且虛構(gòu)發(fā)生的事情確實...[繼續(xù)閱讀]
邏輯哲學(xué)
字數(shù)： 1602
海量資源，盡在掌握
與PMB-直覺相對有同樣強大的理論與它相對抗。因為缺少一個更好的名字,我們將稱它為對象的直覺(objectual intuition)(O-直覺)。它嵌入了公理A的觀念:命題7(O-模型).在某些重要的意義下,虛構(gòu)的存在物確實是對象,而且虛構(gòu)發(fā)生的事情確實...[繼續(xù)閱讀]
然而,邏輯如何更好地適用于抽象對象還是具體對象,這二者是沒有差別的,從對經(jīng)典邏輯的一種堅定批判中仍然可得出結(jié)論:邏輯既不適用于抽象對象也不適用具體對象。有一種方法可以用來解釋這種激進的立場,以使之在技術(shù)上正確...[繼續(xù)閱讀]
自20世紀60年代以來,弗協(xié)調(diào)邏輯就作為一種嚴格意義上(stricto sentu)的邏輯而建立了起來,[1]并且已經(jīng)取得了一些進展,其中大部分進展與系統(tǒng)相關(guān)。[2]為了闡明這些發(fā)展的一種思想(雖然不是全面的),[3]讓我們回顧一下那些最重要的事件...[繼續(xù)閱讀]
波斯特系統(tǒng)Pm對m≥2具有真度集。這些命題系統(tǒng)最初以否定和析取作為基本聯(lián)結(jié)詞,結(jié)合下列真度函項被統(tǒng)一地系統(tǒng)闡述:與先前的系統(tǒng)相反,這里的否定定義似乎并不是以一種獨立于真度數(shù)的統(tǒng)一方式給出的。然而它往往只是所有真度...[繼續(xù)閱讀]
根據(jù)〈A〉是真的和A在所有透明(非透明)的語境中是可以互相替換的,“是真的”有一個確定的使用方法。我們使用“d真的”(‘dtrue’)作為給定的用法,只根據(jù)這種相互替換性,可以定義(一元)謂詞dT。[1]如果這種語言也有一個條件句→...[繼續(xù)閱讀]
正如在§§9和10中解釋的,基于t-范數(shù)的邏輯的標準方法,已經(jīng)以各種方式進行了修改。最主要的背景思想是這些邏輯系統(tǒng)表達力的擴充或修改。第一個對基于t-范數(shù)的系統(tǒng)語言標準詞匯的基本添加是在[巴茲1996]中提出的:對t-范數(shù)代數(shù)來...[繼續(xù)閱讀]
動態(tài)轉(zhuǎn)向一個計算立場涉及一個串聯(lián)的觀點。表征應(yīng)該在考慮到某種過程的情況下被構(gòu)建,而過程應(yīng)該在考慮到某些數(shù)據(jù)的情況下被設(shè)計。從某種意義上說,這甚至出現(xiàn)在早期的邏輯分析中(參見第4節(jié))。畢竟,像“解釋”這樣的詞指示...[繼續(xù)閱讀]
“邏輯的范圍”是蒯因(Quine)的《邏輯哲學(xué)》第五章的標題[蒯因,1970]。蒯因的這章內(nèi)容有一個語境。在這本書的前些部分蒯因就表明了應(yīng)該如何用一個集合論語義學(xué)去建立一個形式語言。他解釋了我們該如何依據(jù)邏輯真理的概念,定...[繼續(xù)閱讀]
我們?yōu)槿绾螌ο蟮摹岸嘀匦浴边B接在一起成為一個單一的對象、一個“集合”尋求解釋。主要有三種方法:· 作為類的集合;· 大小限制的觀點;· 集合的迭代概念。對于類,我的意思是查看外延的性質(zhì)。比如,作為R這一子集的性質(zhì)是...[繼續(xù)閱讀]
T→能被定義為一個“根岑式”演算,但是,我們不得不采取一些預(yù)備步驟。在根岑式序列演算LK和LJ中,它們使經(jīng)典的和直覺的謂詞邏輯形式化,除了有聯(lián)結(jié)詞&x2283;外,尤其還有合取和析取。另外,經(jīng)典邏輯中的林登鮑姆代數(shù)(the Lindenbaum ...[繼續(xù)閱讀]