導(dǎo)語：如何才能寫好一篇推理的邏輯形式，這就需要搜集整理更多的資料和文獻，歡迎閱讀由公務(wù)員之家整理的十篇范文，供你借鑒。

篇1

海事船舶作為海上執(zhí)法、巡航監(jiān)管和航海保障的重要工具，是海事部門履行國家賦予的職責(zé)所必需的裝備，是海事局形象和能力的象征.隨著海事巡航執(zhí)法工作向領(lǐng)海、專屬經(jīng)濟區(qū)和大陸架水域的不斷延伸，具有應(yīng)急反應(yīng)能力強且能在惡劣海況下工作的大型海事巡邏救助船已成為海事部門履約、履職的必要手段.然而，目前我國整個海事系統(tǒng)中排水量超過1 000 t的大型執(zhí)法船只有5艘，且航速偏低，均在20 kn左右，在離岸50 n mile以外海區(qū)的應(yīng)急反應(yīng)能力明顯不足；而航速在25 kn以上的船舶，排水量均在1 000 t以下，續(xù)航力小，復(fù)雜海況下耐波性差，不具備抵達專屬經(jīng)濟區(qū)外緣水域進行大強度巡航執(zhí)法的能力.因此，為提升海事隊伍戰(zhàn)斗力，增強海事部門水上安全監(jiān)管能力，應(yīng)盡快設(shè)計并建造應(yīng)急反應(yīng)能力強的大型巡邏救助船.

船型優(yōu)化選擇是船舶設(shè)計建造的基礎(chǔ)和前提.船型方案的論證是一個多變量、多目標的系統(tǒng)優(yōu)選排序問題，通常要綜合船型的定性、定量等多項指標全面考慮，光靠設(shè)計者主觀判斷很難保證決策的科學(xué)性.多年來，對于船型選擇，學(xué)者們做了大量的研究工作：肖英杰通過分析船舶主尺度和船舶吃水等基本數(shù)據(jù)，采用船舶操縱模擬器進行航行模擬研究，確定洋山港區(qū)的最佳集裝箱船船型；楊永祥等采用核主成分分析法進行內(nèi)河干散貨運輸船型方案優(yōu)化，通過實例證明該方法的有效性和實用性；XIE等建立針對油船船型選擇的多準則評價模型，通過技術(shù)經(jīng)濟論證優(yōu)化求解最優(yōu)船型方案；陳繼紅綜合考慮船型經(jīng)濟論證中的主要指標，以散貨船船型選擇為例，運用灰色關(guān)聯(lián)方法評價各備選船型方案的綜合效果.可以看出，這些論證都是基于商船開展的，通過對凈現(xiàn)值、內(nèi)部收益率、投資回收期等工程經(jīng)濟論證指標和船長、型寬、吃水、方形系數(shù)等船舶技術(shù)參數(shù)指標的綜合評價，選擇在滿足任務(wù)需求下船舶營運經(jīng)濟效益最大的船型，而對于巡邏救助船這種不追求經(jīng)濟效益的公務(wù)船舶的船型選擇問題，鮮有人研究.本文針對大型海事巡邏救助船的特點和基本任務(wù)要求，建立定性、定量綜合評選指標體系，基于層次分析法和證據(jù)推理理論建立船型選擇綜合評估方法，通過3 000噸級巡邏救助船實例驗證該方法的可行性和有效性.　1大型海事巡邏救助船的功能定位和任務(wù)要求

船型選擇決策是建立在船舶任務(wù)需求的基礎(chǔ)上的，因此有必要分析大型海事巡邏救助船的功能定位和基本任務(wù)，了解其外延和內(nèi)涵，明確評選的目標和需求.

1.1功能定位

大型海事巡邏救助船主要用于我國離岸50 n mile以外專屬經(jīng)濟區(qū)海域的跨海區(qū)指令性巡邏護航、全天候救助指揮、通航秩序維持、違法違章和肇事逃逸船追查、海盜打擊、水上污染防治管理、參與國際交流和維護國家主權(quán)安全等，戰(zhàn)時還可服務(wù)于海上后勤保障、兵力運送以及傷員救助.

1.2任務(wù)要求

離岸50 n mile以外專屬經(jīng)濟區(qū)海域氣象條件相對比較惡劣，船舶主要以大型國際商船為主，在資源開采界限上易起爭端.該類海域管理偏重于海洋權(quán)益維護及應(yīng)對重大交通突發(fā)性事件.

這就要求：巡邏救助船具備較強的快速反應(yīng)能力、較好的適航性能、優(yōu)越的耐波性能、良好的抗風(fēng)浪穩(wěn)性和足夠的甲板面積；配置高速救助艇及配套收放裝置，可起降、系留中型直升機及旋翼式無人機，能夠在海況較為惡劣的海域?qū)嵤┭埠骄戎蝿?wù)；裝備溢油回收設(shè)備，能對污染水域進行簡單有效的處理；在6級海況下能夠執(zhí)行任務(wù)，在8級海況下能夠安全航行，船舶航速在25 kn以上，續(xù)航力應(yīng)在4 000 n mile以上.

2指標體系的構(gòu)建和選型方法

2.1指標體系

作為典型的公共投資項目，海事巡邏救助船與那些以追求利潤最大化為基本目的的營利性企業(yè)項目不同，它不直接產(chǎn)生經(jīng)濟效益，更多的是追求社會效益的最大化.可以說，巡邏救助船船型選擇的基本出發(fā)點是在船舶綜合技術(shù)性能滿足任務(wù)需求情況下成本最小.基于上述分析，在遵循完整性、簡潔性、一致性、可比性、可測性、獨立性等原則基礎(chǔ)上，針對海事巡邏船的特點和使用要求，在征求海事部門專家意見后建立大型海事巡邏救助船船型優(yōu)選的綜合評價指標體系，見圖1.該指標體系共包括4個一級指標和18個二級指標.

巡邏救助船一般不產(chǎn)生經(jīng)濟效益，只有初始投資和日常運行、維護費用支出，成本決定船舶的安全技術(shù)水平，進而會影響任務(wù)執(zhí)行的效果；技術(shù)指標決定船舶對預(yù)定任務(wù)的完成情況，它是船型選擇過程中首先需要考慮的因素，至少應(yīng)滿足航速、耐波性、續(xù)航力等11個指標的要求；能耗指標反映船舶節(jié)能狀況，是IMO對綠色環(huán)保船的基本要求；船型外觀和布置則體現(xiàn)海事部門的形象和風(fēng)貌，還應(yīng)充分考慮各功能區(qū)域使用的方便性和舒適性.

2.2選型方法

證據(jù)推理法（Evidential Reasoning Approach，ERA） 是一種不確定性評價方法，最初由英國曼徹

斯特大學(xué)的徐冬玲、楊建波等于20世紀90年代提出.近年來，ERA已經(jīng)應(yīng)用于方案優(yōu)化選擇、安全和風(fēng)險評估、組織內(nèi)部評價等多個領(lǐng)域，如海事管理評價、車輛評估 、競爭力比較等，其共同特征是需要通過多屬性或多準則、多指標進行綜合評價.ERA作為專門用于多屬性決策問題的解決方法，能在定性和定量因素存在的情況下將二者進行組合，對目標作出綜合決策，利于提高評價的精確度，而且有專用的計算軟件IDS，可極大地簡化計算過程.

在ERA中，一般假定一個多指標決策問題中綜合指標y可分解成R個基本指標，集合為E={ei，i=1，2，…，R}，權(quán)重為wi（i=1，2，…，R），滿足Ri=1wi=1.如果要參照評價等級H={H1，H2，…，HN}評價M個備選方案al（l=1，2，…，M）的優(yōu)劣，那么采用ERA的計算步驟如下：首先，設(shè)決策問題中定性的基本指標的評價等級Hi={Hn，n=1，2，…，Ni}與綜合指標y的評價等級不同；然后，按照ERA中的等價規(guī)則，參照Hi將定性指標轉(zhuǎn)換為相對于H的指標評價值S（ei（al）），同時對于定量指標，按照等價規(guī)則參照H評價方案的指標值S（ei（al））；再次，通過DS理論將各方案的定性、定量指標評價值逐層融合為綜合指標評價值S（y（al））；最后，采用效用理論排列各方案優(yōu)劣.

3實例分析

為驗證ERA在巡邏救助船船型選擇中的可行性，本文以3 000噸級巡邏救助船為應(yīng)用對象，假定傳統(tǒng)單體圓舭船型、穿浪雙體船型和三體船型為備選方案，對其性能進行 綜合評價，以選出最優(yōu)船型.各指標的初始評價值主要來源于文獻[1014]中的船型參數(shù)及相關(guān)模型試驗和專家意見，對部分難以獲得的數(shù)據(jù)作合理的假設(shè)，本文則著重于船型比選方案的算法分析.

3.1建立評價等級框架

在大型海事巡邏救助船船型優(yōu)選研究中，對目標層設(shè)置5個評價等級，即H={H1，H2，H3，H4，H5}={好，較好，一般，較差，差}.對子準則和基本準則中的定性指標，可根據(jù)指標特點設(shè)置不同的評價等級，如對指標“8級海況下航行安全性”設(shè)置“安全”“一般”“危險”等3個評價等級，但需要根據(jù)一定的規(guī)則將指標不同的評價框架轉(zhuǎn)換到總的評價框架上.

3.2應(yīng)用層次分析法確定指標權(quán)重

由經(jīng)驗豐富的專家對每層評價指標的相對重要性進行定性描述，確定兩兩比較矩陣，計算被比較指標的相對權(quán)重.一級評價指標的相對權(quán)重為W=（w1，w2，w3，w4）=（0.23，0.49，0.16，0.12）.一級評價指標判斷矩陣通過一致性檢驗.

同理，可得到二級評價指標的相對權(quán)重，分別為w1=（0.45，0.33，0.22），w2=（0.16，0.08，0.07，0.13，0.06，0.05，0.16，0.08，0.09，0.04，0.08），w3=（1），w4=（0.53，0.16，0.31）.二級評價指標判斷矩陣也均通過一致性檢驗.

3.3指標數(shù)據(jù)的處理

對與三種備選船型相關(guān)的數(shù)據(jù)進行分析、處理，得到權(quán)重、定量指標和定性指標的分布形式，見表1.有的可以直接用作IDS的輸入數(shù)據(jù)，有的則需要進行處理才能作為輸入數(shù)據(jù).

對于定性指標，如：“耐波性”用{強，較強，一般，較弱，弱}作為評價集，圓舭船型在此評價集上的置信度為（0.2，0.6，0.2，0，0）；“船型技術(shù)成熟度”用{成熟，一般，不成熟}作為評價集，穿浪雙體船型在該評價集上的置信度為（0.2，0.8，0）.以上各值可直接輸入IDS中.

對于定量指標，需根據(jù)證據(jù)推理一致性原則，轉(zhuǎn)化成分布式形式.以 “甲板面積”為例，其評價集為{好，較好，一般，較差，差}，評價范圍為[1 200，2 400]，則評價集中與每個評價等級等價的數(shù)值為{2 400，2 100，1 800，1 500，1 200}.實例中三體船的甲板面積為2 200，介于2 400與2 100之間，即介于

“好”與“較好”之間，根據(jù)轉(zhuǎn)換公式γn，j=hn+1，i-hjhn+1，i-hn，i，其隸屬于“較好”的置信度r=γn，j=2 400-2 2002 400-2 100=0.67，隸屬于“好”的置信度為0.33（=1-0.67）.因此，該指標值轉(zhuǎn)化后的分布式形式為（0.33，0.67，0，0，0），各值可直接輸入到IDS中進行計算.

3.4評價結(jié)果及分析

通過運行IDS，可直接得到各備選船型評價等級的置信水平，見表2.從表2可以看出：3種備選船型被評價為“好”的可能性均較大；圓舭船型被評為“差”的可能性最大.由于對巡邏救助船船型指標進行評價打分時考慮不確定性，IDS軟件同樣給出圓舭船型、穿浪雙體船型和三體船型的不確定性水平，分別為1.95%，2.15%，1.76%.

為使評價對象更具可比性，可利用ERA中的效用函數(shù)對評價對象進行效用排序.運用IDS分別得出3種備選船型的最小效用值、平均效用值和最大效用值，見表3.一般情況下，可根據(jù)平均效用值對方案的優(yōu)劣進行排序.由表3可得出，大型海事巡邏救助船的最佳船型為三體船型.此外，運用IDS還可以給出各評價指標的比較情況，見圖2.由圖2可知：圓舭船型在成本、能耗上較其他船型優(yōu)勢大，但在技術(shù)性能上劣勢較為明顯，突出表現(xiàn)在航速、耐波性等方面；穿浪雙體船型在各方面幾乎均處于中等水平；三體船型在技術(shù)上的優(yōu)勢較為顯著，而在能耗上表現(xiàn)較差，有待進一步提高.

4結(jié)束語

