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

篇1

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

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

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

1.1功能定位

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

1.2任務(wù)要求

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

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

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

2.1指標(biāo)體系

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

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

2.2選型方法

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

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

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

3實(shí)例分析

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

3.1建立評(píng)價(jià)等級(jí)框架

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

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

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

同理，可得到二級(jí)評(píng)價(jià)指標(biāo)的相對(duì)權(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）.二級(jí)評(píng)價(jià)指標(biāo)判斷矩陣也均通過一致性檢驗(yàn).

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

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

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

對(duì)于定量指標(biāo)，需根據(jù)證據(jù)推理一致性原則，轉(zhuǎn)化成分布式形式.以 “甲板面積”為例，其評(píng)價(jià)集為{好，較好，一般，較差，差}，評(píng)價(jià)范圍為[1 200，2 400]，則評(píng)價(jià)集中與每個(gè)評(píng)價(jià)等級(jí)等價(jià)的數(shù)值為{2 400，2 100，1 800，1 500，1 200}.實(shí)例中三體船的甲板面積為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）.因此，該指標(biāo)值轉(zhuǎn)化后的分布式形式為（0.33，0.67，0，0，0），各值可直接輸入到IDS中進(jìn)行計(jì)算.

3.4評(píng)價(jià)結(jié)果及分析

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

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

4結(jié)束語

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

參考文獻(xiàn)：

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

[2]楊永祥， 李冬琴. 基于KPCA 方法的內(nèi)河干散貨運(yùn)輸船型論證[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)濟(jì)論證方法與應(yīng)用[J]. 中國(guó)航海， 2012， 35（2）： 102105.

[5]楊立波， 王旺， 鄧愛民. 海事巡邏船船型及性能指標(biāo)研究[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ù)推理的海事管理評(píng)價(jià)方法[J]. 大連海事大學(xué)學(xué)報(bào)， 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ìng)爭(zhēng)力比較分析[J].鐵道運(yùn)輸與經(jīng)濟(jì)， 2013， 34（11）： 8287.

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

篇2

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

【中圖分類號(hào)】G642 【文獻(xiàn)標(biāo)識(shí)碼】A 【文章編號(hào)】1674-4810（2013）16-0020-02

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

一 二難推理的定義

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

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

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

二 二難推理的邏輯形式

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

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

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

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

用真值表驗(yàn)證此邏輯形式真假值：

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

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

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

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

注 釋

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

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

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

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

篇3

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

2. 圖爾敏的論證理論

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

篇4

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

認(rèn)識(shí)論認(rèn)為，真理是客觀事物及其規(guī)律在人們思維中的正確反映。同樣邏輯真理也是客觀世界規(guī)律性的反映。列寧指出，人的實(shí)踐經(jīng)過千百萬次的重復(fù)，它在人的意識(shí)中以邏輯的格固定下來，而最普遍的邏輯格，就是事物被描述的很幼稚的……最普遍的關(guān)系。列寧認(rèn)為邏輯的公理、正確的推理形式是事物最普遍的關(guān)系，是由人們實(shí)踐中千百萬次的重復(fù)而反映和鞏固在意識(shí)中。列寧說的最普遍的邏輯格是指三段論推理的正確形式。在這一點(diǎn)上我們說邏輯真和事實(shí)真是相容的，事實(shí)真是基礎(chǔ)，邏輯真是建立在事實(shí)真基礎(chǔ)之上的，二者是一致的，但是邏輯真理與任何具體的經(jīng)驗(yàn)事實(shí)無關(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)系而真，在這一點(diǎn)上我們可以說，在局部意義上，相對(duì)于特定的邏輯系統(tǒng)而言，邏輯真理可以說是分析的，是以邏輯意義為根據(jù)的，而與任何具體的經(jīng)驗(yàn)事實(shí)無關(guān)。超級(jí)秘書網(wǎng)

篇5

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

中圖分類號(hào)：D920 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1005-5312（2011）14-0259-01

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

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

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

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

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

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

篇6

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

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

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

篇7

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

法律推理產(chǎn)生的社會(huì)動(dòng)因

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

篇8

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

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

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

