前言：想要寫出一篇令人眼前一亮的文章嗎？我們特意為您整理了5篇邏輯學(xué)的含義范文，相信會為您的寫作帶來幫助，發(fā)現(xiàn)更多的寫作思路和靈感。

邏輯學(xué)的含義范文第1篇

[關(guān)鍵詞] 機(jī)房維護(hù)； 運(yùn)維； OSS

doi ： 10 . 3969 / j . issn . 1673 - 0194 . 2013 . 19. 061

[中圖分類號] TP307； G482 [文獻(xiàn)標(biāo)識碼] A [文章編號] 1673 - 0194（2013）19- 0110- 01

1 引 言

學(xué)校機(jī)房的管理方案，從早期的逐臺維護(hù)方式，已發(fā)展到現(xiàn)在采用管理和運(yùn)維軟件輔助維護(hù)。

機(jī)房運(yùn)維技術(shù)的發(fā)展是有一個(gè)過程的，從環(huán)境部署角度上來說基本是這樣的：單機(jī)逐臺使用GHOST軟件進(jìn)行部署；通過網(wǎng)絡(luò)拷貝進(jìn)行批量部署；通過增量網(wǎng)絡(luò)拷貝進(jìn)行部署；通過差異網(wǎng)絡(luò)拷貝進(jìn)行部署；使用云桌面技術(shù)進(jìn)行部署。

本文介紹的是技術(shù)業(yè)已成熟并在實(shí)際應(yīng)用環(huán)境中成功實(shí)施的方案：噢易機(jī)房維護(hù)系統(tǒng)。該系統(tǒng)處于差異拷貝階段，從技術(shù)發(fā)展歷程而言，屬于該技術(shù)的頂峰水平。

2 機(jī)房狀況和實(shí)施方案

江漢大學(xué)計(jì)算中心目前建有7個(gè)機(jī)房，承擔(dān)著學(xué)校各院系的計(jì)算機(jī)課程教學(xué)任務(wù)，滿足學(xué)生日常學(xué)習(xí)中對計(jì)算機(jī)的使用需求。

7個(gè)機(jī)房配置不一，是分批建成的，采用了不同時(shí)期不同版本的保護(hù)卡。從其功能上來看，可以看到機(jī)房管理運(yùn)維技術(shù)的幾個(gè)發(fā)展階段。

A301、A307機(jī)房所采用的藍(lán)卡變量卡，其功能有：

多系統(tǒng)多分區(qū)支持：最多可以支持15個(gè)操作系統(tǒng)，每個(gè)操作系統(tǒng)互相獨(dú)立，互不影響。

變量拷貝：通過局域網(wǎng)，把樣機(jī)的系統(tǒng)完全發(fā)送到機(jī)房其他接收機(jī)上。如果以后再次安裝部署軟件，可以在變量點(diǎn)的基礎(chǔ)上只發(fā)送增加的部分。

自動修改計(jì)算機(jī)名與IP地址：為每一臺計(jì)算機(jī)分配好一個(gè)計(jì)算機(jī)名和IP地址。在網(wǎng)絡(luò)拷貝之后，接收機(jī)按之前分配的設(shè)置信息自行修改，以避免重名重IP地址。

B309、B310、B312機(jī)房所采用的噢易保護(hù)卡V1.24.10247.S25S，其功能有：

多系統(tǒng)多分區(qū)支持、自動修改計(jì)算機(jī)名功能同上。

差異拷貝：跟增量拷貝類似，但不再要求有增量點(diǎn)。自動識別接收機(jī)和樣機(jī)的差異，僅網(wǎng)絡(luò)拷貝差異部分的數(shù)據(jù)。避免了增量點(diǎn)丟失造成無法增量的問題。增加上層差異拷貝功能，相對傳統(tǒng)模式而言，發(fā)送均速可以達(dá)到1.2～1.5G/分鐘，千兆網(wǎng)絡(luò)環(huán)境下可以達(dá)到2G/分鐘以上。

頻道技術(shù)：頻道可以讓管理員在較短時(shí)間內(nèi)基于某個(gè)真實(shí)操作系統(tǒng)創(chuàng)建出相同的操作系統(tǒng)。頻道可每次開機(jī)還原，也可不還原。頻道也能單獨(dú)安裝軟件。

CTSC系統(tǒng)：是OSS系統(tǒng)附送的一款機(jī)房管理軟件。主要功能有：環(huán)境部署、保護(hù)控制、內(nèi)網(wǎng)安全、行為管控、客戶端控制、資產(chǎn)管理、策略管理、系統(tǒng)管理。

B301、B306、B311機(jī)房所采用的噢易保護(hù)卡V1.27.355.S25S，其功能有：

多系統(tǒng)多分區(qū)支持、差異拷貝、頻道、CTSC功能同上。

自動修改計(jì)算機(jī)名與IP地址：功能類似上述。增加了多IP功能，可以為不同系統(tǒng)分配不同的計(jì)算機(jī)名和IP地址。

文檔、目錄備份：可以指定某個(gè)文檔或目錄不受保護(hù)卡還原功能的影響。

病毒庫升級：支持常用殺毒軟件，病毒庫升級不受保護(hù)卡還原功能影響。

軟件統(tǒng)一注冊：記錄軟件的安裝流程。系統(tǒng)分發(fā)之后，接收機(jī)按此流程重新對軟件進(jìn)行注冊，接收機(jī)無需再次注冊軟件。

3 實(shí)際應(yīng)用效果

以前的多系統(tǒng)方案，是在硬盤引導(dǎo)扇區(qū)安裝多系統(tǒng)引導(dǎo)程序。系統(tǒng)分別安裝在硬盤的不同分區(qū)上，其文件都是互相可見的。某個(gè)系統(tǒng)中了計(jì)算機(jī)病毒，其他系統(tǒng)也會受到影響。噢易多系統(tǒng)多分區(qū)功能，每個(gè)系統(tǒng)都是互相獨(dú)立的，一個(gè)系統(tǒng)中了計(jì)算機(jī)病毒或者崩潰了，對其他系統(tǒng)沒有影響。

以前部署系統(tǒng)時(shí)，需要做好樣機(jī)，然后采用GHOST軟件逐臺復(fù)制，需要大量的工作時(shí)間去部署系統(tǒng)環(huán)境。采用噢易軟件只需要幾十分鐘即可。

以前的系統(tǒng)運(yùn)維，依賴殺毒軟件和GHOST軟件。殺毒軟件無法及時(shí)查殺新病毒，容易誤刪正常文件；GHOST軟件則效率低。之后，采用軟保護(hù)技術(shù)，提高了效率但無法避免人為破壞軟保護(hù)系統(tǒng)。目前采用的噢易軟件比較可靠，不會被學(xué)生或第三方軟件破壞。

以前接到臨時(shí)任務(wù)時(shí)，例如考試、培訓(xùn)、會議等，需要在機(jī)房快速部署一個(gè)新應(yīng)用環(huán)境。傳統(tǒng)方式需要備份系統(tǒng)，然后更改分區(qū)方式，重新分區(qū)，安裝系統(tǒng)和軟件等操作，工作量大、費(fèi)時(shí)。采用噢易軟件的頻道技術(shù)，在幾秒之內(nèi)就能建好新的應(yīng)用環(huán)境，通過差異拷貝技術(shù)快速部署到整個(gè)機(jī)房。

以前對機(jī)房問題電腦的判斷，需要管理員在機(jī)房現(xiàn)場親自查看。安裝CTSC軟件之后，管理員可以在辦公室內(nèi)查看到機(jī)房電腦的軟硬件情況，檢查硬件是否丟失、計(jì)算機(jī)進(jìn)了哪個(gè)操作系統(tǒng)、是否正在保護(hù)系統(tǒng)、對機(jī)房使用環(huán)境是否進(jìn)行了控制以及學(xué)生正在進(jìn)行什么操作等情況。

4 對機(jī)房維護(hù)管理方面的探討

采用噢易保護(hù)卡，使機(jī)房運(yùn)維工作效率顯著提高。不過，技術(shù)總是逐步發(fā)展的。相對新興的云計(jì)算、云桌面技術(shù)而言，現(xiàn)在的管理系統(tǒng)存在一些不足之處：只有相同硬件配置的機(jī)房才能進(jìn)行系統(tǒng)統(tǒng)一部署拷貝，重新部署系統(tǒng)環(huán)境的工作量較大，多系統(tǒng)管理比較復(fù)雜等。

云桌面技術(shù)是最近才發(fā)展并逐步開始應(yīng)用的技術(shù)，就實(shí)際應(yīng)用而言，在可靠度、實(shí)際應(yīng)用環(huán)境契合度上存在不足，云桌面的技術(shù)方案主要有VDI、RDP、VNC等，各自特點(diǎn)不同。只有經(jīng)過市場考驗(yàn)，才會有一個(gè)相對成熟的方案。