針對大型海事巡邏救助船的船型優(yōu)選問題，首先分析其功能定位和任務(wù)要求，在明確評選的目標和需求后，從成本、技術(shù)、能耗、外觀等4個方面建立船舶選型的綜合評價指標體系，運用層次分析法確定各指標權(quán)重，運用ERA集結(jié)低層指標得到每種船型的確定性評價結(jié)果.最后，以3 000噸級海事巡邏救助船為例，評價圓舭船型、穿浪雙體船型、三體船型等3種假定船型的綜合性能，得出三體船型更適合作為大型海事巡邏救助船船型的結(jié)論.該綜合評價方法簡易可行，可為海事巡邏救助船船型選擇提供理論依據(jù).

參考文獻：

[1]肖英杰. 洋山深水港船舶航行模擬研究的船型研究[J]. 上海海運學(xué)院學(xué)報， 2002， 23（3）： 911.

[2]楊永祥， 李冬琴. 基于KPCA 方法的內(nèi)河干散貨運輸船型論證[J]. 造船技術(shù)， 2008（5）： 811.

[3]XIE Xinlian， XU Dongling， YANG Jianbo， et al. Ship selection using a multiplecriteria synthesis approach[J].J Mar Sci & Technol， 2008， 13（1）： 5062.

[4]陳繼紅. 基于灰色關(guān)聯(lián)的船型決策經(jīng)濟論證方法與應(yīng)用[J]. 中國航海， 2012， 35（2）： 102105.

[5]楊立波， 王旺， 鄧愛民. 海事巡邏船船型及性能指標研究[J]. 船海工程， 2013， 42（2）： 5558.

[6]YANG Jianbo， XU Dongling. On the evidential reasoning algorithm for multiattribute decision analysis under uncertainty[J]. IEEE Trans Systems， Man， and Cybernetics， Part A： Systems and Humans， 2002， 32（13）： 289304.

[7]李猛， 謝新連. 基于證據(jù)推理的海事管理評價方法[J]. 大連海事大學(xué)學(xué)報， 2010， 36（3）： 5456.

[8]XIE Xinlian，YANG Jianbo， XU Dongling， et al. Uncertainty and preference modelling for multiple criteria vehicle evaluation[J]. Int J Computational Intelligence Systems， 2010， 3（6）： 688708.

[9]陳靜，謝新連.基于證據(jù)推理法的亞歐大陸橋競爭力比較分析[J].鐵道運輸與經(jīng)濟， 2013， 34（11）： 8287.

[10]孫魯閩. 近?？焖倬戎瓦x擇及其應(yīng)用[J]. 船舶標準化工程師， 2013（4）： 3740.

篇2

【關(guān)鍵詞】二難推理 假言 選言 構(gòu)成

【中圖分類號】G642 【文獻標識碼】A 【文章編號】1674-4810（2013）16-0020-02

二難，即左右為難。人們常在辯論時使用二難推理，如果運用得好，往往能將對方置于兩難境地，從而確立己方的觀點，進而在辯論中獲勝。二難推理在生活中的應(yīng)用也極為廣泛，廣為流傳的愛情經(jīng)典問題“如果我和你媽同時掉進河里，你先救誰？”便是一個二難推理，令多少戀愛中的小伙子傷透了腦筋。

一 二難推理的定義

對于二難推理的定義，表述不盡一致。金岳霖先生在其主編的《形式邏輯》一書中指出：“二難推理是一種特別的有兩個假言前提和一個選言前提的推理。當我們考慮事物有兩種可能性以及每一種可能性會導(dǎo)致某一后果時，我們常采用二難推理的形式。……辯論的一方常常提出一個斷定兩種可能性的選言前提，再由這兩種可能性都引申出對方難于接受的結(jié)論?！雹佟岸y推理又叫假言選言推理，它是前提中有兩個充分條件假言命題和一個相容選言命題，并根據(jù)充分條件假言命題和相容選言命題的邏輯特性，而由前提必然推出結(jié)論的推理?！雹凇凹傺赃x言推理是由假言判斷和選言判斷構(gòu)成推理前提的一種假言推理。依其假言數(shù)目的多少，假言選言推理可以分為二難推理和多難推理?！y推理是只有兩個假言前提的假言選言推理?！雹邸凹傺赃x言推理就是以假言命題和選言命題作前提所構(gòu)成的推理。其中由兩個假言命題和一個二支選言命題作前提構(gòu)成的假言選言推理稱為‘二難推理’，由三個或四個假言命題和含三個或四個選言支的選言命題作前提所構(gòu)成的假言選言推理稱為三難推理或多難推理?！雹?/p>

上述定義中有“判斷”與“命題”兩種不同表述，為使行文簡潔明了，本文統(tǒng)一使用“命題”一詞。這幾個定義，是形式邏輯中頗有代表性的二難推理定義，它們都肯定了二難推理是由假言命題和選言命題共同組成的，且都認為二難推理的突出特點是能夠使對方陷入左右為難的境地。然而在邏輯形式的表述上卻有所差別，有的僅指出二難推理是由假言命題和選言命題組成；有的則進一步指出是由兩個充分條件假言命題和一個相容的選言命題所組成；有的認為二難推理是假言選言推理之特殊情況；有的則認為二難推理即假言推理。

眾所周知，假言命題包括三種：充分條件假言命題、必要條件假言命題及充分必要條件假言命題。選言命題包括兩種：相容選言命題和不相容選言命題。只有充分條件假言命題和相容選言命題作前提才能構(gòu)成二難推理，還是任意兩個假言命題和任一選言命題都可構(gòu)成二難推理？如果是，所構(gòu)成的二難推理邏輯形式又是否有效？下面我們就對這兩個問題進行逐一分析。因為二難推理考慮的是兩種可能性，因此，在下文中，選言命題我們只考慮二選言支，而不考慮選言支為三支及以上情況。

二 二難推理的邏輯形式

目前，普遍接受的二難推理結(jié)構(gòu)形式是以充分條件假言命題和相容選言命題作前提而構(gòu)成的，若將必要條件假言命題和充分必要條件假言命題也作為前提條件考慮。

二難推理應(yīng)具有的邏輯形式不是四種，而是十四種。即：在表2所列這些二難推理的邏輯形式里，我們不光要考慮可能的邏輯形式，還要考慮其真實有效性。如果推理形式無效，該推理就沒有存在的意義了。這些二難推理的邏輯真假值可用真值表來驗證。以充分必要條件假言選言推理的簡單構(gòu)成式為例。從表3可看出，該假言選言推理的真值為恒真，因此是一個有效的二難推理。同理用真值表可證得其他十三種假言選言推理邏輯形式也為恒真式，因此表2中所列十四種二難推理都是有效的。

然而這些只是不同假言命題與相容選言命題為前提所構(gòu)成的二難推理。不相容選言命題可否作為二難推理的前提條件呢？試以兩個充分條件假言命題和一個不相容選言命題為前提構(gòu)成一個二難推理，該邏輯形式如下：

[〔（pr）∧（qr）〕∧（p q）] r

用真值表驗證此邏輯形式真假值：

從表4中可看出，以兩個充分條件假言命題和一個不相容選言命題為前提構(gòu)成一個二難推理[〔（pr）∧（qr）〕∧（p q）] r是恒真式，此推理有效。

用真值表驗證其他假言命題與不相容選言命題為前提構(gòu)成的二難推理：

對表5中的十四種假言選言推理的邏輯形式進行真值表驗證，所得結(jié)果仍然為恒真式，推理有效。

由此可見，二難推理是以兩個假言命題同一個二支選言命題作為前提構(gòu)成的假言選言推理，它的有效推理形式共有二十八種。

注 釋

①金岳霖.形式邏輯[M].北京：人民出版社，2005

②梁永春.邏輯學(xué)新編[M].北京：北京大學(xué)出版社，2005

③徐光斗.形式邏輯[M].北京：中央民族學(xué)院出版社，1988

④吳家國.普通邏輯[M].上海：上海人民出版社，1993

篇3

 

一、法律推理的構(gòu)架--司法三段論

 

法律邏輯學(xué)在國內(nèi)生根發(fā)芽已有20多年的歷史，而在國外更可追溯至20世紀的中葉，德國的學(xué)者克盧格(Ulrich Klug)率先使用了"法律邏輯"一詞。我國學(xué)者對法律邏輯的研究從最初的用傳統(tǒng)形式邏輯原理來解釋司法領(lǐng)域具體個案的研究方式到依靠現(xiàn)代邏輯系統(tǒng)來重構(gòu)法律邏輯體系，在這一階段，我國法律邏輯研究實現(xiàn)了第一次轉(zhuǎn)向--法律邏輯現(xiàn)代化轉(zhuǎn)向。而在1997年，第八屆全國法律邏輯學(xué)術(shù)討論會上，雍琦教授發(fā)表的《關(guān)于法律邏輯性質(zhì)及走向的思考》一文中，創(chuàng)見性地提出："我們在進行法律邏輯研究的過程中，就不應(yīng)囿于形式邏輯固有的原理、原則;對司法實踐中邏輯問題的探索，也要敢于超越形式的眼界。"[1]從而開啟了法律邏輯學(xué)在國內(nèi)的又一次重大轉(zhuǎn)向--法律邏輯的法理學(xué)轉(zhuǎn)向。

 

至此之后，法律邏輯學(xué)在國內(nèi)，不單關(guān)注形式邏輯原理(包括現(xiàn)代邏輯)之于法律領(lǐng)域--主要是司法領(lǐng)域中的適用，同時更注重法律適用過程中公正合理性及結(jié)論可接受性等的問題。

 

"法律適用中的邏輯問題，亦即人們常說的法律邏輯問題，其核心是法律推理。"[2]法律推理絕不是邏輯規(guī)則的簡單適用，這一點早已為中外法律邏輯學(xué)者所共識。而在法律邏輯學(xué)兩次研究方向的轉(zhuǎn)變后，人們在關(guān)注形式法律推理之時，也提出了與之相對應(yīng)的實質(zhì)法律推理(或稱非形式法律推理)。

 

"法律推理的表述通常采取演繹的形式。但是，一個三段論不管表面上看起來多么具有邏輯性，實際上它不過是大小前提及大小前提的邏輯關(guān)系而已……關(guān)鍵性的問題是：(1)識別一個權(quán)威性的大前提;(2)明確表述一個真實的小前提;以及(3)推出一個可靠的結(jié)論。"[3]所以，司法三段論的推理模式是法律邏輯研究的重點對象，司法判決的思維方法正是體現(xiàn)這樣一種三段論模式，大前提由法律規(guī)則構(gòu)成，而認定的案件事實充當小前提，案件判決結(jié)果即是依據(jù)大小前提演繹的結(jié)論。以至于西方的一些分析實證法學(xué)家認為法官就應(yīng)如"自動售貨機"一般，只需機械地操作三段論推理模式，即可獲得一致的案件結(jié)論。然而，"司法三段論表面上的嚴謹往往是一種假象。對前提的選擇再很大程度上取決于法學(xué)家的直覺，這會使結(jié)論變得不確定。"[4]曾經(jīng)設(shè)想法律作為一個自足自洽的體系，依靠邏輯規(guī)則嚴格系統(tǒng)化，從而構(gòu)建出形式化推理的金字塔，在司法實踐面前轟然坍塌。現(xiàn)金，關(guān)于法學(xué)推理的純形式化道路已然少人提及，因為橫亙于前的構(gòu)建確定無疑的司法三段論大、小前提的兩座大山幾乎無法逾越。正如德國著名法學(xué)教授No霍恩(Norbert Horn)所說："雖然法律邏輯學(xué)的一個分支學(xué)派認為對規(guī)范適用的邏輯闡述是可能的……人們對此不無懷疑。"[5]

 

二、司法三段論的核心--前提構(gòu)建

 

法官在裁決案件，進行法律推理過程中，首先是以現(xiàn)行法律規(guī)范來構(gòu)建大前提。一般而言，大部分事實簡單，法律關(guān)系明了的案件都可以較容易地尋找到確定、明晰的法律規(guī)范。但不可否認，法官在這一尋找過程中，不得不面對這樣的難題：(1)法律規(guī)范未涉及相關(guān)領(lǐng)域，也即立法空白;(2)相同位階的法律規(guī)范之間，就相同事實有不同的規(guī)定，即立法沖突;(3)法律規(guī)則本身含混不清，存有歧義，即規(guī)范條文、概念的模糊;(4)法律規(guī)范之間與立法原則相沖突;(5)法律規(guī)范與道德倫理、社會習(xí)俗相沖突;等等。總之，我們無法期待存有一套自洽封閉的法律規(guī)范體系，使得所有案件事實都可納入法律的涵攝中。所以，大前提的構(gòu)建絕非輕而易舉、一目了然?？杘拉倫茨(Karl Larenz)教授就警戒過："大家切不可認為，單純由法律條文的文字就可以得到大前提。每個法律都需要解釋，而且不是所有的法條都規(guī)定在法律中。" [6]

 

