网站首页
教育杂志
CSSCI期刊 北大期刊 CSCD期刊 统计源期刊 知网收录期刊 维普收录期刊 万方收录期刊 SCI期刊(美)
医学杂志
CSSCI期刊 北大期刊 CSCD期刊 统计源期刊 知网收录期刊 维普收录期刊 万方收录期刊 SCI期刊(美)
经济杂志
CSSCI期刊 北大期刊 CSCD期刊 统计源期刊 知网收录期刊 维普收录期刊 万方收录期刊 SCI期刊(美)
金融杂志
CSSCI期刊 北大期刊 CSCD期刊 统计源期刊 知网收录期刊 维普收录期刊 万方收录期刊 SCI期刊(美)
管理杂志
CSSCI期刊 北大期刊 CSCD期刊 统计源期刊 知网收录期刊 维普收录期刊 万方收录期刊 SCI期刊(美)
科技杂志
CSSCI期刊 北大期刊 CSCD期刊 统计源期刊 知网收录期刊 维普收录期刊 万方收录期刊 SCI期刊(美)
工业杂志
CSSCI期刊 北大期刊 CSCD期刊 统计源期刊 知网收录期刊 维普收录期刊 万方收录期刊 SCI期刊(美)
SCI杂志
中科院1区 中科院2区 中科院3区 中科院4区
全部期刊
公務(wù)員期刊網(wǎng) 精選范文 邏輯學(xué)研究方向范文

邏輯學(xué)研究方向精選(九篇)

前言:一篇好文章的誕生,需要你不斷地搜集資料、整理思路,本站小編為你收集了豐富的邏輯學(xué)研究方向主題范文,僅供參考,歡迎閱讀并收藏。

第1篇:邏輯學(xué)研究方向范文

1.邏輯的涵義

1.1 認(rèn)識(shí):思維的載體

人的認(rèn)識(shí)活動(dòng)可以分為感性認(rèn)識(shí)和理性認(rèn)識(shí),感性認(rèn)識(shí)是人們?cè)趯?shí)踐活動(dòng)中通過感覺器官接觸外界事物而獲得的關(guān)于事物表面的和外部聯(lián)系的認(rèn)識(shí)。隨著實(shí)踐活動(dòng)的繼續(xù)和深入,人們會(huì)對(duì)感性材料通過大腦反復(fù)的加工制作,最本文由收集整理后達(dá)到對(duì)事物本質(zhì)和規(guī)律性的認(rèn)識(shí),這就是理性認(rèn)識(shí)。而思維就是人們對(duì)感性材料加工制作的過程,即形成概念、作出判斷和進(jìn)行推理的過程。

1.2 思維:抽象客觀的規(guī)律

從唯物主義的角度來說,一切客觀的事物及其運(yùn)動(dòng)都有自己的規(guī)律,思維作為一種客觀現(xiàn)象,自然也有規(guī)律。我國(guó)著名學(xué)者錢學(xué)森在1980年發(fā)表的《自然辯證法、思維科學(xué)和人的潛力》一文中對(duì)思維做了如下的劃分:抽象思維(也稱之為邏輯思維)、形象思維(或稱之為直感思維)和靈感思維(亦稱之為頓悟思維)。

后來在1993年8月8號(hào)錢學(xué)森與夏軍教授在書信往來中提到除了上述三種思維之外的另一種:夢(mèng)。夢(mèng)境屬于心理學(xué)而不是邏輯學(xué)的研究領(lǐng)域。但是作為思維形式的完整形式,我個(gè)人認(rèn)為應(yīng)該劃分為四種。只不過和該課程有關(guān)系的只有三種而已。

1.3 邏輯:研究思維的工具

上述提到思維是有規(guī)律的。而邏輯就是旨在研究關(guān)于思維形態(tài)的結(jié)構(gòu)和規(guī)律。主要研究思維的邏輯形式、思維的基本規(guī)律和思維的簡(jiǎn)單邏輯方法。

任何一門學(xué)科都會(huì)有各自的語言,如同代碼之于計(jì)算機(jī);圖形之于幾何學(xué),邏輯學(xué)作為一門學(xué)科,也有能反映其特色的語言。邏輯學(xué)的語言就是論證。包括命題、斷言等以及如何辨別其真?zhèn)蔚葍?nèi)容。

2.邏輯學(xué)中“命題”的思想

命題從范圍上來講主要分為全稱命題和特稱命題。全稱相當(dāng)于整體,或者說是宏觀角度。特稱就相當(dāng)與部分或者說是微觀角度。這樣的話,分析問題就會(huì)有兩條思路:一是從全稱到特稱,即從整體到部分、自上而下的分析方法,它注重的是微觀、局部與細(xì)節(jié);另一種就是從特稱到全稱,即從部分到整體、自下而上的分析方法,他注重的是宏觀、整體與系統(tǒng)。

但是有一個(gè)問題必須注意到:注重細(xì)節(jié)與微觀會(huì)將客觀事物的局部理解的更為深刻,但是反過來,局部的深刻理解不代表整體的明確把握。對(duì)部分有效的結(jié)論,不能說對(duì)整體也是有效的。

3.邏輯命題思想在技術(shù)經(jīng)濟(jì)學(xué)科研究方法的指導(dǎo)

3.1 還原論:自然科學(xué)的研究方法

3.1.1 還原論的原理

對(duì)于自然科學(xué),100多年來,笛卡爾、伽利略、牛頓和萊布尼茨所創(chuàng)立的近代科學(xué)研究方法和觀念——還原論在自然科學(xué)領(lǐng)域取得了很大的成功。還原論簡(jiǎn)單地說就是從整體向下分解,研究的越來越細(xì)。因此還原論相當(dāng)于是全稱到特稱的過程。按照這個(gè)方法,生物學(xué)對(duì)生命的研究到達(dá)了基因?qū)哟?,物理學(xué)對(duì)物質(zhì)結(jié)構(gòu)的研究已經(jīng)到達(dá)了夸克的層次。也就是說,還原論方法由整體往下分解成部分并且研究部分,如果部分還研究不清楚就繼續(xù)分解,直到研究清楚為止。

這種從全稱到特稱,從整體到部分、自上而下的分析方法,注重了微觀、局部與細(xì)節(jié),極大地促進(jìn)了自然科學(xué)的發(fā)展。新的學(xué)科、新的領(lǐng)域不斷出現(xiàn)。人們一直認(rèn)為這就是認(rèn)識(shí)客觀世界最有效的途徑。

3.1.2 還原論的局限性

直到一位科學(xué)家的出現(xiàn)逐漸開始打破數(shù)百年來傳統(tǒng)的認(rèn)識(shí)客觀世界的這種觀點(diǎn)。(當(dāng)然,“打破”并不意味著“全盤否定”)

分子生物學(xué)家彼塔朗菲指出當(dāng)生物學(xué)的研究已經(jīng)發(fā)展到分子生物學(xué)的時(shí)候,對(duì)生物在分子層次的了解越多,對(duì)生物整體反而認(rèn)識(shí)得越模糊。

所以,現(xiàn)實(shí)的情況卻是:就算研究透了基因也不等于就明白了整個(gè)生命的一切,即使認(rèn)識(shí)了基本粒子也不能保證完全可以解釋大物質(zhì)構(gòu)造。不能否認(rèn)還原論使得自然科學(xué)的研究得以深入到人類曾經(jīng)無法想象到的程度,這是它的優(yōu)勢(shì)方面。但是,這種方法由下往上是回不去的。還原論并不能回答高層次和整體性的問題。

因?yàn)樽⒅丶?xì)節(jié)與微觀會(huì)將客觀事物的局部理解的更為深刻,但是反過來,局部的深刻理解不代表整體的明確把握。對(duì)部分有效的結(jié)論,不能說對(duì)整體也是有效的。

3.2 系統(tǒng)論:綜合學(xué)科的研究方法

3.2.1 綜合學(xué)科的特點(diǎn)

如今現(xiàn)代科學(xué)技術(shù)已經(jīng)學(xué)科林立,(在還原論的指導(dǎo)下)雖然分工越來越細(xì),新領(lǐng)域不斷產(chǎn)生;但是另一方面是不同的學(xué)科和領(lǐng)域之間相互交叉結(jié)合,向綜合性整體化的方向發(fā)展。技術(shù)經(jīng)濟(jì)就是在這樣的情況下產(chǎn)生的一門學(xué)科。它是工程技術(shù)、社會(huì)科學(xué)和人文科學(xué)的結(jié)合,所以也有很多人稱之為“工程師的經(jīng)濟(jì)學(xué)”。

這種綜合性、交叉性學(xué)科常常具有系統(tǒng)性與整體性。它是從事物的整體與部分、全局與局部的角度來研究客觀世界的??陀^世界包括自然、社會(huì)和人自身,能反映事物這個(gè)特征最基本的重要概念就是系統(tǒng)。因此,對(duì)于技術(shù)經(jīng)濟(jì)與管理這樣的學(xué)科,僅僅采用由上而下的還原論方法去研究局部與細(xì)節(jié)是遠(yuǎn)不能達(dá)到這門學(xué)科的要求,與此同時(shí),必須還要以由下而上的整體與系統(tǒng)的方法來研究它。將其定義為系統(tǒng)論方法。

3.2.2 系統(tǒng)論在綜合學(xué)科總的應(yīng)用

在本文的開篇,提到了對(duì)思維的界定:抽象思維、形象思維和靈感思維。人腦思維一種是邏輯思維,它是定量、微觀處理信息的方法;形象思維是定性、宏觀處理信息的方法,而人的創(chuàng)造性主要來自創(chuàng)造思維,創(chuàng)造思維可以說是邏輯思維與形象思維的結(jié)合,也就是定性與定量的結(jié)合、宏觀與微觀的結(jié)合,這是人腦創(chuàng)造性的源泉。

系統(tǒng)論方法既包括了從整體到部分由上而下的研究方式,滿足了技術(shù)經(jīng)濟(jì)與自然科學(xué)相聯(lián)系的需要,又以從部分到整體由下而上的研究思路滿足了它作為交叉學(xué)科的要求。在效果上可以形象的概括為:還原論方法是要做到1+1小于等于2,系統(tǒng)論的方法是要實(shí)現(xiàn)1+1大于等于2。

第2篇:邏輯學(xué)研究方向范文

摘 要 發(fā)球技術(shù)是網(wǎng)球比賽中最關(guān)鍵的一項(xiàng)基本技術(shù)之一,如能夠掌握極具進(jìn)攻性發(fā)球技術(shù),對(duì)取得比賽的勝利是很重要的。本研究通過觀察、實(shí)驗(yàn)、對(duì)比并結(jié)合網(wǎng)球發(fā)球理論分析決定網(wǎng)球的落點(diǎn)的因素,找到發(fā)球落點(diǎn)訓(xùn)練的最佳方式。

關(guān)鍵詞 網(wǎng)球發(fā)球;落點(diǎn);成功率;訓(xùn)練方法

一、前言

選題依據(jù):

發(fā)球技術(shù)是網(wǎng)球比賽中最關(guān)鍵的一項(xiàng)基本技術(shù)之一,是唯一由自己掌握而不受對(duì)手控制的擊球方法,也是在比賽中克敵制勝的強(qiáng)有力武器。如能夠掌握極具進(jìn)攻性發(fā)球技術(shù),可以世界網(wǎng)壇高手中脫穎而出,對(duì)取得比賽的勝利是十分重要的。

二、研究對(duì)象與方法

在廣泛閱讀有關(guān)發(fā)球技術(shù)動(dòng)作的相關(guān)論文,通過觀察了解北京體育大學(xué)教育學(xué)院06級(jí)7班專項(xiàng)隊(duì)網(wǎng)球發(fā)球訓(xùn)練及發(fā)球技術(shù)情況基礎(chǔ)上,采用實(shí)驗(yàn)法和比較分析法檢驗(yàn)針對(duì)提高網(wǎng)球落點(diǎn)成功率的訓(xùn)練方法的有效性。

(一)實(shí)驗(yàn)?zāi)康?/p>

通過對(duì)北京體育大學(xué)教育學(xué)院06級(jí)男生專項(xiàng)隊(duì)隊(duì)員實(shí)驗(yàn)前與試驗(yàn)后得出的外角1/4區(qū)落點(diǎn)的成功率進(jìn)行比較,檢測(cè)發(fā)球落點(diǎn)訓(xùn)練方法的有效性。

(二)實(shí)驗(yàn)對(duì)象

北京體育大學(xué)教育學(xué)院06級(jí)男生專項(xiàng)隊(duì)隊(duì)員10名測(cè)驗(yàn)者(表1),每位隊(duì)員從事網(wǎng)球訓(xùn)練時(shí)間4年,有良好的網(wǎng)球發(fā)球技術(shù)功底。

(三)實(shí)驗(yàn)方法

1.第一次測(cè)驗(yàn)

測(cè)試方法要求:

(1)一區(qū)固定區(qū)域發(fā)球,要求發(fā)球落點(diǎn)位于外角界內(nèi)1/4區(qū)為有效球。(2)每位運(yùn)動(dòng)員有20次發(fā)球機(jī)會(huì)。(3)要求以比賽中發(fā)二發(fā)球的程度進(jìn)行發(fā)球。

實(shí)驗(yàn)完畢后,及時(shí)對(duì)記錄的數(shù)據(jù)進(jìn)行整理計(jì)算,得出第一次測(cè)驗(yàn)發(fā)球落點(diǎn)成功率的數(shù)據(jù)。

2.實(shí)驗(yàn)訓(xùn)練階段

根據(jù)由本人閱讀有關(guān)發(fā)球技術(shù)動(dòng)作的相關(guān)論文,分析得出的網(wǎng)球發(fā)球落點(diǎn)的訓(xùn)練方法,對(duì)參加第一次測(cè)試中的北京體育大學(xué)教育學(xué)院06級(jí)男生專項(xiàng)隊(duì)隊(duì)員10名測(cè)驗(yàn)者進(jìn)行定期分批針對(duì)性的訓(xùn)練。

訓(xùn)練方法:

(1)拋球準(zhǔn)的訓(xùn)練:讓隊(duì)員進(jìn)行擋網(wǎng)拋球,以糾正偏斜缺點(diǎn);在空中設(shè)置固定物,每次拋球都要輕微觸及目標(biāo),以糾正高低不穩(wěn)的缺點(diǎn);反復(fù)練習(xí),提高拋球的穩(wěn)定性。(2)動(dòng)作準(zhǔn)的訓(xùn)練:通過錄像觀察掌握后擺與揮臂的要領(lǐng),反復(fù)做提肘“搔背”動(dòng)作,然后伸臂鞭打揮拍,反復(fù)徒手練習(xí),來體會(huì)、強(qiáng)化動(dòng)作。(3)擊球準(zhǔn)的練習(xí):要注重拋球穩(wěn)找準(zhǔn)擊球時(shí)機(jī),提高攻擊力,使自己不過分緊張用力。(4)設(shè)置目標(biāo)、擊中目標(biāo)的練習(xí)。

3.第二次測(cè)驗(yàn)

整個(gè)測(cè)驗(yàn)的過程與第一次的測(cè)試過程相同。

三、結(jié)果與分析討論

(一)實(shí)驗(yàn)結(jié)果

1.通過結(jié)合隊(duì)員的而發(fā)發(fā)球技術(shù)特點(diǎn)與統(tǒng)計(jì)第一次統(tǒng)計(jì)結(jié)果分析,發(fā)球技術(shù)穩(wěn)定的隊(duì)員,二發(fā)外角1/4區(qū)發(fā)球的成功率相對(duì)都比較高。2.通過對(duì)隊(duì)員的實(shí)驗(yàn)訓(xùn)練,比較第一次測(cè)試的統(tǒng)計(jì)結(jié)果,大部分隊(duì)員的二發(fā)外角1/4區(qū)發(fā)球的成功率均有所提高。3.在試驗(yàn)訓(xùn)練后發(fā)球技術(shù)進(jìn)步的同學(xué)中,楊淇澤與何玉佳的二發(fā)發(fā)球成功率上有明顯的提高。4.經(jīng)過實(shí)驗(yàn)訓(xùn)練之后,趙鵬(小)、杜勇飛兩名隊(duì)員的統(tǒng)計(jì)結(jié)果差值成負(fù)值。

(二)實(shí)驗(yàn)分析討論

1.第一次測(cè)試結(jié)果中,二發(fā)外角1/4區(qū)域成功率偏高的隊(duì)員,動(dòng)作技術(shù)都比較穩(wěn)定,在網(wǎng)球發(fā)球“狠”、“穩(wěn)”、“準(zhǔn)”、“變”四種風(fēng)格中,這些隊(duì)員主要表現(xiàn)出了發(fā)球技術(shù)動(dòng)作穩(wěn)定、成功率高以及情緒穩(wěn)定,抗干擾能力強(qiáng)的“穩(wěn)”的技術(shù)風(fēng)格。2.第二次測(cè)試結(jié)果,實(shí)驗(yàn)訓(xùn)練后的測(cè)驗(yàn)數(shù)據(jù)中,大部分的隊(duì)員的二發(fā)外角1/4區(qū)域成功率有所提高。

四、結(jié)論