邏輯學(xué)的含義范文第2篇

1、邏輯哲學(xué)的探究

邏輯哲學(xué)是一門新興學(xué)科，它主要是對現(xiàn)代邏輯中出現(xiàn)的一些問題的反思，因此學(xué)習(xí)邏輯哲學(xué)首先應(yīng)將現(xiàn)代邏輯主要特征的了解作為前提。

20世紀(jì)以來現(xiàn)代邏輯的發(fā)展主要是符號邏輯即數(shù)理邏輯的發(fā)展，區(qū)別于以自然語言作為主要的工具語言的傳統(tǒng)邏輯，數(shù)理邏輯的工具語言是符號語言。一階邏輯是數(shù)理邏輯的基礎(chǔ)部分，也是數(shù)理邏輯在日常思維中最具應(yīng)用價(jià)值的部分，也是和傳統(tǒng)邏輯關(guān)系最為密切的部分。它的特點(diǎn)（1）體現(xiàn)在處理語詞、命題上，一階邏輯只考慮到語詞或命題的外延；（2）在對命題真值的研究時(shí)，一階邏輯只考慮到兩個(gè)真值，即真值真與真值假，它認(rèn)為一個(gè)命題非真即假而不存在其他真值情況；（3）在對一階謂詞邏輯的量詞研究上，一階邏輯認(rèn)為所有的量詞都存在含義，即不存在個(gè)體域?yàn)榭盏目赵~項(xiàng)。

邏輯學(xué)家和哲學(xué)家針對一階邏輯的特點(diǎn)，通過對現(xiàn)代邏輯的理解將對語詞、摹狀詞、語句、命題、陳述、判斷、主詞、謂詞、量詞等邏輯的基本概念的精細(xì)、深入的分析并對類似邏輯是什么、邏輯的對象是什么、邏輯與非邏輯的區(qū)別是什么等問題將邏輯這一學(xué)科進(jìn)行整體的分析。此外，邏輯哲學(xué)還對例如休謨難題等現(xiàn)代邏輯所未能解決的問題進(jìn)行了哲學(xué)層次的分析探討。

2、哲學(xué)邏輯的探究

哲學(xué)邏輯是20世紀(jì)初興起的一個(gè)新興學(xué)科體系?！哆壿嬚軐W(xué)導(dǎo)論》中，陳波對哲學(xué)邏輯是這樣理解的：“我認(rèn)為，哲學(xué)邏輯是20世紀(jì)30年代至40年代開始興起、50年代至70年代蓬勃發(fā)展的一個(gè)新興的邏輯學(xué)科群體。它以數(shù)理邏輯（主要是一階邏輯）為直接基礎(chǔ)，以傳統(tǒng)的哲學(xué)概念，范疇以及邏輯在各門具體學(xué)科中的應(yīng)用為研究對象，構(gòu)造出各種具有直接哲學(xué)意義的邏輯系統(tǒng)?！?/p>

對哲學(xué)邏輯的涵義，眾邏輯學(xué)家哲學(xué)家理解各異，萊斯徹與馮.賴特等邏輯學(xué)家認(rèn)為哲學(xué)邏輯的主體是“邏輯”，他們認(rèn)為哲學(xué)邏輯主要是只例如模態(tài)邏輯、多值邏輯等非經(jīng)典邏輯系統(tǒng)；斯特勞森與沃爾夫拉姆等邏輯學(xué)家認(rèn)為哲學(xué)邏輯的主體不應(yīng)該是“邏輯”，而是“哲學(xué)”，他們認(rèn)為哲學(xué)邏輯就是對邏輯中的哲學(xué)問題的研究以及對邏輯學(xué)的哲學(xué)研究；格雷林等邏輯學(xué)家則認(rèn)為哲學(xué)邏輯的主體是“哲學(xué)”，他們認(rèn)為哲學(xué)邏輯就是將邏輯中的哲學(xué)問題放入到一個(gè)更一般的哲學(xué)背景下研究，它討論的是關(guān)于語言性質(zhì)、思想、世界的結(jié)構(gòu)與內(nèi)容等問題。由此可見眾邏輯學(xué)家對哲學(xué)邏輯的涵義理解主要有三種，根據(jù)之前我們對邏輯哲學(xué)的理解可以看出，以斯特勞森和沃爾夫拉姆為代表的邏輯學(xué)家所理解的哲學(xué)邏輯實(shí)際上就是我們現(xiàn)在所說的邏輯哲學(xué)，而以格雷林為代表的邏輯學(xué)家對哲學(xué)邏輯涵義側(cè)重理解為在語言上的哲學(xué)研究，從字面上理解這實(shí)際上是語言哲學(xué)。

對于哲學(xué)邏輯的涵義，我國的邏輯與哲學(xué)學(xué)者陳波先生在其《邏輯哲學(xué)導(dǎo)論》一書中是這樣理解的：“這個(gè)學(xué)科群體包括兩大子群：一個(gè)變異邏輯（deviantlogic），形式上表現(xiàn)為經(jīng)典邏輯的擴(kuò)充系統(tǒng)（alternativesystems）；一是應(yīng)用邏輯（appliedlogic），形式上表現(xiàn)為經(jīng)典的擴(kuò)充系統(tǒng)（extendedsystems）?！标惒ㄕJ(rèn)為變異邏輯是由否定或修改一階邏輯的某些基本假定而形成的邏輯分支，具體包括相干邏輯，直覺主義邏輯，自由邏輯，偏邏輯，反事實(shí)條件句邏輯，多值邏輯，量子邏輯，模糊邏輯等；而應(yīng)用邏輯則是利用經(jīng)典邏輯的工具，去分析某些具體學(xué)科特別是哲學(xué)中概念或范疇而建立的邏輯學(xué)分支，具體包括模態(tài)邏輯，道義邏輯，時(shí)態(tài)邏輯，認(rèn)知邏輯，問題邏輯，命令邏輯，優(yōu)先邏輯等。

英國著名邏輯學(xué)家蘇珊.哈克在其《邏輯哲學(xué)》一書中對形式邏輯有如下劃分：“總而言之，作為形式邏輯，我將包括：‘傳統(tǒng)’邏輯——亞里士多德的三段論理論?！?jīng)典’邏輯：二值語句演算、謂詞演算‘；擴(kuò)展’邏輯：模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、認(rèn)知邏輯、優(yōu)選邏輯、祈使邏輯、疑問邏輯‘；異?！壿嫞憾嘀颠壿?、直覺主義邏輯、量子邏輯、自由邏輯。‘歸納’邏輯?！庇纱丝梢姡渲械臄U(kuò)展邏輯實(shí)際上是經(jīng)典邏輯（二值命題演算和謂詞演算）新增一些邏輯算子和相應(yīng)的公理系統(tǒng)而成的一個(gè)新的邏輯分支，而異常邏輯則是對原經(jīng)典邏輯中的同一語詞做個(gè)本質(zhì)的改變從而形成的區(qū)別于傳統(tǒng)邏輯的一個(gè)新的邏輯分支。因此，根據(jù)上述對哲學(xué)邏輯的認(rèn)識，在蘇珊·哈克劃分中哲學(xué)邏輯實(shí)際上等同于是“擴(kuò)展邏輯”和“異常邏輯”兩大類。

3、二者的區(qū)別與聯(lián)系

根據(jù)上面理論的闡述我們可以清楚的區(qū)分哲學(xué)邏輯與邏輯哲學(xué)的區(qū)別，下面我們從模態(tài)邏輯這一個(gè)例子出發(fā)，從而對哲學(xué)邏輯與邏輯哲學(xué)做進(jìn)一步的了解。

在陳波對哲學(xué)邏輯學(xué)科群體劃分中，模態(tài)邏輯屬于應(yīng)用邏輯；在英國邏輯學(xué)家蘇珊·哈克對形式邏輯的劃分中，模態(tài)邏輯則屬于擴(kuò)展邏輯。根據(jù)哲學(xué)邏輯的涵義我們知道哲學(xué)邏輯的主體是“邏輯”，它是以一階命題邏輯和一階謂詞邏輯為基礎(chǔ)，因此對于模態(tài)邏輯，模態(tài)邏輯中模態(tài)命題邏輯、模態(tài)謂詞邏輯形式上分別是在命題邏輯與謂詞邏輯的基礎(chǔ)上加上了必然（）與可能（）兩個(gè)算子進(jìn)而構(gòu)造出一個(gè)新的邏輯系統(tǒng)。

