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

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

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

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

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

1 引 言

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

機(jī)房運(yùn)維技術(shù)的發(fā)展是有一個(gè)過(guò)程的，從環(huán)境部署角度上來(lái)說(shuō)基本是這樣的：?jiǎn)螜C(jī)逐臺(tái)使用GHOST軟件進(jìn)行部署；通過(guò)網(wǎng)絡(luò)拷貝進(jìn)行批量部署；通過(guò)增量網(wǎng)絡(luò)拷貝進(jìn)行部署；通過(guò)差異網(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í)中對(duì)計(jì)算機(jī)的使用需求。

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

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

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

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

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

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

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

差異拷貝：跟增量拷貝類似，但不再要求有增量點(diǎn)。自動(dòng)識(shí)別接收機(jī)和樣機(jī)的差異，僅網(wǎng)絡(luò)拷貝差異部分的數(shù)據(jù)。避免了增量點(diǎn)丟失造成無(wú)法增量的問(wèn)題。增加上層差異拷貝功能，相對(duì)傳統(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)。頻道可每次開(kāi)機(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功能同上。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

對(duì)哲學(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é)邏輯就是對(duì)邏輯中的哲學(xué)問(wèn)題的研究以及對(duì)邏輯學(xué)的哲學(xué)研究；格雷林等邏輯學(xué)家則認(rèn)為哲學(xué)邏輯的主體是“哲學(xué)”，他們認(rèn)為哲學(xué)邏輯就是將邏輯中的哲學(xué)問(wèn)題放入到一個(gè)更一般的哲學(xué)背景下研究，它討論的是關(guān)于語(yǔ)言性質(zhì)、思想、世界的結(jié)構(gòu)與內(nèi)容等問(wèn)題。由此可見(jiàn)眾邏輯學(xué)家對(duì)哲學(xué)邏輯的涵義理解主要有三種，根據(jù)之前我們對(duì)邏輯哲學(xué)的理解可以看出，以斯特勞森和沃爾夫拉姆為代表的邏輯學(xué)家所理解的哲學(xué)邏輯實(shí)際上就是我們現(xiàn)在所說(shuō)的邏輯哲學(xué)，而以格雷林為代表的邏輯學(xué)家對(duì)哲學(xué)邏輯涵義側(cè)重理解為在語(yǔ)言上的哲學(xué)研究，從字面上理解這實(shí)際上是語(yǔ)言哲學(xué)。

對(duì)于哲學(xué)邏輯的涵義，我國(guó)的邏輯與哲學(xué)學(xué)者陳波先生在其《邏輯哲學(xué)導(dǎo)論》一書(shū)中是這樣理解的：“這個(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)為變異邏輯是由否定或修改一階邏輯的某些基本假定而形成的邏輯分支，具體包括相干邏輯，直覺(jué)主義邏輯，自由邏輯，偏邏輯，反事實(shí)條件句邏輯，多值邏輯，量子邏輯，模糊邏輯等；而應(yīng)用邏輯則是利用經(jīng)典邏輯的工具，去分析某些具體學(xué)科特別是哲學(xué)中概念或范疇而建立的邏輯學(xué)分支，具體包括模態(tài)邏輯，道義邏輯，時(shí)態(tài)邏輯，認(rèn)知邏輯，問(wèn)題邏輯，命令邏輯，優(yōu)先邏輯等。

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

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

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

在陳波對(duì)哲學(xué)邏輯學(xué)科群體劃分中，模態(tài)邏輯屬于應(yīng)用邏輯；在英國(guó)邏輯學(xué)家蘇珊·哈克對(duì)形式邏輯的劃分中，模態(tài)邏輯則屬于擴(kuò)展邏輯。根據(jù)哲學(xué)邏輯的涵義我們知道哲學(xué)邏輯的主體是“邏輯”，它是以一階命題邏輯和一階謂詞邏輯為基礎(chǔ)，因此對(duì)于模態(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)定立場(chǎng)的前提下，吸收和借鑒西方哲學(xué)思想體系中的某些合理因素，體現(xiàn)哲學(xué)體系的開(kāi)放性和多元性，只有這樣，哲學(xué)體系才能日趨成熟和完善，具有更加持久的生命力。在這種相互借鑒、相互影響的過(guò)程中，二者都能得到更好的發(fā)展，也才能推動(dòng)哲學(xué)中國(guó)化的發(fā)展。

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

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

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

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

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

邏輯哲學(xué)和哲學(xué)邏輯——邏輯哲學(xué)主要研究邏輯的哲學(xué)以及運(yùn)用現(xiàn)代邏輯工具分析解決重大哲學(xué)問(wèn)題。20世紀(jì)上半期，邏輯學(xué)作為哲學(xué)的二級(jí)學(xué)科，和哲學(xué)既相對(duì)獨(dú)立，又相互作用，推動(dòng)了哲學(xué)研究的“語(yǔ)言學(xué)轉(zhuǎn)向”，主要以英美哲學(xué)家?jiàn)W斯汀、戴維森、格賴斯、克里普克、蒯因、羅素、塞爾、斯特勞森和維特根斯坦為代表。研究?jī)?nèi)容主要涉及真理和意義、言語(yǔ)行為理論、指稱與摹狀詞、名稱與指示詞、命題態(tài)度、可能世界與情境理論、隱喻、私人語(yǔ)言等領(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é)思考的背景下，對(duì)經(jīng)典邏輯算子的變異解釋建構(gòu)擇代邏輯系統(tǒng)，如多值邏輯、弗協(xié)調(diào)邏輯、模糊邏輯、直覺(jué)主義邏輯以及多值模態(tài)邏輯等。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