(一)加強(qiáng)落點(diǎn)準(zhǔn)確性的練習(xí)是十分有必要的。就以上這三個(gè)因素來說,因?yàn)椤昂荨?、“變”必須有“穩(wěn)”的成功率作保障。而“準(zhǔn)”能夠提高發(fā)球落點(diǎn)的準(zhǔn)確性,通過準(zhǔn)確的發(fā)球落點(diǎn)的變化提高發(fā)球的攻擊性,在訓(xùn)練中加強(qiáng)落點(diǎn)準(zhǔn)確性的練習(xí)是很有必要的。

(二)要提高發(fā)球落點(diǎn)的準(zhǔn)確,重點(diǎn)要掌握“準(zhǔn)”的練習(xí)。也就是說,只有做到拋球與擊球的準(zhǔn)確,才能達(dá)到最終落點(diǎn)的準(zhǔn)確,本文通過這種理論提出的實(shí)驗(yàn)訓(xùn)練方法,經(jīng)過實(shí)踐的檢驗(yàn),對(duì)網(wǎng)球二發(fā)發(fā)球落點(diǎn)的成功率是有效的。

參考文獻(xiàn):

第3篇:邏輯學(xué)研究方向范文

—、邏輯學(xué)教學(xué)改革的焦點(diǎn)和邏輯學(xué)教學(xué)現(xiàn)狀

長(zhǎng)期以來,邏輯學(xué)教學(xué)改革的焦點(diǎn)就是教學(xué)內(nèi)容問題,也就是在教學(xué)中如何處理傳統(tǒng)邏輯和現(xiàn)代邏輯的關(guān)系問題。在這場(chǎng)關(guān)于教學(xué)內(nèi)容的改革大討論中,主要出現(xiàn)了明顯的兩種不同意見:一種意見認(rèn)為傳統(tǒng)邏輯巳經(jīng)過時(shí),內(nèi)容陳舊,方法單一,應(yīng)當(dāng)立即廢止,以現(xiàn)代邏輯取而代之,稱之為“取代論”。其理由是:邏輯學(xué)是聯(lián)合國(guó)教科文組織明確規(guī)定的當(dāng)代七大基礎(chǔ)學(xué)科之一(數(shù)學(xué)、物理、化學(xué)、天文、地理、生命科學(xué)、邏輯,這里的邏輯指的是現(xiàn)代邏輯),應(yīng)該得到重視;就科學(xué)的發(fā)展而言,邏輯已實(shí)現(xiàn)了由傳統(tǒng)形態(tài)向現(xiàn)代形態(tài)的轉(zhuǎn)變,所以作為教學(xué)不可囿于傳統(tǒng)邏輯,而應(yīng)順乎學(xué)科發(fā)展,實(shí)現(xiàn)邏輯現(xiàn)代化,也就是用現(xiàn)代邏輯取代傳統(tǒng)邏輯,從實(shí)際效果來看,堅(jiān)持傳統(tǒng)邏輯教學(xué)將會(huì)影響我國(guó)的教學(xué)水平和人才培養(yǎng)實(shí)踐,不利于培養(yǎng)出高水平的邏輯人才。而另一種意見認(rèn)為在中國(guó)高校文科教學(xué)中不應(yīng)廢止傳統(tǒng)邏輯,高校文科學(xué)生應(yīng)該主要學(xué)習(xí)傳統(tǒng)邏輯;作為邏輯學(xué)的教學(xué),如果采取“取代論”,則無疑會(huì)丟失人類歷史上的思想成果;邏輯教學(xué)可以在保留傳統(tǒng)邏輯的大部分內(nèi)容之外適當(dāng)?shù)匾胍恍┈F(xiàn)代數(shù)理邏輯的內(nèi)容,以加強(qiáng)對(duì)傳統(tǒng)內(nèi)容的論證,而不是簡(jiǎn)單的廢止,稱之為“吸收論”。

    其理由是:現(xiàn)代邏輯是傳統(tǒng)邏輯發(fā)展到一定階段的一個(gè)分支,傳統(tǒng)邏輯中的很多內(nèi)容如歸納推理、類比推理、假說、論證和邏輯規(guī)律是現(xiàn)代邏輯無法代替的;傳統(tǒng)邏輯有其獨(dú)有的特點(diǎn)和功用,適合于人們的日常思維,在人們的工作和學(xué)習(xí)中起到了很大的作用,不但不應(yīng)該廢止,反而應(yīng)該加強(qiáng)學(xué)習(xí)、深人探討和廣泛普及;大學(xué)生先學(xué)習(xí)傳統(tǒng)邏輯的知識(shí),可以激發(fā)對(duì)邏輯的興趣,初步領(lǐng)會(huì)邏輯精神,對(duì)將來學(xué)習(xí)現(xiàn)代邏輯等其他課程十分有利。其實(shí)雙方在激烈的爭(zhēng)辯背后共同的心態(tài),即對(duì)邏輯課現(xiàn)狀的憂慮、不滿以及改變現(xiàn)狀的急切心情。雙方的想法也可以說各有一定的合理性,取代論者多數(shù)是專業(yè)研究人員多熟知現(xiàn)代邏輯,知傳統(tǒng)邏輯之不足,似立邏輯科頭,大多脫離教學(xué)一線。如果取代論者講的是我國(guó)主要重點(diǎn)大學(xué)哲學(xué)或理科專業(yè)的話可說有一定的道理。但對(duì)普通高師院校文科專業(yè)來說,取代論肯定是不對(duì)的。“傳統(tǒng)邏輯現(xiàn)代化是在保留傳統(tǒng)邏輯前提下的現(xiàn)代化,而不是以數(shù)理邏輯取代傳統(tǒng)邏輯;邏輯教學(xué)現(xiàn)代化是整個(gè)高校的邏輯教學(xué)系統(tǒng)要現(xiàn)代化,而不是以數(shù)理邏輯教學(xué)去取代傳統(tǒng)邏輯教學(xué)”?!皵?shù)理邏輯在思維形式方面的研究是極有成效的。形式邏輯應(yīng)當(dāng)根據(jù)它本身的特點(diǎn),適當(dāng)?shù)匚?shù)理邏輯的某些研究成果。但是,如果把數(shù)理邏輯中的一套硬搬到形式邏輯中來,甚至用數(shù)理邏輯來代替形式邏輯,則是錯(cuò)誤的”。

在我國(guó)對(duì)同一個(gè)學(xué)科教學(xué)內(nèi)容的看法是如此不同乃至對(duì)立,這在別的學(xué)科是不多見的,這對(duì)在大學(xué)課程體系中的地位日益下降的邏輯學(xué)現(xiàn)狀來說是雪上加霜。目前邏輯學(xué)的發(fā)展,遭遇前所未有的冷落。盡管在學(xué)術(shù)界有許多邏輯學(xué)者向人們呼吁重視邏輯學(xué)的發(fā)展,但反映平淡,邏輯學(xué)“面臨著一些令人堪憂的問題,諸如邏輯隊(duì)伍的萎縮,不少邏輯專業(yè)人員下海,高校的邏輯課程和課時(shí)遭到不同程度的砍殺,研究生生源枯竭,等等?!眞更嚴(yán)重的是有些學(xué)校竟然做出取消邏輯課程的決定。以我所在的韓山師范學(xué)院來說,上世紀(jì)80年代中期大學(xué)文科很多系,如,中文、歷史、外語、思想政治教育等,都開設(shè)邏輯課,其中多數(shù)是專業(yè)基礎(chǔ)課。當(dāng)時(shí)有二位邏輯老師,上世紀(jì)90年代,我所在學(xué)校就只有中文、思想政治教育兩個(gè)系開設(shè)邏輯課。2000年以來連中文也取消邏輯課,因?yàn)橹袑W(xué)語文中邏輯內(nèi)容很快就被取消了?,F(xiàn)在只有思想政治教育及后來新辦的法學(xué)專業(yè)開設(shè)邏輯課,我一個(gè)人負(fù)責(zé)全校12000名大學(xué)生的邏輯課,工作量還遠(yuǎn)不夠,還要上其它課程,我還兼行政工作呢。這對(duì)邏輯學(xué)碩博研究生就業(yè)也非常不利,這種狀況需要邏輯學(xué)界團(tuán)結(jié)起來齊心協(xié)力加以改變。

二、關(guān)于普通高師院校文科邏輯教學(xué)的內(nèi)容

任何教學(xué)改革都要面對(duì)客觀實(shí)際,要遵循教育規(guī)律。高校邏輯學(xué)的教學(xué)改革也一樣。一個(gè)適應(yīng)于人文科學(xué)領(lǐng)域的邏輯教學(xué)體系首先應(yīng)該是和人們實(shí)際使用的自然語言緊密結(jié)合的邏輯教學(xué)體系。對(duì)于剛剛進(jìn)入大學(xué)的學(xué)生們來說,他們?cè)谶壿嬛R(shí)上可謂是一片空白。而現(xiàn)代邏輯利用數(shù)學(xué)演算和人工語言研究有效推理,追求必然思維,是形式化的推演,這種思維方式不屬于普通人的日常思維,是髙級(jí)的科學(xué)思維方式,更適合尖端性高深科學(xué)研究的需要。相反,傳統(tǒng)邏輯主要是用自然語言對(duì)思維形式及其規(guī)律進(jìn)行論述,所以對(duì)于剛剛進(jìn)入大學(xué)的學(xué)生,尤其是文科學(xué)生來說,他們比較容易接受傳統(tǒng)邏輯的知識(shí)。而且高校文科的學(xué)生將來所從事的多數(shù)是教育、行政等方面工作,這一工作的性質(zhì)也決定了他們需要的是傳統(tǒng)邏輯而不是數(shù)理邏輯。從教學(xué)規(guī)律而言,順乎學(xué)科發(fā)展,也并不是說要廢止傳統(tǒng)邏輯而只要現(xiàn)代邏輯。沒有學(xué)好傳統(tǒng)邏輯是學(xué)不好現(xiàn)代邏輯的,相反,學(xué)習(xí)好了傳統(tǒng)邏輯可以激發(fā)對(duì)邏輯這門學(xué)科的濃厚興趣,初步領(lǐng)略邏輯的奧妙,從而使已掌握的傳統(tǒng)邏輯知識(shí)成為學(xué)習(xí)現(xiàn)代邏輯的敲門磚。再加上目前高校文科邏輯教師,許多人本身也沒有經(jīng)過現(xiàn)代數(shù)理邏輯的專門訓(xùn)練,要講好一門完整的數(shù)理邏輯課也決非易事。長(zhǎng)期的教學(xué)實(shí)踐證明,文科學(xué)生學(xué)習(xí)普通邏輯非常有益,它能使人思維敏捷,反映靈敏。而現(xiàn)代邏輯在通俗性和實(shí)用性上大打折扣。各門學(xué)科有各門學(xué)科的特點(diǎn)和用途,當(dāng)傳統(tǒng)邏輯的原理原則、方法規(guī)律在我們的學(xué)習(xí)和生活中還有市場(chǎng),用途極其廣泛的時(shí)候,它就沒有被廢止的道理。

    雖然聯(lián)合國(guó)教科文組織確定的七大基礎(chǔ)學(xué)科之一的邏輯指的是現(xiàn)代邏輯,應(yīng)該重視,但并不是說只有廢止了傳統(tǒng)邏輯才能重視現(xiàn)代邏輯,不廢止傳統(tǒng)邏輯同樣可以重視現(xiàn)代邏輯,高校可以讓學(xué)生先學(xué)習(xí)傳統(tǒng)邏輯知識(shí),而后有選擇性地學(xué)習(xí)現(xiàn)代邏輯。再說,一般高校文科的邏輯學(xué)教學(xué)主要的目的也并不是要培養(yǎng)出邏輯學(xué)方面的專門人才,而是把它當(dāng)成一門工具來使用,為將來學(xué)習(xí)其它學(xué)科和工作提供幫助。這也是“取代論”為什么在大學(xué)課堂中推崇講授現(xiàn)代數(shù)理邏輯的改革舉步維艱的原因所在。邏輯既是表達(dá)工具,又是分析工具,在人文科學(xué)領(lǐng)域內(nèi),人們學(xué)習(xí)邏輯主要是為了掌握一種表達(dá)和分析的工具,從而做到更好地表達(dá)思想和分析問題。比如,我們的講話和文章如何才能合乎邏輯,我們應(yīng)該采用什么樣的邏輯方法進(jìn)行表達(dá)才能做到概念明確、判斷恰當(dāng)、推理合乎邏輯,在參加各種各樣的談判、辯論中我們應(yīng)該注意什么樣的邏輯問題,.等等,這些都屬于表達(dá)思想方面的問題;而面對(duì)自己或者他人的一些話語或者文本,我們應(yīng)該怎樣客觀地認(rèn)識(shí)和評(píng)價(jià)它們,這些文本或話語到底說了什么,它們有沒有邏輯問題,從這些文本或話語我們能夠邏輯地推演出什么,應(yīng)該怎樣分析才算做到了正確理解,這些便屬于分析問題。當(dāng)然,我們強(qiáng)調(diào)傳統(tǒng)邏輯的重要并不是說在高校文科邏輯學(xué)教學(xué)中只傳授傳統(tǒng)邏輯,對(duì)現(xiàn)代邏輯避而遠(yuǎn)之。事實(shí)上,“吸收論”的觀點(diǎn)是:邏輯教學(xué)可以在保留傳統(tǒng)邏輯的大部分精華內(nèi)容之外適當(dāng)?shù)匾胍恍┈F(xiàn)代數(shù)理邏輯的內(nèi)容,以加強(qiáng)對(duì)傳統(tǒng)內(nèi)容的論證。如在演繹推理部分向?qū)W生介紹有關(guān)數(shù)理邏輯的內(nèi)容諸如命題演算、謂詞演算;在復(fù)合判斷的推理部分可以引入命題自然推理系統(tǒng)來進(jìn)行判定等,以達(dá)到傳統(tǒng)邏輯與數(shù)理邏輯的融合,加強(qiáng)邏輯學(xué)科的發(fā)展和拓寬。這對(duì)于培養(yǎng)學(xué)生的整體思維水平和綜合素質(zhì),使他們掌握現(xiàn)代邏輯方法,適應(yīng)21世紀(jì)社會(huì)主義市場(chǎng)經(jīng)濟(jì)和科學(xué)發(fā)展對(duì)人才的需求是非常必要的。同時(shí),教學(xué)內(nèi)容的改革,勢(shì)必對(duì)教師提出了更高的要求,教師應(yīng)盡快地更新知識(shí),刻苦學(xué)習(xí)和掌握現(xiàn)代邏輯的知識(shí)和方法,進(jìn)一步了解國(guó)外邏輯研究和邏輯教學(xué)的情況,擴(kuò)大知識(shí)視野,不斷提高科學(xué)研究平,以適應(yīng)邏輯學(xué)教學(xué)改革的需要。要繼續(xù)堅(jiān)持邏輯學(xué)現(xiàn)代化的改革方向。但是,邏輯學(xué)的現(xiàn)代化絕不是數(shù)理邏輯化,傳統(tǒng)邏輯現(xiàn)代化的前提是保留傳統(tǒng)邏輯,而不是取代傳統(tǒng)邏輯。

根據(jù)普通高師院校文科邏輯教學(xué)的內(nèi)容,我們選用了由《普通邏輯》編寫組編的《普遍邏輯》(上海人民出版社出版)為教材?!镀胀ㄟ壿嫛?992年增訂本為教材,適應(yīng)邏輯學(xué)現(xiàn)代化改革的需要,以現(xiàn)代邏輯的思想為主導(dǎo)來安排各種邏輯知識(shí),突出了推理形式這個(gè)主體;把命題和推理直接聯(lián)系起來,先介紹命題邏輯(含各種復(fù)合命題的推理),再介紹詞項(xiàng)邏輯(含直接推理和三段論),內(nèi)容上增加了命題的判定與自然推理、謂詞自然推理、統(tǒng)計(jì)推理和典型歸納等,在保留了傳統(tǒng)邏輯的精華的前提下推動(dòng)了傳統(tǒng)邏輯的現(xiàn)代化改革進(jìn)程,并受到邏輯學(xué)界廣大同仁的好評(píng)。我們也曾選用何向東教授主編的“面向21世紀(jì)課程教材”《邏輯學(xué)教程》教材,它的確是一部好教材,它融現(xiàn)代邏輯和傳統(tǒng)邏輯為一體,能夠適應(yīng)21世紀(jì)教學(xué)內(nèi)容和課程體系改革的需要,能夠提高邏輯學(xué)課程的教學(xué)水平,體現(xiàn)邏輯教學(xué)是為培養(yǎng)和提高學(xué)生的邏輯思維素質(zhì)和創(chuàng)新能力服務(wù)的這一宗旨。但是,這個(gè)教材也并不完全適合于普通高師院校文科大學(xué)生,尤其不適合于普通高等院校用擴(kuò)大招生名額的方式招收進(jìn)校的文科學(xué)生,學(xué)生總體素質(zhì)水平有所下降。

我們也選用了本人參與的由胡澤洪、周楨祥、王健平主編《邏輯學(xué)》,該書現(xiàn)代邏輯內(nèi)容偏多,學(xué)生反映比《普遍邏輯》難學(xué)。

三、高師院校邏輯課要重視邏輯應(yīng)用的教學(xué)