根據(jù)哲學(xué)邏輯的性質(zhì)，我們知道模態(tài)邏輯除了以命題邏輯和謂詞邏輯為基礎(chǔ)而形成之外，它還直接借助于命題邏輯與謂詞邏輯的概念和方法，例如：古典模態(tài)邏輯就是滿足下列條件的古典命題邏輯重言式集的擴(kuò)集：（1）（pq）（pq）∈S；（2）S在分離規(guī)則下封閉：若∈S，∈S，則∈S；（3）S在帶入規(guī)則下封閉：若∈S，則’∈S，這里’是的代入特例；（4）S在弱（哲學(xué)都具有理論和實(shí)踐上的指導(dǎo)和借鑒意義。我們應(yīng)該在堅(jiān)定立場的前提下，吸收和借鑒西方哲學(xué)思想體系中的某些合理因素，體現(xiàn)哲學(xué)體系的開放性和多元性，只有這樣，哲學(xué)體系才能日趨成熟和完善，具有更加持久的生命力。在這種相互借鑒、相互影響的過程中，二者都能得到更好的發(fā)展，也才能推動哲學(xué)中國化的發(fā)展。

邏輯學(xué)的含義范文第3篇

1. 國內(nèi)邏輯學(xué)的傳入和現(xiàn)狀

早在1631年，李之藻、傅汛際翻譯了《名理探》，西方邏輯學(xué)開始傳入中國，后來逐步引起國內(nèi)學(xué)界的重視。1978年，國內(nèi)邏輯學(xué)研究步入了大發(fā)展時(shí)期，先后召開了第一次和第二次全國邏輯研討會，并且在1979年8月成立了中國邏輯學(xué)會。目前中國邏輯學(xué)會下設(shè)辯證邏輯、法律邏輯、符號學(xué)、歸納邏輯、經(jīng)濟(jì)邏輯、科學(xué)邏輯、現(xiàn)代邏輯、形式邏輯、因明、應(yīng)用邏輯、語言邏輯和中國邏輯史共12個(gè)專業(yè)委員會，分別代表了不同的研究方向。2013年8月在北京召開的中國邏輯學(xué)會常務(wù)理事會上，邏輯學(xué)會名譽(yù)會長張家龍先生提出了中國邏輯學(xué)的發(fā)展要堅(jiān)持三個(gè)結(jié)合，即教學(xué)與科研相結(jié)合、理論研究與應(yīng)用研究相結(jié)合、提高與普及相結(jié)合的發(fā)展目標(biāo)。會議圍繞中國邏輯學(xué)會如何充分發(fā)揮為社會、為會員服務(wù)的功能以及邏輯如何應(yīng)用等問題展開了激烈地討論。會議決定，為了充分調(diào)動邏輯學(xué)者的科研積極性，設(shè)立中國邏輯學(xué)會學(xué)術(shù)研究項(xiàng)目，面向全國公開征集研究選題，集中評審后，依照國家社科基金模式，進(jìn)行公開申請、評審；規(guī)范社會各類邏輯培訓(xùn)，中國邏輯學(xué)會擬與相關(guān)社會力量合作，成立專門機(jī)構(gòu)進(jìn)行邏輯培訓(xùn)資格認(rèn)證；通過開設(shè)若千門規(guī)范的邏輯基礎(chǔ)課程，提髙培訓(xùn)老師的邏輯素質(zhì)，從而為提高全民族的邏輯素質(zhì)服務(wù)；并就是否進(jìn)行邏輯素質(zhì)等級考試進(jìn)行了討論。邏輯學(xué)會應(yīng)積極推進(jìn)批判性思維的教學(xué)、研究工作，推動籌備在高等學(xué)校文化素質(zhì)教學(xué)指導(dǎo)委員會下成立相關(guān)的分支指導(dǎo)委員會。本次會議，為中國邏輯學(xué)的發(fā)展指明了努力的方向，也為邏輯學(xué)教學(xué)改革定下了基調(diào)。

2. 國內(nèi)邏輯學(xué)的主要研究方向

數(shù)理邏輯——中國邏輯、印度邏輯和古希臘邏輯并稱為古代世界三大邏輯傳統(tǒng)，而以古希臘邏輯為先河的西方邏輯學(xué)得到了長足的發(fā)展。在西方，邏輯學(xué)與哲學(xué)并起，發(fā)源于公元前6世紀(jì)至公元前5世紀(jì)的古希臘，而以亞里士多德的研究成果最為杰出，他所創(chuàng)立的古典邏輯，經(jīng)過后人的增補(bǔ)、發(fā)展，形成了傳統(tǒng)邏輯，至今仍為大學(xué)邏輯教學(xué)理論體系中的重要內(nèi)容。中世紀(jì)的邏輯學(xué)被當(dāng)作神學(xué)的工具，而以西班牙邏輯學(xué)家彼得的《邏輯大全》流傳最廣、影響較大，成為13世紀(jì)至16世紀(jì)西歐各類學(xué)校廣泛采用的邏輯學(xué)課本。近代培根的歸納法對近代邏輯學(xué)和科學(xué)的發(fā)展具有劃時(shí)代的意義，隨后近代科學(xué)家笛卡爾、赫舍爾、惠威爾等分別對科學(xué)歸納邏輯進(jìn)行了深人的探討。17世紀(jì)末，萊布尼茲初步奠定了現(xiàn)代形式邏輯即符號邏輯的基礎(chǔ)。19世紀(jì)英國著名的邏輯學(xué)家漢密爾頓創(chuàng)立了謂詞量化理論，極大地推動了符號邏輯的發(fā)展。德摩根提出了關(guān)系命題和關(guān)系推理，喬治布爾創(chuàng)立了邏輯代數(shù)，使邏輯代數(shù)臻于完善。20世紀(jì)初，德國著名的數(shù)學(xué)家、邏輯學(xué)家弗雷格構(gòu)建了比較完全的邏輯演算系統(tǒng)，開創(chuàng)了公理系統(tǒng)的先河。后由羅素、希爾伯特和哥德爾等人所完善的一階邏輯，是當(dāng)代邏輯大廈的基石。哥德爾的不完全性定理、塔斯基的邏輯語義學(xué)、圖靈的“圖靈機(jī)理論”，成為邏輯史上三項(xiàng)劃時(shí)代的重大成果。促使形式系統(tǒng)的方法成為現(xiàn)代邏輯研究的基本方法，而集合論、證明論、模型論、遞歸論成為現(xiàn)代邏輯的基本工具。形成了數(shù)理邏輯的研究方向。

邏輯哲學(xué)和哲學(xué)邏輯——邏輯哲學(xué)主要研究邏輯的哲學(xué)以及運(yùn)用現(xiàn)代邏輯工具分析解決重大哲學(xué)問題。20世紀(jì)上半期，邏輯學(xué)作為哲學(xué)的二級學(xué)科，和哲學(xué)既相對獨(dú)立，又相互作用，推動了哲學(xué)研究的“語言學(xué)轉(zhuǎn)向”，主要以英美哲學(xué)家奧斯汀、戴維森、格賴斯、克里普克、蒯因、羅素、塞爾、斯特勞森和維特根斯坦為代表。研究內(nèi)容主要涉及真理和意義、言語行為理論、指稱與摹狀詞、名稱與指示詞、命題態(tài)度、可能世界與情境理論、隱喻、私人語言等領(lǐng)域。哲學(xué)邏輯主要分兩個(gè)方面進(jìn)行研究，其一是在經(jīng)典邏輯的基礎(chǔ)上，引進(jìn)具有哲學(xué)含義的邏輯算子而構(gòu)建擴(kuò)充邏輯系統(tǒng)，如模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯和認(rèn)知邏輯等；另一種是在某種哲學(xué)思考的背景下，對經(jīng)典邏輯算子的變異解釋建構(gòu)擇代邏輯系統(tǒng)，如多值邏輯、弗協(xié)調(diào)邏輯、模糊邏輯、直覺主義邏輯以及多值模態(tài)邏輯等。

歸納邏輯——?dú)w納邏輯屬于非演繹邏輯，前期的研究主要包括回溯推理、穆勒五法的推廣、現(xiàn)代科學(xué)技術(shù)中的新歸納方法以及類比推理等。20世紀(jì)80年代后期，歸納邏輯更關(guān)注于專家系統(tǒng)、知識工程和智能計(jì)算機(jī)等方面的研究以及對歸納邏輯面臨的哲學(xué)問題的研究。同時(shí)，對歸納邏輯的研究，更傾向于對概率邏輯的研究。

