現(xiàn)代邏輯的歷史發(fā)展

《現(xiàn)代邏輯的歷史發(fā)展》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。

1、現(xiàn)代邏輯的歷史發(fā)展〔日〕永井成男歷史邏輯學(xué)如果包,括傳統(tǒng)邏輯的古典內(nèi)容的話那末它從古希臘哲學(xué)家亞里士多德。,試創(chuàng)的最初系統(tǒng)以來(lái)就具有漫長(zhǎng)的歷史這種傳統(tǒng)邏輯一直被看作是屬于哲學(xué)的基礎(chǔ)學(xué)問(wèn)。但是這門(mén)學(xué)問(wèn)和漫長(zhǎng)的歷史相比較并沒(méi)有什么較大的實(shí)質(zhì)性進(jìn)展后來(lái)人們發(fā)現(xiàn)邏輯學(xué)屬于,,,數(shù)學(xué)就把它從哲學(xué)中獨(dú)立出來(lái)了因此正如今天所見(jiàn)邏輯學(xué)和其他科學(xué)一樣取得了日新。,月異的顯著發(fā)展于是當(dāng)把作為數(shù)學(xué)的邏輯學(xué)同傳統(tǒng)邏輯學(xué)突出區(qū)分開(kāi)來(lái)的時(shí)候就將其稱。。為符號(hào)邏輯或者數(shù)理邏輯但是也有許多時(shí)候只稱它為邏輯學(xué)或現(xiàn)代邏輯學(xué),、很久以前就有人設(shè)想建立符號(hào)邏輯這可以追溯到德國(guó)

2、哲學(xué)家發(fā)明微積分的有名數(shù)學(xué)。,家菜布尼茨但是最初系統(tǒng)化卻是由英國(guó)數(shù)學(xué)家布爾完成的由于他的邏輯學(xué)被稱作邏輯代,“刀。數(shù)所以即使在今天仍作為布爾代數(shù)存在于抽象代數(shù)學(xué)里,僅就把邏輯學(xué)的數(shù)學(xué)方面作為這門(mén)學(xué)問(wèn)的中心部分來(lái)看邏輯學(xué)最尖端的工作主要靠數(shù)。,,學(xué)家來(lái)完成然而邏輯學(xué)并不是全都成了數(shù)學(xué)盡管它處在符號(hào)邏輯的范圍里也還是有不。,。能只歸入數(shù)學(xué)的哲學(xué)方面必須指出邏輯學(xué)的邊緣部分還有一定程度的哲學(xué)問(wèn)題這方面,。在今天被特別稱為哲學(xué)邏輯而且它的工作主要靠哲學(xué)家來(lái)完成,,將邏輯學(xué)作廣義理解的情況下迄今為止它仍有不講符號(hào)邏輯的領(lǐng)域?qū)鹘y(tǒng)邏輯而言,其代表就

3、是辯證法而在現(xiàn)代分析哲學(xué)里被稱作自然語(yǔ)言學(xué)派的哲學(xué)家中間所稱的非形式邏,。,輯則也是代表的實(shí)例在傳統(tǒng)邏輯中構(gòu)成中心部分的是形式邏輯其邊緣部分的先驗(yàn)邏輯。,和辯證法等等就比形式邏輯更加哲學(xué)化了籠統(tǒng)地說(shuō)目前的符號(hào)邏輯乃是形式邏輯發(fā)展了。,的形態(tài)因此在自然語(yǔ)言學(xué)派看來(lái)現(xiàn)代形式邏輯中不使用符號(hào)邏輯的邏輯學(xué)領(lǐng)域稱作非形,。,式邏輯它是通過(guò)自然語(yǔ)言的分析來(lái)討論邏輯問(wèn)題另外人工語(yǔ)言學(xué)派和自然語(yǔ)言學(xué)派雖,然同屬于將語(yǔ)言分析作為哲學(xué)方法的分析哲學(xué)流派但是僅就不限于自然語(yǔ)言分析而采用符,。,號(hào)邏輯方法以構(gòu)成人工語(yǔ)言這一點(diǎn)來(lái)看它們又有所區(qū)別屬于人工語(yǔ)言學(xué)派的

4、人們認(rèn)為。在哲學(xué)性的語(yǔ)言分析活動(dòng)中或多或少地包含著符號(hào)邏輯,,如上所述即使在今天也很難說(shuō)邏輯學(xué)是屬于哲學(xué)還是屬于數(shù)學(xué)所以在科學(xué)分類(lèi)中暫。且將數(shù)學(xué)和邏輯學(xué)區(qū)分開(kāi)來(lái)的作法也是無(wú)可非議的,“刀“刀邏輯學(xué)在學(xué)問(wèn)中的地位在古希臘把全部學(xué)問(wèn)都稱作哲學(xué)即是說(shuō)哲學(xué)是學(xué)問(wèn)的。,“刀,“,“”同義語(yǔ)到了近代哲學(xué)之外的學(xué)科也開(kāi)始使用科學(xué)這個(gè)詞但科學(xué)是學(xué)問(wèn)的同義,“刀“”已“刀。語(yǔ)無(wú)論是哲學(xué)還是科學(xué)經(jīng)都是單純地表示學(xué)問(wèn)這個(gè)詞義了象今天這樣明確地將“,“刀,。哲學(xué)和科學(xué)區(qū)分開(kāi)來(lái)的使用方法乃是十九世紀(jì)以后的事情十九世紀(jì)后經(jīng)過(guò)急速分化,,?！啊卑l(fā)展學(xué)問(wèn)愈加趨于細(xì)微分