普通邏輯的基礎(chǔ)性、工具性特點(diǎn)決定了它的生命不僅在于它的科學(xué)理論價(jià)值,更在于它的應(yīng)用價(jià)值,進(jìn)行理性思維訓(xùn)練是它的基本功能和核心。目前很多的普通邏輯學(xué)教材存在片面追求演繹系統(tǒng)化、符號(hào)化、技術(shù)化,側(cè)重于介紹理論化的邏輯系統(tǒng),脫離現(xiàn)實(shí)的一般的思維運(yùn)動(dòng)過程和規(guī)律的傾向,在內(nèi)容體系與指導(dǎo)思想上不適應(yīng)思維訓(xùn)練的實(shí)際需要。為了讓邏輯貼近思維現(xiàn)實(shí),發(fā)揮提供思維訓(xùn)練方法的基本功能,在教學(xué)內(nèi)容選擇上應(yīng)把邏輯提供的思維方法、原則與思維訓(xùn)練應(yīng)用相結(jié)合,增加邏輯科學(xué)研究與邏輯知識(shí)應(yīng)用相結(jié)合的內(nèi)容。

面向21世紀(jì),結(jié)合學(xué)生實(shí)際,應(yīng)使普通邏輯成為提高學(xué)生思維素質(zhì),增強(qiáng)理性思維能力的課程。為使普通邏輯學(xué)服務(wù)于素質(zhì)教育,我們要在教育實(shí)踐中不斷努力。

數(shù)理邏輯有優(yōu)越于傳統(tǒng)邏輯的方面,比如它克服了以自然語言為特征的傳統(tǒng)邏輯存在的歧義性和模糊性缺陷,可它也有局限性。雖然數(shù)理邏輯具有著現(xiàn)代色彩,但它與人們的日常思維不很一致。觸及到以自然語言為載體的實(shí)際思維就會(huì)陷人困境,也不易為人們所接受。數(shù)理邏輯在電子計(jì)算機(jī)里大有用武之地,并正在向著各類學(xué)科沙透,前景十分光明,但現(xiàn)代人的思維并不都是與電子計(jì)算機(jī)聯(lián)系在一起的。日常思維中的交流思想、論證真理、駁斥謬誤都是要運(yùn)用白然語言的,公說公有即,婆說婆有理的,計(jì)算機(jī)無能為力。因此,聯(lián)系實(shí)際思維去發(fā)展傳統(tǒng)邏輯,仍然是傳統(tǒng)邏輯的發(fā)展方向。

對(duì)于非哲學(xué)專業(yè)的學(xué)生來說,他們學(xué)習(xí)邏輯學(xué)目的主要是為了應(yīng)用。雖然“邏輯學(xué)是一門基礎(chǔ)工具性學(xué)科”早已舉世公認(rèn),且被寫在一般邏輯學(xué)讀本的緒論中,但是縱觀目前的各種邏輯學(xué)教材,很少有詳細(xì)而系統(tǒng)地闡述邏輯學(xué)應(yīng)用的,這無論如何是一個(gè)巨大的缺陷。現(xiàn)代邏輯是對(duì)日常推理的高度抽象、歸納,從根本上反映了推理的規(guī)則、規(guī)律。它具有和數(shù)學(xué)相同的一些特征:推導(dǎo)嚴(yán)密并且符號(hào)公式化、體系化。對(duì)于這一特征,大學(xué)文科生較難理解和把握。他們習(xí)慣用自然語句來表達(dá)和思考,不習(xí)慣用符號(hào)公式表達(dá)和思考。因此,學(xué)生學(xué)習(xí)現(xiàn)代邏輯時(shí),雖然注意到形式化的特點(diǎn),但又不能完全按照現(xiàn)代邏輯演繹系統(tǒng)的要求來做。

邏輯學(xué)界的有識(shí)之士早就認(rèn)識(shí)到邏輯應(yīng)用研究的重要性,如前中國(guó)邏輯學(xué)會(huì)會(huì)長(zhǎng)吳家國(guó)先生就曾指出:“邏輯學(xué)是一門基礎(chǔ)理論學(xué)科,同時(shí)又是一門有較強(qiáng)應(yīng)用性的工具學(xué)科。從古希臘亞里士多德創(chuàng)建傳統(tǒng)形式邏輯起,到近代英國(guó)弗蘭西斯培根建立古典歸納邏輯,從19世紀(jì)中葉以后數(shù)理邏輯的誕生,到非標(biāo)準(zhǔn)邏輯和概率邏輯的發(fā)展,有一個(gè)共同的特點(diǎn),就是在建立邏輯理論系統(tǒng)的同時(shí),都十分重視邏輯的應(yīng)用。實(shí)際上,邏輯理論與邏輯應(yīng)用成為邏輯學(xué)發(fā)展的兩條腿,二者是缺一不可的,離開了邏輯的應(yīng)用,邏輯理論的發(fā)展就會(huì)受到限制或傷害?!蔽覈?guó)的邏輯應(yīng)用研究雖然取得了一定成果,但是,如何將這些成果應(yīng)用到邏輯教學(xué)中去,則仍然是亟待解決的問題。

邏輯學(xué)本身的理論枯燥乏味,缺乏文學(xué)課的生動(dòng)性,光講理論難以激發(fā)學(xué)生的興趣,無興趣即無動(dòng)力?;钌倪壿嫭F(xiàn)象則是十分生動(dòng)有趣的,講解邏輯理論時(shí),輔之以具體生動(dòng)的邏輯現(xiàn)象,使理論與實(shí)際融于一體,可極大地增強(qiáng)授課的趣味性、生動(dòng)性,能取得很好的教學(xué)效果。

第4篇:邏輯學(xué)研究方向范文

―、邏輯學(xué)的開端

由于邏輯學(xué)以“絕對(duì)”為研究對(duì)象,作為邏輯學(xué)的開端,它就應(yīng)當(dāng)是一個(gè)絕對(duì)的存在,而不是一個(gè)相對(duì)的存在者,因此,邏輯學(xué)的開端具有絕對(duì)性,或者說,絕對(duì)是邏輯學(xué)開端的形式,也由此說明邏輯學(xué)的開端不依賴于任何別的條件而存在?!凹兇嬖诨蚣冇兄援?dāng)成邏輯學(xué)的開端,是因?yàn)榧冇屑仁羌兯?,又是無規(guī)定性的單純的直接性,而最初的開端不能是任何間接性的東西,也不能是得到了進(jìn)一步規(guī)定的東西。”(《小邏輯》,189頁(yè))可見,邏輯學(xué)的開端必須以自身為條件,亦即作為邏輯學(xué)的開端不能依賴任何別的條件,否則就不能作為邏輯學(xué)的開端。作為邏輯學(xué)的開端,是其他存在到定在存在的條件,而它自身只能以自身為條件,這是因?yàn)檫壿媽W(xué)是自己創(chuàng)造自己的對(duì)象,由此之故,邏輯學(xué)的開端具有無條件性。

既然邏輯學(xué)的開端是對(duì)“絕對(duì)”的最先言說,正如黑格爾所說的“如果我們宣稱存在或有是絕對(duì)的一個(gè)謂詞,則我們就得到絕對(duì)的第一界說,即:‘絕對(duì)就是有,。這就是純?nèi)?在思想中)最先提出的界說,最抽象也最空疏?!?《小邏輯》,189-190頁(yè))那么,邏輯學(xué)的開端就是潛在的“絕對(duì)”,亦即沒有完全展開的“絕對(duì)”。這一“絕對(duì)”的存在形式,是“絕對(duì)”存在最貧乏、最抽象的形式。可見,邏輯學(xué)的開端具有潛在性,是潛在的“絕對(duì)”。

最后,邏輯學(xué)的開端具有發(fā)展性,即,可由開端自身抽演出更豐富、更具體的“絕對(duì)”形式。“存在只是潛在的概念。存在的各個(gè)規(guī)定或范疇都可用是去指謂。把存在的這些規(guī)定分別開來看,它們是彼此互相對(duì)立的。從它們進(jìn)一步的規(guī)定(或辯證法的形式)來看,它們是互相過渡到對(duì)方。這種向?qū)Ψ竭^渡的進(jìn)程,一方面是一種向外的設(shè)定,因而是潛在存在著的概念的開展,并且同時(shí)也是存在的向內(nèi)回復(fù)或深人于其自己本身。因此在存在論的范圍內(nèi)去解釋概念,固然要發(fā)揮存在的全部?jī)?nèi)容,同時(shí)也要揚(yáng)棄存在的直接性或揚(yáng)棄存在本來的形式?!保ā缎∵壿嫛罚?87頁(yè))

總之,邏輯學(xué)的開端具有絕對(duì)性、無條件性、潛在性、發(fā)展性。黑格爾把邏輯學(xué)開端的這種無條件限定的、潛在的,且能自身發(fā)展為更豐富、更具體的絕對(duì)的“絕對(duì)”形式,稱之為純存在或純有。

二、邏輯學(xué)開端的演繹:從純存在到定在

黑格爾以純有作為邏輯學(xué)的開端,并從純有逐漸推演出邏輯學(xué)的各個(gè)范疇,他在開端的演繹中’首先從純有出發(fā),推演出無的范疇,再由有無的統(tǒng)一推演出變易,經(jīng)變易演繹出絕對(duì)的另一形式:定在。但是,由于黑格爾沒有對(duì)無進(jìn)行內(nèi)在的區(qū)分,變易也是單一、抽象的變易,缺乏內(nèi)在的區(qū)分,使變易到定在的過渡顯得牽強(qiáng)。

下文將結(jié)合黑格爾從純有到無的演繹,在對(duì)無進(jìn)行內(nèi)在的區(qū)分、并揭示變易的不同形式中,分析從純有到定在的具體過程。

(一)從純有到無的演繹

黑格爾在從純有到無的演繹過程中,合乎邏輯地分析出無的范疇。純存在或純有作為邏輯學(xué)的開端’是最抽象、最貧乏的絕對(duì)形式,它沒有任何具體的規(guī)定性,即無規(guī)定性,以此過渡到無。按照黑格爾的說法這種純有是純粹的抽象,因此是絕對(duì)的否定。這種否定,直接地說來,也就是無?!保ā缎∵壿嫛罚?92頁(yè))從純存在或純有合乎邏輯地抽演出“絕對(duì)”的第二個(gè)界說絕對(duì)”是無,此“無”是指純存在的抽象的無規(guī)定性。由于無規(guī)定性沒有對(duì)“絕對(duì)”作任何具體的界說,此“無”與“純有”同樣是最抽象、最貧乏的對(duì)“絕對(duì)”的一個(gè)稱謂,因此,此“無”沒有任何具體、充實(shí)的內(nèi)容,即可稱之為“純無”。

“純無”與“純有”一樣,只是表面的稱謂不同罷了,它們表述的是“絕對(duì)”的直接性,它們?nèi)栽凇敖^對(duì)”內(nèi)部對(duì)“絕對(duì)”進(jìn)行言說,它們還沒有向外開展,向?qū)Ψ竭M(jìn)行過渡。如果“絕對(duì)”需要重新獲得充實(shí),就須向外設(shè)定,向?qū)Ψ竭^渡并開展。

在黑格爾對(duì)邏輯學(xué)開端進(jìn)行的分析中,從純有到無的演繹是合乎內(nèi)在邏輯的,但從純有到無直接過渡到變易,則缺乏內(nèi)在的連續(xù)性。為了使無能夠內(nèi)在地過渡到變易,必須對(duì)無進(jìn)行內(nèi)在的分析。

(二)無的演澤:純無——定無——變易

絕對(duì)向?qū)Ψ竭^渡,也就是自身首先遭受到現(xiàn)實(shí)的具體的否定。純無因其是抽象的否定,仍是對(duì)絕對(duì)的界說;當(dāng)其過渡到對(duì)方,對(duì)存在自身作外在的否定時(shí),絕對(duì)就實(shí)現(xiàn)了自身的第一次展開,純無就展開為定無。

定無不再是抽象的否定:即無規(guī)定性,而是具有具體的規(guī)定性的否定,具有這種具體規(guī)定性的否定就是定無,或者,定無是有具體限定的無。定無事實(shí)上是在純無之內(nèi),純無是無任何規(guī)定性的無。在純無之內(nèi)包含有一切的規(guī)定性,純無的無規(guī)定性只是沒有對(duì)其內(nèi)在的規(guī)定性作具體的區(qū)分而已。純無要走向定無,首先須進(jìn)行內(nèi)在的區(qū)分,產(chǎn)生諸多規(guī)定性,定無則是對(duì)諸多規(guī)定性中的部分規(guī)定性進(jìn)行否定,定無所否定的具體規(guī)定性就在純無的諸多規(guī)定性之內(nèi)。純無是混沌未分的狀態(tài),而定無則是對(duì)純無所包含的一切規(guī)定性作出了具體的區(qū)分,并進(jìn)行特定的否定,可見定無在無之內(nèi)。然而,定無使混沌未分的純無分裂出具體的規(guī)定,并作出特定的否定,從而使純無走向它者:定無。

例如:對(duì)于牛頓力學(xué),在當(dāng)時(shí)被認(rèn)為適用于解釋任何的物理現(xiàn)象,這時(shí)牛頓力學(xué)的應(yīng)用范圍無任何規(guī)定性,這種無任何限定應(yīng)用范圍的現(xiàn)象猶如“純無”。隨著物理學(xué)、人的實(shí)踐范圍和科學(xué)實(shí)驗(yàn)的進(jìn)一步深化,人們發(fā)現(xiàn)了宇觀高速和微觀的物理世界,而牛頓力學(xué)卻無法解釋這些現(xiàn)象,不能被應(yīng)用到這些領(lǐng)域,也就是說,牛頓力學(xué)在這些領(lǐng)域遭到否定,這一否定是具體的否定,與前面無規(guī)定性的否定截然不同。值得注意的是,這一具體的否定(定無)仍在原初的無任何規(guī)定性(純無)的應(yīng)用范圍之內(nèi),這一具體的否定是對(duì)其無規(guī)定性范圍進(jìn)行區(qū)分后,不能應(yīng)用于宇觀和微觀世界而作出特定否定形成的??傊?,牛頓力學(xué)本身正如純有,對(duì)它的應(yīng)用范圍的無規(guī)定,如純無,當(dāng)其不適用于一定的范圍而遭到否定時(shí),猶如定無。

“純無”到“定無”是人類思想進(jìn)程的一種普遍現(xiàn)象,哲學(xué)發(fā)展亦體現(xiàn)了這一思維歷程。在康德之前,人類對(duì)自己的知性范圍不經(jīng)審査,而將其應(yīng)用于超驗(yàn)的對(duì)象(物自體、靈魂、上帝),這是人類知性不加審查的無限定的“純無”。康德的《純粹理性批判》就是尋找人類知性的認(rèn)識(shí)界限,康德認(rèn)為知性無能力認(rèn)識(shí)超驗(yàn)對(duì)象,亦即對(duì)人的知性認(rèn)識(shí)能力進(jìn)行劃界,此即對(duì)人的知性能力的具體否定’知性不能應(yīng)用于超驗(yàn)對(duì)象,這就是知性的“定無”。

“純無”是無規(guī)定性、無差別的無,它是絕對(duì)的同一。由于純無是絕對(duì)的同一,在它之內(nèi)包含各種具體規(guī)定的無和具體差異的無,這是純無可以過渡到定無的前提條件,亦即定無本身亦在純無之內(nèi),屬于純無自身走向它的對(duì)方,即定無。定無是具體的、更加豐富的純無。由純無到定無顯示了無的不同形態(tài)的變化,這就是所謂的“變易”。

從邏輯學(xué)演繹的過程看,變易又有如下兩種情況:其一是存在自身抽演出對(duì)方的變易,其二是由對(duì)方回復(fù)到存在自身的變易。前者就是由肯定走向否定的變易,可稱之為否定的變易,后者則是由否定回復(fù)到存在自身的變易,可稱之為否定之否定的變易。否定的變易發(fā)生在思想的直接性向思想的反思性或間接性的過渡,否定之否定的變易發(fā)生在思想的反思性或間接性向思想返回到自身的過渡。否定的變易發(fā)生在思想的自在或潛在的概念學(xué)說向思想自為存在的概念學(xué)說的過渡,否定之否定的變易發(fā)生在思想自為存在的概念學(xué)說向思想自在自為的概念學(xué)說的過渡。

(三)變易的演繹:形式的變易―內(nèi)容的變易一完全的變易

變易是純無與定無的統(tǒng)一,是純無和定無二者的真理。雖然純無和定無表達(dá)的具體內(nèi)容不同,甚至相互對(duì)立,純無無任何規(guī)定性,但卻包含了一切的規(guī)定性在內(nèi);而定無則有具體的規(guī)定性,它是從純無的一切規(guī)定性之內(nèi)抽繹出的部分規(guī)定性。雖然他們二者之間具有以上不同,但兩者都是無,從這一點(diǎn)看來,它們又是統(tǒng)一的,因此,它們的統(tǒng)一就在其自身之內(nèi),從它們自身就可以分析出它們的統(tǒng)一:變易。此變易是無的內(nèi)在的變化,由無規(guī)定性的無變?yōu)榘唧w規(guī)定性的定無,然而,此變易仍在無的范圍內(nèi)進(jìn)行。