應(yīng)用邏輯和邏輯應(yīng)用——包括科學(xué)邏輯、語言邏輯、法律邏輯、決策邏輯和經(jīng)濟(jì)邏輯等。科學(xué)邏輯是經(jīng)驗(yàn)自然科學(xué)的邏輯方法論，包括發(fā)現(xiàn)的邏輯、檢驗(yàn)的邏輯以及發(fā)展的邏輯三個(gè)方面，主要對邏輯的基本理論與方法論在科學(xué)研究中的作用機(jī)理進(jìn)行探究。語言邏輯以自然語言為研究對象，同時(shí)以人工語言作為分析工具，主要研究語言的語形、語義和語用，以現(xiàn)代邏輯的成果為研究基礎(chǔ)。有的則從廣義量詞理論、蒙太古語法、范疇類型邏輯等方面進(jìn)行研究。可以構(gòu)造語言邏輯系統(tǒng)，研究通過演繹方式獲得概稱句的推理。而法律邏輯主要研究傳統(tǒng)邏輯在法律中的應(yīng)用，研究法律推理或論語。經(jīng)濟(jì)邏輯主要研究概率邏輯、博弈邏輯等和經(jīng)濟(jì)相關(guān)的一些邏輯推理。決策邏輯則以哲學(xué)邏輯為工具，如認(rèn)知邏輯，突出社會經(jīng)濟(jì)活動中主體在互動交流中所涉及到推理模式。

辯證邏輯——關(guān)于辯證邏輯是不是邏輯，還存在有廣泛的爭論。辯證邏輯主要形成了三個(gè)不同的研究方向：范疇理論方向、形式化方向和科學(xué)方法論方向。

邏輯史研究——包括中國邏輯史、西方邏輯史以及因明。關(guān)于中國邏輯史的研究，現(xiàn)在很多以先秦邏輯學(xué)家的著作為主要研究對象，尋求中國古代的一些邏輯思想，也有的將邏輯和文化相結(jié)合，研究不同民族的思維方式。西方邏輯史則以西方邏輯的發(fā)展史為主要研究對象，探討西方邏輯史的發(fā)展過程和規(guī)律，以及不同時(shí)代的邏輯學(xué)家對邏輯所做的貢獻(xiàn)。因明主要有漢傳因明和藏傳因明，對因明進(jìn)行搶救性的整理和研究。

二、國內(nèi)邏輯學(xué)教學(xué)面臨的困境

目前雖然國內(nèi)邏輯學(xué)的教學(xué)取得了長足的發(fā)展，但仍然面臨著令人堪憂的問題，究其原因如下。

首先，中國古代邏輯學(xué)的發(fā)展，遠(yuǎn)不如古希臘邏輯發(fā)展得完備、系統(tǒng)化，也不如印度的因明發(fā)展得充分。中國邏輯學(xué)以諸子百家中的墨家邏輯學(xué)發(fā)展得相對比較完善外，儒家的名學(xué)和辯學(xué)中也有類似于邏輯的一些片段，而到了后期，儒道兩家成為中國學(xué)術(shù)的權(quán)威，而其它各家則漸趨衰落，從而形成了中國固有的思維模式和思維傳統(tǒng)，即重感性而輕理性的思維范式。雖然后來西方邏輯傳入中國，但并未根本改變固有的思維模式，理性思維并沒有真正融人到日常思維之中，因此，邏輯在中國還沒有得到足夠的重視。

其次，國內(nèi)的邏輯學(xué)教材參差不齊，教學(xué)內(nèi)容不夠完善，本科生的邏輯學(xué)教材大部分都大同小異，皆以西方亞里士多德的傳統(tǒng)邏輯為主要授課內(nèi)容。研究生專用教材，各個(gè)高校選用的也各不相同，國內(nèi)缺乏這方面的比較通用的一些教材。邏輯學(xué)專業(yè)比較強(qiáng)的一些高校，則大部分以國外的邏輯學(xué)教材為范本，這有利于提高研究生培養(yǎng)的質(zhì)量。對于本科生的教材而言，一旦引入現(xiàn)代邏輯，則學(xué)生又會反映難學(xué)，受國內(nèi)實(shí)用主義風(fēng)氣的影響，社會也需要大批的實(shí)用型人才，這些都影響到高校的教學(xué)和管理理念，迫于就業(yè)、分配的壓力而加大了應(yīng)用學(xué)科、實(shí)用學(xué)科的發(fā)展，削弱了邏輯學(xué)這樣的基礎(chǔ)學(xué)科的教育，普遍認(rèn)為學(xué)習(xí)邏輯學(xué)在服務(wù)地方經(jīng)濟(jì)方面，顯得比較薄弱，學(xué)習(xí)邏輯學(xué)沒有什么用處。這種現(xiàn)象也引起了學(xué)者和國家教育部門的重視，正試圖編寫一些具有權(quán)威性的教材。

第三是我國邏輯學(xué)教師隊(duì)伍與國外相比，整體水平不高。就國內(nèi)而言，設(shè)有邏輯學(xué)博士點(diǎn)的高校只有北京大學(xué)、清華大學(xué)、南開大學(xué)等20個(gè)左右，而培養(yǎng)的邏輯學(xué)專業(yè)的教師，包括博士生，許多都改教其他課程，或者兼教一點(diǎn)邏輯，或者參加公務(wù)員考試而走上仕途，放棄了對邏輯學(xué)專業(yè)做進(jìn)一步的研究的理想。同時(shí)，報(bào)考邏輯學(xué)專業(yè)的研究生的生源嚴(yán)重不足，無法培養(yǎng)足夠的專業(yè)教師隊(duì)伍從事邏輯學(xué)教學(xué)的需求。另外，即使是邏輯學(xué)專業(yè)的導(dǎo)師，許多對現(xiàn)代邏輯也不是很精通，培養(yǎng)出來的研究生的質(zhì)量也參差不齊，很多研究生無法教授現(xiàn)代邏輯課程，這都制約了邏輯學(xué)教學(xué)質(zhì)量的提髙。同時(shí)由于教學(xué)方法陳舊，教學(xué)理念不夠科學(xué)，這些也都影響了學(xué)生的學(xué)習(xí)的積極性。

三、邏輯教學(xué)改革的策略

邏輯教學(xué)的改革必須針對邏輯學(xué)教學(xué)面臨的困境，采取相應(yīng)的措施。首先要求教育行政管理部門和各髙校要重視邏輯學(xué)的基礎(chǔ)學(xué)科地位，關(guān)注邏輯學(xué)科的發(fā)展，搭建邏輯學(xué)的學(xué)科平臺，加強(qiáng)學(xué)術(shù)隊(duì)伍建設(shè)，轉(zhuǎn)變急功近利的觀念，打破思維定式。從邏輯學(xué)教學(xué)自身的特點(diǎn)，從邏輯學(xué)課程的開設(shè)方式和邏輯教學(xué)觀念的改革出發(fā)，轉(zhuǎn)變學(xué)生傳統(tǒng)的思維模式，提高邏輯學(xué)課堂教學(xué)的效果，可以采取以下一些措施。

1.邏輯學(xué)課程內(nèi)容的改革

關(guān)于高校邏輯學(xué)教學(xué)內(nèi)容的走向問題，郭橋認(rèn)為目前國內(nèi)主要有以下3種觀點(diǎn)。其一用現(xiàn)代邏輯取代傳統(tǒng)邏輯。該觀點(diǎn)主要以王路為代表的學(xué)者’在高校應(yīng)該教授現(xiàn)代邏輯，用其取代傳統(tǒng)邏輯。因此被稱為“取代論”者。其二堅(jiān)持傳統(tǒng)邏輯不可廢止。以張盛彬、馬佩、郁慕鏞等為代表。主張中國高校，文科主要應(yīng)該學(xué)習(xí)傳統(tǒng)邏輯，不應(yīng)以數(shù)理邏輯內(nèi)容完全取代大學(xué)文科邏輯教材中的傳統(tǒng)邏輯的內(nèi)容，同時(shí)也應(yīng)該在高校適當(dāng)?shù)刂v授非形式化的普通邏輯。其三堅(jiān)持形式邏輯和非形式邏輯并舉，認(rèn)為邏輯教學(xué)改革至少應(yīng)該是形式化邏輯和論證邏輯并重，傳統(tǒng)邏輯的形式化不是邏輯現(xiàn)代化的唯一道路，數(shù)理邏輯也不是現(xiàn)代邏輯的全部。我們認(rèn)為，髙校的邏輯學(xué)教學(xué)應(yīng)該參照國外邏輯學(xué)的課程設(shè)置，根據(jù)學(xué)生的不同的學(xué)科背景，開設(shè)不同的邏輯學(xué)課程，選擇不同的教學(xué)內(nèi)容，制定不同的教學(xué)大綱和課時(shí)計(jì)劃。同時(shí)各個(gè)學(xué)校也要有自己的特色，根據(jù)本校的師資力量和學(xué)科特點(diǎn)進(jìn)行取舍。