5、化最后成立了專(zhuān)門(mén)的學(xué)科科學(xué)作為語(yǔ)詞是用來(lái)表明如此分。,‘刀“”門(mén)別類(lèi)的學(xué)科而被使用起來(lái)的即使在今天科學(xué)這個(gè)術(shù)語(yǔ)從廣義上講還是學(xué)問(wèn)的同義,“”“刀?！?語(yǔ)然而將哲學(xué)作為學(xué)問(wèn)的同義語(yǔ)的使用方法已經(jīng)消失殆盡了從廣義上講科學(xué)是“刀,,,學(xué)問(wèn)的同義語(yǔ)但它通常指的是除去哲學(xué)之外的那部分學(xué)問(wèn)即是說(shuō)與部分性是科學(xué)的?1994-2009ChinaAcademicJournalElectronicPublishingHouse.Allrightsreserved.http://www.cnki.net,。特征相反全體性乃是哲學(xué)的特征哲學(xué)區(qū)別于科學(xué)就在于它是

6、從整體觀點(diǎn)出發(fā)將一切事物,,、綜合起來(lái)打算統(tǒng)一一切事物的學(xué)問(wèn)活動(dòng)因而哲學(xué)不是作為科學(xué)的一個(gè)分支而同數(shù)學(xué)自、,,。一然科學(xué)人文社會(huì)科學(xué)相并列的學(xué)問(wèn)換言之學(xué)向分為科學(xué)和哲學(xué)兩類(lèi)哲學(xué)還進(jìn)一步分、。,為認(rèn)識(shí)論存在論和價(jià)值論科學(xué)首先分為形式科學(xué)和經(jīng)驗(yàn)科學(xué)形式科學(xué)又分為邏輯學(xué)和,一。數(shù)學(xué)經(jīng)驗(yàn)科學(xué)分為自然科學(xué)和人文社會(huì)科學(xué)一認(rèn)識(shí)論一哲學(xué)一一存在論一價(jià)值論學(xué)問(wèn)一一邏輯學(xué)一形式科學(xué)一一數(shù)學(xué)一科學(xué)一一自然科學(xué)一經(jīng)驗(yàn)科學(xué)一一一人文社會(huì)科學(xué),,必須注意盡管將哲學(xué)和科學(xué)明確地分成兩個(gè)概念但實(shí)際上兩者又是很難分離地重合,,。,著就是說(shuō)哲學(xué)在科學(xué)的一切領(lǐng)域都有重合的

7、現(xiàn)象如前所述哲學(xué)同邏輯學(xué)存在著重,。合在境界領(lǐng)域上哲學(xué)和邏輯學(xué)之間沒(méi)有明確的分界線數(shù)理哲學(xué)數(shù)學(xué)的哲學(xué)對(duì)于數(shù)學(xué)來(lái),,一一講是重合的自然科學(xué)哲學(xué)對(duì)于自然科學(xué)是重合的人文社會(huì)科學(xué)的哲學(xué)對(duì)于人文社會(huì)科。,。學(xué)是重合的一般來(lái)講科學(xué)和科學(xué)哲學(xué)是重合的。形式科學(xué)和經(jīng)驗(yàn)科學(xué)的劃分是基于對(duì)科學(xué)陳述的真值證明所持的不同根據(jù)和方法在理,,論內(nèi)完成的證明稱作論證超出理論之外的以對(duì)經(jīng)驗(yàn)事實(shí)觀察為必要條件的證明稱作實(shí)證,。而形式科學(xué)就是論證的科學(xué)經(jīng)驗(yàn)科學(xué)就是實(shí)證的科學(xué)邏輯學(xué)和數(shù)學(xué)也能應(yīng)用于經(jīng)驗(yàn)科,,。學(xué)因此雖然經(jīng)驗(yàn)科學(xué)包含著論證過(guò)程但是歸根到底最終決定其真?zhèn)蔚谋仨?/p>

8、是實(shí)證,。上文說(shuō)過(guò)哲學(xué)和科學(xué)的所有領(lǐng)域是重合的而跟哲學(xué)關(guān)系最深的要屬邏輯學(xué)哲學(xué)研究,,,要是把哲學(xué)史另當(dāng)別論的話主要是依據(jù)論證方法進(jìn)行的并且與此相關(guān)聯(lián)哲學(xué)和邏輯學(xué)。。又都是把語(yǔ)言分析作為主要的論證方法下面僅