從變易自身來看,變易實(shí)具有三種形態(tài)的變易:一是形式上的變易,如有無之變,從純有到純無,在形式上是向它者開展的變易,而內(nèi)容本質(zhì)上則是相同的變易,無規(guī)定性的純有本身即可抽演出純無。二是內(nèi)容上的變易,如從純無到定無,從形式上是在無的內(nèi)在之變,而內(nèi)容和本質(zhì)上,則是向它者開展的變易。三是完全的變易,從純有經(jīng)純無,再到定無,定無對(duì)純有而言則是完全的向它者的開展變易,即定無不僅在形式上,亦在內(nèi)容上是純有向它者的開展的變易。但是,邏輯學(xué)是絕對(duì)實(shí)現(xiàn)自身的過程,即,由絕對(duì)的潛在形式逐漸抽演出自身的豐富性、多樣性、復(fù)雜性和具體性的過程。因此,邏輯學(xué)上下范疇之間的變易只能是形式上的變易或內(nèi)容上的變易,而不能是完全上的變易。完全上的變易只能發(fā)生在相隔的范疇之間,而不能發(fā)生在相鄰范疇之間,因?yàn)檫壿媽W(xué)相鄰范疇之間是一個(gè)向另一個(gè)的分析推演的過程。

在邏輯學(xué)推演過程中,首先發(fā)生的是形式上的變易,如:有無之間的變易;其次發(fā)生的是內(nèi)容上的變易,如:純無和定無之間的變易;最后由形式上的變易和內(nèi)容上的變易積累,導(dǎo)致相隔范疇之間出現(xiàn)完全的變易,如:純有與定無之間的變易,真正實(shí)現(xiàn)自身向?qū)Ψ降倪^渡??梢姡壿媽W(xué)上的變易是漸進(jìn)的,即完全的變易不可能發(fā)生在相鄰范疇之間,相鄰范疇之間只可能進(jìn)行形式上或內(nèi)容上的變易,由于形式上和內(nèi)容上的變易的積累,才發(fā)生完全的變易。

(四)從變易到定在的演繹

黑格爾是這樣從變易過渡到定在:“在變易中,與無為一的有及與有為一的無,都只是消逝著的東西。變易由于自身的矛盾而過渡到有與無皆被揚(yáng)棄于其中的統(tǒng)一。由此所得的結(jié)果就是定在〔或限有〕?!保ā缎∵壿嫛?,200頁(yè))在這里,由于黑格爾缺乏對(duì)無和變易的內(nèi)在分析,所以,從變易很難直接過渡到定在。只有通過對(duì)無的內(nèi)在分析,使無發(fā)生變易,產(chǎn)生定無,然后由無的內(nèi)在變易經(jīng)過對(duì)變易的內(nèi)在分析,使純有在變易中:從純有到無,從純無到定無,并通過定無對(duì)純有的限定走向定在。

從純有到無,只是形式上的變易,它還無法豐富“絕對(duì)”的真實(shí)內(nèi)涵?!敖^對(duì)”只有經(jīng)過無的變易:從純無到定無,這一內(nèi)容上的變易,才能夠豐富“絕對(duì)”的內(nèi)涵,這一變易不僅使“絕對(duì)”的無規(guī)定性走向了它者:具體的否定,同時(shí)也產(chǎn)生了完全的變易,即,純有和定無之間的變易,使純無走向絕對(duì)的它者:定無。這樣,純有經(jīng)過純無到定無,使“絕對(duì)”的原初界定:純有,走向了它者:定在。

無的自身變易產(chǎn)生定無,定無不僅是純無的它者,屬于內(nèi)容上的變易;定無亦是純有的它者,屬于完全的變易,是對(duì)純有的外在限定,并使純有依賴變易的法則走向自身的他者:定在。

三、小結(jié)

第5篇:邏輯學(xué)研究方向范文

1.1“意義”與內(nèi)涵以模型理論(model-theory)為基礎(chǔ)的邏輯語義學(xué)試圖用集合、函項(xiàng)這類純集合論的概念去解釋意義。由此,邏輯上所假定的語言表達(dá)式的內(nèi)涵是否可以和意義等同起來,這一問題在某種意義上決定了邏輯語義學(xué)的理論基礎(chǔ)是否牢靠。具體講,語言表達(dá)式的意義把它們同世界或世界中的實(shí)體相聯(lián)系,這種聯(lián)系有時(shí)具有復(fù)雜的形式。例如,一個(gè)謂詞和世界中能夠被它稱謂的實(shí)體的集合相聯(lián)系。如果要在邏輯語義學(xué)中避免假定抽象的、不可捉摸的實(shí)體,方法之一就是假設(shè)“如果一個(gè)人是講表達(dá)式的外延,那么就可以避免講表達(dá)式的意義”(Frege1980:134)。然而這樣做就意味著必須把具有相同外延的非同義表達(dá)式(non-synonymousexpression)如“現(xiàn)任美國(guó)總統(tǒng)”和“奧巴馬”看作是相同的,這就相當(dāng)于把表達(dá)式的內(nèi)涵和意義等同起來。事實(shí)上,了解一個(gè)表達(dá)式的外延并不必然地包含著了解它的內(nèi)涵,因?yàn)榉峭x表達(dá)式可能具有相同的外延。

反之,如果一個(gè)人知道一個(gè)表達(dá)式的內(nèi)涵,也并不意謂著他一定知道這個(gè)表達(dá)式的外延,例如,我們完全了解表達(dá)式“是聰明的”的意義,可是并不確切知道誰是聰明的,誰是不聰明的。換言之,了解一個(gè)表達(dá)式的外延必須知道兩點(diǎn):表達(dá)式的內(nèi)涵和現(xiàn)實(shí)世界中的事實(shí)。這可以說是用內(nèi)涵規(guī)定外延的嘗試。用外延來解釋內(nèi)涵的概念可以把內(nèi)涵看作一個(gè)“外延決定原則”(extension-determiningprinciple)(Allwood1977:183)。這個(gè)原則是一個(gè)考察可能世界并找出一個(gè)表達(dá)式外延的規(guī)則。然而,把內(nèi)涵等同于從可能世界到外延的函項(xiàng)會(huì)產(chǎn)生很多困難。例如,模型論語義學(xué)(model-theoreticalsemantics)一般不會(huì)碰到這樣的困難:假定有某些邏輯上可能的世界,在那里司各特(W.Scott)沒有寫《威弗利》,那么作為兩個(gè)名詞短語‘司各特’和‘《威弗利》的作者’的內(nèi)涵的函項(xiàng)由于并不是對(duì)所有主目都有相同的值,因而彼此不同。然而,假如我們換一個(gè)弗雷格(1980:67)的例子:數(shù)學(xué)表達(dá)式“3+1”和“2+2”雖有相同的外延(“Bedeutung”)即“4”這個(gè)數(shù),但有不同的內(nèi)涵(Sinn)。隱藏在這背后意思是,“3+1”和“2+2”表現(xiàn)了獲得相同結(jié)果的不同方式或程序。可是,如果像算術(shù)中對(duì)一個(gè)真值為真的語句所通常認(rèn)為的,“2+2=3+1”是一個(gè)邏輯真理,那么“2+2”和“3+1”的值在所有邏輯上可能的世界里都是相同的“4”這個(gè)數(shù)。換句話說,表達(dá)式“3+1”和“2+2”相當(dāng)于從可能世界到數(shù)的相同的函項(xiàng),因此必然具有相同的內(nèi)涵。概言之,如果我們把內(nèi)涵理解為從可能世界到實(shí)體的函項(xiàng),那么邏輯上相等的表達(dá)式就表現(xiàn)為具有相同的內(nèi)涵。這一結(jié)論顯然就不再支持弗雷格內(nèi)涵是獲得外延的途徑的觀點(diǎn)。學(xué)術(shù)界為了解決上述問題提出很多方法,比如,Car-nap(1947)認(rèn)為,語言上的同義(linguisticsynonymy)不應(yīng)該定義為模型論意義上的內(nèi)涵同一,而是應(yīng)該包括他稱之為內(nèi)涵同構(gòu)(intentionalisomorphism)的某種較強(qiáng)的東西。如果某種“組合表達(dá)式”(constituentexpressions)具有相同內(nèi)涵,并且它們也同樣是由具有相同內(nèi)涵的成分構(gòu)成的,那么由這種組合表達(dá)式構(gòu)成的語言表達(dá)式就具有相同的內(nèi)涵。可以看出,這一觀點(diǎn)接近于弗雷格用Sinn所表示的意思。

1.2“意義”與真值條件在語言學(xué)中,把意義轉(zhuǎn)化為“真值條件”遭到很多學(xué)者的反對(duì)。很多從事語言哲學(xué)和邏輯學(xué)研究的人對(duì)“語句S是真的,當(dāng)且僅當(dāng)……”這一觀點(diǎn)非常熟悉,然而,很多語言學(xué)家一聽到“‘Snowiswhite.’當(dāng)且僅當(dāng)‘雪是白的’……”,就立即表示反對(duì)并指出,“真同語言學(xué)研究毫無關(guān)系”,并且,“說明哪個(gè)語句是真的,哪個(gè)語句是假的,不是語言學(xué)家的任務(wù)”。這種反對(duì)事實(shí)上混淆了兩種完全不同的東西:一個(gè)語句的真值和一個(gè)語句的真值條件。說明一種語言中哪些語句實(shí)際上是真的確實(shí)不是語言學(xué)研究的任務(wù);然而說明語句為真的條件,即這個(gè)語句在何種條件下是真的就須要考察語言的意義問題。如上文所述,假設(shè)我們把一個(gè)語句的內(nèi)涵看作一種原則,依據(jù)這種原則,我們可以在每個(gè)可能世界中賦予這個(gè)語句以真值,并且希望我們的理論具有某種“心理實(shí)在性”,即語言表達(dá)式所描寫的成分在某些方面與出現(xiàn)在語言使用者的心靈中的東西相對(duì)應(yīng)。

如果事實(shí)如此,就會(huì)產(chǎn)生這樣的問題:在賦值于一個(gè)語句以作為它的解釋,以及在了解一個(gè)陳述(statement)的實(shí)際表述時(shí)我們所做的,這二者之間是否具有任何相互關(guān)系。以語言表達(dá)式具有真值條件為基礎(chǔ),我們可以期望當(dāng)聽到一個(gè)陳述句時(shí),就可以觀察這個(gè)世界并對(duì)在這個(gè)世界中這個(gè)語句是真的還是假的進(jìn)行考察。我們甚至還須要想象一下,當(dāng)這個(gè)語句是真的時(shí)候這個(gè)世界應(yīng)該是什么樣子;并且,如果我們認(rèn)為說話人是值得信賴的,我們可以相應(yīng)地改變我們所想象的世界的觀念。這樣,似乎在真值條件語義學(xué)(truthconditionalsemantics)中關(guān)于語句的解釋和語句的了解過程之間并不是十分符合的。雖然如此,邏輯學(xué)家對(duì)這一點(diǎn)還是做出了相應(yīng)的研究。其中,這兩個(gè)觀點(diǎn)是值得借鑒的:“把可能的語言或語法作為抽象的語義系統(tǒng)來描寫,因而符號(hào)是與世界的各個(gè)方面相聯(lián)系的”,以及“關(guān)于心理的和社會(huì)的事實(shí)的描寫,因而這類抽象系統(tǒng)中的一個(gè)特殊系統(tǒng)是由個(gè)人或人群使用的系統(tǒng)”邏輯語義學(xué)只討論第一個(gè)問題,而關(guān)于語言表達(dá)式的運(yùn)用問題則與它無關(guān)。按照Lewis的觀點(diǎn),“混淆”這兩個(gè)問題“只能引起混亂”。當(dāng)然也有人反對(duì)這一觀點(diǎn)并認(rèn)為,相關(guān)研究只有從語言符號(hào)使用的研究中進(jìn)行抽象才有可能實(shí)現(xiàn),因此應(yīng)該把語言作為聯(lián)系符號(hào)和世界各個(gè)方面的一種系統(tǒng)來研究。事實(shí)上,邏輯語義學(xué)很少或者根本沒有明確說明應(yīng)該怎樣對(duì)一個(gè)簡(jiǎn)單表達(dá)式的意義進(jìn)行解釋;相關(guān)研究仍然沿襲了傳統(tǒng)邏輯學(xué)中的觀點(diǎn),這就使得意義看似很抽象。然而邏輯語義學(xué)對(duì)傳統(tǒng)邏輯的發(fā)展就在于,它對(duì)語義問題研究的推進(jìn)使我們更加清楚地看到,從簡(jiǎn)單表達(dá)式的解釋獲得復(fù)雜表達(dá)式的解釋的方法。這可以說是形式對(duì)語言意義研究的最重要貢獻(xiàn)。正因如此,“我們不應(yīng)該希望邏輯語義學(xué)確切地告訴我們?cè)谑裁辞闆r下‘下雨了’這樣的語句是真的;但是它能告訴我們?cè)谶@個(gè)語句和它的否定‘沒下雨’為真的各自情況下,它們之間的關(guān)系”(Allwood1977:188)。

2邏輯與自然語言分析

以對(duì)語言意義的形式轉(zhuǎn)化為基礎(chǔ),邏輯學(xué)研究構(gòu)造了形式語言,它是進(jìn)一步分析自然語言意義的工具。隨著謂詞邏輯的局限性逐漸暴露,邏輯對(duì)于自然語言分析的適用性曾經(jīng)一度遭到質(zhì)疑,這直接導(dǎo)致了與形式邏輯相對(duì)立的自然語言邏輯研究的興起與發(fā)展。

2.1作為工具的形式語言我們普遍接受的觀點(diǎn)是,構(gòu)造自然語言語句的邏輯具有“隱性特征”。這就意味著,如果要把只關(guān)注語句形式的演繹規(guī)則加以形式化,就不能用自然語言為這些語句構(gòu)造這些演繹規(guī)則公式,而必須構(gòu)造一種用以翻譯自然語言的“形式語言/理想語言”(李洪儒2006:29)。弗雷格與羅素都曾明確提到,這就是創(chuàng)立形式語言的主要?jiǎng)訖C(jī)之一(Frege1980,Russel1995)。隱性結(jié)構(gòu)的概念在喬姆斯基的轉(zhuǎn)換語法中也很受重視,這是因?yàn)樵谵D(zhuǎn)換語法里表層結(jié)構(gòu)和深層結(jié)構(gòu)之間的區(qū)別對(duì)于構(gòu)造轉(zhuǎn)換規(guī)則具有重要作用。在喬姆斯基的“標(biāo)準(zhǔn)理論”(standardtheory)(1965)中,一個(gè)語句的深層結(jié)構(gòu)是處在底層的語法結(jié)構(gòu),它決定這個(gè)語句的語義解釋。標(biāo)準(zhǔn)理論所帶來的語義研究熱潮導(dǎo)致了生成語義學(xué)派的形成。這一學(xué)派的主要代表人物有Lakoff,McCaw-ley,Postal,Ross等。這些學(xué)者認(rèn)為,語句的深層結(jié)構(gòu)同它的“語義表現(xiàn)”(semanticrepresentation)(Lakoff1987)是相同的。這種“語義表現(xiàn)”與謂詞邏輯中的公式非常相似。進(jìn)一步講,Lakoff等人所提出的“語義表現(xiàn)”和“語義解釋”具有顯著區(qū)別。一個(gè)語義表現(xiàn)是顯示一個(gè)語句的意義的方式,而不是意義本身。因此,一個(gè)語義表現(xiàn)實(shí)際上往往是使用另一種語言的表達(dá)式。特別是當(dāng)我們把謂詞邏輯中的公式看作英語或其他人類語言的表達(dá)式的語義來表現(xiàn)的時(shí)候,這一點(diǎn)是顯而易見的:這些表現(xiàn)也是一種具有自己的語法和語義的語言———謂詞邏輯語言中的表達(dá)式。換言之,同語義表現(xiàn)和表層結(jié)構(gòu)形式有關(guān)的規(guī)則必須由解釋語義表現(xiàn)的規(guī)則來補(bǔ)充。由于把語義表現(xiàn)沒有歧義看作區(qū)別語義表現(xiàn)和表層語法結(jié)構(gòu)的主要特點(diǎn)之一,我們可以說,當(dāng)我們提供語義表現(xiàn)而不管它們的實(shí)際語義到底是什么的時(shí)候,一種無歧義的語言就被創(chuàng)造出來了,這種語言不是為一個(gè)語句提供語義解釋的最后結(jié)果,而僅僅是中間的一個(gè)必要的步驟。因此,應(yīng)該遵循的過程是“語法結(jié)構(gòu)———無歧義語言中的表達(dá)式———語義解釋”。此處可能產(chǎn)生的疑問是,中間步驟是否完全必要,我們?yōu)槭裁床荒苡谩罢Z法結(jié)構(gòu)———語義解釋”的簡(jiǎn)單模式來代替。

事實(shí)上,語義解釋規(guī)則可以不受任何限制而使一個(gè)語句具有不同的輸出。對(duì)于中間步驟這一問題,可以提出幾種可能的解釋,比如,語言表達(dá)式的語義分析要求能夠建立形式演繹規(guī)則(Carnap1947)。本研究認(rèn)為,使用一種無歧義語言從根本上是因?yàn)?,我們?cè)谌魏吻闆r下都需要某種論及語義解釋的方法,從而必須構(gòu)造一種無歧義的語言來達(dá)到這一目的。這是因?yàn)椤罢Z義表現(xiàn)”或無歧義語言中的表達(dá)式僅僅是一種具有輔助作用的工具性設(shè)計(jì),它們本身并沒有獨(dú)立地位。在使用這種形式語言時(shí),我們須要注意的是不能把無歧義語言的語法范疇,即“語句”、“謂詞”等,和語義解釋的范疇,即“命題”、“屬性”等概念混為一談。在后來的邏輯語義學(xué)研究中,把形式語言作為賦予英語語句以語義解釋過程中的一個(gè)中間步驟,這已經(jīng)被蒙塔古在他的一些論文中所驗(yàn)證并使用。在他的著作中,無歧義的形式語言的輔質(zhì),即工具性被十分清楚的展現(xiàn)出來。