據(jù)此，邏輯學(xué)的教學(xué)內(nèi)容，也就是教材的設(shè)計(jì)至關(guān)重要。在本科教學(xué)階段，針對邏輯學(xué)教學(xué)中存在的一些問題，比如教材內(nèi)容比較抽象，邏輯學(xué)專業(yè)性比較強(qiáng)，教材不能切合各個(gè)高校學(xué)生的具體情況等，可以進(jìn)行有針對性的改革。所以要建立和完善邏輯學(xué)的課程體系，根據(jù)邏輯學(xué)的不同的研究方向和本高生的具體的學(xué)科背景，形成以傳統(tǒng)邏輯、現(xiàn)代邏輯、歸納邏輯、邏輯應(yīng)用、批判性思維等課程體系，分設(shè)基礎(chǔ)課、專業(yè)課、選修課、通識課等不同的類型，以適應(yīng)不同專業(yè)、不同層次的本科生的學(xué)習(xí)。改革邏輯學(xué)教學(xué)大綱、制作規(guī)范的邏輯學(xué)教案和課件，以校級精品課程、國家級精課程為參照，注意知識性和趣味性、理論性和實(shí)用性相結(jié)合。目前的傳統(tǒng)邏輯教材都大同小異，所以我國邏輯教學(xué)改革須借鑒國際邏輯教學(xué)改革的經(jīng)驗(yàn)，在教材設(shè)計(jì)方面，盡量參照西方的教材，針對不同教學(xué)對象，開設(shè)不同層次的教材。對于高校的本科生，特別是文科生，可以根據(jù)不同的專業(yè)，設(shè)置不同的教學(xué)內(nèi)容。如哲學(xué)、思政等專業(yè)可以經(jīng)典邏輯為主要授課內(nèi)容，適當(dāng)增加邏輯哲學(xué)、現(xiàn)代邏輯、歸納邏輯的一些內(nèi)容。中文、外語、廣電、新聞等語言類專業(yè)的學(xué)生可以增設(shè)語言哲學(xué)、邏輯哲學(xué)、言語交際等方面的課程。法律、經(jīng)管、社會學(xué)等專業(yè)的學(xué)生，可以增設(shè)現(xiàn)代邏輯，而仍以傳統(tǒng)邏輯為主要授課內(nèi)容，同時(shí)增加法律邏輯、經(jīng)濟(jì)邏輯、辯證邏輯、歸納邏輯、哲學(xué)邏輯中的道義邏輯（適用于法律邏輯專業(yè)的學(xué)生）和MBA考試相關(guān)的邏輯知識等內(nèi)容。至于學(xué)時(shí)數(shù)的設(shè)計(jì)，根據(jù)教學(xué)實(shí)踐經(jīng)驗(yàn)，應(yīng)該選擇36學(xué)時(shí)或者54學(xué)時(shí)，這樣才能使本科生沒有太大的學(xué)習(xí)壓力，同時(shí)又能受到邏輯學(xué)的訓(xùn)練|51^2°。因此就需要對邏輯學(xué)這門學(xué)科有一個(gè)頂層設(shè)計(jì)，從國家層面制定較為統(tǒng)一的教材，同時(shí)各高校根據(jù)自身的特點(diǎn)，制定相應(yīng)的教材。

對于研究生來說，則主要應(yīng)以西方邏輯史為基礎(chǔ)知識，這里的西方邏輯史主要指國外純英文的西方邏輯史手冊為教授的主要內(nèi)容，使研究生了解西方邏輯發(fā)展的歷史進(jìn)程，邏輯學(xué)家們的邏輯理論和形成該理論的歷程。然后根據(jù)不同的師資力量和生源的學(xué)科背景，有選擇地開設(shè)四論（證明論、集合論、模型論和遞歸論）這樣的基礎(chǔ)理論，文科學(xué)生可以開設(shè)邏輯哲學(xué)、語言哲學(xué)、法律邏輯、經(jīng)濟(jì)邏輯、歸納邏輯、中國邏輯史、因明等邏輯課程。有選擇地開設(shè)模態(tài)邏輯、人工智能、現(xiàn)代邏輯（數(shù)理邏輯、符號邏輯）、哲學(xué)邏輯。對于理工科背景的學(xué)生，則可以對上述邏輯根據(jù)愛好進(jìn)行選擇。像阿姆斯特丹大學(xué)就具有很好的邏輯學(xué)教學(xué)傳統(tǒng)，開設(shè)邏輯、語言與計(jì)算相關(guān)的邏輯學(xué)課程，很值得我們借鑒學(xué)習(xí)。要求研究生的專業(yè)方向要和人學(xué)前的學(xué)科背景相關(guān)，專業(yè)方向分為“數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)”、“信息和計(jì)算”以及“語言和認(rèn)知”。根據(jù)不同的研究方向，開設(shè)不同的課程。對于“數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)”方向，要求掌握數(shù)學(xué)基礎(chǔ)知識，熟悉數(shù)學(xué)中的相關(guān)的基本概念，掌握拓?fù)鋵W(xué)、代數(shù)學(xué)、集合論中的和邏輯相關(guān)的基本概念，學(xué)好四論。對于“信息和計(jì)算”方向的學(xué)生，要熟悉集合論、證明論中的一些概念和方法以及計(jì)算機(jī)專業(yè)中和邏輯相關(guān)的課程。“語言和認(rèn)知”方向的學(xué)生，除了熟悉四論中的一些基礎(chǔ)理論外，還要求掌握哲學(xué)和語言學(xué)中的基本理論。其課程設(shè)計(jì)也是根據(jù)不同的研究方向，開設(shè)不同的課程。對“數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)”方向的學(xué)生，開設(shè)模態(tài)邏輯導(dǎo)論與公理集合論，遞歸論和模型論，以及集合論高等研究、構(gòu)造主義、模態(tài)邏輯等。在“計(jì)算機(jī)和信息科學(xué)”方向，開設(shè)約束編程、自動化推理、對話系統(tǒng)、信息科學(xué)的博弈論、信息論、信息檢索、神經(jīng)網(wǎng)絡(luò)和符號推理、語言和言語技術(shù)、語言學(xué)習(xí)、算法、復(fù)雜性和計(jì)算、概率系統(tǒng)、資料導(dǎo)向的分析及不確定性推理等。對于“語言和認(rèn)知”方向的的學(xué)生，開設(shè)邏輯和認(rèn)知、語義的結(jié)構(gòu)和內(nèi)涵語義、哲學(xué)與認(rèn)知、理性、內(nèi)涵和言語行為、意義指稱和模態(tài)等。同時(shí)對研究生的畢業(yè)論文的質(zhì)量進(jìn)行嚴(yán)格的控制。這些經(jīng)驗(yàn)都值得我們借鑒和學(xué)習(xí)。

同時(shí)各專業(yè)都應(yīng)該開設(shè)批判性思維相關(guān)的邏輯課程，特別是針對即將畢業(yè)的大學(xué)本科生，因?yàn)樗麄兠媾R著就業(yè)、深造等多種選擇，這就需要參加各級各類能力考試，而邏輯學(xué)則為必考的內(nèi)容之一，因此可以為學(xué)生解答GRE考試、GMAT考試、LSAT考試、MBA考試、MPA考試、GCT考試、行政職業(yè)能力測試中的相關(guān)試題，為大學(xué)生的進(jìn)一步深造（如考邏輯學(xué)研究生等）創(chuàng)造有利條件，同時(shí)也增加了大學(xué)生的就業(yè)機(jī)會，提升了大學(xué)生的綜合能力和素質(zhì)。

2.邏輯學(xué)教學(xué)方法的改革