而小前提的構(gòu)建--案件事實的確認，更是復(fù)雜異常。作為陳述的案件事實并非自始'既存地'顯現(xiàn)給判斷者，毋寧必須一方面考量已知的事實，另一方面考慮個別事實在法律上的重要性，以此二者為基礎(chǔ)，才能形成案件事實。眾所周知，當事人、公訴人乃至證人、鑒定人等提供的案件材料、信息并不是都可以直接作為法官裁決的依據(jù)，而需要進過論辯雙方的質(zhì)證等司法程序最后經(jīng)由法官認定，才能作為定安依據(jù)。在這一過程中，法官會首先確認發(fā)生的具體事件(包括"是否發(fā)生過")，而這就需以雙方提供的證據(jù)為根據(jù);其次，法官將考慮發(fā)生的事件之于法律規(guī)范中的意義，也即要評斷這些事實是否符合法律構(gòu)成要件中的要素。當然，上述兩個步驟在思維中往往是同時、交叉進行的。

 

法官在構(gòu)建小前提的過程中，需要推理認定的主要包括：(1)證據(jù)的證明力，包括證明資格與證明力度;(2)案件事實;(3)案件事實的規(guī)范化，也即使得案件事實能為法律規(guī)范所涵攝。上述的認定僅依靠邏輯的方法是無法實現(xiàn)的，保證法律事實真實性的，往往不是演繹的邏輯推導(dǎo)，而是科學(xué)觀察與實驗方法。所以需要法官對法律事實予以解釋，進行重構(gòu)。然而，對法律事實的獲得，常被要求是單向、價值無涉的，一種客觀的認定。非演繹的邏輯方法是否可以實現(xiàn)這一要求呢?對這一要求更深層面的思考，則可以總結(jié)為：此處需要他偶能的核心問題因而就是：法律事實在何種程度上能夠是'客觀'的?

 

三、前提構(gòu)建的困境--對法律論證理論的反思

 

針對大、小前提構(gòu)建的論證，中外法學(xué)家對此都提出了一些極富創(chuàng)見性的方法論與理論進路。

 

1. 阿列克西的程序性法律論證理論

 

羅伯特·阿列克西的論證理論汲取了哈貝馬斯的交往行為理論的哲學(xué)理念，強調(diào)理性商談的作用，認為"如果裁決是理性言說的結(jié)果，那么這一規(guī)范性陳述就是真實的或可接受的。"[7]但僅憑普遍理性實踐的論辯方法并不一定能達成對陳述的共識。為此他提出了六組規(guī)則和形式：(1)解釋的規(guī)則和形式;(2)教義學(xué)論證的規(guī)則和形式;(3)判例適用之規(guī)則和形式;(4)普通實踐論證的規(guī)則和形式;(5)經(jīng)驗論證的規(guī)則和形式;以及(6)所謂特殊的法律論證形式。從而在程序性保證共識的形成。

 

2. 圖爾敏的論證理論

 

圖爾敏的主要研究課題，就是擁護一個透過法律論證以回歸日常實際論證的理論。他的論證理論的基本構(gòu)架包括：(1)說者提出主張(Claim，C);(2)若主張內(nèi)容無爭議，就被接受，若有論辯一方對"C"有異議，則主張者需提供根據(jù)--事實數(shù)據(jù)(Data);(3)若提供的"D"仍無法使對方接受，則不僅需追加新的"D"，還需對"D"與"C"之間的正當、適恰性進行說明，這一推理規(guī)則就為保證(Warrants，W);(4)若對方對"W"進一步提出質(zhì)問，則需要強有力的佐證(Backing)作為依據(jù)，予以強化論證;(5)在完成上述論證后，主張者還應(yīng)主義在一些情形下需對結(jié)果的陳述予以一定的限定，以避免過分絕對的結(jié)論;(6)最后，對結(jié)論還可進行一些保留技能的陳述，即抗辯(Rebutial)，其作用在于用來表示遮斷'保證(W)'的普遍正當化之特殊理由。

 

3. 佩雷爾曼的新修辭學(xué)

 

針對現(xiàn)代邏輯學(xué)的形式化、符號化而無法與法律實踐相切合的困境，佩雷爾曼在古典修辭學(xué)的基礎(chǔ)上討論了一種非形式的價值邏輯，命名為"新修辭學(xué)"。在司法審判中，形式推理往往無法應(yīng)對價值判斷的問題，如何保證推理的性質(zhì)，如何使價值沖突得到和解，這就需要依靠論辯推理，也即一種帶有對話式的論辯方法。

 

4. 麥考密克的法律推理理論

 

麥考密克(Neil MacCormick)的法律推理首先肯定了演繹推理在司法裁決中的作用，"在某些案件中一個穩(wěn)當?shù)呐袥Q可能完全是借助演繹性論證方式在法律上進行證明的。"[8]其次，在一些疑難案件中，法律規(guī)則需要解釋，只有待解釋的問題解決之后演繹推理才有可能。而這就需要一個二次證明的過程。二次證明必然意味著對做選擇所依據(jù)的理由進行論證，即論證如何在相互對立的裁判可能之間做出選擇。他的推理理論重構(gòu)了演繹推理的正當論證之可能，也闡述了道德規(guī)范、法律原則在二次證明過程中的重要作用。

 

5. 國內(nèi)學(xué)者論證理論進路

 

對法律推理的前提構(gòu)建研究，我國的學(xué)者也提出了自己的見解。早在九十年代末，著名民法學(xué)者梁慧星教授在《民法解釋學(xué)》一書中，就法律規(guī)范的解釋問題進行詳細的論述，探討了漏洞補充、利益衡量等的各類解釋方法，與也引發(fā)了國內(nèi)法學(xué)方法論理論研究的熱潮。此后謝暉、陳金釗教授等以西方哲學(xué)詮釋學(xué)的理論為根基構(gòu)建以對話--論辯為特征的法律解釋學(xué)體系。

 

總而言之，無論國內(nèi)國外，就法律推理的前提構(gòu)建問題，學(xué)者提出了各類有益的理論進路?？芍饕爬椋?1)各類以道德分析哲學(xué)為背景，強調(diào)價值判斷之于法律推理過程中的反思作用的論證理論;(2)以哈貝馬斯交往行為理論為背景，強調(diào)對話、商談理性的論證理論;(3)以胡塞爾的現(xiàn)象學(xué)為哲學(xué)源流，加達默爾的哲學(xué)詮釋學(xué)為背景的法律解釋理論;等等。

 

不可否認，這些論證理論為法律推理的前提構(gòu)建提供了有效的理性支撐，但與此同時，它們在司法實踐中也存在的一些問題亟待反思。主要表現(xiàn)為：

 

(1)理論與司法實踐的距離較遠。首先各論證理論存在術(shù)語抽象，論證程序、規(guī)則繁瑣的問題;其次，各理論缺乏實證的研究過程，在以哲學(xué)理論為淵源的構(gòu)建中，表現(xiàn)為一種理論直接到理論的思維過程。這樣往往加大了實務(wù)人員的掌握與操作的難度。

 

(2)多元性的論證標準使得論證理論在司法實踐種缺乏統(tǒng)一的認定。各種論證理論的重要目的之一就是為解決法律推理中前提構(gòu)建的"明希豪森困境"，但論證理論本身提供的標準--比如訴諸論辯共識、訴諸道德倫理、訴諸先驗等，都是存有爭議而需要再次證明的。這再一次重復(fù)了前提構(gòu)建時的困境。

 

司法是法律的公正實踐，目的是解決糾紛。作為方法論的法律邏輯(法律推理)不應(yīng)是遠離實踐，成為法學(xué)家之間玩弄的"玄學(xué)"，更不應(yīng)是繁瑣復(fù)雜的理論堆積，成為"一臺累贅的運作機器"。畢竟，司法實踐者--尤其在當下的中國，他們需要的是一種易于理解，便于操作的工具來輔助司法審判。正如雍琦教授早在法律邏輯研究初期便提出的：研究法律邏輯的目的是為了給司法工作者提供一套有效的智力工具或手段，是為了應(yīng)由于司法實踐……我們在進行法律邏輯研究時，就不能不考慮到廣大司法工作者對成果的接受能力。所以如何為論證理論的困境尋找一條更為簡潔而有效的思維進路，如何使法律推理的工具理性真正普遍適用于司法實踐，是當下法律邏輯界亟待思考與探索的。

篇4

論文摘要：邏輯學(xué)是研究推理的一門學(xué)問，而推理是由概念、命題組成的，不懂得命題就不懂得推理。普通邏輯學(xué)在研究命題時，主要是從二值邏輯的角度研究命題邏輯形式的邏輯值與命題形式之間的真假關(guān)系。本文著重從認識論的角度闡述邏輯真理的內(nèi)涵，同時詳細論述邏輯真理與事實真理的區(qū)別。為了探求真理必須保證思維的邏輯性。

邏輯學(xué)離不開“真”這個概念。一般來說人們是從下述意義上使用“真”這個概念的：

（一）前提或者命題真。這種真是指命題的思想內(nèi)容是真的。任何一個命題的內(nèi)容不是真的就是假的，在這里真或假不是用以描述事物狀態(tài)的，而是評價命題或陳述的內(nèi)容的。它的核心是針對其所表達的知識或信念的，例如：“臺灣不是一個國家。”這個命題的內(nèi)容是符合客觀事實的，所以是個真命題。

（二）推理真。這是指推理中前提真和結(jié)論真之間的關(guān)系。演繹推理前提真結(jié)論必然真，歸納推理和類比推理前提真而結(jié)論是或然性真。因此推理真就是推理中的結(jié)論相對于前提是必然的真或者是或然的真。這里“真”指的是否再現(xiàn)邏輯推斷關(guān)系而不是對命題內(nèi)容的評價。

（三）指派真和賦值真。在邏輯學(xué)中（特別是在現(xiàn)代邏輯中）把命題形式當作真值形式，而且只從真假的角度研究每一種命題形式的邏輯特征，真和假是命題的唯一屬性。邏輯真在這里指這些真值形式和其中的變項與公式的真假，這時的真假和具體命題內(nèi)容的真假無關(guān)，而只是一種假定的真假和根據(jù)這種假定而推論出的真假。

（四）形式真。這是指永真式（重言式）或普遍有效式的真。邏輯學(xué)中有一類公式，對其中的變項可以代以任何命題、謂詞、個體詞總能得到真命題。這類公式的真是一種邏輯關(guān)系的真，例如：P或者非P中不管變項P賦真值或是假值，這個公式都是真的。

（五）系統(tǒng)真?，F(xiàn)代邏輯建立了形式系統(tǒng)，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整個系統(tǒng)便是可靠的和一致的，這種可靠性和一致性就是一種系統(tǒng)的真。

在以上這五種“真”的情況下，邏輯學(xué)不考慮第一種意義的“真”，而只關(guān)注后四種“真”。后四種“真”在邏輯學(xué)中有各種表現(xiàn)，在其他科學(xué)中也有這些意義上的真的表現(xiàn)，就被稱為邏輯真理。

所謂邏輯真理是一種特殊的真理，是一種因邏輯關(guān)系或邏輯原因而成為真的一種真理。邏輯真理不能憑經(jīng)驗而得知其為真，它需要我們借助邏輯分析、語義分析、關(guān)系分析確定它們是真的。它和我們?nèi)粘Ｉ钪兴f的真理是有區(qū)別的。

恩格斯認為：全部哲學(xué)特別是近代哲學(xué)的重大基本問題，是思維與存在的關(guān)系問題。它包括兩個方面的問題，一方面是思維與存在何者為本原的問題；另一方面是思維和存在有無同一性的問題，也就是我們的思維能否認識現(xiàn)實或者正確地反映現(xiàn)實世界的問題。從邏輯哲學(xué)的角度來看，其重大的基本問題就是邏輯與客觀現(xiàn)實的關(guān)系問題，任何邏輯學(xué)家都要回答：邏輯真理是否與客觀現(xiàn)實一致？邏輯真理與事實真理之間又有什么關(guān)系？

關(guān)于這個理論問題，亞里士多德在其所著《形而上學(xué)》一書中明確提出并詳細論述了邏輯基本規(guī)律（矛盾律與排中律）。在談到矛盾律時認為，事物不能同時存在又不存在。矛盾律首先是存在的規(guī)律。它之所以能夠成為邏輯思維的基本規(guī)律，是因為它符合“事理”。亞里士多德肯定了邏輯規(guī)律與存在規(guī)律的一致性，其根據(jù)就是真理符合現(xiàn)實的理論，即所謂真理符合論。它在解釋真與假這對概念時說，凡以不是為是、是為不是者，這就是假的；凡以實為實、以假為假者這就是真的。按照真理符合論，一切真理必需與現(xiàn)實一致，邏輯真理也不能例外。可見亞里士多德的真理觀，是唯物主義的一元論，這個真理論肯定了思維與存在的同一性。但是亞里士多德只強調(diào)邏輯真理與存在規(guī)律的一致性，卻忽視了邏輯真理的特殊性。