2.2謂詞邏輯的局限性自然語言研究的不斷發(fā)展引出這一問題,即由謂詞邏輯所構(gòu)成的形式語言作為輔助自然語言分析的語義模式并不完善。因?yàn)橐浑A謂詞邏輯常常被看作一種古典的邏輯系統(tǒng),所以我們可以嘗試對(duì)自然語言中的某些區(qū)別在謂詞邏輯中有無相應(yīng)的體現(xiàn)作出判斷,并且進(jìn)一步思考這些區(qū)別是否具有語言意義上的相關(guān)性。相關(guān)研究早已發(fā)現(xiàn),只有少數(shù)自然語言的“語句聯(lián)接詞”(并列連詞)和“量詞”(數(shù)詞、表示量的形容詞等)可以直接翻譯到謂詞邏輯中。并且很多研究已經(jīng)證明,對(duì)“所有女孩子都是漂亮的”這類語句的形式化始終存在著一些疑問。其中主要有,自然語言的主要詞匯類別(名詞、形容詞和動(dòng)詞)之間的區(qū)別沒有在謂詞邏輯中得到確認(rèn);專有名詞被譯為個(gè)體名詞;普通名詞、形容詞和動(dòng)詞則合在一起作為謂詞。有些邏輯學(xué)家和生成語義學(xué)的支持者主張,這既是謂詞邏輯的一個(gè)優(yōu)點(diǎn),也是傳統(tǒng)語法的一個(gè)缺點(diǎn)。然而詞匯類型顯然是在語義上具有相關(guān)性的。怎樣才能掌握它們中間的區(qū)別,仍然是一個(gè)沒有解決的問題。此外,普通名詞的次類(可數(shù)名詞和物質(zhì)名詞)在謂詞邏輯中也沒有對(duì)應(yīng)的部分。一般來說,帶有物質(zhì)名詞的語句很難用謂詞邏輯的語言加以公式化,例如:①GoldisscarcethesedaysbutIboughtsometoday.還有一些詞類在邏輯中甚至完全沒有相應(yīng)的部分,如從屬連詞、介詞以及各種副詞等。除了語義相關(guān)的詞類對(duì)應(yīng)上的空缺,謂詞邏輯最嚴(yán)重的局限大概就是它只能討論直陳句,命令句和疑問句則完全排除在系統(tǒng)之外,因?yàn)檫@些類型的語句在言語活動(dòng)中具有完全不同的功能———它們不是用來傳達(dá)關(guān)于世界的知識(shí)的。

雖然邏輯學(xué)領(lǐng)域相關(guān)研究已經(jīng)作出了建立“命令邏輯”和“問題邏輯”(Montague1974)的努力。但是,相關(guān)研究在如何正確處理這些語句的類型上產(chǎn)生分歧。有些邏輯學(xué)家和語言學(xué)家認(rèn)為,把這類語句作為特殊類型的直陳句是可能的,并且,這種嘗試將有可能賦予這些語句以真值條件。一個(gè)廣為流傳的理論與“假說運(yùn)用”相關(guān)。按照這一理論,所有語句都應(yīng)該有底層結(jié)構(gòu),在底層結(jié)構(gòu)中最高級(jí)別的從句(clause)是說話人說出的關(guān)于他正在進(jìn)行的言語活動(dòng)的一個(gè)陳述;例如,一個(gè)命令語句可能具有底層結(jié)構(gòu)“我命令你S”。然而,陳述句的意義就是我們?cè)谝话闱闆r下所了解的意義,有些很難解釋其真值條件。例如,很難設(shè)想這樣一種情況,雖然②a里的一個(gè)語句可能是真的,同時(shí)②b是假的,但是二者還是在意義上有明確的區(qū)分。②a.這只玻璃杯是半空的。b.這只玻璃杯是半滿的。另外,還有人提出直陳句語義的哪一方面可以看作真值條件也是存在分歧的。我們可以提出③和④這類表示價(jià)值判斷的語句,而這類語句通常無法判斷真假。③沒有結(jié)婚而發(fā)生性關(guān)系是不道德的。④彌爾頓是一位偉大的詩(shī)人。雖然謂詞邏輯具有諸多局限性,但是邏輯學(xué)家和語言學(xué)家現(xiàn)在仍然力求擴(kuò)展謂詞邏輯,或者建立更加適用于作為自然語言的語義模式的其他系統(tǒng)。當(dāng)然,對(duì)于他們的工作到底能否取得突破性的進(jìn)展,以及邏輯語義學(xué)的基本概念是否適宜于處理自然語言等問題,還有待進(jìn)一步研究。

2.3自然語言邏輯研究“語言邏輯”一詞最早出現(xiàn)在維特根斯坦的《邏輯哲學(xué)論》中。只是前期維特根斯坦所說的語言邏輯主要針對(duì)理想語言而言,并不是此處所討論的“自然語言邏輯”。目前,學(xué)術(shù)界普遍把誕生于20世紀(jì)70年代的蒙太格語法作為自然語言邏輯誕生的標(biāo)志,這大概是因?yàn)槊商裨诜懂犝Z法的基礎(chǔ)上,采用模型論方法構(gòu)造自然語言的語義解釋,開創(chuàng)了全面系統(tǒng)運(yùn)用現(xiàn)代邏輯工具研究自然語言的方向,即自然語言的形式語義學(xué)研究方向。也有學(xué)者認(rèn)為(夏年喜2004),最先明確提出建立自然語言邏輯的是美國(guó)當(dāng)代語言學(xué)家Lakoff在Lin-guisticsandnaturalLogic(1989)一文指出,“自然邏輯,一種為自然語言建立的邏輯,其目標(biāo)是表達(dá)所有可以在自然語言中加以表達(dá)的概念,說明所有可以用自然語言做出的有效推理,而且結(jié)合這些對(duì)所有的自然語言進(jìn)行適當(dāng)?shù)恼Z言學(xué)描述”。然而,無論以哪位學(xué)者的研究為開端和標(biāo)志都不可否認(rèn)的是,運(yùn)用現(xiàn)代邏輯工具研究自然語言在邏輯學(xué)界、語言學(xué)界已成為一種時(shí)尚。由于和數(shù)學(xué)、計(jì)算機(jī)科學(xué)、人工智能都有著密切的聯(lián)系,形式語義學(xué)已經(jīng)處于邏輯學(xué)、語言學(xué)、數(shù)學(xué)、計(jì)算機(jī)科學(xué)、人工智能等研究的交匯點(diǎn)。這使得自然語言邏輯研究不僅具有理論價(jià)值,而且具有實(shí)用價(jià)值。在形式邏輯不斷受到質(zhì)疑的同時(shí),邏輯學(xué)界和語言學(xué)界共同展開對(duì)自然語言邏輯的研究。因此可以說,“自然語言邏輯是邏輯學(xué)和語言學(xué)相互作用、相互滲透的產(chǎn)物,是介于現(xiàn)代邏輯和形式語言學(xué)之間的交叉學(xué)科。它既不同于通常意義下的邏輯學(xué),不屬于純邏輯;也不同于通常意義下的語言學(xué),不屬于純語言學(xué)。但它蓬勃發(fā)展的態(tài)勢(shì)、強(qiáng)勁的生命力,卻是邏輯學(xué)和語言學(xué)的其他分支所不能比擬的”(夏年喜2004:28)。目前,關(guān)于自然語言邏輯的研究已經(jīng)形成了一定成果。就國(guó)內(nèi)學(xué)術(shù)界而言,首先提出研究自然語言邏輯的是周禮全先生。在他的倡導(dǎo)下,一批學(xué)者埋頭于相關(guān)研究并形成了豐碩的研究成果,如馬佩(1987)《語言邏輯基礎(chǔ)》、胡澤洪(1991)《語言邏輯與言語交際》和(1995)《語言邏輯與認(rèn)識(shí)論邏輯》、張惠民(1995)《語言邏輯辭典》、周曉林(1999)《自然語言邏輯引論》。鄒崇理(1995)《邏輯、語言和蒙太格語法》、(2000)《自然語言邏輯研究》和(2002)《邏輯、語言和信息》不僅全面系統(tǒng)地介紹了國(guó)外自然語言邏輯,尤其是邏輯語義學(xué)的研究成果,而且還嘗試性地對(duì)漢語時(shí)態(tài)范疇做出形式語義學(xué)處理。

3結(jié)束語

第6篇:邏輯學(xué)研究方向范文

【關(guān)鍵詞】邏輯;邏輯系統(tǒng);必然

一、邏輯的研究對(duì)象

邏輯是什么?從人們公認(rèn)的邏輯創(chuàng)始人亞里士多德以來,千百年間,邏輯學(xué)家們眾說紛紜,至今都沒有一個(gè)統(tǒng)一明確的定義。每個(gè)邏輯學(xué)家在進(jìn)行邏輯研究時(shí),都會(huì)面臨這個(gè)問題,基于不同的邏輯觀,對(duì)此問題的回答只能是莫衷一是。在我國(guó),金岳霖先生是最早對(duì)此問題有所回答的邏輯學(xué)家之一。

金岳霖先生對(duì)邏輯的認(rèn)識(shí)與亞里士多德對(duì)邏輯的認(rèn)識(shí)大致上是一致的,在亞里士多德的著作《工具論》中有兩處關(guān)于邏輯是什么的表述。在《論辯篇》中,他這樣描述過,“推理是一種論證,其中有些被設(shè)定為前提,另外的判斷則必然地由它們發(fā)生。”在《前分析篇》中,他對(duì)三段論的解釋中也有過描述,“三段論是一種論證,其中只要確定某些論斷,某些異于它們的事物便可以必然地從如此確定的論斷中推出。所謂,‘如此確定的論斷’,我的意思是指結(jié)論通過它們而得出的東西,就是說,不需要其他任何詞項(xiàng)就可以得出必然的結(jié)論。如果一個(gè)三段論除了所說的東西以外不需要其他什么就可以明確地得出必然的結(jié)論,那么我們稱這個(gè)三段論是完滿的;如果一個(gè)三段論需要一個(gè)或多個(gè)盡管可以必然,從已設(shè)定的詞項(xiàng)中推出但卻不包含在前提中的因素,那么,我們就稱這個(gè)三段論是不完滿的?!?/p>

金岳霖先生與亞里士多德一樣,對(duì)邏輯的定義并沒有明確地給出,但是在他的一些著作中,我們也可以找到一些相關(guān)的表述。他認(rèn)為,“如果論理(邏輯)學(xué)的定義――狹義的定義――是研究命題與命題間的必然關(guān)系的學(xué)問,則論理(邏輯)學(xué)的對(duì)象――的性質(zhì)也就包含必然的性質(zhì)?!彼€說過,“邏輯是一個(gè)命題或判斷序列,或可以任意命名的從一個(gè)得出另一個(gè)的序列。但是它不是任意一個(gè)序列或具有許多可選序列的序列,它是一個(gè)序列并且只是這個(gè)序列,它是一個(gè)必然序列。”此外,他還認(rèn)為“邏輯學(xué)的對(duì)象――邏輯――就是必然的理。必然的理當(dāng)然沒有傳統(tǒng)與數(shù)理的區(qū)別。邏輯性,雖然有傳統(tǒng)與數(shù)理的分別,而邏輯沒有,它只是必然的理而已。”

在上述亞里士多德和金岳霖先生關(guān)于邏輯的論述中,有一個(gè)詞匯出現(xiàn)的頻率很高,它就是“必然”。從中我們不難看出,“必然”是金岳霖先生探討邏輯的重心,它是我們?nèi)姘盐战鹪懒叵壬壿嬎枷氲闹骶€,也是我們探究邏輯的本質(zhì)的關(guān)鍵。

二、必然的邏輯解釋

金岳霖先生在《釋必然》中,將必然分為三類,即心理方面的必然、事實(shí)方面的必然和論理(邏輯)方面的必然。第一,心理方面的必然,所指的就是個(gè)人的感覺,此種必然因?yàn)橐匀藶榕袛嘀黧w,故而有不同的意義。這種事情在日常生活中非常常見,特別是涉及到人的感情方面,如一個(gè)失戀的人有了“必”死之心,仇恨可以使人有“必”報(bào)之志,此處的“必”是人自己心理的感覺。第二,事實(shí)方面的必然,不是人的心理問題,金岳霖先生將此種必然分為兩部分來進(jìn)行闡述,即經(jīng)驗(yàn)中事實(shí)的必然和自然科學(xué)中事實(shí)的必然。經(jīng)驗(yàn)中事實(shí)的必然是人們根據(jù)日常生活經(jīng)驗(yàn)而得來的。這一類都是大約,很有可能有例外,很容易被,并不是真正意義上我們所講的必然。自然科學(xué)中事實(shí)的必然主要通過它的自然律來進(jìn)行把握。如人必然是會(huì)死的,物體的加速運(yùn)動(dòng)必然是因?yàn)榱Φ淖饔?。至今為止,事?shí)的必然是否存在仍然不得而知,但可知等的是此種必然與我們所討論的邏輯的必然是不同的。

第三,論理(邏輯)方面的必然在金岳霖先生看來,是兩個(gè)命題或多個(gè)命題之間的窮盡可能的必然關(guān)系。對(duì)于這種必然,為了方便,我們先從兩種包涵關(guān)系著手。這兩種包涵關(guān)系指的是對(duì)稱的包涵和非對(duì)稱的包涵此處的包涵都是從大類上討論的,小類不算在內(nèi)。針對(duì)包涵關(guān)系,我們假定在兩個(gè)命題之間發(fā)生。如果一個(gè)命題包涵另一個(gè)命題,我們把前者稱為前件,后者稱為后件。前件包涵后件而后件不包涵前件,則此種包涵是非對(duì)稱的包涵;前件包涵后件而后件也包涵前件,這種包涵是對(duì)稱的包涵。在非對(duì)稱的包涵當(dāng)中,前件與后件的意義是不相等的,而在對(duì)稱的包涵中,前件與后件的意義卻是相等的。兩命題有其中任何一種意義方面的包涵關(guān)系,那么這兩個(gè)命題有著必然的關(guān)系。不對(duì)稱包涵中的必然也不對(duì)稱,即承認(rèn)前件必然會(huì)承認(rèn)后件,而承認(rèn)后件則不必然承認(rèn)前件。對(duì)稱的包涵關(guān)系中的必然也是對(duì)稱的,即承認(rèn)前件則必然承認(rèn)后件,承認(rèn)后件也必然承認(rèn)前件。那么如何窮盡可能呢?我們從二分法的角度來考慮。

對(duì)于任意一命題p,引用真假二分法,得到的是:p和-p。

對(duì)于任意的命題p和q,引用真假二分法后,得到的是:

p q

真 真

真 假

假 真

假 假

對(duì)于任意的命題p、p與r,引用二分法后,得到的是:

p q r

真 真 真

真 假 真

假 真 真

假 假 真

真 真 假

真 假 假

假 真 假

假 假 假

由此,我們可以得出,n個(gè)命題,引用二分法后,可以得到2種可能。

對(duì)于一個(gè)命題的真假兩種可能,可以有四種不同的函數(shù)來表示:

1 2

a 真 真

b 真 假

c 假 真

d 假 假

1代表“p是真的”,2代表“p是假的”。其中a代表的兩者的“或”的關(guān)系,其余都是“而”的關(guān)系。這四個(gè)命題中d是不可能的,a是無往而無真的,是必然的。對(duì)于兩個(gè)命題之間也存在者一個(gè)不可能的命題和一個(gè)必然命題。由此可見,金岳霖先生的“必然”就是現(xiàn)代邏輯中的有效式。

三、邏輯與邏輯系統(tǒng)

每一句話劃分一種領(lǐng)域,領(lǐng)域有范圍大小的不同,內(nèi)部的秩序有程度高低的不同,每一領(lǐng)域至少有一系統(tǒng),說以每一句話都可以說有系統(tǒng)為它的背景,在一系統(tǒng)之內(nèi),可以有好幾個(gè)相連的命題,而這些相連的命題聯(lián)合起來,就確定了他在該系統(tǒng)背景下的意義。系統(tǒng)因有范圍大小的不同,緊湊與松懈程度的不同,所以它的意義也就是空冷而它的種類也就非常之多。倫敦的地道車是一系統(tǒng),國(guó)際聯(lián)盟也是一系統(tǒng),所有的科學(xué)均為系統(tǒng),而哲學(xué)系統(tǒng)是很常用的名詞。

那么為何邏輯系統(tǒng)呢?金岳霖在其著作《邏輯》一書中,指出―邏輯系統(tǒng)首先應(yīng)該是演繹系統(tǒng),并不是只要演繹系統(tǒng)就一定是邏輯系統(tǒng)。演繹系統(tǒng)大部分可以分走兩部分,一位演繹干部,一位演繹支部。干部為系統(tǒng)的根本,支部為系統(tǒng)的枝葉。前一步所包含的為系統(tǒng)的基礎(chǔ)概念,與基本命題,后一步為前一步所推論出的命題。這并不是說所有演繹系統(tǒng)都有一種成文的干部與支部,事實(shí)上的情形或者不是這樣,但如果我們把任何演繹系統(tǒng)加以分析,我們可以把它分為一個(gè)演繹干部一個(gè)演繹支部。演繹干部可以分作兩部,一為基本概念,一為基本命題;支部可以份做許多部分。干部下面分兩段討論,支部不須特別討論,也就是干部既定,干部隨之。