科學(xué)的教學(xué)方法，可以提高教學(xué)效果，提升教學(xué)質(zhì)量。邏輯學(xué)教師，要更新教學(xué)觀念，關(guān)注國際國內(nèi)邏輯學(xué)研究的前沿，不斷吸納新的知識，創(chuàng)新教學(xué)方法，運(yùn)用先進(jìn)的多媒體教學(xué)設(shè)備，使教學(xué)達(dá)到最佳效果。在課堂教學(xué)中，可以采用案例教學(xué)，增強(qiáng)學(xué)生的學(xué)習(xí)興趣。案例就是指在教學(xué)情境中發(fā)生的典型事件，是圍繞事件而設(shè)計(jì)的故事，是對事件的描述。而案例教學(xué)就是在教師的指導(dǎo)下，據(jù)教學(xué)目的的要求，組織學(xué)生對案例進(jìn)行閱讀、思考、分析和討論等活動。案例教學(xué)法，是運(yùn)用社會或身邊發(fā)生的事例，或者是歷史、寓言、小說等事例，和邏輯學(xué)相結(jié)合，以激發(fā)學(xué)生學(xué)習(xí)邏輯的興趣，指明其中蘊(yùn)含的道理，給學(xué)生以啟發(fā)的教學(xué)模式。同時(shí)，課堂教學(xué)也要運(yùn)用啟發(fā)式教學(xué)法、愉快教學(xué)法、注重課堂教學(xué)中的語言表達(dá)等方法，激發(fā)學(xué)生對邏輯學(xué)這門學(xué)科的濃厚的興趣，領(lǐng)略邏輯的奧妙，從而更好地掌握邏輯基礎(chǔ)理論。要求學(xué)生多讀一些邏輯方面的基礎(chǔ)理論知識，特別是國外的一些邏輯學(xué)方面的基礎(chǔ)教材，培養(yǎng)理性思維能力。適當(dāng)布置一些課后作業(yè)，要求學(xué)生在課堂教學(xué)結(jié)束后選擇一個(gè)與本課程相關(guān)的主題作進(jìn)一步研究，寫出具有創(chuàng)新性的小論文，讓學(xué)生沉浸到圖書資料的海洋之中，吸取豐富的營養(yǎng)，提高自身的學(xué)術(shù)素養(yǎng)。營造良好的學(xué)習(xí)邏輯學(xué)的氛圍，舉辦各種側(cè)重點(diǎn)不同的學(xué)術(shù)講座和專題討論會，邀請邏輯學(xué)專業(yè)的導(dǎo)師或者學(xué)者做專題講座。定期組織學(xué)生組成專題小組，針對不同的專題進(jìn)行討論，這樣有利于提高研究生的畢業(yè)論文的質(zhì)量和創(chuàng)新點(diǎn)。對于研究生，還要鼓勵(lì)他們參加全國性、國際性的邏輯學(xué)術(shù)會議，多和邏輯大家進(jìn)行交流，增長自己的見識，了解學(xué)術(shù)前沿。

3.邏輯學(xué)科研創(chuàng)新方面的改革

至于學(xué)習(xí)傳統(tǒng)邏輯能否培養(yǎng)出高層次的邏輯學(xué)科研人員，或者說培養(yǎng)出邏輯學(xué)家的問題，在學(xué)術(shù)界也進(jìn)行了廣泛的爭論，有的學(xué)者認(rèn)為，改革開放以來，雖然有很多高校畢業(yè)生接受了邏輯學(xué)的基礎(chǔ)理論的學(xué)習(xí)，但真正成為知名的邏輯學(xué)家的，恐怕還沒有。但是，任何一個(gè)邏輯學(xué)家，必然懂得基礎(chǔ)的邏輯學(xué)知識，不能因?yàn)閭鹘y(tǒng)邏輯培養(yǎng)不出現(xiàn)代邏輯學(xué)家就放棄學(xué)習(xí)傳統(tǒng)邏輯學(xué)。教育部、國家社科規(guī)劃辦每年都設(shè)有邏輯學(xué)科的課題項(xiàng)目，包括重大項(xiàng)目、重點(diǎn)項(xiàng)目、一般項(xiàng)目、青年項(xiàng)目和西部項(xiàng)目，這樣有利于邏輯學(xué)科的科研創(chuàng)新和原創(chuàng)性的成果的出現(xiàn)。同時(shí)積極創(chuàng)辦更多的邏輯學(xué)專業(yè)的期刊、雜志。目前除了中山大學(xué)的《邏輯學(xué)研究》外，還沒有其它專門的邏輯學(xué)刊物，希望以后能夠創(chuàng)辦更多的邏輯學(xué)專業(yè)的專門的學(xué)術(shù)期刊，以便可以有更多的學(xué)術(shù)成果的發(fā)表陣地。同時(shí)其它的核心期刊，也需要增加刊發(fā)邏輯學(xué)專業(yè)的一些欄目，使邏輯學(xué)專業(yè)的學(xué)者有更加廣泛地發(fā)表文章的陣地。

邏輯學(xué)的含義范文第4篇

（武漢商貿(mào)職業(yè)學(xué)院電商管理學(xué)院，武漢 430205）

（E-business Management School of Wuhan International Trade University，Wuhan 430205，China）

摘要： 可能世界語義學(xué)是誕生于20世紀(jì)50年代的一種內(nèi)涵語義學(xué)，它產(chǎn)生的原因在于模態(tài)邏輯的發(fā)展遇到了一定的問題，迫切需要這樣一種內(nèi)涵語義學(xué)。而正是在這種情況下，可能世界語義學(xué)的發(fā)展，很切合實(shí)際的彌補(bǔ)了經(jīng)典語義學(xué)的一些弊端和缺陷。為模態(tài)邏輯的研究提供了十分適用的語義工具。但是，隨著模態(tài)邏輯的進(jìn)一步發(fā)展，可能世界語義學(xué)的運(yùn)用也出現(xiàn)了一些問題。

Abstract： Possible-world semantics is a kind of intensional semantics born in the 1950s. The causes of it lies in the development problems of modal logic, which urgently needs such a intensional semantics. And it is in this case, the development of possible-world semantics made up for some shortcomings and deficiencies of the classical semantics. It provides very applicable semantic tools for the research of modal logic. But with the further development of modal logic, the use of possible-world semantics also appeared some problems.

關(guān)鍵詞 ： 模態(tài)邏輯；可能世界語義學(xué)；發(fā)展；問題

Key words： modal logic；possible-world semantics；development；problem

中圖分類號：H313 文獻(xiàn)標(biāo)識碼：A

文章編號：1006-4311（2015）06-0322-02

0 引言

模態(tài)邏輯自誕生之日發(fā)展到現(xiàn)在，已成為一個(gè)非常重要的邏輯分支?！翱赡苁澜纭痹谀B(tài)邏輯中，有著非常重要的位置，它是模態(tài)邏輯的形式語義學(xué)，可能語義學(xué)的出現(xiàn)，使得模態(tài)邏輯的發(fā)展迎來了一個(gè)不同的時(shí)期?；诖耍趯W(xué)習(xí)模態(tài)邏輯的同時(shí)，有必要了解可能世界語義學(xué)的基本發(fā)展歷程。

1 可能世界的幾種含義

“可能世界”是模態(tài)邏輯里的一個(gè)概念，從直觀上來說，是指可能狀態(tài)的組合。這一概念最早由萊布尼茨提出，基于此，他闡發(fā)了一些重要思想。在對反事實(shí)條件句的專題研究中，劉易斯認(rèn)為，“‘事物的可能存在方式’是實(shí)體的存在?！?；在《命名與必然性》一書中，克里普克認(rèn)為可能世界就是“現(xiàn)實(shí)世界的各種可能狀態(tài)”，即“現(xiàn)實(shí)世界的非真實(shí)情形”。從邏輯學(xué)的角度來看，卡爾納普認(rèn)為可能世界是“解決命題真值的句子集，或描狀描述集”，即使一命題具有真值的可能狀況的組合?，F(xiàn)代邏輯語義學(xué)認(rèn)為，可能世界是使得一命題具有真值的對象或狀態(tài)，也就是在原本體論意義上加個(gè)邏輯真值。

2 可能世界語義學(xué)的內(nèi)涵

20世紀(jì)50—60年代，鑒于模態(tài)邏輯發(fā)展的迫切需要，一批邏輯學(xué)家例如坎格爾（B. Kanger）、蒙太古（R. Montague）、普賴爾（A. N. Prior）、欣迪卡（J. Hintikka）和克里普克（S. Kripke）等人從萊布尼茨的上述思想出發(fā)，發(fā)展了一種模態(tài)語義理論即可能世界語義學(xué)，這就把模態(tài)邏輯的發(fā)展推向了一個(gè)新的高度。它的發(fā)展，對于經(jīng)典的語義學(xué)產(chǎn)生了如下幾個(gè)方面的影響。第一，它使命題的真假相對化。第二，它使必然性、可能性概念相對化。第三，它使可能世界之間具有一定的關(guān)系。

3 可能世界語義學(xué)理論的發(fā)展

50年代初，模態(tài)命題邏輯的代數(shù)語義學(xué)首先產(chǎn)生和發(fā)展起來。稍后，由美國邏輯學(xué)家拉索瓦和西柯爾斯基將代數(shù)語義學(xué)推廣到模態(tài)謂詞邏輯。50年代中后期到60年代初期，以美國邏輯學(xué)家克里普克為代表建立的可能世界語義學(xué)得到迅速發(fā)展，取得一批重要成果。60年代中期，美國邏輯學(xué)家萊蒙在命題邏輯的層次上建立了上述兩種語義學(xué)的轉(zhuǎn)換關(guān)系，并提出了在模態(tài)謂詞邏輯領(lǐng)域里建立兩種語義學(xué)轉(zhuǎn)換關(guān)系的設(shè)想。但該設(shè)想因萊蒙逝世未能實(shí)現(xiàn)，國外模態(tài)邏輯學(xué)界也未有人持續(xù)這一工作。

