羅馬與中世紀(jì)邏輯

羅馬與中世紀(jì)邏輯阿爾琴到阿伯拉爾阿伯拉而之前阿爾琴馬提安·賈培拉約翰尼斯·斯考特·愛律根——中世紀(jì)第一個(gè)使用三段論推理的著作家西爾維斯特（古羅馬皇帝）阿波與洛特克·拉波加蘭德討論了各種謂詞的學(xué)說(shuō)“五旌”安瑟倫與洛色林上帝存在的本體論證明圣托馬斯，關(guān)于真理一切神學(xué)或哲學(xué)的問(wèn)題，都是從考察問(wèn)題的研究開始的。阿伯拉爾“真理與真理并不矛盾”邏輯著作《小引》《邏輯進(jìn)展》《我們的預(yù)期理由邏輯》《論辯術(shù)》第二部和第四部最有價(jià)值阿伯拉爾未發(fā)表著作重新闡釋鮑依休斯的著作分為五篇1卷首2論范疇3論辯術(shù)4論假言5論分類和定義第一部論著第三部分可以和第二篇的前兩卷合并考察，他們共同研究了命題篇的內(nèi)容和直言三段論學(xué)說(shuō)中所預(yù)先假定的命題推論。阿伯拉爾把命題定義為一種有真假意義的話，——真假本屬于命題記號(hào)所指稱的內(nèi)容。他完全準(zhǔn)備把命題本身（或者命題記號(hào)）說(shuō)成是真或假，甚至說(shuō)他們可以按照情況的變化從真變?yōu)榧?，或者從假變?yōu)檎?。但是他主張，?dāng)我們講一個(gè)命題是真的，我們的意思一定是指它產(chǎn)生了一個(gè)新思想，或者是指他所提出的實(shí)際上是事實(shí)的東西。第二種觀點(diǎn)更根本，因?yàn)殡m然記號(hào)可以說(shuō)表示兩種不同的意義，一個(gè)涉及思想，一個(gè)設(shè)計(jì)事物，但在邏輯中，我們對(duì)命題所感興趣的是它們具有指稱事物情況的意義。例如，當(dāng)我們說(shuō)一個(gè)命題推出另一個(gè)命題時(shí)，我們的意思并不是指第一個(gè)命題所傳達(dá)的思想沒(méi)有第二個(gè)命題所傳達(dá)的思想是不可能的，因?yàn)橐粋€(gè)思想沒(méi)有另一個(gè)思想也完全可以出現(xiàn)阿伯拉爾的結(jié)論一個(gè)命題所表達(dá)的東西顯然不能是一個(gè)現(xiàn)存的東西，因?yàn)樗鞘挛锏拇嬖?，或者歸根結(jié)底是事物彼此可以相關(guān)的方式?！啊?，所謂真的就是按實(shí)物進(jìn)行表述，所謂假，即不按實(shí)物進(jìn)行表述。凡是按事物進(jìn)行完善表述的，是真命題，但不是指稱事物”（而是思想）關(guān)于命題內(nèi)容的說(shuō)明類似于關(guān)于共相的斷言。一切人所共同的東西就是“是-一個(gè)-人”蘇格拉底是人并不是指稱一個(gè)事物，按照阿伯拉爾，詞語(yǔ)甚至可以應(yīng)用于思想的不存在的對(duì)象。實(shí)質(zhì)性動(dòng)詞“是”的重要意義關(guān)于動(dòng)詞，阿伯拉爾不同于亞里士多德，動(dòng)詞和名詞的區(qū)別并不是因?yàn)閯?dòng)詞包含對(duì)時(shí)間的一種暗示，而是因?yàn)閯?dòng)詞能夠?qū)崿F(xiàn)某個(gè)命題的組成所必須的聯(lián)結(jié)。阿伯拉爾通常認(rèn)為連詞這個(gè)詞是作為邏輯的專門用語(yǔ)引進(jìn)的?！行┱軐W(xué)家說(shuō)過(guò)是這個(gè)動(dòng)詞表示了謂詞和主詞之間的一種依附關(guān)系。阿伯拉爾不完全反對(duì)依附關(guān)系，但認(rèn)為這種說(shuō)法對(duì)于解釋動(dòng)詞是的意義是沒(méi)有用的。會(huì)導(dǎo)致荒謬和無(wú)窮倒退?！笆恰笔且粋€(gè)不及物的連詞?！墩撛~項(xiàng)特性》首先，動(dòng)詞和名詞不一樣，能夠直接把自己聯(lián)結(jié)到主詞上去。其次，阿伯拉爾注意到主詞最初是代表在講話時(shí)存在的事物，并且論證到，由于這個(gè)原因，過(guò)去時(shí)態(tài)或?qū)?lái)時(shí)態(tài)的命題不能夠象現(xiàn)在時(shí)態(tài)的那些命題那樣簡(jiǎn)單換位。第三，當(dāng)阿伯拉爾把他的連詞，解釋為一個(gè)不及物的聯(lián)結(jié)點(diǎn)時(shí)，他反對(duì)某些語(yǔ)法家們這樣一種說(shuō)法：象人是名詞這樣的命題包含了一個(gè)結(jié)構(gòu)……是實(shí)質(zhì)指代學(xué)說(shuō)的起源。關(guān)于否定與對(duì)當(dāng)方陣的說(shuō)明。早期著作中，承認(rèn)“沒(méi)有人是白的”，可以看成是：“有的人是白的”這個(gè)命題的矛盾命題，因?yàn)椤皼](méi)有”只是“不是任何”的縮寫，而后來(lái)他認(rèn)為要拒絕承認(rèn)“有的人不是白的”是“所有人是白的”這一命題的矛盾命題。后來(lái)的中世紀(jì)邏輯學(xué)家并沒(méi)有遵循阿伯拉爾的用法，去試圖區(qū)分“不是所有”和“有的不”阿伯拉爾從否定進(jìn)而考察量的記號(hào)，所有、有的、沒(méi)有一個(gè)。他把“沒(méi)有一個(gè)”看成是“不是有的”同意的。所以只需要說(shuō)明其他兩項(xiàng)。在所有的地方，阿伯拉爾認(rèn)為詞項(xiàng)是事物的名稱，也就是說(shuō)，他采取了以后的直言命題的外延觀點(diǎn)?！鞍凑找饬x的解釋”與“按照事物的解釋”的區(qū)別。關(guān)于模態(tài)阿伯拉爾說(shuō)，可能和偶然是同義詞。阿伯拉爾試圖給偶然下一個(gè)新定義，而不是把可能限定在不是必然的東西上。雖然……阿伯拉爾從模態(tài)進(jìn)而轉(zhuǎn)到論述將來(lái)的偶然事件的問(wèn)題。關(guān)于過(guò)去或現(xiàn)在的真命題一定是真的關(guān)于將來(lái)偶然事件的命題卻不能在同樣的意義上一定是真的或一定是假的，但這不等于說(shuō)，任何這樣的命題不能是真的或假的。阿伯拉爾試圖采取另一種觀點(diǎn)，一個(gè)命題在一個(gè)時(shí)候可以為真，在另一個(gè)時(shí)候可以為假。他似乎是把絕對(duì)必然性和一切時(shí)候的真實(shí)性等同起來(lái)。這里他的學(xué)說(shuō)有矛盾。推論阿伯拉爾的用法，推論并不表示一個(gè)命題從另一個(gè)命題得出的方式（他用另外一個(gè)詞來(lái)表達(dá)它）他把consequentia看成是為“條件命題”的意義保留的。這個(gè)詞似乎基于consequens（后承）這個(gè)詞的用法，表示條件命題的第二部分。他認(rèn)為，有些人認(rèn)為僅有或然性就足以保證條件命題的真實(shí)性。但是按照他的觀點(diǎn)，使用這種形式指的恰恰是結(jié)論的必然性（necessitasconsecutionis）條件陳述句或推論的任何語(yǔ)句都是必然聯(lián)系的陳述句。而且，由于他們明顯是關(guān)于必然的陳述句，因而他認(rèn)為，如果他們確實(shí)是真的，則他們永遠(yuǎn)是真的。某些論證之所以是完善的，在于它們的前提本身就足以使其結(jié)論成立，如果我們構(gòu)造一個(gè)條件陳述句，它的前件是這種論證的前提的合取，它的后件是這種論證的結(jié)論的合取，那么結(jié)論就是一個(gè)按照結(jié)構(gòu)即由于它的形式結(jié)構(gòu)是真的推論。也有不完善的論證，他們的成立需要從事物的本性補(bǔ)充某種東西。相應(yīng)于這種論證的推論的真實(shí)性依賴于用詞項(xiàng)來(lái)命名的事物的本性。如果我們用其它詞項(xiàng)來(lái)代替相應(yīng)于不完善的論證的推論里的詞項(xiàng)，那么結(jié)果也許是一個(gè)假命題。阿伯拉爾不滿足于那種認(rèn)為條件句形式必須是表達(dá)必然聯(lián)系的主張，他進(jìn)而還說(shuō)，甚至“必然結(jié)論”作為他所要求的表述也是不充分的，因?yàn)樗梢栽谝环N不精確的意義上理解為包含有不合適的結(jié)論。按照嚴(yán)格的意義，真的條件陳述句的前件就其內(nèi)在本質(zhì)而言，是需要后件的。阿伯拉爾的這種有趣的觀點(diǎn)似乎是中世紀(jì)關(guān)于蘊(yùn)涵悖論的長(zhǎng)期論戰(zhàn)的開端。阿伯拉爾他沒(méi)有區(qū)分先天真理和后天真理的差別（后來(lái)培根和笛卡爾思想）他沒(méi)有嘗試（a）在形式邏輯里給關(guān)系理論找尋一個(gè)地位（b）在先天的和經(jīng)驗(yàn)的研究之間畫出一條界線，但是他主張應(yīng)當(dāng)發(fā)展一種新的非形式邏輯，這種邏輯研究所有由于詞項(xiàng)，即由于與其結(jié)構(gòu)不同的詞項(xiàng)而是真的推論。研究推論時(shí)給出一些準(zhǔn)則首先是肯定肯定式的規(guī)則（1）肯定前件就肯定后件其次給出的是否定否定式的規(guī)則（2）否定后件就否定前件提出許多否定的規(guī)則不可能有形式上的有效論證。（a）從肯定前件到否定后件（b）從否定前件到否定后件（c）從否定前件到肯定后件（d）從否定后件到肯定前件（e）從肯定后見到肯定前件（f）從肯定后件到否定前件推出關(guān)系的傳遞原則用肯定和否定來(lái)表示真和假的關(guān)系用推出的概念來(lái)表示各種模態(tài)（包括真和假）的關(guān)系論假言的論文。假言的這個(gè)詞仍然用于包括條件命題和析取命題。阿伯拉爾傾向于把“假言的”與“條件的”用為同義詞。阿伯拉爾拒絕鮑依休斯的某些論題可以看做是偶然真的條