一個(gè)邏輯系統(tǒng)即為演繹系統(tǒng),那么它具有上述演繹系統(tǒng)的特點(diǎn),那么邏輯系統(tǒng)與演繹系統(tǒng)的區(qū)別呢?邏輯系統(tǒng)與其他演繹系統(tǒng)的區(qū)別不是原子的分別,運(yùn)算的分別,或關(guān)系的分別。以上所舉的一種系統(tǒng)可以解釋為幾何學(xué)、類學(xué)、命題學(xué),或幾何系統(tǒng)、類的系統(tǒng)、命題的系統(tǒng)。演繹系統(tǒng)不引其原子為點(diǎn)、線等等就不是邏輯系統(tǒng),也不因起原子為類為名題就變成邏輯系統(tǒng)。邏輯系統(tǒng)可以說是沒有特殊的原子,他的獨(dú)有情形不在原子而在它的系統(tǒng)多要保留的“東西”。

在金岳霖看來,邏輯與邏輯系統(tǒng)的關(guān)系是實(shí)質(zhì)與形式的關(guān)系,具體來說,是必然之實(shí)質(zhì)與必然之形式的關(guān)系。邏輯是必然之實(shí)質(zhì),而邏輯系統(tǒng)是必然之形式。每一個(gè)邏輯系統(tǒng)都是邏輯之所能有的一種形式,所以每一個(gè)邏輯系統(tǒng)都是代表邏輯,而但是邏輯不用為任何一系統(tǒng)所代表。

必然之形式,這里的“形式”二字的含義與我們普遍意義上理解的并不相同。這里指的是我們用來表示必然的工具的形式。金岳霖先生用必然之形式而不用必然的形式是有原因的。因?yàn)槲覀兯傅氖恰癴orm of tautology”而不是所指的“tautological form”,在金岳霖先生看來這種必然之形式并非絕對(duì)的,而是相對(duì)的。這種相對(duì)是針對(duì)必然實(shí)質(zhì)而言的。

必然之實(shí)質(zhì),與必然之形式相對(duì),所指的是形式所表現(xiàn)的實(shí)質(zhì)。必然之形式與必然之實(shí)質(zhì)很容易讓人產(chǎn)生誤會(huì),混為一談。對(duì)此,金岳霖先生利用C.Peirce的字眼,說必然之形式是“token”,必然之實(shí)質(zhì)是“type”。假設(shè)一美元是一個(gè)“type”,那么,一般來說這個(gè)“type”至少就有兩個(gè)“token”,一個(gè)是“一美元”的紙幣,一個(gè)是“一美元”的硬幣。

那么必然之形式與必然之實(shí)質(zhì)有什么關(guān)系呢?

第一,必然之形式雖然不必然,但是必然之實(shí)質(zhì)是必然。此話其實(shí)相當(dāng)于我們所熟知的同一律。同一律既不否認(rèn),即必然之實(shí)質(zhì)不能不是必然。在此外,我們應(yīng)該注意的問題是從字面上,“必然之形式”與“必然之實(shí)質(zhì)”雖然形式上相同,但是,它們不等同于“必然形式”和“必然實(shí)質(zhì)”。即不管必然之形式是怎樣的,有多少種,必然之實(shí)質(zhì)都是唯一的。

第二,無論必然之形式如何,此必然命題都是普遍的。即必然的命題必不

能為假,這種真與其他命題的真有所不同。它并不去形容事實(shí),但是卻范疇事實(shí),即無論事實(shí)怎樣變化,都是圍繞著必然命題這一核心的。

第三,必然命題,逼近能夠普遍的引用與所有事實(shí),而且也是推論的普遍公式。這是針對(duì)數(shù)理邏輯而言的,這種推論并不指歸納方面的推論,它是指由前提而得到結(jié)論的推論。這種推論都有自己的普遍公式,而不同的公式在一個(gè)邏輯系統(tǒng)范圍之內(nèi),都是可以勇必然命題來表示的。

第四,凡是由必然命題所推論出來的命題也都是必然命題。這從數(shù)理邏輯的角度很容易理解。數(shù)理邏輯注重推理演算過程,它存在著永真式的公理,由這些永真式的公理所推出的也是永真的。永真式我們也可以把它看成是必然命題,那么由它推出的這些永真的命題也是必然命題。

以上這些,都是從必然之實(shí)質(zhì)方面考慮的,而不是從必然之形式,而是從邏輯系統(tǒng)方面的實(shí)質(zhì)而非邏輯系統(tǒng)的形式而考慮的。此外,邏輯系統(tǒng)是一種形式,盡管是必然之系統(tǒng),但是它本身不是必然的。邏輯的實(shí)質(zhì)是必然,它既不能不是必然,也不能沒有它的實(shí)質(zhì)。因?yàn)?,第一,邏輯系統(tǒng)不僅有二值邏輯系統(tǒng),還有三值邏輯系統(tǒng)以及n值邏輯系統(tǒng)。每個(gè)系統(tǒng)中的命題都是必然命題,卻是不同值的必然命題。第二,每一個(gè)系統(tǒng)都以它的基本概念與基本命題作為系統(tǒng)的出發(fā)點(diǎn),而這些基本概念與必然是無關(guān)的。第三,盡管基本命題都是系統(tǒng)的必然命題,但是這些基本命題的表述工具是依靠基本概念的。因此,邏輯系統(tǒng)不是必然的,數(shù)理邏輯的發(fā)展也進(jìn)一步證明了這個(gè)觀點(diǎn)。

縱觀金岳霖先生的學(xué)術(shù)生涯,“必然”作為他邏輯觀的主線,他的邏輯思想和研究都是圍繞它形成的。對(duì)“必然”的研究,不僅可以讓我們更加全面和深入地學(xué)習(xí)認(rèn)識(shí)金岳霖的邏輯思想,還為我們對(duì)邏輯本質(zhì)的把握提供了新的視角。

參考文獻(xiàn)

[1] 金岳霖.金岳霖文集(第二卷)[M].蘭州:甘肅人民出版社,1995.

[2] 中國(guó)社會(huì)科學(xué)院哲學(xué)研究所.金岳霖學(xué)術(shù)思想研究[M].成都:四川人民出版社,1987.

[3] 金岳霖.邏輯[M].北京:中國(guó)人民大學(xué)出版社,2010.

第7篇:邏輯學(xué)研究方向范文

[關(guān)鍵詞]海德格爾;《存在論:實(shí)際性的解釋學(xué)》;現(xiàn)象學(xué);胡塞爾

[中圖分類號(hào)]B516.54 [文獻(xiàn)標(biāo)識(shí)碼]A [文章編號(hào)]1004-518X(2012)03-0022-05

張一兵(1956-),男,哲學(xué)博士,南京大學(xué)特聘教授,南京大學(xué)社會(huì)理論研究中心主任,哲學(xué)系博士生導(dǎo)師,主要研究方向?yàn)檎軐W(xué)與國(guó)外。(江蘇南京 210093)

本文系教育部哲學(xué)社會(huì)科學(xué)研究2011年度后期資助重點(diǎn)項(xiàng)目(項(xiàng)目編號(hào):11JH011)的階段性成果。

1923年,海德格爾在弗萊堡大學(xué)做題為《存在論:實(shí)際性的解釋學(xué)》(Ontologie:Hermeneutih der Fa ktizitat)的學(xué)術(shù)講座,并留下了這一講座的手稿。在這一手稿的第14頁(yè)上,海德格爾標(biāo)注了一個(gè)插入部分,即關(guān)于現(xiàn)象與現(xiàn)象學(xué)的討論。但是后來沒有在海德格爾手稿中找到這一插入部分,不過,從學(xué)生的聽課筆記來看,海德格爾似乎的確講過這一部分內(nèi)容,所以,編輯者找到兩份聽課筆記,以替代遺失的講稿內(nèi)容。因此,我們必須知道,這部分內(nèi)容并不直接是海德格爾的文本,只是關(guān)于海德格爾課堂教學(xué)的記錄文字,僅僅具有參考的價(jià)值。但是,這部分內(nèi)容卻是極為重要的,因?yàn)楹5赂駹栆懻搶?duì)他影響巨大的現(xiàn)象學(xué)。在他這里,現(xiàn)象學(xué)是方法論的入門,是一條在其上行走的思想道路,任何把現(xiàn)象學(xué)凝固成一種哲學(xué)體系的做法都將被貶謫,胡塞爾也不例外。

根據(jù)課堂筆記,海德格爾說,在本講座前面的討論中,雖然他已經(jīng)多次在現(xiàn)象學(xué)的語境中強(qiáng)調(diào)性地使用過現(xiàn)象(>>Phanomenphtnomenal

海德格爾在課堂上說,現(xiàn)象一詞源于古希臘文中palvouvov,一詞,該詞又派生于aivoal,即自己顯現(xiàn),所以,現(xiàn)象最初的意義語境為“作為自顯現(xiàn)的東西顯示自身者”。它不是一個(gè)東西以“某種怎樣(irgendwie)在場(chǎng)”或處于間接的觀察之中,當(dāng)然也不是以“某種怎樣重構(gòu)(irgendwie rekonstruiert)”的東西。請(qǐng)注意,這個(gè)irgendwie很有意思。Irgend是指隨便什么、任意一種,wie是與“什么(Was)”不同的怎樣,這是說,現(xiàn)象一開始就不是建構(gòu)性的怎樣,所以它也不能被重新建構(gòu)?;诖?,海德格爾提出了一個(gè)很有意思的觀點(diǎn):現(xiàn)象是事物的對(duì)象性突現(xiàn)。課堂筆記中的這樣一段話:

“現(xiàn)象”是某物的對(duì)象存在(Gegenstandlichsein)的方式,而且是一種突現(xiàn)的方式:一個(gè)來自于其自身的對(duì)象的當(dāng)下存在。所以,這首先根本沒有規(guī)定有關(guān)事情的內(nèi)涵,這里也沒有任何規(guī)定事情領(lǐng)域的指示,“現(xiàn)象”的意思是對(duì)象-存在(Gegenstand-sein)的突現(xiàn)方式(ausgezei chnete Weise)。

現(xiàn)象是某物對(duì)象性存在的突現(xiàn)方式,這其實(shí)很難理解。對(duì)象性已經(jīng)是在對(duì)面的站立,它是“什么(Was)”東西(對(duì)象物)的基礎(chǔ),可是,現(xiàn)象作為一種建構(gòu)性的突現(xiàn),這又打破了簡(jiǎn)單的實(shí)體性。我覺得,海德格爾這里的現(xiàn)象已經(jīng)是一個(gè)近代形而上學(xué)的概念了?,F(xiàn)象,在康德和黑格爾那里已經(jīng)是反實(shí)物本體論的視域了。再比如貝克萊所說,存在(者)就是被感知,或馬赫所說,世界是感覺要素的復(fù)合,這都是否定實(shí)體物的主觀顯象的當(dāng)下建構(gòu)和突現(xiàn)。由此,海德格爾才說,這種表現(xiàn)方式已經(jīng)包含著一種“防御非本真的(niehteigentliehen)、但可能而且實(shí)際上占主導(dǎo)地位的存在者(Seiendem)的對(duì)象存在方式”。真夠復(fù)雜的。這個(gè)所謂“占主導(dǎo)地位的存在者(Seiendem)的對(duì)象存在方式”,其實(shí)就是舊唯物主義的感性實(shí)物本體論。

第8篇:邏輯學(xué)研究方向范文

[關(guān)鍵詞]人工智能,常識(shí)推理,歸納邏輯,廣義內(nèi)涵邏輯,認(rèn)知邏輯,自然語言邏輯

現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期,其發(fā)展動(dòng)力主要來自于數(shù)學(xué)中的公理化運(yùn)動(dòng)。當(dāng)時(shí)的數(shù)學(xué)家們?cè)噲D即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理,從而把整個(gè)數(shù)學(xué)構(gòu)造成為一個(gè)嚴(yán)格的演繹大廈,然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要?jiǎng)恿?。由此造成的后果就?0世紀(jì)邏輯研究的嚴(yán)重?cái)?shù)學(xué)化,其表現(xiàn)在于:一是邏輯專注于在數(shù)學(xué)的形式化過程中提出的問題;二是邏輯采納了數(shù)學(xué)的方法論,從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”,它增強(qiáng)了邏輯研究的深度,使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之后進(jìn)入第三個(gè)高峰期,并且對(duì)整個(gè)現(xiàn)代科學(xué)特別是數(shù)學(xué)、哲學(xué)、語言學(xué)和計(jì)算機(jī)科學(xué)產(chǎn)生了非常重要的影響。

本文所要探討的問題是:21世紀(jì)邏輯發(fā)展的主要?jiǎng)恿碜院翁帲看笾抡f來將如何發(fā)展?我個(gè)人的看法是:計(jì)算機(jī)科學(xué)和人工智能將至少是21世紀(jì)早期邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈?,并將由此決定21世紀(jì)邏輯學(xué)的另一幅面貌。由于人工智能要模擬人的智能,它的難點(diǎn)不在于人腦所進(jìn)行的各種必然性推理(這一點(diǎn)在20世紀(jì)基本上已經(jīng)做到了,如用計(jì)算機(jī)去進(jìn)行高難度和高強(qiáng)度的數(shù)學(xué)證明,“深藍(lán)”通過高速、大量的計(jì)算去與世界冠軍下棋),而是最能體現(xiàn)人的智能特征的能動(dòng)性、創(chuàng)造性思維,這種思維活動(dòng)中包括學(xué)習(xí)、抉擇、嘗試、修正、推理諸因素,例如選擇性地搜集相關(guān)的經(jīng)驗(yàn)證據(jù),在不充分信息的基礎(chǔ)上作出嘗試性的判斷或抉擇,不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為,……由此達(dá)到實(shí)踐的成功。于是,邏輯學(xué)將不得不比較全面地研究人的思維活動(dòng),并著重研究人的思維中最能體現(xiàn)其能動(dòng)性特征的各種不確定性推理,由此發(fā)展出的邏輯理論也將具有更強(qiáng)的可應(yīng)用性。

實(shí)際上,在20世紀(jì)中后期,就已經(jīng)開始了現(xiàn)代邏輯與人工智能(記為AI)之間的相互融合和滲透。例如,哲學(xué)邏輯所研究的許多課題在理論計(jì)算機(jī)和人工智能中具有重要的應(yīng)用價(jià)值。AI從認(rèn)知心理學(xué)、社會(huì)科學(xué)以及決策科學(xué)中獲得了許多資源,但邏輯(包括哲學(xué)邏輯)在AI中發(fā)揮了特別突出的作用。某些原因促使哲學(xué)邏輯家去發(fā)展關(guān)于非數(shù)學(xué)推理

的理論;基于幾乎同樣的理由,AI研究者也在進(jìn)行類似的探索,這兩方面的研究正在相互接近、相互借鑒,甚至在逐漸融合在一起。例如,AI特別關(guān)心下述課題:

·效率和資源有限的推理;

·感知;

·做計(jì)劃和計(jì)劃再認(rèn);

·關(guān)于他人的知識(shí)和信念的推理;

·各認(rèn)知主體之間相互的知識(shí);

·自然語言理解;

·知識(shí)表示;

·常識(shí)的精確處理;

·對(duì)不確定性的處理,容錯(cuò)推理;

·關(guān)于時(shí)間和因果性的推理;

·解釋或說明;

·對(duì)歸納概括以及概念的學(xué)習(xí)。[①]

21世紀(jì)的邏輯學(xué)也應(yīng)該關(guān)注這些問題,并對(duì)之進(jìn)行研究。為了做到這一點(diǎn),邏輯學(xué)家們有必要熟悉AI的要求及其相關(guān)進(jìn)展,使其研究成果在AI中具有可應(yīng)用性。

我認(rèn)為,至少是21世紀(jì)早期,邏輯學(xué)將會(huì)重點(diǎn)關(guān)注下述幾個(gè)領(lǐng)域,并且有可能在這些領(lǐng)域出現(xiàn)具有重大意義的成果:(1)如何在邏輯中處理常識(shí)推理中的弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素?(2)如何使機(jī)器人具有人的創(chuàng)造性智能,如從經(jīng)驗(yàn)證據(jù)中建立用于指導(dǎo)以后行動(dòng)的歸納判斷?(3)如何進(jìn)行知識(shí)表示和知識(shí)推理,特別是基于已有的知識(shí)庫(kù)以及各認(rèn)知主體相互之間的知識(shí)而進(jìn)行的推理?(4)如何結(jié)合各種語境因素進(jìn)行自然語言理解和推理,使智能機(jī)器人能夠用人的自然語言與人進(jìn)行成功的交際?等等。

1.常識(shí)推理中的某些弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素