萊布尼茲是現(xiàn)代邏輯的創(chuàng)始人。他第一個提出了用數(shù)學(xué)方法研究邏輯學(xué)中的推理問題，對亞里士多德的真理一元論提出了挑戰(zhàn)。他認為有兩種真理：即推理的真理和事實的真理。推理的真理是必然的，事實的真理是偶然的。推理的真理不像事實真理那樣依賴于經(jīng)驗，它們的證明只能來自所謂的天賦的內(nèi)在原則。因此萊布尼茲的這種觀點，就成為真理二元論和邏輯真理先驗論的一個起源。

基于萊布尼茲的推理真理和事實真理的對立，在康德的哲學(xué)中就演變?yōu)榉治雠袛嗪途C合判斷的分歧?？档抡J為一切來源于經(jīng)驗的判斷都是綜合判斷；分析判斷是絕對獨立于一切經(jīng)驗的知識，即先天知識。例如：“白人是人”就是分析判斷，在康德看來表示邏輯規(guī)律的判斷就屬于分析判斷。

數(shù)理邏輯問世之后，邏輯哲學(xué)領(lǐng)域中出現(xiàn)了維特根斯坦學(xué)派，即以維也納小組為核心的邏輯實證主義者。他們的一個共同的工作就是利用數(shù)理邏輯的成果，發(fā)展從萊布尼茲到康德的真理二元論和邏輯真理的先驗論，使之獲得科學(xué)化的外觀和現(xiàn)代化的形式。維特根斯坦把邏輯真理稱為重言式。他認為重言式的命題是無條件的真，由此他斷言，重言式既不能為經(jīng)驗所證實，同樣的也不能為經(jīng)驗所否定，也就是說與現(xiàn)實沒有任何描述關(guān)系。邏輯實證主義者進一步把康德關(guān)于分析判斷和綜合判斷的區(qū)分推向極端。在他們看來，凡是先天的都是分析的；反之，凡分析的都是先天的。邏輯實證主義者確立了一個基本的哲學(xué)信條：分析真理與綜合真理有根本的區(qū)別。這個學(xué)派的主要代表卡爾納普認為，哲學(xué)家們常常區(qū)分兩類真理，某些陳述的真理是邏輯的、必然的、根據(jù)意義而定的，另一些陳述的真理是經(jīng)驗的、偶然的、取決于世界上的事實的。前一類推理就是所謂的分析推理，后一類推理就是所謂的綜合推理。邏輯真理被看作是分析真理的一個特殊的真子集。

1933年塔爾斯基以形式化的方法給出了真理的語義學(xué)概念，他用非形式化方法對其語義學(xué)的成果作出概述。他認為邏輯真理同其他真理一樣，必需與客觀現(xiàn)實相符合或者相一致，在形式語言中，一個語句是不是邏輯真理，取決于它是不是在每一種解釋下都成為真語句；同時一個語句在某一解釋下是否為真，取決于它在這一解釋下，是否與它所“談?wù)摰膶ο蟆毕嘁恢隆？梢娺壿嬚胬淼母拍钪苯右蕾囉谛问秸Z言中的語句，與它們所描述的客觀現(xiàn)實之間的符合關(guān)系，這說明它的邏輯真理或者分析真理并非先驗的真或者先天的真，它們?yōu)檎嫱瑯邮且驗樗鼈兣c現(xiàn)實相符合。塔爾斯基重新建立了真理符合論，表明一切真理包括事實真理和邏輯真理，它們的共同特征就是必需與客觀現(xiàn)實相符合。

綜上所述，我們可以看出亞里士多德提出的真理符合論，肯定了邏輯真理與存在規(guī)律的一致性，但是忽視了它們之間的差別。萊布尼茲、康德、維特根斯坦和邏輯實證主義者認為，邏輯真理和現(xiàn)實絕對無關(guān)，與事實真理根本不同。塔爾斯基主張真理必需以亞里士多德的真理符合論為基礎(chǔ)，而且只能以形式語言來構(gòu)造，這種觀點有一定的局限性。

認識論認為，真理是客觀事物及其規(guī)律在人們思維中的正確反映。同樣邏輯真理也是客觀世界規(guī)律性的反映。列寧指出，人的實踐經(jīng)過千百萬次的重復(fù)，它在人的意識中以邏輯的格固定下來，而最普遍的邏輯格，就是事物被描述的很幼稚的……最普遍的關(guān)系。列寧認為邏輯的公理、正確的推理形式是事物最普遍的關(guān)系，是由人們實踐中千百萬次的重復(fù)而反映和鞏固在意識中。列寧說的最普遍的邏輯格是指三段論推理的正確形式。在這一點上我們說邏輯真和事實真是相容的，事實真是基礎(chǔ)，邏輯真是建立在事實真基礎(chǔ)之上的，二者是一致的，但是邏輯真理與任何具體的經(jīng)驗事實無關(guān)。

第一，邏輯系統(tǒng)的公理和定理的真是邏輯系統(tǒng)設(shè)定，其為真的根據(jù)是某種初始的邏輯關(guān)系。第二，邏輯公理和定理經(jīng)過解釋的真命題，其為真不取決于解釋中的內(nèi)容，而取決于這些公理、定理所顯示的邏輯關(guān)系。第三，邏輯推斷關(guān)系這種推論的結(jié)論真是一種邏輯關(guān)系真。第四，根據(jù)邏輯聯(lián)系詞的性質(zhì)，由邏輯真得到邏輯真。如：A、B是邏輯真命題，那么A并且B、如果A那么B都是邏輯真命題。第五，數(shù)學(xué)中的邏輯真命題，是建立在公理演繹基礎(chǔ)之上。以上這些邏輯真由于邏輯的原因或者邏輯關(guān)系而真，在這一點上我們可以說，在局部意義上，相對于特定的邏輯系統(tǒng)而言，邏輯真理可以說是分析的，是以邏輯意義為根據(jù)的，而與任何具體的經(jīng)驗事實無關(guān)。超級秘書網(wǎng)

篇5

關(guān)鍵詞:法律邏輯；應(yīng)用邏輯

中圖分類號：D920 文獻標識碼：A 文章編號：1005-5312（2011）14-0259-01

一、關(guān)于法律邏輯的研究對象

對于這個問題, 我國的邏輯界與法學(xué)界主要有兩種不同的看法。第一種觀點認為法律邏輯就是普通邏輯在法學(xué)領(lǐng)域中的具體運用, 其理論基礎(chǔ)就是普通邏輯即形式邏輯所闡述的原理。法律邏輯是形式邏輯或普通邏輯原理在法的理論、法的規(guī)范和法的實踐中的應(yīng)用。因此法律邏輯的研究對象就是法律中的邏輯問題。法律邏輯是普通邏輯或形式邏輯在法律規(guī)范或法律活動中的應(yīng)用。第二種觀點則認為法律邏輯作為一門學(xué)科, 有其獨立的研究對象。我們原則上同意第二種觀點，作為一門學(xué)科, 法律邏輯是應(yīng)該有其特定的研究對象的, 而作為一門邏輯學(xué)的分支學(xué)科, 它的研究又應(yīng)是與一般邏輯學(xué)的研究對象相對應(yīng)、相關(guān)聯(lián)的。法律思維就是在法律的理論與實踐中所運用的思維, 法律思維的形式, 則是指法律概念、法律命題與法律推理。

普通邏輯或形式邏輯把概念作為其重要的研究對象, 法律邏輯也要研究概念, 法律邏輯中研究的是法律概念, 即立法、司法與守法思維中的概念。一般地說, 法律概念與普通概念既有一致性也有特殊性, 以大量的法律概念為素材, 以普通邏輯的一般概念理論為工具研究法律概念與一般概念的同一性及差異性, 揭示法律概念的特殊邏輯性質(zhì)與作用, 從而為法律概念的制定、規(guī)范、解釋提供一般的邏輯原則, 這是法律邏輯中關(guān)于法律概念研究的主要內(nèi)容。法律命題也是法律邏輯的重要研究對象, 以一般邏輯中的命題理論為墓礎(chǔ)研究法律命題的特殊的邏輯性質(zhì)及其在法律實踐中的特殊作用,給予法律命題以科學(xué)的分類, 這應(yīng)該是法律命題研究的主要內(nèi)容。

一般而言, 法律工作是由立法、司法兩大環(huán)節(jié)組成。一個立法過程就是對構(gòu)成法律的每一個概念、命題進行嚴密分析的過程。關(guān)于法律概念與命題的研究, 其主要目的是為了用于立法中的思維。至于司法主要指的是法律的實施, 而法律的實施主要是圍繞訴訟活動的司法偵查與司法審判工作, 它主要表現(xiàn)為對法律命題的邏輯推導(dǎo)以及尋找因果的各種邏輯方法。因此,與司法思維相對應(yīng)的法律邏輯還要研究法律推理及各種法律實踐中的邏輯方法。法律推理則是從已有的法律命題或法律知識推出新的法律命題的過程。一般地說, 法律推理與一般邏輯的推理是有區(qū)別的。一般推理理論以演繹推理為主, 特別強調(diào)從前提到結(jié)論的必然性推理, 比較輕視“ 可能性的” 、或然的推理而法律邏輯既重視必然性推理, 也重視“可能性的”、或然的推理。比如, 法律推理中的回溯推理是很有用的、法律邏輯很重視的推理, 但這一推理的形成在一般邏輯理論中是予以排斥的。

二、關(guān)于法律邏輯的性質(zhì)

法律邏輯是屬于邏輯學(xué)還是法律科學(xué)，是應(yīng)用邏輯還是法律中的邏輯的應(yīng)用？一方面,作為一門介于法律與邏輯之間的邊緣學(xué)科, 法律邏輯既有法律的內(nèi)容亦有邏輯學(xué)內(nèi)容, 它是一門法律與邏輯相結(jié)合而形成的新學(xué)科。另一方面，由于法律邏輯研究的是法律中的邏輯問題―法律思維形式與法律思維的邏輯方法, 因此, 它的重點是邏輯而非法律, 所以, 它實質(zhì)是一門應(yīng)用邏輯新學(xué)科―將邏輯原理應(yīng)用于法律領(lǐng)域而形成的學(xué)科。那么，作為法律邏輯的應(yīng)用工具與基礎(chǔ)的“純邏輯”是普通邏輯還是現(xiàn)代數(shù)理邏輯或者辯證邏輯呢？普通邏輯、數(shù)理邏輯與辯證邏輯均可以運用于法律領(lǐng)域。因此, 在目前關(guān)于法律邏輯的研究中我們應(yīng)該允許將辯證邏輯普通邏輯、數(shù)理邏輯等運用于法律的各種嘗試。當然, 由于邏輯學(xué)的發(fā)展趨勢是現(xiàn)代邏輯即數(shù)理邏輯, 由于科學(xué)的發(fā)展趨勢是定量化與形式化。因此, 我們關(guān)于法律邏輯研究的最終目標應(yīng)該是用現(xiàn)代邏輯為工具來研究法律中的邏輯問題, 形成關(guān)于法律邏輯的邏輯演算系統(tǒng)。法律邏輯作為一門應(yīng)用邏輯，它的研究應(yīng)該是有層次的, 這個層次是由“應(yīng)用邏輯”與“邏輯的應(yīng)用”的區(qū)別而決定的“邏輯的應(yīng)用”強調(diào)的是“應(yīng)用”，而“應(yīng)用邏輯”的主體是“邏輯”，因此，只要是將邏輯原理不管是系統(tǒng)的還是零散的傳統(tǒng)的還是現(xiàn)代的應(yīng)用于某一學(xué)科，便可謂之“ 邏輯的應(yīng)用”但應(yīng)用邏輯則不同，除了要求將邏輯應(yīng)用于某一領(lǐng)域或?qū)W科，還要求這種應(yīng)用是系統(tǒng)的、具有邏輯科學(xué)性質(zhì)。所以，“邏輯的應(yīng)用”是“應(yīng)用邏輯”的初級階段，“應(yīng)用邏輯”則是“邏輯的應(yīng)用”的最終目標。從這一區(qū)分出發(fā)，法律邏輯的研究也包括兩個層次邏輯在法律中的應(yīng)用與系統(tǒng)化的法律邏輯。前者是低層次的只要是將邏輯知識應(yīng)用于法律，均可謂之邏輯在法律中的應(yīng)用，后者則是高層次的在低層次應(yīng)用的基礎(chǔ)上，以現(xiàn)代邏輯為工具，形成系統(tǒng)的嚴格的“關(guān)于法律的邏輯”。

篇6

一、邏輯哲學(xué)和哲學(xué)邏輯、語言哲學(xué)之間的關(guān)系是什么? 二、怎樣理解邏輯的擴展?邏輯依然被定格為傳統(tǒng)的推理理論嗎?