克里普克所表述的MPL的語義學(xué)從模型結(jié)構(gòu)<G，K，R>入手，此處K是一世界集，以現(xiàn)實(shí)世界G為一元素，R則是一介于世界之間的關(guān)系。這種語義學(xué)澄清了疊置模態(tài)問題。多年來人們所構(gòu)造的多種多樣模態(tài)命題邏輯的形式系統(tǒng)，根據(jù)這種語義學(xué)，可以看成是給R加上了補(bǔ)充限制。這只是一種很一般的模型論語義學(xué)。

中國科技大學(xué)研究生院高恒珊在60年代初開始研究模態(tài)邏輯，多年來取得許多成果。他在《科學(xué)通報(bào)》和《數(shù)學(xué)學(xué)報(bào)》發(fā)表的四篇論文：《量詞模態(tài)系統(tǒng)的代數(shù)語義與Kripke語義——關(guān)于S5*情形》、《量詞模態(tài)邏輯的代數(shù)語義學(xué)（Ⅰ）——關(guān)于S5*情形》、《量詞模態(tài)邏輯的代數(shù)語義學(xué)（Ⅱ）——關(guān)于含Barcan公式的正規(guī)模態(tài)邏輯系統(tǒng)的情形》、《量詞模態(tài)邏輯的代數(shù)語義學(xué)（Ⅲ）——關(guān)于不含Barcan公式的正規(guī)模態(tài)邏輯系統(tǒng)的情形》——這四篇論文是一個(gè)系列研究，其結(jié)果是在模態(tài)謂詞邏輯的領(lǐng)域里建立了Kripke語義到代數(shù)語義的轉(zhuǎn)化，完成了萊蒙的設(shè)想。

北京大學(xué)的周北海，在1994年的論文《嫁接框架與SI-完全性》和Gra fted frames and S1-Completeness, The Journal of Symbolic Logic（Volume 64 Number3 Sept. 1999）中，他第一次使用了這種“嫁接”模式，在此基礎(chǔ)上，構(gòu)建了一套新型模態(tài)邏輯語義框架就是通常所說的“嫁接框架”。

4 情境語義學(xué)與可能世界理論

情境語義學(xué)（Situation Semantics）創(chuàng)立于上世紀(jì)80年代，其創(chuàng)始人是美國數(shù)理邏輯學(xué)家、人工智能學(xué)家巴威斯（Jon Barwise）和邏輯學(xué)家、語言學(xué)家佩里（John Perry）。從他們創(chuàng)立情景語義學(xué)的動機(jī)來看，主要是為了解決以往邏輯語義學(xué)在處理自然語言的豐富意義方面的缺陷和不足，因此，上述學(xué)者創(chuàng)立了情景語義學(xué)，通過這種模式，以更加合理的解釋自然語言在不同情境下的豐富涵義。

情境語義學(xué)產(chǎn)生的最根本原因與邏輯語義學(xué)相關(guān)。巴威斯認(rèn)為，“可能世界方案對感知語義學(xué)（the semantics of perception）的處理根本就是錯(cuò)誤的”。從人們在日常溝通交流過程中，使用的基本語句來看，它也只不過是觸及了世界的一小部分，在這種情況下，要想判斷其真假，只需要通過參考世界的部分片段即可。在這樣的形勢下，情境語義學(xué)應(yīng)運(yùn)而生，并且在后來的發(fā)展過程中，逐漸開始發(fā)揮重要作用。

情境語義學(xué)是一種新型語義理論，雖然它在意義和日常推理的哲學(xué)解釋上獲得極大成功，但在形式技術(shù)上還不夠成熟。模態(tài)邏輯的形式技術(shù)方面已經(jīng)發(fā)展得相當(dāng)成熟，但它的可能世界語義學(xué)在哲學(xué)解釋上卻存在諸多困難。可以說，對于哲學(xué)上的解釋，不是一朝一夕能夠完成的。

5 可能世界語義學(xué)理論存在的問題

從現(xiàn)階段來看，“可能世界”這個(gè)基本語義學(xué)概念仍然不夠清晰明確，在今后的發(fā)展過程中，需要學(xué)者們繼續(xù)完善?？赡苁澜缯Z義學(xué)同當(dāng)前的社會價(jià)值觀比較接近，但是也并沒有對 “可及”（accessible）這一極其重要的概念給出明確的定義，此外，值得注意的一點(diǎn)就是，模態(tài)邏輯的核心概念“可能”和“必然”解釋的不夠清晰合理，在今后的理論發(fā)展中，應(yīng)該注意二者的本質(zhì)區(qū)別，及其各自的明確內(nèi)涵。

6 結(jié)束語

通過上面的分析論述可知，可能世界語義學(xué)的發(fā)展，經(jīng)歷了不同的時(shí)期和階段，在其剛出現(xiàn)時(shí)，由于其相對于經(jīng)典傳統(tǒng)語義學(xué)存在的優(yōu)勢，使得應(yīng)用程度不斷提高，但是隨著語言文化和語義背景的變化和發(fā)展，這種世界語義學(xué)的使用，也開始出現(xiàn)一些弊端，不能夠明確清晰合理地解釋不同情境下的自然語言的豐富涵義，這就使得人們在運(yùn)用過程中十分不方便，在此種情況下，情境語義學(xué)開始出現(xiàn)，在一定程度上彌補(bǔ)上世界語義學(xué)的些許不足。

參考文獻(xiàn)：

[1]陳波.邏輯哲學(xué)[M].北京大學(xué)出版社，2005，8.

[2]宋文堅(jiān).邏輯學(xué)的傳入與研究[M].福建人民出版社，2005.

[3]朱建平.確證邏輯：一種基于證據(jù)的認(rèn)知邏輯[J].深圳大學(xué)學(xué)報(bào)（人文社會科學(xué)版），2014（03）.

[4]崔治忠.“中西文化交流”之意義及其個(gè)案研究——以金岳霖為例[J].西安建筑科技大學(xué)學(xué)報(bào)（社會科學(xué)版），2013（02）.

[5]王建芳.情境語義學(xué)對外延模型論和可能世界語義學(xué)的批判[J].晉陽學(xué)刊，2005，01.

邏輯學(xué)的含義范文第5篇

/

關(guān)鍵詞：邏輯關(guān)系;思維能力;高考試題

中圖分類號：G633.7 文獻(xiàn)標(biāo)識碼：A  文章編號：1003-6148（2015）1-0045-3

邏輯學(xué)與教學(xué)關(guān)系的研究是歐美國家哲學(xué)研究的新興熱門問題之一。邏輯學(xué)是合理思維的工具，它能使人在思維過程中概念準(zhǔn)確、判斷恰當(dāng)、推理合乎邏輯;使人更準(zhǔn)確，更嚴(yán)密地表達(dá)思想，反駁謬誤。隨著教育及課程改革的不斷深化，素質(zhì)教育要求以培養(yǎng)學(xué)生的創(chuàng)新精神和實(shí)踐能力為重點(diǎn)，“高分”不再是教學(xué)的唯一目標(biāo)。學(xué)生良好的思維能力、思維習(xí)慣以及思維方法的培養(yǎng)成為教學(xué)的重點(diǎn)目標(biāo)之一，這無疑對一線教師提出了更高的要求。高中階段是學(xué)生的形象思維向抽象思維轉(zhuǎn)化的重要階段，是邏輯思維發(fā)展的關(guān)鍵時(shí)期。要有效地培養(yǎng)學(xué)生的邏輯思維能力，教師必須有系統(tǒng)的邏輯學(xué)理論知識和實(shí)踐能力。本文從實(shí)際高考試題的邏輯學(xué)分析著手，從習(xí)題教學(xué)的視角分析邏輯學(xué)在教學(xué)中的重要作用。

1    邏輯學(xué)幫助深化物理概念和規(guī)律

通過習(xí)題教學(xué)能夠幫助學(xué)生牢固地掌握物理概念，深刻地理解物理規(guī)律。但是，很多時(shí)候，學(xué)生看似理解了所學(xué)的物理內(nèi)容，習(xí)題中也能夠準(zhǔn)確地給出答案。但是，對物理知識的理解未必真的到了實(shí)質(zhì)。而從邏輯學(xué)視角分析問題的時(shí)候，會有新的體會思考。如下例所示：

例1  （2014年高考北京卷13題）  下列說法中正確的是（    ）

A.物體溫度降低，其分子熱運(yùn)動的平均動能增大

B.物體溫度升高，其分子熱運(yùn)動的平均動能增大