AI研究的一個(gè)目標(biāo)就是用機(jī)器智能模擬人的智能,它選擇各種能反映人的智能特征的問題進(jìn)行實(shí)踐,希望能做出各種具有智能特征的軟件系統(tǒng)。AI研究基于計(jì)算途徑,因此要建立具有可操作性的符號(hào)模型。一般而言,AI關(guān)于智能系統(tǒng)的符號(hào)模型可描述為:由一個(gè)知識(shí)載體(稱為知識(shí)庫(kù)KB)和一組加載在KB上的足以產(chǎn)生智能行為的過程(稱為問題求解器PS)構(gòu)成。經(jīng)過20世紀(jì)70年代包括專家系統(tǒng)的發(fā)展,AI研究者逐步取得共識(shí),認(rèn)識(shí)到知識(shí)在智能系統(tǒng)中力量,即一般的智能系統(tǒng)事實(shí)上是一種基于知識(shí)的系統(tǒng),而知識(shí)包括專門性知識(shí)和常識(shí)性知識(shí),前者亦可看做是某一領(lǐng)域內(nèi)專家的常識(shí)。于是,常識(shí)問題就成為AI研究的一個(gè)核心問題,它包括兩個(gè)方面:常識(shí)表示和常識(shí)推理,即如何在人工智能中清晰地表示人類的常識(shí),并運(yùn)用這些常識(shí)去進(jìn)行符合人類行為的推理。顯然,如此建立的常識(shí)知識(shí)庫(kù)可能包含矛盾,是不協(xié)調(diào)的,但這種矛盾或不協(xié)調(diào)應(yīng)不至于影響到進(jìn)行合理的推理行為;常識(shí)推理還是一種非單調(diào)推理,即人們基于不完全的信息推出某些結(jié)論,當(dāng)人們得到更完全的信息后,可以改變甚至收回原來的結(jié)論;常識(shí)推理也是一種可能出錯(cuò)的不精確的推理模式,是在容許有錯(cuò)誤知識(shí)的情況下進(jìn)行的推理,簡(jiǎn)稱容錯(cuò)推理。而經(jīng)典邏輯拒斥任何矛盾,容許從矛盾推出一切命題;并且它是單調(diào)的,即承認(rèn)如下的推理模式:如果p?r,則pùq?r;或者說,任一理論的定理屬于該理論之任一擴(kuò)張的定理集。因此,在處理常識(shí)表示和常識(shí)推理時(shí),經(jīng)典邏輯應(yīng)該受到限制和修正,并發(fā)展出某些非經(jīng)典的邏輯,如次協(xié)調(diào)邏輯、非單調(diào)邏輯、容錯(cuò)推理等。有人指出,常識(shí)推理的邏輯是次協(xié)調(diào)邏輯和非單調(diào)邏輯的某種結(jié)合物,而后者又可看做是對(duì)容錯(cuò)推理的簡(jiǎn)單且基本的情形的一種形式化。[②]

“次協(xié)調(diào)邏輯”(ParaconsistentLogic)是由普里斯特、達(dá)·科斯塔等人在對(duì)悖論的研究中發(fā)展出來的,其基本想法是:當(dāng)在一個(gè)理論中發(fā)現(xiàn)難以克服的矛盾或悖論時(shí),與其徒勞地想盡各種辦法去排除或防范它們,不如干脆讓它們留在理論體系內(nèi),但把它們“圈禁”起來,不讓它們?nèi)我鈹U(kuò)散,以免使我們所創(chuàng)立或研究的理論成為“不足道”的。于是,在次協(xié)調(diào)邏輯中,能夠容納有意義、有價(jià)值的“真矛盾”,但這些矛盾并不能使系統(tǒng)推出一切,導(dǎo)致自毀。因此,這一新邏輯具有一種次于經(jīng)典邏輯但又遠(yuǎn)遠(yuǎn)高于完全不協(xié)調(diào)系統(tǒng)的協(xié)調(diào)性。次協(xié)調(diào)邏輯家們認(rèn)為,如果在一理論T中,一語句A及其否定?A都是定理,則T是不協(xié)調(diào)的;否則,稱T是協(xié)調(diào)的。如果T所使用的邏輯含有從互相否定的兩公式可推出一切公式的規(guī)則或推理,則不協(xié)調(diào)的T也是不足道的(trivial)。因此,通常以經(jīng)典邏輯為基礎(chǔ)的理論,如果它是不協(xié)調(diào)的,那它一定也是不足道的。這一現(xiàn)象表明,經(jīng)典邏輯雖可用于研究協(xié)調(diào)的理論,但不適用于研究不協(xié)調(diào)但又足道的理論。達(dá)·科斯塔在20世紀(jì)60年代構(gòu)造了一系列次協(xié)調(diào)邏輯系統(tǒng)Cn(1≤n≤w),以用作不協(xié)調(diào)而又足道的理論的邏輯工具。對(duì)次協(xié)調(diào)邏輯系統(tǒng)Cn的特征性描述包括下述命題:(i)矛盾律?(Aù?A)不普遍有效;(ii)從兩個(gè)相互否定的公式A和?A推不出任意公式;即是說,矛盾不會(huì)在系統(tǒng)中任意擴(kuò)散,矛盾不等于災(zāi)難。(iii)應(yīng)當(dāng)容納與(i)和(ii)相容的大多數(shù)經(jīng)典邏輯的推理模式和規(guī)則。這里,(i)和(ii)表明了對(duì)矛盾的一種相對(duì)寬容的態(tài)度,(iii)則表明次協(xié)調(diào)邏輯對(duì)于經(jīng)典邏輯仍有一定的繼承性。

在任一次協(xié)調(diào)邏輯系統(tǒng)Cn(1≤n≤w)中,下述經(jīng)典邏輯的定理或推理模式都不成立:

?(Aù?A)

Aù?AB

A(?AB)

(A??A)B

(A??A)?B

A??A

(?Aù(AúB))B

(AB)(?B?A)

若以C0為經(jīng)典邏輯,則系列C0,C1,C2,…Cn,…Cw使得對(duì)任正整數(shù)i有Ci弱于Ci-1,Cw是這系列中最弱的演算。已經(jīng)為Cn設(shè)計(jì)出了合適的語義學(xué),并已經(jīng)證明Cn相對(duì)于此種語義是可靠的和完全的,并且次協(xié)調(diào)命題邏輯系統(tǒng)Cn還是可判定的?,F(xiàn)在,已經(jīng)有人把次協(xié)調(diào)邏輯擴(kuò)展到模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、多值邏輯、集合論等領(lǐng)域的研究中,發(fā)展了這些領(lǐng)域內(nèi)的次協(xié)調(diào)理論。顯然,次協(xié)調(diào)邏輯將會(huì)得到更進(jìn)一步的發(fā)展。[③]

非單調(diào)邏輯是關(guān)于非單調(diào)推理的邏輯,它的研究開始于20世紀(jì)80年代。1980年,D·麥克多莫特和J·多伊爾初步嘗試著系統(tǒng)發(fā)展一種關(guān)于非單調(diào)推理的邏輯。他們?cè)诮?jīng)典謂詞演算中引入一個(gè)算子M,表示某種“一致性”斷言,并將其看做是模態(tài)概念,通過一定程序把模態(tài)邏輯系統(tǒng)T、S4和S5翻譯成非單調(diào)邏輯。B·摩爾的論文《非單調(diào)邏輯的語義思考》(1983)據(jù)認(rèn)為在非單調(diào)邏輯方面作出了令人注目的貢獻(xiàn)。他在“缺省推理”和“自動(dòng)認(rèn)知推理”之間做了區(qū)分,并把前者看作是在沒有任何相反信息和缺少證據(jù)的條件下進(jìn)行推理的過程,這種推理的特征是試探性的:根據(jù)新信息,它們很可能會(huì)被撤消。自動(dòng)認(rèn)知推理則不是這種類型,它是與人們自身的信念或知識(shí)相關(guān)的推理,可用它模擬一個(gè)理想的具有信念的有理性的人的推理。對(duì)于在計(jì)算機(jī)和人工智能中獲得成功的應(yīng)用而言,非單調(diào)邏輯尚需進(jìn)一步發(fā)展。

2.歸納以及其他不確定性推理

人類智能的本質(zhì)特征和最高表現(xiàn)是創(chuàng)造。在人類創(chuàng)造的過程中,具有必然性的演繹推理固然起重要作用,但更為重要的是具有某種不確定性的歸納、類比推理以及模糊推理等。因此,計(jì)算機(jī)要成功地模擬人的智能,真正體現(xiàn)出人的智能品質(zhì),就必須對(duì)各種具有不確定性的推理模式進(jìn)行研究。

首先是對(duì)歸納推理和歸納邏輯的研究。這里所說的“歸納推理”是廣義的,指一切擴(kuò)展性推理,它們的結(jié)論所斷定的超出了其前提所斷定的范圍,因而前提的真無法保證結(jié)論的真,整個(gè)推理因此缺乏必然性。具體說來,這種意義的“歸納”包括下述內(nèi)容:簡(jiǎn)單枚舉法;排除歸納法,指這樣一些操作:預(yù)先通過觀察或?qū)嶒?yàn)列出被研究現(xiàn)象的可能的原因,然后有選擇地安排某些事例或?qū)嶒?yàn),根據(jù)某些標(biāo)準(zhǔn)排除不相干假設(shè),最后得到比較可靠的結(jié)論;統(tǒng)計(jì)概括:從關(guān)于有窮數(shù)目樣本的構(gòu)成的知識(shí)到關(guān)于未知總體分布構(gòu)成的結(jié)論的推理;類比論證和假說演繹法,等等。盡管休謨提出著名的“歸納問題”,對(duì)歸納推理的合理性和歸納邏輯的可能性提出了深刻的質(zhì)疑,但我認(rèn)為,(1)歸納是在茫茫宇宙中生存的人類必須采取也只能采取的認(rèn)知策略,對(duì)于人類來說具有實(shí)踐的必然性。(2)人類有理由從經(jīng)驗(yàn)的重復(fù)中建立某種確實(shí)性和規(guī)律性,其依據(jù)就是確信宇宙中存在某種類似于自然齊一律和客觀因果律之類的東西。這一確信是合理的,而用純邏輯的理由去懷疑一個(gè)關(guān)于世界的事實(shí)性斷言則是不合理的,除非這個(gè)斷言是邏輯矛盾。(3)人類有可能建立起局部合理的歸納邏輯和歸納方法論。并且,歸納邏輯的這種可能性正在計(jì)算機(jī)科學(xué)和人工智能的研究推動(dòng)下慢慢地演變成現(xiàn)實(shí)。恩格斯早就指出,“社會(huì)一旦有技術(shù)上的需要,則這種需要比十所大學(xué)更能把科學(xué)推向前進(jìn)?!盵④]有人通過指責(zé)現(xiàn)有的歸納邏輯不成熟,得出“歸納邏輯不可能”的結(jié)論,他們的推理本身與歸納推理一樣,不具有演繹的必然性。(4)人類實(shí)踐的成功在一定程度上證明了相應(yīng)的經(jīng)驗(yàn)知識(shí)的真理性,也就在一定程度上證明了歸納邏輯和歸納方法論的力量。毋庸否認(rèn),歸納邏輯目前還很不成熟。有的學(xué)者指出,為了在機(jī)器的智能模擬中克服對(duì)歸納模擬的困難而有所突破,應(yīng)該將歸納邏輯等有關(guān)的基礎(chǔ)理論研究與機(jī)器學(xué)習(xí)、不確定推理和神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)模型與歸納學(xué)習(xí)中已有的成果結(jié)合起來。只有這樣,才能在已有的歸納學(xué)習(xí)成果上,在機(jī)器歸納和機(jī)器發(fā)現(xiàn)上取得新的突破和進(jìn)展。[⑤]這是一個(gè)極有價(jià)值且極富挑戰(zhàn)性的課題,無疑在21世紀(jì)將得到重視并取得進(jìn)展。

再談模糊邏輯?,F(xiàn)實(shí)世界中充滿了模糊現(xiàn)象,這些現(xiàn)象反映到人的思維中形成了模糊概念和模糊命題,如“矮個(gè)子”、“美人”、“甲地在乙地附近”、“他很年輕”等。研究模糊概念、模糊命題和模糊推理的邏輯理論叫做“模糊邏輯”。對(duì)它的研究始于20世紀(jì)20年代,其代表性人物是L·A·查德和P·N·馬林諾斯。模糊邏輯為精確邏輯(二值邏輯)解決不了的問題提供了解決的可能,它目前在醫(yī)療診斷、故障檢測(cè)、氣象預(yù)報(bào)、自動(dòng)控制以及人工智能研究中獲得重要應(yīng)用。顯然,它在21世紀(jì)將繼續(xù)得到更大的發(fā)展。

3.廣義內(nèi)涵邏輯

經(jīng)典邏輯只是對(duì)命題聯(lián)結(jié)詞、個(gè)體詞、謂詞、量詞和等詞進(jìn)行了研究,但在自然語言中,除了這些語言成分之外,顯然還存在許多其他的語言成分,如各種各樣的副詞,包括模態(tài)詞“必然”、“可能”和“不可能”、時(shí)態(tài)詞“過去”、“現(xiàn)在”和“未來”、道義詞“應(yīng)該”、“允許”、“禁止”等等,以及各種認(rèn)知?jiǎng)釉~,如“思考”、“希望”、“相信”、“判斷”、“猜測(cè)”、“考慮”、“懷疑”,這些認(rèn)知?jiǎng)釉~在邏輯和哲學(xué)文獻(xiàn)中被叫做“命題態(tài)度詞”。對(duì)這些副詞以及命題態(tài)度詞的邏輯研究可以歸類為“廣義內(nèi)涵邏輯”。

大多數(shù)副詞以及幾乎所有命題態(tài)度詞都是內(nèi)涵性的,造成內(nèi)涵語境,后者與外延語境構(gòu)成對(duì)照。外延語境又叫透明語境,是經(jīng)典邏輯的組合性原則、等值置換規(guī)則、同一性替換規(guī)則在其中適用的語境;內(nèi)涵語境又稱晦暗語境,是上述規(guī)則在其中不適用的語境。相應(yīng)于外延語境和內(nèi)涵語境的區(qū)別,一切語言表達(dá)式(包括自然語言的名詞、動(dòng)詞、形容詞直至語句)都可以區(qū)分為外延性的和內(nèi)涵性的,前者是提供外延語境的表達(dá)式,后者是提供內(nèi)涵性語境的表達(dá)式。例如,殺死、見到、擁抱、吻、砍、踢、打、與…下棋等都是外延性表達(dá)式,而知道、相信、認(rèn)識(shí)、必然、可能、允許、禁止、過去、現(xiàn)在、未來等都是內(nèi)涵性表達(dá)式。

在內(nèi)涵語境中會(huì)出現(xiàn)一些復(fù)雜的情況。首先,對(duì)于個(gè)體詞項(xiàng)來說,關(guān)鍵性的東西是我們不僅必須考慮它們?cè)诂F(xiàn)實(shí)世界中的外延,而且要考慮它們?cè)谄渌赡苁澜缰械耐庋?。例如,由于“必然”是?nèi)涵性表達(dá)式,它提供內(nèi)涵語境,因而下述推理是非有效的:晨星必然是晨星,

晨星就是暮星,

所以,晨星必然是暮星。

這是因?yàn)椋哼@個(gè)推理只考慮到“晨星”和“暮星”在現(xiàn)實(shí)世界中的外延,并沒有考慮到它們?cè)诿恳粋€(gè)可能世界中的外延,我們完全可以設(shè)想一個(gè)可能世界,在其中“晨星”的外延不同于“暮星”的外延。因此,我們就不能利用同一性替換規(guī)則,由該推理的前提得出它的結(jié)論:“晨星必然是暮星”。其次,在內(nèi)涵語境中,語言表達(dá)式不再以通常是它們的外延的東西作為外延,而以通常是它們的內(nèi)涵的東西作為外延。以“達(dá)爾文相信人是從猿猴進(jìn)化而來的”這個(gè)語句為例。這里,達(dá)爾文所相信的是“人是從猿猴進(jìn)化而來的”所表達(dá)的思想,而不是它所指稱的真值,于是在這種情況下,“人是從猿猴進(jìn)化而來的”所表達(dá)的思想(命題)就構(gòu)成它的外延。再次,在內(nèi)涵語境中,雖然適用于外延的函項(xiàng)性原則不再成立,但并不是非要拋棄不可,可以把它改述為新的形式:一復(fù)合表達(dá)式的外延是它出現(xiàn)于外延語境中的部分表達(dá)式的外延加上出現(xiàn)于內(nèi)涵語境中的部分表達(dá)式的內(nèi)涵的函項(xiàng)。這個(gè)新的組合性或函項(xiàng)性原則在內(nèi)涵邏輯中成立。