許多哲學(xué)家和邏輯學(xué)家發(fā)現(xiàn)給出一個適合于當代邏輯現(xiàn)狀的定義并不容易,一個很重要的原因在于當代邏輯具有很強的多元性和異質(zhì)性。的確,在羅素談及邏輯是哲學(xué)的本質(zhì)時,他所指的“邏輯”還是一種單一的邏輯。而當代哲學(xué)家在談?wù)撨壿嫊r一般指的是能夠系統(tǒng)地表述語言的形式推理結(jié)構(gòu)的特定方面的邏輯,特別指的是經(jīng)典邏輯之后的各種替代邏輯系統(tǒng),或者超經(jīng)典邏輯(extraclassicallogic),如廣義模態(tài)邏輯和各種反經(jīng)典邏輯(anticlassicallog-ic),如自由邏輯、相干邏輯、多值邏輯、非單調(diào)性邏輯、概率邏輯、條件句邏輯、內(nèi)涵邏輯、模糊邏輯、省缺信息邏輯、偏好邏輯、描述邏輯等。怎樣理解邏輯的擴展和增生?其實這個問題除了有學(xué)科自身內(nèi)部發(fā)展的原因之外,還可以從邏輯與科學(xué)關(guān)系的角度加以分析。從科學(xué)與邏輯的關(guān)系看,科學(xué)中的證據(jù)和假設(shè)之間的關(guān)系是科學(xué)進步的基礎(chǔ),這種關(guān)系涉及邏輯前提和結(jié)論之間聯(lián)系,而這正是邏輯的核心概念。在這種核心意義上,邏輯是正確推理的研究。它是證據(jù)和假設(shè)、理由和信念或者前提和結(jié)論的形式結(jié)構(gòu)和非形式關(guān)系的研究。是一種推定式(單調(diào))和非推定式(非單調(diào)或擴展)的推理研究,或者人們通常也稱之為蘊涵和歸納。特別是,邏輯涉及被詳加設(shè)計,以展示這種蘊涵和歸納的形式系統(tǒng)。更一般地說,它是一種證據(jù)、證明、蘊涵、支持、證實、確證或者證偽一結(jié)論的條件的研究。有這樣一個與科學(xué)相聯(lián)系的背景,我們也就不難理解20世紀的邏輯不僅包括形式蘊涵理論,而且包括非形式邏輯、概率理論,確證理論、決策論、博弈論、可計算性和認知模型。在過去的一個世紀里,邏輯的研究不僅從諸如哲學(xué)和數(shù)學(xué)這些傳統(tǒng)學(xué)科,而且也從諸如計算機和經(jīng)濟學(xué)眾多其他學(xué)科受益匪淺。反過來,邏輯開辟了關(guān)于數(shù)學(xué)推理研究的新的可能性,因而促進了諸如集合論和范疇理論等與數(shù)學(xué)基礎(chǔ)研究相關(guān)的新的邏輯研究分支的發(fā)展。同樣,20世紀許多哲學(xué)分支如形而上學(xué)、認識論、數(shù)學(xué)哲學(xué)、科學(xué)哲學(xué)、語言哲學(xué)和形式語義學(xué)的發(fā)展與邏輯學(xué)的發(fā)展相向而行,相互滲透,相互影響。這些進步已經(jīng)導(dǎo)致邏輯范圍進一步地拓寬,對邏輯的應(yīng)用和范圍的更深入的理解。與邏輯系統(tǒng)的擴張相適應(yīng),邏輯的論題也由傳統(tǒng)的推理理論、悖論、謬誤和定義的研究擴展到廣義模態(tài)家族概念分析、概率、概率自然語言模型、精確概率推理、博弈分析、語義解釋、意向性結(jié)構(gòu)、動態(tài)性、不確定推理、因果性論證、信息更新、信念修正、邏輯編程、因特網(wǎng)智能體、學(xué)習(xí)推理、甚至交往互動、認知表征、語言翻譯等方面的研究。可以說邏輯的觸角已經(jīng)滲透到人類理性過程的各個方面,邏輯也由哲學(xué)和數(shù)學(xué)擴展到諸如語言學(xué)、計算機科學(xué)、人工智能、認知科學(xué)甚至經(jīng)濟學(xué)等領(lǐng)域。新舊論題在這種新配置之下重新組合(如真性模態(tài)邏輯和時態(tài)邏輯、認知邏輯和道義邏輯的組合,相干邏輯和直覺主義邏輯的組合)產(chǎn)生出各種組合邏輯。在這種背景下邏輯事實上已經(jīng)從關(guān)于正確推理這一單一主題的研究擴展到包括推理、(語言)分析和計算這三大主題。分析傳統(tǒng)上就屬于邏輯的范疇。邏輯必然要涉及語言分析,尤其是語言中的語義分析。語義分析既是邏輯應(yīng)用的必要條件也是邏輯研究的內(nèi)容之一?，F(xiàn)代邏輯賦予分析以更為重要的地位,并且日漸成為邏輯學(xué)家實踐活動的主要部分。例如,哲學(xué)邏輯中的各個分支的主要問題來源是語言的分析。特別是像蒙太格形式語義學(xué)或者內(nèi)涵邏輯,以及各種基于語言的邏輯分析的廣義語言邏輯的整個發(fā)展,只有在語言分析的背景下才能得到清楚而準確的理解。在這些分支中語義分析往往處在問題的核心的位置。更進一步地說,邏輯與演繹、分析、演算和計算乃至自動化(automation)的概念有密切的聯(lián)系。亞里士多德是第一個將推理作為演算來處理的并取得成功的邏輯學(xué)家。在當代繼演算的代數(shù)處理和符號算法的發(fā)展之后,演算已經(jīng)變成了一種普遍的工具,以至于人們期待最終的自動邏輯推理將像演算一樣被廣泛的應(yīng)用。這就把我們帶入到邏輯、計算機科學(xué)、人工智能和認知科學(xué)相互交匯的廣闊領(lǐng)域。當代邏輯的主要靈感也來自于這些領(lǐng)域。最后,這也是萊布尼茨普遍演算邏輯理想的一種現(xiàn)代擴展。

三、邏輯語言、心智和形而上學(xué)的在先性問題

篇7

無法適用的法律只能是一堆廢紙，所以立法中含有立法推理和法律適用中的推理，比如規(guī)范之間的推導(dǎo)等，傳統(tǒng)上一般不把行政執(zhí)法人員列入法律職業(yè)者，它不符合法律職業(yè)的特征。法律職業(yè)是指受過專門的法律訓(xùn)練，具有嫻熟的法律技能和高尚的法律職業(yè)道德的人所從事的工作。具有兩個基本特征：第一，法律職業(yè)與其他需要以專業(yè)知識為基礎(chǔ)的工作一樣，是一種專門的行業(yè)，是專業(yè)化的工作；第二，從事法律職業(yè)的人需要擁有專門的法律知識和技能。行政執(zhí)法工作側(cè)重于行政管理，是一種管理需要，重視行政權(quán)力的強制性，而不是法律職業(yè)的知識和技能。司法是法律推理無可爭議的領(lǐng)域，此處不再贅述。由此可見，法律推理主要存在法律的適用領(lǐng)域，其中包含立法領(lǐng)域，立法不得不面向法律的適用。（三）法律推理的關(guān)鍵點法律推理“關(guān)心的主要不是法律推理的形式結(jié)構(gòu)，而是法律推理的構(gòu)建活動，以及它的前提如何建立的問題，涉及的實質(zhì)上是法律適用過程中的法律思維方法和思維技巧問題”（雍琦，2004）。它不是形式邏輯推理在法律適用中的簡單運用，涉及到許多實質(zhì)推理。這不但與法律規(guī)范本身的缺陷有關(guān)，而且也與法律適用的過程有關(guān)?！耙狗赏昝罒o缺，從而對所有情況均有明確的法律規(guī)定，這是不可能的。實踐中總會不斷有新型案件和疑難案件出現(xiàn)，它們一般都難以靠運用形式推理來做出妥當處理”（梁永春，2005）；“在適用法律過程中，即使案件事實清楚確鑿，人們還是會產(chǎn)生分歧和爭議，這是因為從案情出發(fā)到做出對案件的判決，不是簡單運用邏輯規(guī)則的過程，不是一個機械的、純形式化的過程，而會涉及到許多復(fù)雜問題，需要進行法律實質(zhì)推理”（黃偉力，2000）。從以上分析，我們就可以得出法律推理的一個合理界定，那就是法律推理實質(zhì)是法律職業(yè)者在法律實踐中主要是法律適用中的法律思維規(guī)則和思維方法。

法律推理產(chǎn)生的社會動因

（一）法律推理的產(chǎn)生法律是一門基于理性的科學(xué)，因此從它產(chǎn)生之日起就和邏輯難解難分，（張金興，1994）認為“法律離不開邏輯，邏輯也大量存在于法律之中”?？梢哉f，邏輯與法律具有天然的親密關(guān)系。法律追求的是公平和正義，而邏輯正好是實現(xiàn)這一追求的必備工具，正如美國法學(xué)家（博登海默，2004）所言：“邏輯是作為平等、公平執(zhí)法的工具而起作用的，它要求法官始終如一地、不偏不倚的執(zhí)行法律命令。”此處的邏輯就是邏輯推理，存在于法律運用中的推理應(yīng)該是法律推理。從某種意義上，法律推理的產(chǎn)生與法律的產(chǎn)生是同步的?！拔鞣竭壿嬍穼W(xué)家黑爾蒙曾指出，三段論的邏輯形式早在古埃及和美索不達米亞的司法判決中就已經(jīng)有所運用了。在立法文獻中，古巴比倫的《漢謨拉比法典》就是用邏輯的對立命題與省略三段論的方式來宣示法律規(guī)則的”（雍琦，2002）。羅馬法之所以能產(chǎn)生那么深遠的影響，也是和受益于亞里士多德邏輯分不開的，亞氏嚴密的邏輯體系是建構(gòu)羅馬法的基礎(chǔ)，使羅馬法擺脫了其他古代法律體系不合理、不合邏輯的軌跡，成長為一個博大精深、結(jié)構(gòu)嚴謹?shù)捏w系。無論是立法還是司法，都離不開邏輯推理，法律推理的產(chǎn)生與法律文明是同步的。（二）法律推理的產(chǎn)生與法律糾紛的產(chǎn)生分不開從邏輯史的考察來看，三大邏輯的產(chǎn)生均離不開日常的辯論需要，古中國的名辯邏輯產(chǎn)生于百家爭鳴的時代，是為政治主張服務(wù)；古希臘的邏輯產(chǎn)生于古希臘辯論家輩出的“民主”時代，也是為各個學(xué)派的主張服務(wù)，為政治法律辯論服務(wù)的；而古印度的因明邏輯則產(chǎn)生于各種宗教教派林立時代，各家都為企圖駁倒其他教派，為自己的教派立論。可以說，有爭論才有產(chǎn)生邏輯的必要。法律產(chǎn)生的動因也在于解決法律糾紛。這種糾紛往往與人的人身權(quán)利和財產(chǎn)權(quán)利有關(guān)，事關(guān)重大。法律的爭論和其他爭論一樣，不能靠武力和強權(quán)，而要靠辯論，靠說服，這就需要一種工具，一種能得到大家認可的工具，能確保法律糾紛的解決符合理性。邏輯推理無疑是其中最好的。邏輯具有一種力量，使人們的爭論符合程序的力量?。ㄈ┓赏评淼漠a(chǎn)生源于人類渴望確定的本性人類是茫茫宇宙的嬰孩，面對著大自然，面對著變動不居的世界，內(nèi)心渴望一種確定，渴望著對未來能有一種把握。（葛宇寧，2006）認為“從法律起源的動因上看，法律的產(chǎn)生是和人們對未來確定性和可預(yù)測性的渴求分不開的?！保ㄓ虹?，2002）認為“法律存在的根本價值之一便是它從心理上來滿足人類對穩(wěn)定性和確定性的需求，使人類的社會關(guān)系處于井然有序的狀態(tài)”。法律推理本身所具有的特點正合乎人類這一需求，可以滿足人們根據(jù)法律和推理的有效式來預(yù)測自己行為法律后果的要求。法律糾紛又往往涉及其人身權(quán)利和財產(chǎn)權(quán)利，與其生存密切相關(guān)。因此一旦發(fā)生法律糾紛，人們就渴望可以有一種辦法來確保糾紛解決者不能恣意妄為，胡亂裁斷，渴望自己可以預(yù)知未來的解決方法。要實現(xiàn)人類的這一要求，除了法律本身的理性外，還要法律推理。法律推理可以推進法律的一致性。法律的一致性包括兩個方面，法律內(nèi)容的一致性和法律適用的一致性。法律內(nèi)容的一致性和法律適用的一致性的實現(xiàn)，都需要法律職業(yè)者正確運用法律推理。另外，法律推理也是法治實現(xiàn)的必備條件。實現(xiàn)法治是人類的美好愿望，在法律的統(tǒng)治下，擺脫那種恣意的人治，實現(xiàn)社會的公正和公平。但法治的實現(xiàn)既需要完備的法律，也需要法治理念，更需要一種技術(shù)，法律職業(yè)技術(shù)，即法律推理。（四）法律推理的產(chǎn)生源于法律職業(yè)的產(chǎn)生法律的產(chǎn)生必然導(dǎo)致法律從業(yè)者的產(chǎn)生，或者說是廣義的法律職業(yè)者的產(chǎn)生。法律職業(yè)與其它職業(yè)的既有相同之處，而又有許多自身特點。它不光需要技術(shù)理性，還需要人為理性。正像當年英國國王詹姆士一世質(zhì)問英格蘭的首法官E•柯克，為什么國王本人沒有做出判決的資格，法律是基于理性的，而他的推理能力同柯克法官一樣好。柯克回答他說：“不錯，上帝的確賦予陛下極其豐富的知識和無與倫比的天賦；但是，陛下對于英格蘭的法律并不精通。法官要處理的案件動輒涉及到臣民的生命、繼承、動產(chǎn)或不動產(chǎn)，只有自然理性是不可能處理好的，更需要人工理性”（張保生，2000）。我們常說“像法律人一樣思維”。法律人的思維方式最具特色的地方是什么呢？那就是法律推理。所以法律推理被視為法律職業(yè)者的特殊技能，或者稱為其職業(yè)存在的依據(jù)。（博登海默，2004）認為一個優(yōu)秀的法律職業(yè)者必須具備以下三點：“一、精通法律，包括實在法規(guī)范和法律程序；二、具有文化修養(yǎng)和廣博的知識，精通政治、經(jīng)濟、哲學(xué)和本國歷史等；三、掌握法律論證與推理的復(fù)雜藝術(shù)?！币虼耍陕殬I(yè)的產(chǎn)生帶動了法律推理的思考和研究，同時也促進法律推理的產(chǎn)生和發(fā)展。