自然語言的邏輯語義分析，是以語形為基礎(chǔ)從意義方面來研究自然語言，揭示語言符號(hào)及其所知道或說明的對(duì)象之間的邏輯關(guān)系，從語句意義著手推出預(yù)設(shè)，對(duì)預(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之間是意蘊(yùn)關(guān)系，我們用符號(hào)“==>”表示。

下面我們分析一下單個(gè)語句的語義預(yù)設(shè)的形式化：（1）單個(gè)語義預(yù)設(shè)。S：小王的姐姐會(huì)繪畫；預(yù)設(shè)T：小王有姐姐。S==>T。對(duì)于包含一個(gè)語義預(yù)設(shè)的語句，我們從語句中析出預(yù)設(shè)用S==>T形式化表示，T是由語句S意蘊(yùn)析出的。（2）多個(gè)語義預(yù)設(shè)。S：小王的姐姐是燕山大學(xué)畢業(yè)的。我們可以推出該語句預(yù)設(shè)T1：小王有姐姐；T2：有燕山大學(xué)這所學(xué)校。該語句的形式化為S==>T1∧T2，多個(gè)語義預(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è)我們可擴(kuò)展為：（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：存在王華這個(gè)人，并且存在校三好學(xué)生這個(gè)榮譽(yù)；S2預(yù)設(shè)T2：存在王華這個(gè)人，并且存在市三好學(xué)生這個(gè)榮譽(yù)。我們合取T1和T2，取得語句S的預(yù)設(shè)：存在王華這個(gè)人，并且存在校三好學(xué)生的榮譽(yù)和市三好學(xué)生的榮譽(yù)。即：S1==>T1，S2==>T2，S1∧S2，T1∧T2，則S==>T1∧T2。例二，S：或者小明參加乒乓球賽，或者小李參加乒乓球賽。對(duì)于選言復(fù)句，句子S可分為S1：小明參加乒乓球賽；S2：小李參加乒乓球賽；由S1我們推出預(yù)設(shè)T1：存在小明這個(gè)人，并且他會(huì)打乒乓球；由S2我們可推出T2：存在小李這個(gè)人，并且他會(huì)打乒乓球；而S的預(yù)設(shè)不是T1和T2的選言，而是聯(lián)言，即S==>T1∧T2。例三，S：如果小明患了肺炎，那么他就會(huì)發(fā)燒。該語句是一個(gè)假言復(fù)合句，假言復(fù)合句的預(yù)設(shè)推出較復(fù)雜，語句的各單句簡(jiǎn)單相加并不是正確的，需要依語句意義推出。語句S的預(yù)設(shè)T：存在小明這個(gè)人，并且肺炎會(huì)引起發(fā)燒。從這個(gè)例子我們可以看出，單個(gè)語句的預(yù)設(shè)無法獨(dú)立的進(jìn)行語形分析，必須涉及命題的意義，由于語義預(yù)設(shè)與句子本身的意義有著密切的關(guān)系。分析了單個(gè)語句的語義預(yù)設(shè)的形式后，我們結(jié)合其否定句的形式，通過語義析出邏輯后承的方法，就可以析出語句的預(yù)設(shè)。

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

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

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

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

參 考 文 獻(xiàn)

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

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

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

[4]劉小濤.預(yù)設(shè)和前提之辨[J].社會(huì)科學(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ā)一系列理論問題。我們僅就其中幾個(gè)提出一些不成熟的看法。

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

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

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

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

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

在經(jīng)典邏輯范圍內(nèi)，由已知事實(shí)的集合推出結(jié)論，永遠(yuǎn)不會(huì)被進(jìn)一步推演所否定，即無論增加多少新信息作前提，也不會(huì)廢除原來的結(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)。于是，非陳述型的邏輯存在已成事實(shí)。

經(jīng)典邏輯中有這樣兩條定理：（p∧q）（矛盾律）和p∧pq（司各特律），前者表明：在一個(gè)系統(tǒng)內(nèi)禁不協(xié)調(diào)的命題作為論題，后者說的是：由矛盾可推出一切命題。也就是說，如果一個(gè)系統(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)典邏輯一個(gè)新方向弗協(xié)調(diào)邏輯。

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

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

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

現(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ù)備條件。然后我們確定一個(gè)證明，只是我們不陷入矛盾，即是W必須跟包括在證明中的所有缺省后承的集合相一致。例如，給定缺省理論：

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

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

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

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

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

（iii）D[,K]=Φ。

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

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

附圖

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

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

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

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

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

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

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

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

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

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

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

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

【參考文獻(xiàn)】

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

篇10

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

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

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

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

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

二、具體作用不同

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

三、特點(diǎn)不同

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

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

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

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

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

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

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

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

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