至于學(xué)習(xí)傳統(tǒng)邏輯能否培養(yǎng)出高層次的邏輯學(xué)科研人員，或者說(shuō)培養(yǎng)出邏輯學(xué)家的問(wèn)題，在學(xué)術(shù)界也進(jìn)行了廣泛的爭(zhēng)論，有的學(xué)者認(rèn)為，改革開(kāi)放以來(lái)，雖然有很多高校畢業(yè)生接受了邏輯學(xué)的基礎(chǔ)理論的學(xué)習(xí)，但真正成為知名的邏輯學(xué)家的，恐怕還沒(méi)有。但是，任何一個(gè)邏輯學(xué)家，必然懂得基礎(chǔ)的邏輯學(xué)知識(shí)，不能因?yàn)閭鹘y(tǒng)邏輯培養(yǎng)不出現(xiàn)代邏輯學(xué)家就放棄學(xué)習(xí)傳統(tǒng)邏輯學(xué)。教育部、國(guó)家社科規(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é)研究》外，還沒(méi)有其它專門(mén)的邏輯學(xué)刊物，希望以后能夠創(chuàng)辦更多的邏輯學(xué)專業(yè)的專門(mén)的學(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）

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

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

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

文章編號(hào)：1006-4311（2015）06-0322-02

0 引言

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

1 可能世界的幾種含義

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

2 可能世界語(yǔ)義學(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)語(yǔ)義理論即可能世界語(yǔ)義學(xué)，這就把模態(tài)邏輯的發(fā)展推向了一個(gè)新的高度。它的發(fā)展，對(duì)于經(jīng)典的語(yǔ)義學(xué)產(chǎn)生了如下幾個(gè)方面的影響。第一，它使命題的真假相對(duì)化。第二，它使必然性、可能性概念相對(duì)化。第三，它使可能世界之間具有一定的關(guān)系。

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

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

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

中國(guó)科技大學(xué)研究生院高恒珊在60年代初開(kāi)始研究模態(tài)邏輯，多年來(lái)取得許多成果。他在《科學(xué)通報(bào)》和《數(shù)學(xué)學(xué)報(bào)》發(fā)表的四篇論文：《量詞模態(tài)系統(tǒng)的代數(shù)語(yǔ)義與Kripke語(yǔ)義——關(guān)于S5*情形》、《量詞模態(tài)邏輯的代數(shù)語(yǔ)義學(xué)（Ⅰ）——關(guān)于S5*情形》、《量詞模態(tài)邏輯的代數(shù)語(yǔ)義學(xué)（Ⅱ）——關(guān)于含Barcan公式的正規(guī)模態(tài)邏輯系統(tǒng)的情形》、《量詞模態(tài)邏輯的代數(shù)語(yǔ)義學(xué)（Ⅲ）——關(guān)于不含Barcan公式的正規(guī)模態(tài)邏輯系統(tǒng)的情形》——這四篇論文是一個(gè)系列研究，其結(jié)果是在模態(tài)謂詞邏輯的領(lǐng)域里建立了Kripke語(yǔ)義到代數(shù)語(yǔ)義的轉(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)邏輯語(yǔ)義框架就是通常所說(shuō)的“嫁接框架”。

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

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

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

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

5 可能世界語(yǔ)義學(xué)理論存在的問(wèn)題

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

6 結(jié)束語(yǔ)

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

參考文獻(xiàn)：

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

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

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

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

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

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

/

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

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

邏輯學(xué)與教學(xué)關(guān)系的研究是歐美國(guó)家哲學(xué)研究的新興熱門(mén)問(wèn)題之一。邏輯學(xué)是合理思維的工具，它能使人在思維過(guò)程中概念準(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)之一，這無(wú)疑對(duì)一線教師提出了更高的要求。高中階段是學(xué)生的形象思維向抽象思維轉(zhuǎn)化的重要階段，是邏輯思維發(fā)展的關(guān)鍵時(shí)期。要有效地培養(yǎng)學(xué)生的邏輯思維能力，教師必須有系統(tǒng)的邏輯學(xué)理論知識(shí)和實(shí)踐能力。本文從實(shí)際高考試題的邏輯學(xué)分析著手，從習(xí)題教學(xué)的視角分析邏輯學(xué)在教學(xué)中的重要作用。

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

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

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

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

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

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

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

第一步：

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

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

溫度升高                          溫度降低

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

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

動(dòng)能增大               動(dòng)能減小

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

第二步：

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

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

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

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

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

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

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

分析  乍一看本題，A、B選項(xiàng)像是假言判斷，實(shí)則為假言推理。假言判斷與假言推理看似無(wú)大的差異，但是，對(duì)物理知識(shí)的理解卻大相徑庭。假言判斷中，前件與后件是因果關(guān)系，前件的真導(dǎo)致后件真。假言推理則是推理導(dǎo)出的含義。溫度變化與分子平均動(dòng)能的變化構(gòu)不成因果關(guān)系，溫度升高只是分子平均動(dòng)能的外在表現(xiàn)形式。作為高考題本題選項(xiàng)并未采用“當(dāng)且僅當(dāng)……則……”或“若……則”的形式來(lái)表述，極其嚴(yán)密。因此，從邏輯學(xué)角度重新審視物理知識(shí)的時(shí)候，會(huì)使認(rèn)識(shí)更為透徹、深刻、嚴(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í)的過(guò)程中，在學(xué)生對(duì)物理概念和規(guī)律掌握到一定程度以后，可以通過(guò)對(duì)一些推理性較強(qiáng)的習(xí)題的練習(xí)，來(lái)充分訓(xùn)練學(xué)生的邏輯思維能力和推理能力。此時(shí)，習(xí)題要有深度，要求推理過(guò)程復(fù)雜，脈絡(luò)多樣，如此才能更好地培養(yǎng)學(xué)生能力，使其思維更加縝密、靈活。如下例所示：

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

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

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

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

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

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

第一步：

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

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

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

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

C正確。

第二步：

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

重力勢(shì)能減少。

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

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

如果重力勢(shì)能的減少量大于動(dòng)能的增加量，電勢(shì)能增加。

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

第三步：

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

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

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

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

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

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

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

圖2

A.φa>φb

B.Ea>Eb

C.Ea<Eb

D.Wa>Wb

第一步：

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

從a到b的過(guò)程中，加速度減小。

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

結(jié)論：從a到b的過(guò)程中，粒子所受合外力減?。ǔ湟獥l件假言推理，肯定前件式）。

第二步：

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

從a到b的過(guò)程中電場(chǎng)力減小，因?yàn)榱Ｗ又皇艿诫妶?chǎng)力的作用。（帶證式前件）

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

結(jié)論：從a到b的過(guò)程中，電場(chǎng)強(qiáng)度減小（充要條件假言推理，肯定前件式）。

第三步：

由能量守恒定律可知：粒子電勢(shì)能與動(dòng)能之和不變。

粒子動(dòng)能增大則電勢(shì)能減小。

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

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

結(jié)論：粒子電勢(shì)能減?。ǔ湟獥l件假言判斷，肯定前件式）。

第四步：

沿著電場(chǎng)線方向，電勢(shì)逐漸降低。

受力方向由a指向b。

正電荷受力方向沿著電場(chǎng)線方向。

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

4    總   結(jié)