篇8

【關(guān)鍵詞】語義析出；語用推理；形式化；預(yù)設(shè)邏輯

自然語言作為人的日常交際所使用的語言，具有模糊性、靈活性等特點，因此人們用具有準確性、確定性的人工語言來分析自然語言。人們在選擇“預(yù)設(shè)”去深化日常語言的研究時，逐漸形成了以預(yù)設(shè)為核心的相對獨立的邏輯研究，這種邏輯研究歸納成一個體系就是預(yù)設(shè)邏輯研究體系。預(yù)設(shè)邏輯把預(yù)設(shè)放置于邏輯系統(tǒng)之內(nèi)，運用邏輯方法分析語句的預(yù)設(shè)，以語義分析和語用分析為著眼點，進一步對語句的使用者，語言的符號及其意義之間的關(guān)系等等內(nèi)容進行邏輯分析，揭示諸如不同語境下語句預(yù)設(shè)及其意義理解等邏輯問題，形成了相對獨立的預(yù)設(shè)邏輯研究內(nèi)容體系。預(yù)設(shè)可分為語義預(yù)設(shè)和語用預(yù)設(shè)，本文從這兩個方面展開研究。

一、語義預(yù)設(shè)邏輯

自然語言的邏輯語義分析，是以語形為基礎(chǔ)從意義方面來研究自然語言，揭示語言符號及其所知道或說明的對象之間的邏輯關(guān)系，從語句意義著手推出預(yù)設(shè)，對預(yù)設(shè)形式化等等。語句預(yù)設(shè)的語義邏輯分析，著眼于語句的邏輯后承，T是語句S的語義預(yù)設(shè)，則T是S的邏輯后承。在任何情況下，有意義的語句中的預(yù)設(shè)，都可必然析出。語義預(yù)設(shè)析出是從語句S與其否定┑S出發(fā)，必然的推出它們共同的邏輯后承T，那么T是S及

┑S的語義預(yù)設(shè)。語句S及其預(yù)設(shè)T之間是意蘊關(guān)系，我們用符號“==>”表示。

下面我們分析一下單個語句的語義預(yù)設(shè)的形式化：（1）單個語義預(yù)設(shè)。S：小王的姐姐會繪畫；預(yù)設(shè)T：小王有姐姐。S==>T。對于包含一個語義預(yù)設(shè)的語句，我們從語句中析出預(yù)設(shè)用S==>T形式化表示，T是由語句S意蘊析出的。（2）多個語義預(yù)設(shè)。S：小王的姐姐是燕山大學(xué)畢業(yè)的。我們可以推出該語句預(yù)設(shè)T1：小王有姐姐；T2：有燕山大學(xué)這所學(xué)校。該語句的形式化為S==>T1∧T2，多個語義預(yù)設(shè)我們可以形式化為S==>T1∧T2∧T3……∧Tn。（3）預(yù)設(shè)中包含預(yù)設(shè)。S：含咖啡因的咖啡和軟飲料的生產(chǎn)、銷售企業(yè)應(yīng)由政府掌管。從語句我們首先推出預(yù)設(shè)T1：存在生產(chǎn)、銷售含咖啡因的咖啡和軟飲料的企業(yè)；我們由T1又可推出預(yù)設(shè)T2：存在含咖啡因的咖啡和軟飲料。該語句的預(yù)設(shè)我們可形式化為：（S==>T1）∧（T1==>T2）這種類型語句的語義預(yù)設(shè)我們可擴展為：（S==>T1）∧（T1==>T2）∧（T2==>T3）∧……（Tn-1==>Tn）。（4）復(fù)句的預(yù)設(shè)。例一，S：王華不僅是校三好學(xué)生，而且是市三好學(xué)生。分析聯(lián)言式復(fù)句，我們可把句子變?yōu)榘刖?，逐一分析。S1：王華是校三好學(xué)生；S2：王華是市三好學(xué)生；S1預(yù)設(shè)T1：存在王華這個人，并且存在校三好學(xué)生這個榮譽；S2預(yù)設(shè)T2：存在王華這個人，并且存在市三好學(xué)生這個榮譽。我們合取T1和T2，取得語句S的預(yù)設(shè)：存在王華這個人，并且存在校三好學(xué)生的榮譽和市三好學(xué)生的榮譽。即：S1==>T1，S2==>T2，S1∧S2，T1∧T2，則S==>T1∧T2。例二，S：或者小明參加乒乓球賽，或者小李參加乒乓球賽。對于選言復(fù)句，句子S可分為S1：小明參加乒乓球賽；S2：小李參加乒乓球賽；由S1我們推出預(yù)設(shè)T1：存在小明這個人，并且他會打乒乓球；由S2我們可推出T2：存在小李這個人，并且他會打乒乓球；而S的預(yù)設(shè)不是T1和T2的選言，而是聯(lián)言，即S==>T1∧T2。例三，S：如果小明患了肺炎，那么他就會發(fā)燒。該語句是一個假言復(fù)合句，假言復(fù)合句的預(yù)設(shè)推出較復(fù)雜，語句的各單句簡單相加并不是正確的，需要依語句意義推出。語句S的預(yù)設(shè)T：存在小明這個人，并且肺炎會引起發(fā)燒。從這個例子我們可以看出，單個語句的預(yù)設(shè)無法獨立的進行語形分析，必須涉及命題的意義，由于語義預(yù)設(shè)與句子本身的意義有著密切的關(guān)系。分析了單個語句的語義預(yù)設(shè)的形式后，我們結(jié)合其否定句的形式，通過語義析出邏輯后承的方法，就可以析出語句的預(yù)設(shè)。

語義預(yù)設(shè)的析出存在幾個問題：第一，我們對語義預(yù)設(shè)析出的形式化是在二值邏輯的條件下分析的，只有在二值經(jīng)典邏輯的范圍內(nèi)研究，經(jīng)典邏輯的一些基本規(guī)律、特征公式才是有效的，而如果引入三值邏輯或多值邏輯解釋預(yù)設(shè)現(xiàn)象，會產(chǎn)生很多棘手問題，比如否定將成為非真值函項等等，但這并不是說多值邏輯分析預(yù)設(shè)是不可行的。多值邏輯分析預(yù)設(shè)問題會是一種必然趨勢。第二，復(fù)句語義預(yù)設(shè)析出的問題。一些復(fù)雜的復(fù)句的預(yù)設(shè)如果從單句著手，逐個分析語義預(yù)設(shè)，然后各單句預(yù)設(shè)相加得出，這樣的預(yù)設(shè)不一定是復(fù)句的預(yù)設(shè)，因此如何準確完整地析出復(fù)句的語義預(yù)設(shè)并對其形式化，還需要進一步研究。

二、語用預(yù)設(shè)邏輯

語句預(yù)設(shè)的語用分析實際上是一種語用推理，是從語句的字面意義結(jié)合語境推出話語的預(yù)設(shè)的一種推理。語用推理包括會話隱涵推理和預(yù)設(shè)推理等，語用預(yù)設(shè)推理就是把語句的字面意義與語境等語用因素相結(jié)合，進而推出話語預(yù)設(shè)的推理。（1）焦點信息的變化可引起推理預(yù)設(shè)的不同。S：我又把數(shù)學(xué)作業(yè)檢查一遍。焦點在“又”字上，預(yù)設(shè)A1：我檢查過數(shù)學(xué)作業(yè)。焦點在“我”字上，預(yù)設(shè)A2：同學(xué)幫我檢查過數(shù)學(xué)作業(yè)。焦點在“數(shù)學(xué)作業(yè)”這幾個字上，預(yù)設(shè)A3：我檢查過英語作業(yè)。這種情況的語用預(yù)設(shè)推理，其實就是對焦點字的推理。（2）結(jié)合職業(yè)或身份的語用推理S：動手吧！身份：外科醫(yī)生。預(yù)設(shè)：有手術(shù)要進行。身份：教師。預(yù)設(shè)：學(xué)生有作業(yè)或考試要完成。身份：國外黑社會成員。預(yù)設(shè)：他犯錯了要受到懲罰、處治。（3）語用預(yù)設(shè)是一些文化常識、生活常識、自然常識等。S1：你們家孩子多大了？S2：她上幼兒園了，屬牛。這個對話的語用預(yù)設(shè)：了解中國的教育階段：知道中國今年2012年是龍年：會依據(jù)中國十二生肖推算年齡：S2相信S1知道這些文化背景知識。（4）依據(jù)語境，選擇最據(jù)關(guān)聯(lián)性的情形作為說話的語用預(yù)設(shè)。A：小紅過敏了！B：她吃阿莫西林膠囊了吧！語用預(yù)設(shè)：阿莫西林膠囊會導(dǎo)致他產(chǎn)生過敏反應(yīng)。過敏有多種原因：食物、瓜果；空氣中的花粉；藥物等等；結(jié)合小紅最近感冒，在吃消炎藥，推出藥物過敏的可能，所以得出小紅可能對藥物過敏的語用預(yù)設(shè)。（5）語用預(yù)設(shè)在推理下出現(xiàn)取消。A：他這么會做飯，他妻子一定很幸福。B：他沒結(jié)婚呢，也不知道誰有這個口福。從說話人A的話語中，我們“得出他有妻子”這個預(yù)設(shè)，但是經(jīng)B的語句我們得出“他沒有妻子”的預(yù)設(shè)。這就是在交際中不可避免的語用預(yù)設(shè)的取消，第一個說話者的預(yù)設(shè)的其自認為的語用預(yù)設(shè)，經(jīng)過與另外的一個人的交流，預(yù)設(shè)得到否定，即原來的語用預(yù)設(shè)出現(xiàn)了取消。語用預(yù)設(shè)就是在不斷的交流中產(chǎn)生、取消，不斷的促進交流進行下去的一個過程。

全面、完善的分析漢語中的預(yù)設(shè)現(xiàn)象，更深入的進行預(yù)設(shè)邏輯研究，對語句預(yù)設(shè)謂詞化、模態(tài)化，形成預(yù)設(shè)邏輯演算系統(tǒng)將是預(yù)設(shè)邏輯研究的一個必然趨勢。

參 考 文 獻

[1]楊翠.語言學(xué)中的預(yù)設(shè)分析[D].上海師范大學(xué).2006（5）

[2]蔣彩利.現(xiàn)代漢語事實預(yù)設(shè)動詞研究[D].華東師范大學(xué).2009（10）

[3]劉邦凡，劉新文.2009年應(yīng)用邏輯學(xué)術(shù)會議綜述[J].哲學(xué)動態(tài).2009（10）

[4]劉小濤.預(yù)設(shè)和前提之辨[J].社會科學(xué)輯刊.2004（11）

[5]季安鋒.預(yù)設(shè)的研究[J].南開語言學(xué)刊.2009（6）

篇9