C.物體溫度降低，其內(nèi)能一定增大

D.物體溫度不變，其內(nèi)能一定不變

第一步：

根據(jù)熱力學(xué)第一定律：溫度是分子平均動能的標(biāo)志。

溫度升高，分子熱運(yùn)動的平均動能增大。

溫度升高                          溫度降低

――――――――――――――――――――

分子熱運(yùn)動的平均     分子熱運(yùn)動的平均

動能增大               動能減小

（充要條件假言推理）A項(xiàng)錯(cuò)誤;B項(xiàng)正確。

第二步：

物體的內(nèi)能包括所有分子的動能和勢能之和。

物體內(nèi)能增大，要么分子動能總和增大（溫度升高），要么分子間勢能增大溫度降低。

――――――――――――――――――――

結(jié)論：若分子間勢能的增量大于分子動能總和的減少量，分子內(nèi)能增加;

若分子間勢能的增量小于分子動能總和的減少量，分子內(nèi)能減少;

若分子間勢能的增量等于分子動能總和的減少量，分子內(nèi)能不變。

（相容選言推理否定肯定式，兩個(gè)選言肢均未被排除，結(jié)論為選言判斷） C、D選項(xiàng)錯(cuò)誤。

分析  乍一看本題，A、B選項(xiàng)像是假言判斷，實(shí)則為假言推理。假言判斷與假言推理看似無大的差異，但是，對物理知識的理解卻大相徑庭。假言判斷中，前件與后件是因果關(guān)系，前件的真導(dǎo)致后件真。假言推理則是推理導(dǎo)出的含義。溫度變化與分子平均動能的變化構(gòu)不成因果關(guān)系，溫度升高只是分子平均動能的外在表現(xiàn)形式。作為高考題本題選項(xiàng)并未采用“當(dāng)且僅當(dāng)……則……”或“若……則”的形式來表述，極其嚴(yán)密。因此，從邏輯學(xué)角度重新審視物理知識的時(shí)候，會使認(rèn)識更為透徹、深刻、嚴(yán)謹(jǐn)。

2    以邏輯學(xué)為基礎(chǔ)，合理命題以培養(yǎng)嚴(yán)謹(jǐn)?shù)倪壿嬎季S能力

物理習(xí)題教學(xué)擔(dān)任著培養(yǎng)學(xué)生邏輯推理能力的重要任務(wù)。學(xué)生學(xué)習(xí)的過程中，在學(xué)生對物理概念和規(guī)律掌握到一定程度以后，可以通過對一些推理性較強(qiáng)的習(xí)題的練習(xí)，來充分訓(xùn)練學(xué)生的邏輯思維能力和推理能力。此時(shí)，習(xí)題要有深度，要求推理過程復(fù)雜，脈絡(luò)多樣，如此才能更好地培養(yǎng)學(xué)生能力，使其思維更加縝密、靈活。如下例所示：

例2  （2014高考天津卷4題） 如圖1所示，平行金屬板A、B水平正對放置，分別帶等量異號電荷。一帶電微粒水平射入板間，在重力和電場力共同作用下運(yùn)動，軌跡如圖1中的虛線所示，那么（    ）

圖1  帶電粒子運(yùn)行軌跡圖

A.若微粒帶正電荷，則A板一定帶正電荷

B.微粒從M點(diǎn)運(yùn)動到N點(diǎn)電勢能一定增加

C.微粒從M點(diǎn)運(yùn)動到N點(diǎn)動能一定增加

D.微粒從M點(diǎn)運(yùn)動到N點(diǎn)機(jī)械能一定增加

第一步：

類平拋運(yùn)動的物體動能增加，因?yàn)轭惼綊佭\(yùn)動在水平方向勻速，在豎直方向做初速度為零的勻加速運(yùn)動。

微粒在極板間做類平拋運(yùn)動。

―――――――――――――――――

結(jié)論：微粒從M點(diǎn)運(yùn)動到N點(diǎn)動能一定增加（帶證式直言三段論推理，肯定前件式）。

C正確。

第二步：

根據(jù)能量守恒定律：微粒的重力勢能、電勢能、動能三者之和不變。動能是增加的，要么重力勢能減少，要么電勢能減少。

重力勢能減少。

―――――――――――――――――――

結(jié)論：如果重力勢能的減少量小于動能的增加量，電勢能減少。

如果重力勢能的減少量大于動能的增加量，電勢能增加。

（相容選言推理否定肯定式，兩個(gè)選言肢均未被排除，結(jié)論為選言判斷） D選項(xiàng)錯(cuò)誤。

第三步：

電勢能增加，電場力做負(fù)功。（充要條件假言判斷）

電勢能無法判斷，因此，電場力做功無從判斷。A、B選項(xiàng)錯(cuò)誤。

以上實(shí)例的推理過程較為復(fù)雜，脈絡(luò)并不十分簡單。這就要求學(xué)生能夠找到合理的著手點(diǎn)，結(jié)合扎實(shí)的物理知識，以正確的思維方式進(jìn)行推理。類似的習(xí)題編制有很多，但教師們在出題時(shí)未必考慮了相應(yīng)的邏輯學(xué)知識，如果能夠以邏輯學(xué)為理論基礎(chǔ)來指導(dǎo)實(shí)踐，定能有意想不到的收獲。

3    分析學(xué)生物理學(xué)習(xí)障礙中的邏輯學(xué)問題，并采取合理的教學(xué)策略

通過習(xí)題教學(xué)和練習(xí)，教師可以隨時(shí)得到學(xué)生學(xué)習(xí)情況的反饋信息，借以調(diào)整教學(xué)內(nèi)容、方法和進(jìn)程。在習(xí)題訓(xùn)練過程中，學(xué)生在運(yùn)用知識解決實(shí)際問題的時(shí)候，難以把高度概括性和抽象性的物理知識與邏輯思維相聯(lián)系。對于物理習(xí)題教學(xué)中的易錯(cuò)題，教師需從邏輯學(xué)角度系統(tǒng)科學(xué)地分析學(xué)生的邏輯思維障礙，對癥下藥，這樣才能更好地幫助學(xué)生解決問題，同時(shí)培養(yǎng)學(xué)生的抽象邏輯思維能力和辯證邏輯思維能力。

例3  （2014高考海南卷9題） 如圖2（a），直線MN表示某電場中一條電場線，a、b是線上的兩點(diǎn)。將一帶負(fù)電荷的粒子從a點(diǎn)處由靜止釋放，粒子從a運(yùn)動到b過程中的v-t圖線如圖2（b）所示。設(shè)a、b兩點(diǎn)的電勢分別為φa、φb，場強(qiáng)大小分別為Ea、Eb，粒子在a、b兩點(diǎn)的電勢能分別為Wa、Wb，不計(jì)重力，則有（    ）

（a）某電場中一條電場線        （b）粒子運(yùn)動v-t圖

圖2

A.φa>φb

B.Ea>Eb

C.Ea<Eb

D.Wa>Wb

第一步：

由牛頓第二定律F=ma知，物體合外力與加速度成正比，若加速度減小，則合外力減小。

從a到b的過程中，加速度減小。

――――――――――――――――――――

結(jié)論：從a到b的過程中，粒子所受合外力減小（充要條件假言推理，肯定前件式）。

第二步：

由電場強(qiáng)度定義E=F/q知，若電場力減小，則場強(qiáng)減小。

從a到b的過程中電場力減小，因?yàn)榱Ｗ又皇艿诫妶隽Φ淖饔谩＃◣ёC式前件）

――――――――――――――――――――

結(jié)論：從a到b的過程中，電場強(qiáng)度減?。ǔ湟獥l件假言推理，肯定前件式）。

第三步：

由能量守恒定律可知：粒子電勢能與動能之和不變。

粒子動能增大則電勢能減小。

粒子動能增大，因?yàn)榱Ｗ铀俣仍谠龃螅◣ёC式前件）。

――――――――――――――――――――

結(jié)論：粒子電勢能減小（充要條件假言判斷，肯定前件式）。

第四步：

沿著電場線方向，電勢逐漸降低。

受力方向由a指向b。

正電荷受力方向沿著電場線方向。

分析  本題之前三步邏輯推理對于學(xué)生來說并不難，但是第四步中，一些學(xué)生由于錯(cuò)誤地使用了同一律的思維規(guī)律，潛意識地把粒子當(dāng)做正電荷，因此得出了錯(cuò)誤結(jié)論。找出了學(xué)生的邏輯思維障礙以后，教師就要注意強(qiáng)調(diào)，在靜電場部分知識的學(xué)習(xí)的時(shí)候，要時(shí)刻注意粒子電性的正負(fù)，不能隨便就把粒子當(dāng)做帶正電荷處理。

4    總   結(jié)