一般而言,一個(gè)好的內(nèi)涵邏輯至少應(yīng)滿足兩個(gè)條件:(i)它必須能夠處理外延邏輯所能處理的問題;(ii)它還必須能夠處理外延邏輯所不能處理的難題。這就是說,它既不能與外延邏輯相矛盾,又要克服外延邏輯的局限。這樣的內(nèi)涵邏輯目前正在發(fā)展中,并且已有初步輪廓。從術(shù)語上說,內(nèi)涵邏輯除需要真、假、語句真值的同一和不同、集合或類、謂詞的同范圍或不同范圍等外延邏輯的術(shù)語之外,還需要同義、內(nèi)涵的同一和差異、命題、屬性或概念這樣一些術(shù)語。廣而言之,可以把內(nèi)涵邏輯看作是關(guān)于象“必然”、“可能”、“知道”、“相信”,“允許”、“禁止”等提供內(nèi)涵語境的語句算子的一般邏輯。在這種廣義之下,模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、認(rèn)知邏輯、問題邏輯等都是內(nèi)涵邏輯。不過,還有一種狹義的內(nèi)涵邏輯,它可以粗略定義如下:一個(gè)內(nèi)涵邏輯是一個(gè)形式語言,其中包括(1)謂詞邏輯的算子、量詞和變?cè)@里的謂詞邏輯不必局限于一階謂詞邏輯,也可以是高階謂詞邏輯;(2)合式的λ—表達(dá)式,例如(λx)A,這里A是任一類型的表達(dá)式,x是任一類型的變?cè)?λx)A本身是一函項(xiàng),它把變?cè)獂在其中取值的那種類型的對(duì)象映射到A所屬的那種類型上;(3)其他需要的模態(tài)的或內(nèi)涵的算子,例如€,ù、ú。而一個(gè)內(nèi)涵邏輯的解釋,則由下列要素組成:(1)一個(gè)可能世界的非空集W;(2)一個(gè)可能個(gè)體的非空集D;(3)一個(gè)賦值,它給系統(tǒng)內(nèi)的表達(dá)式指派它們?cè)诿縲∈W中的外延。對(duì)于任一的解釋Q和任一的世界w∈W,判定內(nèi)涵邏輯系統(tǒng)中的任一表達(dá)式X相對(duì)于解釋Q在w∈W中的外延總是可能的。這樣的內(nèi)涵邏輯系統(tǒng)有丘奇的LSD系統(tǒng),R·蒙塔古的IL系統(tǒng),以及E·N·扎爾塔的FIL系統(tǒng)等。[⑥]

在各種內(nèi)涵邏輯中,認(rèn)識(shí)論邏輯(epistemiclogic)具有重要意義。它有廣義和狹義之分。廣義的認(rèn)識(shí)論邏輯研究與感知(perception)、知道、相信、斷定、理解、懷疑、問題和回答等相關(guān)的邏輯問題,包括問題邏輯、知道邏輯、相信邏輯、斷定邏輯等;狹義的認(rèn)識(shí)論邏輯僅指知道和相信的邏輯,簡(jiǎn)稱“認(rèn)知邏輯”。馮·賴特在1951年提出了對(duì)“認(rèn)知模態(tài)”的邏輯分析,這對(duì)建立認(rèn)知邏輯具有極大的啟發(fā)作用。J·麥金西首先給出了一個(gè)關(guān)于“知道”的模態(tài)邏輯。A·帕普于1957年建立了一個(gè)基于6條規(guī)則的相信邏輯系統(tǒng)。J·亨迪卡于60年代出版的《知識(shí)和信念》一書是認(rèn)知邏輯史上的重要著作,其中提出了一些認(rèn)知邏輯的系統(tǒng),并為其建立了基于“模型集”的語義學(xué),后者是可能世界語義學(xué)的先導(dǎo)之一。當(dāng)今的認(rèn)知邏輯紛繁復(fù)雜,既不成熟也面臨許多難題。由于認(rèn)知邏輯涉及認(rèn)識(shí)論、心理學(xué)、語言學(xué)、計(jì)算機(jī)科學(xué)和人工智能等諸多領(lǐng)域,并且認(rèn)知邏輯的應(yīng)用技術(shù),又稱關(guān)于知識(shí)的推理技術(shù),正在成為計(jì)算機(jī)科學(xué)和人工智能的重要分支之一,因此認(rèn)知邏輯在20世紀(jì)中后期成為國(guó)際邏輯學(xué)界的一個(gè)熱門研究方向。這一狀況在21世紀(jì)將得到繼續(xù)并進(jìn)一步強(qiáng)化,在這方面有可能出現(xiàn)突破性的重要結(jié)果。

4.對(duì)自然語言的邏輯研究

對(duì)自然語言的邏輯研究有來自幾個(gè)不同領(lǐng)域的推動(dòng)力。首先是計(jì)算機(jī)和人工智能的研究,人機(jī)對(duì)話和通訊、計(jì)算機(jī)的自然語言理解、知識(shí)表示和知識(shí)推理等課題,都需要對(duì)自然語言進(jìn)行精細(xì)的邏輯分析,并且這種分析不能僅停留在句法層面,而且要深入到語義層面。其次是哲學(xué)特別是語言哲學(xué),在20世紀(jì)哲學(xué)家們對(duì)語言表達(dá)式的意義問題傾注了異乎尋常的精力,發(fā)展了各種各樣的意義理論,如觀念論、指稱論、使用論、言語行為理論、真值條件論等等,以致有人說,關(guān)注意義成了20世紀(jì)哲學(xué)家的職業(yè)病。再次是語言學(xué)自身發(fā)展的需要,例如在研究自然語言的意義問題時(shí),不能僅僅停留在脫離語境的抽象研究上面,而要結(jié)合使用語言的特定環(huán)境去研究,這導(dǎo)致了語義學(xué)、語用學(xué)、新修辭學(xué)等等發(fā)展。各個(gè)方面發(fā)展的成果可以總稱為“自然語言邏輯”,它力圖綜合后期維特根斯坦提倡的使用論,J·L·奧斯汀、J·L·塞爾等人發(fā)展的言語行為理論,以及P·格賴斯所創(chuàng)立的會(huì)話含義學(xué)說等成果,透過自然語言的指謂性和交際性去研究自然語言中的推理。

自然語言具有表達(dá)和交際兩種職能,其中交際職能是自然語言最重要的職能,是它的生命力之所在。而言語交際總是在一定的語言環(huán)境(簡(jiǎn)稱語境)中進(jìn)行的,語境有廣義和狹義之分。狹義的語境僅指一個(gè)語詞、一個(gè)句子出現(xiàn)的上下文。廣義的語境除了上下文之外,還包括該語詞或語句出現(xiàn)的整個(gè)社會(huì)歷史條件,如該語詞或語句出現(xiàn)的時(shí)間、地點(diǎn)、條件、講話的人(作者)、聽話的人(讀者)以及交際雙方所共同具有的背景知識(shí),這里的背景知識(shí)包括交際雙方共同的信念和心理習(xí)慣,以及共同的知識(shí)和假定等等。這些語境因素對(duì)于自然語言的表達(dá)式(語詞、語句)的意義有著極其重要的影響,這具體表現(xiàn)在:(i)語境具有消除自然語言語詞的多義性、歧義性和模糊性的能力,具有嚴(yán)格規(guī)定語言表達(dá)式意義的能力。(ii)自然語言的句子常常包含指示代詞、人稱代詞、時(shí)間副詞等,要弄清楚這些句子的意義和內(nèi)容,就要弄清楚這句話是誰說的、對(duì)誰說的、什么時(shí)候說的、什么地點(diǎn)說的、針對(duì)什么說的,等等,這只有在一定的語境中才能進(jìn)行。依賴語境的其他類型的語句還有:包含著象“有些”和“每一個(gè)”這類量化表達(dá)式的句子的意義取決于依語境而定的論域,包含著象“大的”、“冷的”這類形容詞的句子的意義取決于依語境而定的相比較的對(duì)象類;模態(tài)語句和條件語句的意義取決于因語境而變化的語義決定因素,如此等等。(iii)語言表達(dá)式的意義在語境中會(huì)出現(xiàn)一些重要的變化,以至偏離它通常所具有的意義(抽象意義),而產(chǎn)生一種新的意義即語用涵義。有人認(rèn)為,一個(gè)語言表達(dá)式在它的具體語境中的意義,才是它的完全的真正的意義,一旦脫離開語境,它就只具有抽象的意義。語言的抽象意義和它的具體意義的關(guān)系,正象解剖了的死人肢體與活人肢體的關(guān)系一樣。邏輯應(yīng)該去研究、理解、把握自然語言的具體意義,當(dāng)然不是去研究某一個(gè)(或一組)特定的語句在某個(gè)特定語境中唯一無二的意義,而是專門研究確定自然語言具體意義的普遍原則。[⑦]美國(guó)語言學(xué)家保羅·格賴斯把語言表達(dá)式在一定的交際語境中產(chǎn)生的一種不同于字面意義的特殊涵義,叫做“語用涵義”、“會(huì)話涵義”或“隱涵”(implicature),并于1975年提出了一組“交際合作原則”,包括一個(gè)總則和四組準(zhǔn)則??倓t的內(nèi)容是:在你參與會(huì)話時(shí),你要依據(jù)你所參與的談話交流的公認(rèn)目的或方向,使你的會(huì)話貢獻(xiàn)符合這種需要。仿照康德把范疇區(qū)分為量、質(zhì)、關(guān)系和方式四類,格賴斯提出了如下四組準(zhǔn)則:

(1)數(shù)量準(zhǔn)則:在交際過程中給出的信息量要適中。

a.給出所要求的信息量;

b.給出的信息量不要多于所要求的信息量。

(2)質(zhì)量準(zhǔn)則:力求講真話。

a.不說你認(rèn)為假的東西,。

b.不說你缺少適當(dāng)證據(jù)的東西。

(3)關(guān)聯(lián)準(zhǔn)則:說話要與已定的交際目的相關(guān)聯(lián)。

(4)方式準(zhǔn)則:說話要意思明確,表達(dá)清晰。

a.避免晦澀生僻的表達(dá)方式;

b.避免有歧義的表達(dá)方式;

c.說話要簡(jiǎn)潔;

d.說話要有順序性。[⑧]

后來對(duì)這些原則提出了不和補(bǔ)充,例如有人還提出了交際過程中所要遵守的“禮貌原則”。只要把交際雙方遵守交際合作原則之類的語用規(guī)則作為基本前提,這些原則就可以用來確定和把握自然語言的具體意義(語用涵義)。實(shí)際上,一個(gè)語句p的語用涵義,就是聽話人在具體語境中根據(jù)語用規(guī)則由p得到的那個(gè)或那些語句。更具體地說,從說話人S說的話語p推出語用涵義q的一般過程是:

(i)S說了p;

(ii)沒有理由認(rèn)為S不遵守準(zhǔn)則,或至少S會(huì)遵守總的合作原則;

(iii)S說了p而又要遵守準(zhǔn)則或總的合作原則,S必定想表達(dá)q;

(iv)S必然知道,談話雙方都清楚:如果S是合作的,必須假設(shè)q;

(v)S無法阻止聽話人H考慮q;

(vi)因此,S意圖讓H考慮q,并在說p時(shí)意味著q。

試舉二例:

(1)a站在熄火的汽車旁,b向a走來。a說:“我沒有汽油了。”b說:“前面拐角處有一個(gè)修車鋪?!边@里a與b談話的目的是:a想得到汽油。根據(jù)關(guān)系準(zhǔn)則,b說這句話是與a想得到汽油相關(guān)的,由此可知:b說這句話時(shí)隱涵著:“前面的修車鋪還在營(yíng)業(yè)并且賣汽油?!薄坝小卑鏅?quán)所

第9篇:邏輯學(xué)研究方向范文

浙江大學(xué)語言與認(rèn)知研究中心(簡(jiǎn)稱CSLC)成立于2005年,是國(guó)家“985工程”二期哲學(xué)社會(huì)科學(xué)創(chuàng)新基地,是一個(gè)文理兼容,涵蓋語言學(xué)、哲學(xué)、心理學(xué)、經(jīng)濟(jì)學(xué)、計(jì)算機(jī)科學(xué)、神經(jīng)科學(xué)等學(xué)科領(lǐng)域的跨學(xué)科研究中心。

中心擁有一支年齡結(jié)構(gòu)合理、學(xué)術(shù)造詣?shì)^高、富有創(chuàng)新精神的學(xué)術(shù)隊(duì)伍?,F(xiàn)有院士1位,教授18位,副教授及其他研究和輔助人員28人。

中心在語言與認(rèn)知研究領(lǐng)域凝練出了如下五個(gè)重點(diǎn)研究方向:

1.意識(shí)、心智與行為;

2.漢民族認(rèn)知方式與漢語言文字演化;

3.漢語認(rèn)知的邏輯表征;

4.文化認(rèn)知與社會(huì)認(rèn)知;

5.認(rèn)知規(guī)律及其應(yīng)用研究。

中心學(xué)術(shù)委員會(huì)主任是著名科學(xué)家唐孝威院士,中心主任是黃華新教授。

中心網(wǎng)站:/zjulc/,中心辦公室電話:0571-88273089

二、科學(xué)研究

CSLC自成立以來,承擔(dān)和完成國(guó)家社科基金、國(guó)家自然科學(xué)基金、國(guó)家教育部哲學(xué)社會(huì)科學(xué)重大課題攻關(guān)項(xiàng)目、國(guó)家教育部社科規(guī)劃重點(diǎn)課題等近40項(xiàng)。其中2011年11月,黃華新教授作為首席專家承擔(dān)了國(guó)家社科基金重大項(xiàng)目――《基于邏輯視域的認(rèn)知研究》,該課題圍繞如何運(yùn)用邏輯方法從自然語言中獲取信息,如何運(yùn)用邏輯工具刻畫單主體和多主體的動(dòng)態(tài)認(rèn)知過程,如何在邏輯學(xué)與信息科學(xué)有機(jī)結(jié)合的基礎(chǔ)上實(shí)現(xiàn)主體認(rèn)知的計(jì)算模擬等關(guān)鍵問題展開。該項(xiàng)目雖由CSLC為主承擔(dān),但北京大學(xué)、清華大學(xué)、中山大學(xué)、廈門大學(xué)等兄弟院校的教授參與其中,給予了有力支持。

2012年6月,盛曉明教授作為首席專家的教育部重大攻關(guān)項(xiàng)目“科學(xué)精神、科研倫理和學(xué)術(shù)規(guī)范的重塑和構(gòu)建研究”,是基于科學(xué)哲學(xué)、科學(xué)倫理學(xué)等多學(xué)科視角,試圖通過科學(xué)演化的研究進(jìn)路考察科學(xué)精神和科學(xué)制度的變遷,為學(xué)術(shù)規(guī)范的重塑提供理論依據(jù)和實(shí)踐路徑。課題組吸收了中國(guó)社會(huì)科學(xué)院、北京大學(xué)、清華大學(xué)、山東大學(xué)等科研院所的研究人員參加。CSLC上述兩個(gè)重大課題申報(bào)成功,充分體現(xiàn)了多學(xué)科交叉融合、多家研究機(jī)構(gòu)協(xié)同創(chuàng)新的發(fā)展思路。

CSIC還在《中國(guó)社會(huì)科學(xué)》、《中國(guó)語文》、《哲學(xué)研究》、《心理學(xué)報(bào)》、《軟件學(xué)報(bào)》等國(guó)內(nèi)權(quán)威期刊和一級(jí)刊物上近百篇,被SCI、EI檢索15余篇,SSCI、AHCI檢索14篇;出版專著教材50部,其中《語言與認(rèn)知研究專輯》6部,《語言與認(rèn)知文庫(kù)》18部,《語言與認(rèn)知譯叢》6部。

三、國(guó)際交流

近年來,CSLC在探索科學(xué)研究和人才培養(yǎng)的國(guó)際化方面邁出了可喜的一步。分別與美國(guó)斯坦福大學(xué)、德克薩斯大學(xué),英國(guó)愛丁堡大學(xué)、利茲大學(xué),法國(guó)國(guó)家科學(xué)院、荷蘭阿姆斯特丹大學(xué)、戴爾夫特理工學(xué)院,德國(guó)柏林自由大學(xué)、柏林工業(yè)大學(xué),日本北海道大學(xué)、東京大學(xué)、神戶大學(xué)等建立了多種形式的合作、交流關(guān)系。中心近年有黃華新、方一新、盛曉明、楊大春、吳義誠(chéng)、李恒威、王小潞、金立、廖備水、胡龍彪、徐慈華等10多位教授、副教授到斯坦福大學(xué)、德克薩斯大學(xué)、牛津大學(xué)、哥本哈根大學(xué)、阿姆斯特丹大學(xué)、新加波國(guó)立大學(xué)等世界著名大學(xué)研究訪學(xué)。在研究生培養(yǎng)方面,中心近年以合作培養(yǎng)的方式派出了33名博士生分別到美國(guó)、英國(guó)、法國(guó)、德國(guó)、荷蘭、日本等國(guó)學(xué)習(xí)。

四、學(xué)術(shù)活動(dòng)

“心智與意識(shí)研究組”、“語言、邏輯與認(rèn)知研究組”、“語言與思維研究組”、“語法、語義與認(rèn)知研究組”這四個(gè)自發(fā)建立并運(yùn)行多年的研究組是CSLC最活躍的學(xué)術(shù)“單位”,它們高效規(guī)范、定期舉行的學(xué)術(shù)活動(dòng)為CSLC營(yíng)建了濃厚的學(xué)術(shù)氛圍,它們也成為CSLC的研究人員、博士后和研究生共同的學(xué)術(shù)“家園”。

邀請(qǐng)來自國(guó)內(nèi)外相關(guān)研究機(jī)構(gòu)的學(xué)者做報(bào)告,有助于CSLC了解學(xué)術(shù)動(dòng)態(tài),加強(qiáng)學(xué)術(shù)交流,開闊學(xué)術(shù)視野和交流管理經(jīng)驗(yàn)。CSLC自成立起共舉辦了160場(chǎng)次學(xué)術(shù)報(bào)告或講座。

免责声明

本站为第三方开放式学习交流平台,所有内容均为用户上传,仅供参考,不代表本站立场。若内容不实请联系在线客服删除,服务时间:8:00~21:00。

AI写作,高效原创

在线指导,快速准确,满意为止

立即体验
文秘服务 AI帮写作 润色服务 论文发表