【英文摘要】Philosophicallogicisapolysemantincontemporarylogicalliterature.Webelieveit''''sanon-classicallogicwithphiloso-phicalpurportorcause.Itsrisearosesalotoftheoreticalproblems.Thisessayexpoundsthelimitsofclassicallogic,non-monotonyanddeduction,logicalmathematicalizationanddepart-mentalization,theownershipofinductivelogic,etc.

【關(guān)鍵詞】經(jīng)典邏輯/非經(jīng)典邏輯/演繹性/數(shù)學(xué)化/部門化/哲學(xué)邏輯classicallogic/non-classicallogic/deduction/mathematicalization/departmentalization/philosophicallogic

【正文】

哲學(xué)邏輯的崛起引發(fā)一系列理論問題。我們僅就其中幾個提出一些不成熟的看法。

一、經(jīng)典邏輯和非經(jīng)典邏輯的界限

在這里經(jīng)典邏輯是指標準的一階謂詞演算(CQC)，它的語義學(xué)是模型論。隨著非經(jīng)典邏輯分支不斷出現(xiàn)，使得我們對經(jīng)典邏輯和非經(jīng)邏輯的界限的認識逐步加深。就目前情況看，經(jīng)典邏輯具有下述特征：二值性、外延性、存在性、單調(diào)性、陳述性和協(xié)調(diào)性。

傳統(tǒng)的主流觀點：每個命題（語句）或是真的或是假的。這條被稱做克呂西波(Chrysippus)原則一直被大多數(shù)邏輯學(xué)家所恪守。20年代初盧卡西維茨(J.Lukasiwicz)建立三值邏輯系統(tǒng)，從而打破了二值性原則的一統(tǒng)天下，出現(xiàn)了多值邏輯、部分邏輯（偏邏輯）等一系列非二值型的邏輯。

經(jīng)典邏輯是外延邏輯。外延性邏輯具有下述特點：第一，這種邏輯認為每個表達式（詞項、語句）的外延就是它們的意義。每個個體詞都指稱解釋域中的個體；而語句的外延是它們的真值。第二，每個復(fù)合表達式的值是由組成它的各部分表達式的值所決定，也就是說，復(fù)合表達式的意義是其各部分表達式意義的函項，第三，同一性替換規(guī)則和等值置換定理在外延關(guān)系推理中成立。也是在20年代初，劉易士(C.I.Lewis)在構(gòu)造嚴格蘊涵系統(tǒng)時，引入初始模態(tài)概念“相容性”（或“可能性”），并進一步構(gòu)建模態(tài)系統(tǒng)S1-S5。從而引發(fā)一系列非外延型的邏輯系統(tǒng)出現(xiàn)，如模態(tài)邏輯、時態(tài)邏輯、道義邏輯和認知邏輯等等出現(xiàn)。

從弗雷格始，經(jīng)典邏輯系統(tǒng)的語義學(xué)中，總是假定一個非空的解釋域，要求個體詞項解釋域是非空的。這就是說，經(jīng)典邏輯對量詞的解釋中隱含著“存在假設(shè)”，在60年代被命名為“自由邏輯”的非存型的邏輯出現(xiàn)了。自由邏輯的重要任務(wù)就在于：(1)把經(jīng)典邏輯中隱含的存在假設(shè)變明顯；(2)區(qū)分開邏輯中的兩種情況：一種與存在假設(shè)有關(guān)的推理，另一種與它無關(guān)。

在經(jīng)典邏輯范圍內(nèi)，由已知事實的集合推出結(jié)論，永遠不會被進一步推演所否定，即無論增加多少新信息作前提，也不會廢除原來的結(jié)論。這就是說經(jīng)典邏輯推理具有單調(diào)性。然而于70年代末，里特(R.Reiter)提出缺省(Default)推理系統(tǒng)，于是一系列非單調(diào)邏輯出現(xiàn)。

經(jīng)典邏輯總是從真假角度研究命題間關(guān)系。因而只考察陳述句間關(guān)系的邏輯，像祈使句、疑問句、感嘆句就被排斥在邏輯學(xué)直接研究之外。自50年代始，命令句邏輯、疑問句邏輯相繼出現(xiàn)。于是，非陳述型的邏輯存在已成事實。

經(jīng)典邏輯中有這樣兩條定理：（p∧q）（矛盾律）和p∧pq（司各特律），前者表明：在一個系統(tǒng)內(nèi)禁不協(xié)調(diào)的命題作為論題，后者說的是：由矛盾可推出一切命題。也就是說，如果一個系統(tǒng)是不協(xié)調(diào)的，那么一切命題都是它的定理。這樣的系統(tǒng)是不足道的(trivial)。柯斯塔(M.C.A.daCosta)于1958年構(gòu)造邏輯系統(tǒng)Cn（1〈n≤ω）。矛盾律和司各特律在該系統(tǒng)中不普遍有效，而其他最重要模式和推理規(guī)則得以保留。這就開創(chuàng)了非經(jīng)典邏輯一個新方向弗協(xié)調(diào)邏輯。

綜上所述非經(jīng)典邏輯諸分支從不同方面突破經(jīng)典邏輯某些原則。于是，我們可以以上面六種特征作為劃分經(jīng)典邏輯與非經(jīng)典邏輯的根據(jù)。凡是不具有上述六種性質(zhì)之一的邏輯系統(tǒng)均屬非經(jīng)典邏輯范疇。

二、非單調(diào)性與演繹性

通常這樣來刻畫演繹：相對于語句集合Γ，對于任一語句S，滿足下述條件的其最后語句為S的有窮序列是S由Γ演繹的：序列中每個語句或者是公理，或者是Г的元素，或者根據(jù)推理規(guī)則由前面的語句獲得的。它的一個同義詞是導(dǎo)出(derivation)。演繹是相對于系統(tǒng)的概念，說一個公式（或語句）是演繹的只是相對于一不定的公理和推理規(guī)則的具體系統(tǒng)而言的。演繹概念是證明概念的概括。一個證明是語句這樣的有窮序列：它的每個語句或是公理或是根據(jù)推理規(guī)則由前面的語句得出的。在序列中最后一個語句是定理。

現(xiàn)在我們考察單調(diào)邏輯中演繹情況。令W是一階邏輯公式的集合，D為缺省推理的可數(shù)集，cons(D)為D中缺省的后承的集合。我們來建立公式Φ的缺省證明概念：首先我們必須確定從WUcons(D[,0])。導(dǎo)出Φ這種性質(zhì)的缺省集合D[,0]。為確保在D[,0]中缺省的適用性，我們須確定缺省集合D[,1]，致使能從WUcons(D[,1])中得出在D[,0]中缺省的所有必須的預(yù)備條件。我們從這種方式操作直至某一空的D[,K]。這意謂著從W得出在D[,K-1]中的必須的預(yù)備條件。然后我們確定一個證明，只是我們不陷入矛盾，即是W必須跟包括在證明中的所有缺省后承的集合相一致。例如，給定缺省理論：

T=(｛p｝,｛δ[,1]=p:r/r,δ[,2]=r:ps/pS｝)

(｛δ[,2]｝),｛δ[,1]｝，Φ是S在T中的缺省證明。

;形式地說，Φ在正規(guī)缺省理論T=(W,D)中的一個缺省證明是滿足下述條件的D的子集合的有窮序列(D[,0],D[,1],…D[,K])：

（i）Φ從WUcons(D[,0])得出。

（ii）對于所有i〈K,從Wucona(D[,i+1])得出缺省的所有預(yù)備條件。

（iii）D[,K]=Φ。

（iV）WUcons(U[,i]D[,i])是一致的。

由上面可以看出缺省推理中的證明是與通常的演繹證明是不同的，前者比后者要寬廣些。

附圖

由此可見，缺省邏輯中的推出關(guān)系比經(jīng)典邏輯中的要寬。因而相應(yīng)擴大了“演繹性”概念的外延。于是可把演繹性分為：強演繹性和弱演繹性。后者是隨著作為前提的信息逐步完善，而導(dǎo)出的結(jié)論逐步逼近真的結(jié)論。

三、邏輯的數(shù)學(xué)化和部門化。

正如有人所指出的那樣，“邏輯學(xué)在智力圖譜中占有戰(zhàn)略地位，它聯(lián)結(jié)著數(shù)學(xué)、語言學(xué)、哲學(xué)和計算機科學(xué)不同學(xué)科?！盵2]作為構(gòu)建各學(xué)科系統(tǒng)的元科學(xué)手段的邏輯與各門科學(xué)聯(lián)系越來越密切。它在當展中，表現(xiàn)出兩個重要特征：數(shù)學(xué)化和部門化。

邏輯學(xué)日益數(shù)學(xué)化，這表現(xiàn)為：(1)邏輯采取更多的數(shù)學(xué)方法，因而技術(shù)性程度越來越高。一些邏輯問題（如系統(tǒng)特征問題）的解決需要復(fù)雜的證明技術(shù)和數(shù)學(xué)技巧。(2)它更側(cè)重于數(shù)學(xué)形式化的問題。其實數(shù)學(xué)化的本質(zhì)是抽象化、理想化和泛化（普遍化）。這對像邏輯這樣的形式科學(xué)顯然是非常重要的，近一個世紀邏輯迅速發(fā)展就證明了這一點。邏輯方法論的數(shù)學(xué)化在本世紀下半葉正在加速。這給予邏輯的一些重要結(jié)論以復(fù)雜的結(jié)構(gòu)和深入的處理，使邏輯變得更精確更豐富。但是，由于邏輯中數(shù)學(xué)專門化已定型并且限定了它自己，所以邏輯需向其他領(lǐng)域擴張，拓寬其研究領(lǐng)域就勢所必然。

邏輯向其他學(xué)科領(lǐng)域的延伸并吸收營養(yǎng)，于是出現(xiàn)了各種部門邏輯，如認知邏輯、道義邏輯、量子邏輯等等。我們把邏輯學(xué)這種延伸和部門邏輯出現(xiàn)稱做邏輯部門化。

哲學(xué)邏輯就是邏輯部門化的產(chǎn)物，它是方面邏輯或部門邏輯。眾所周知，經(jīng)典邏輯演算的理論、方法和運算技術(shù)具有高度的概括性，它適用于一切領(lǐng)域、一切語言所表達的演繹推理形式。所以，它具有普遍性，是一般的邏輯。有人認為一階演算完全性定理表明“采用現(xiàn)代數(shù)學(xué)方法和數(shù)學(xué)語言來刻畫的全體‘演繹推理規(guī)律’恰好就是人們在思維中所用的演繹推理規(guī)律的全體，不多也不少！”[3]。表達一階邏輯規(guī)律的公式是普通有效的，即是這些公式在任何一種解釋中都是真的。而哲學(xué)邏輯各分支只是研究某一方面或領(lǐng)域的演繹推理規(guī)律，表達這些規(guī)律的公式只是在一定條件下在某一領(lǐng)域是有效的，即是它們在具有某種條件解釋下是真的。例如，模態(tài)公式(D)PP,(T)PP,(B)PP,(4)PP,(E)PP，分別在串行的、自反的、對稱的、傳遞的、歐幾里得的模型中有效。而動態(tài)邏輯的一些規(guī)律只適用于像計算程序那樣的由一種狀態(tài)過渡到另一種狀態(tài)轉(zhuǎn)換的動態(tài)關(guān)系。

部門邏輯另一種含義是為某一特定領(lǐng)域提供邏輯工具。例如，當人們找出描述一個微觀物理系統(tǒng)在某一時刻的可觀察屬性的命題的一般形式。對其進行運算時，發(fā)現(xiàn)一些經(jīng)典邏輯規(guī)律失效，如分配律對這里定義的合取、析取運算不成立。于是人們構(gòu)造一種能夠描述微觀物理世界新的邏輯系統(tǒng)，這就是量子邏輯。

四、哲學(xué)邏輯劃界問題

哲學(xué)邏輯形形并且難于表征。在現(xiàn)代邏輯文獻中，“哲學(xué)邏輯”是個多義詞。它的涵義主要的有三種：它的第一種涵義是指關(guān)于現(xiàn)代邏輯中一些重要概念和論題的理論研究。例如，對于名稱（詞項）、摹狀詞、量詞、模態(tài)詞、命題、分析性、真理、意義、指涉、命題態(tài)度、悖論、存在乃至索引等概念及與它們相關(guān)的論題的理論研究以及利用形式邏輯工具處理邏輯和語言的邏輯結(jié)構(gòu)的哲學(xué)爭論。它的第二種涵義是指非經(jīng)典邏輯中一個學(xué)科群體，它包括模態(tài)邏輯、多值邏輯等等眾多邏輯分支。它的第三種涵義是兼指上述兩種涵義的“哲學(xué)邏輯”。

我們認為，第一種涵義上的“哲學(xué)邏輯”不是研究推理有效式意義上的邏輯，而是邏輯哲學(xué)。我們贊成在第二種涵義上使用“哲學(xué)邏輯”一詞。于是可以給出下述定義：哲學(xué)邏輯是具有哲學(xué)旨趣或涉及哲學(xué)事業(yè)的非經(jīng)典邏輯，在這里應(yīng)對“哲學(xué)”做廣義的理解。哲學(xué)邏輯不僅與傳統(tǒng)哲學(xué)中的概念和論題有直接或間接聯(lián)系。而且也涉及各門科學(xué)中具有方法論性質(zhì)的問題和其他元科學(xué)問題。

在我們看來，“歸納”和“演繹”一樣，是傳統(tǒng)哲學(xué)所關(guān)注的重要哲學(xué)概念，而且也是現(xiàn)代一些哲學(xué)家所爭議的問題之一。同時歸納邏輯方法的啟發(fā)作用在認知過程中不可低估，歸納的一些方法和技術(shù)同樣是一些學(xué)科的元科學(xué)因素，是發(fā)現(xiàn)真理構(gòu)建學(xué)科系統(tǒng)不可少的。因此，它應(yīng)屬于哲學(xué)邏輯?！墩軐W(xué)邏輯雜志》亦把它列入哲學(xué)邏輯諸分支之首。

問題在于，歸納推理的復(fù)雜性，對它的形式刻畫和找出能行程序遇到不易克服的困難，致使其成果與演繹推理所獲得成果相比，顯得不那么豐碩。然而，由于人工智能等技術(shù)上的需要，推動著更多的人研究歸納推理，總會有一天，歸納邏輯也像演繹邏輯那樣用形式方法來處理。

【參考文獻】

[1]Antoniou,G.:1997,NonmontonicReasoning,TheMITPress,Cambridge,Masschusetts.

篇10

皮亞杰所建構(gòu)的心理邏輯受到來自心理學(xué)家和邏輯學(xué)家的雙重責(zé)難。圍繞心理邏輯與傳統(tǒng)的形式邏輯及其現(xiàn)代形態(tài)的數(shù)理邏輯（主要指它的邏輯演算部分）究竟是何關(guān)系等問題展開了爭論。心理學(xué)家認為，皮亞杰是以研究思維的邏輯結(jié)構(gòu)代替了思維的心理結(jié)構(gòu)；邏輯學(xué)家則譏諷皮亞杰的心理邏輯是非科學(xué)的、不合“邏輯”的。為了正確地評價皮亞杰的心理邏輯學(xué)，我們要分析闡述皮亞杰的心理邏輯和一般意義上邏輯學(xué)之間的幾點不同。

一、產(chǎn)生的目的不同

古希臘時代，哲學(xué)家們把自然萬物產(chǎn)生的原因以及它們之間的因果聯(lián)系作為他們思考研究的中心，亞里士多德的邏輯就是適應(yīng)這種“求知”的需要而產(chǎn)生的。首先，亞氏邏輯獲得科學(xué)知識的工具。“我們確是借證明來獲得知識的。所謂證明，我的意思是指一種能產(chǎn)生科學(xué)知識的三段論式?！眮喪线壿嫷闹行氖峭评恚评淼暮诵氖侨握撏评?。科學(xué)知識的獲得離不開有效的推理，利用三段論推理，就能從真前提獲得真結(jié)論。其次，有效的論辯也是亞里士多德創(chuàng)立邏輯的目的。古希臘時期崇尚民主，盛行辯論，但辯論之中經(jīng)常出現(xiàn)詭辯，因此需要一種關(guān)于思維規(guī)范的科學(xué)。亞氏邏輯為正確地進行思維提供了規(guī)范的工具。

17世紀，邏輯學(xué)的發(fā)展已經(jīng)落后于數(shù)學(xué)的發(fā)展。萊布尼茲設(shè)想了數(shù)理邏輯（類似于數(shù)學(xué)演算的新邏輯）。經(jīng)過布爾、弗雷格、羅素等邏輯學(xué)家的長期鉆研，數(shù)理邏輯逐漸發(fā)展和完善。數(shù)理邏輯盡管是“數(shù)學(xué)化的邏輯”，但它仍舊是科學(xué)的工具，其產(chǎn)生的目的仍舊是為推理的有效性，為各門學(xué)科提供有效推理的模式、規(guī)范。

皮亞杰構(gòu)造心理邏輯的目的與傳統(tǒng)邏輯和數(shù)理邏輯的目的不同，不是為思維提供規(guī)范或為數(shù)學(xué)基礎(chǔ)的研究提供必要的分析工具，而是為刻畫心理學(xué)發(fā)現(xiàn)的事實提供精確的工具。皮亞杰的心理邏輯所研究的是利用心理學(xué)實驗來揭示兒童邏輯思維的起源和發(fā)展。他擁有非常明確的研究目標：實際思維的心理運算規(guī)律。他使用了分類、關(guān)系以及命題演算等邏輯語言來構(gòu)造他的心理邏輯學(xué)。皮亞杰雖然使用了與當代符號邏輯相同的“符號”，但并沒有使自己的邏輯成為“符號邏輯”。他只是把邏輯作為描述和分析思維結(jié)構(gòu)的工具。

二、具體作用不同

研究目的不同，決定了心理邏輯與形式邏輯或數(shù)理邏輯的作用也不相同。形式邏輯，首先是認識的工具?？茖W(xué)知識的獲得和科學(xué)體系的建立都必然離不開邏輯。“西方科學(xué)的發(fā)展是以兩個偉大成就為基礎(chǔ)，那就是：希臘哲學(xué)家發(fā)明的形式邏輯體系（在歐幾里得幾何中），以及通過系統(tǒng)的實驗發(fā)現(xiàn)有可能找出因果關(guān)系（在文藝復(fù)興時期）?！蹦壳?，在各種科學(xué)領(lǐng)域中都體現(xiàn)著邏輯的科學(xué)分析工具的作用和科學(xué)方法論的價值。其次是論證的工具。當我們面臨難作分析的復(fù)雜現(xiàn)實問題時，我們可利用形式邏輯把這些現(xiàn)實問題加以形式化，建立起這些復(fù)雜問題的簡化模式，然后通過對這些模式的分析，考查推理和論證過程的正當性。這樣，公理化形式邏輯學(xué)對現(xiàn)實問題的研究就提供了解剖的工具。心理邏輯是用來描述心理事實的，僅僅適用于心理學(xué)。它的抽象程度跟公理化形式邏輯不能比擬，因此心理邏輯的作用就比形式邏輯廣泛。邏輯代數(shù)能幫助我們描述心理的結(jié)構(gòu)，把那些處于實際思維過程中的運算和結(jié)構(gòu)列為可計算的形式；邏輯代數(shù)可以幫助心理學(xué)家，為他們提供一種描述思維的精確方法。皮亞杰的心理邏輯學(xué)是借用邏輯學(xué)來解釋和描述思維的心理運算機制，它本質(zhì)上仍屬于心理學(xué)的研究領(lǐng)域。所以，準確地說，心理邏輯學(xué)并不是一種新的邏輯學(xué)，因為它并不是提供什么新的有效推理或證明形式的演繹理論，心理邏輯學(xué)是心理學(xué)的一個分支。

三、特點不同

（一）“邏輯的數(shù)學(xué)化”與“邏輯的心理學(xué)化”

亞里士多德借助當時歐氏幾何學(xué)，創(chuàng)立了第一個并未主要與數(shù)學(xué)結(jié)合的邏輯系統(tǒng)。借用了數(shù)學(xué)演算的方法創(chuàng)立了與數(shù)學(xué)基礎(chǔ)的研究緊密結(jié)合的數(shù)理邏輯，使邏輯沿著萊布尼茨“通用數(shù)學(xué)”的方向，走上了數(shù)學(xué)化的道路。皮亞杰指出運算是兒童思維發(fā)展的主要標志，雖然心理邏輯主要是用來解釋和描述運算的，但這種運算并不是“數(shù)學(xué)的純形式的運算”，也不是用來規(guī)范思維的形式的推理。這種運算是心理的運算，也就是內(nèi)在的、可逆的和守恒的動作的協(xié)調(diào)系統(tǒng)。如果我們把邏輯與數(shù)學(xué)的結(jié)合而產(chǎn)生的數(shù)理邏輯稱為“邏輯的數(shù)學(xué)化”，那么我們就可以把邏輯與心理學(xué)的結(jié)合而產(chǎn)生的心理邏輯稱為“邏輯的心理學(xué)化”，盡管這種類比并不恰當，因為數(shù)理邏輯借用了數(shù)學(xué)演算的方法，而心理邏輯中并沒有利用心理學(xué)的方法，而是利用了心理學(xué)提供的事實。

（二）“元素的、線形的、靜態(tài)的”和“整體的、非線形的、動態(tài)的”

公理系統(tǒng)的數(shù)理邏輯從公理出發(fā)，通過推理規(guī)則推導(dǎo)出一系列的定理。這一過程是線形的、靜態(tài)的?！鞍凑宅F(xiàn)時所確定的意義，邏輯本身卻不總是作為整體的又作為一些轉(zhuǎn)換規(guī)律的結(jié)構(gòu)的‘種種結(jié)構(gòu)’的：現(xiàn)實的邏輯學(xué)在許多方面仍然還是從屬于相當頑強的原子論的，邏輯結(jié)構(gòu)主義還只是剛剛有了個開端?！庇捎谶\算邏輯不是正確思維必須遵循的公理化形式邏輯，而是描述實際思維過程的邏輯；又由于根據(jù)皮亞杰的認知結(jié)構(gòu)的發(fā)展理論，思維的心理運算總是構(gòu)成一個整體性的結(jié)構(gòu)，因此，雖然公理化形式邏輯與運算邏輯它們的基本元素都是運算（邏輯演算或心理運算），但它們之間存在著根本的區(qū)別：前者是關(guān)于元素的邏輯，后者則是關(guān)于整體的邏輯。

在公理化的形式邏輯中，邏輯演算按演繹的順序而出現(xiàn)，它的特點是線形的，演繹當然也得按照一定的規(guī)則進行，但這些規(guī)則并不把邏輯演算構(gòu)成一個彼此溝通的整體。寧可說，它們被用來把邏輯演算串聯(lián)起來，因而使邏輯演繹具有線形的特征。相反，運算邏輯中的元素――心理運算則派生于一種整體結(jié)構(gòu)，并且正是這一整體結(jié)構(gòu)賦予心理運算以意義。它的本質(zhì)是非線形的，它以循環(huán)或往返的方式彼此聯(lián)系與轉(zhuǎn)換――可逆性在此發(fā)揮著巨大的作用。我們無法把這種轉(zhuǎn)換還原成形式邏輯中的線性推演，心理運算在由特殊思維課題所確定的范圍內(nèi)運轉(zhuǎn)，運轉(zhuǎn)的規(guī)則也就是對這一整體認知結(jié)構(gòu)的邏輯性質(zhì)加以描述的心理邏輯。

公理化的形式邏輯由于運用了邏輯演算的精細巧妙方法而變得十分靈活，但它的固有本質(zhì)是靜態(tài)的元素論的，而不是動態(tài)的整體性的，因而也不可能是發(fā)生性質(zhì)的。它只顧及心智成熟的個體的思維階段，并使之凝固化和規(guī)范化。心理運算邏輯是發(fā)生的。一方面它是從前運算邏輯，即動作邏輯演化而來，它與智慧的不同階段相對應(yīng)而表現(xiàn)出不同的形態(tài)，它是不斷成熟的智慧的反映。另一方面，它與實際思維運算不能分離，是對進行中的推理過程的描述。皮亞杰主張“邏輯是思維的鏡子”這一命題，邏輯隨思維的發(fā)展而發(fā)展，從而突出了邏輯的發(fā)生性質(zhì)，表明邏輯發(fā)展與思維發(fā)展的同步性。

（三）思辨產(chǎn)物和主體性

公理化形式邏輯體系是邏輯學(xué)家們的思辨產(chǎn)物，個體不可能一下子直接把握它，也不可能自然地在主體思維時潛意識地發(fā)揮作用；除訓(xùn)練有素的專業(yè)邏輯學(xué)家外，恐怕無人達到這一步。皮亞杰曾指出，現(xiàn)代符號邏輯是一種“沒有主體的邏輯”，它是人類總體在某一歷史所達到的理性思維高度的標志。 心理邏輯的主體性表現(xiàn)在它總是從屬于某一主體。主體實際思維所遵循的邏輯就是心理運算邏輯。個體的一切智慧行為（包括思維運算）都表現(xiàn)出一種邏輯的結(jié)構(gòu)，它標志著個體的智慧發(fā)展水平。在個體掌握作為正確思維一般規(guī)律的形式邏輯的過程中，他總要經(jīng)歷一個探索和學(xué)習(xí)的階段，使自己的心理邏輯逐步向公理化的形式邏輯靠攏。因此，在這個意義上，我們可以稱皮亞杰的心理邏輯為“公理化形式邏輯前的邏輯”。

結(jié)束語：我們對皮亞杰的心理邏輯和公理化的形式邏輯之間的不同進行了比較分析，從中也深刻地理解了心理邏輯的基本性質(zhì)：它是對主體實際思維活動加以描述的、非公理化的邏輯；它與主體認知結(jié)構(gòu)的機能活動緊密相關(guān)，因而有發(fā)生的和生成的過程。心理邏輯學(xué)借用邏輯學(xué)對思維的心理運算機制加以解釋和描述。通過分析比較心理邏輯和一般意義上邏輯學(xué)之間的區(qū)別，我們對心理邏輯受到的誤解和批評進行了分析和澄清，為我們正確全面地理解和評價皮亞杰的心理邏輯學(xué)提供了有力的支持。