邏輯學的含義

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

邏輯學的含義范文第1篇

[關鍵詞] 機房維護； 運維； OSS

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

[中圖分類號] TP307； G482 [文獻標識碼] A [文章編號] 1673 - 0194（2013）19- 0110- 01

1 引 言

學校機房的管理方案，從早期的逐臺維護方式，已發展到現在采用管理和運維軟件輔助維護。

機房運維技術的發展是有一個過程的，從環境部署角度上來說基本是這樣的：單機逐臺使用GHOST軟件進行部署；通過網絡拷貝進行批量部署；通過增量網絡拷貝進行部署；通過差異網絡拷貝進行部署；使用云桌面技術進行部署。

本文介紹的是技術業已成熟并在實際應用環境中成功實施的方案：噢易機房維護系統。該系統處于差異拷貝階段，從技術發展歷程而言，屬于該技術的頂峰水平。

2 機房狀況和實施方案

江漢大學計算中心目前建有7個機房，承擔著學校各院系的計算機課程教學任務，滿足學生日常學習中對計算機的使用需求。

7個機房配置不一，是分批建成的，采用了不同時期不同版本的保護卡。從其功能上來看，可以看到機房管理運維技術的幾個發展階段。

A301、A307機房所采用的藍卡變量卡，其功能有：

多系統多分區支持：最多可以支持15個操作系統，每個操作系統互相獨立，互不影響。

變量拷貝：通過局域網，把樣機的系統完全發送到機房其他接收機上。如果以后再次安裝部署軟件，可以在變量點的基礎上只發送增加的部分。

自動修改計算機名與IP地址：為每一臺計算機分配好一個計算機名和IP地址。在網絡拷貝之后，接收機按之前分配的設置信息自行修改，以避免重名重IP地址。

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

多系統多分區支持、自動修改計算機名功能同上。

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

頻道技術：頻道可以讓管理員在較短時間內基于某個真實操作系統創建出相同的操作系統。頻道可每次開機還原，也可不還原。頻道也能單獨安裝軟件。

CTSC系統：是OSS系統附送的一款機房管理軟件。主要功能有：環境部署、保護控制、內網安全、行為管控、客戶端控制、資產管理、策略管理、系統管理。

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

多系統多分區支持、差異拷貝、頻道、CTSC功能同上。

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

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

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

軟件統一注冊：記錄軟件的安裝流程。系統分發之后，接收機按此流程重新對軟件進行注冊，接收機無需再次注冊軟件。

3 實際應用效果

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

以前部署系統時，需要做好樣機，然后采用GHOST軟件逐臺復制，需要大量的工作時間去部署系統環境。采用噢易軟件只需要幾十分鐘即可。

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

以前接到臨時任務時，例如考試、培訓、會議等，需要在機房快速部署一個新應用環境。傳統方式需要備份系統，然后更改分區方式，重新分區，安裝系統和軟件等操作，工作量大、費時。采用噢易軟件的頻道技術，在幾秒之內就能建好新的應用環境，通過差異拷貝技術快速部署到整個機房。

以前對機房問題電腦的判斷，需要管理員在機房現場親自查看。安裝CTSC軟件之后，管理員可以在辦公室內查看到機房電腦的軟硬件情況，檢查硬件是否丟失、計算機進了哪個操作系統、是否正在保護系統、對機房使用環境是否進行了控制以及學生正在進行什么操作等情況。

4 對機房維護管理方面的探討

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

云桌面技術是最近才發展并逐步開始應用的技術，就實際應用而言，在可靠度、實際應用環境契合度上存在不足，云桌面的技術方案主要有VDI、RDP、VNC等，各自特點不同。只有經過市場考驗，才會有一個相對成熟的方案。

邏輯學的含義范文第2篇

1、邏輯哲學的探究

邏輯哲學是一門新興學科，它主要是對現代邏輯中出現的一些問題的反思，因此學習邏輯哲學首先應將現代邏輯主要特征的了解作為前提。

20世紀以來現代邏輯的發展主要是符號邏輯即數理邏輯的發展，區別于以自然語言作為主要的工具語言的傳統邏輯，數理邏輯的工具語言是符號語言。一階邏輯是數理邏輯的基礎部分，也是數理邏輯在日常思維中最具應用價值的部分，也是和傳統邏輯關系最為密切的部分。它的特點（1）體現在處理語詞、命題上，一階邏輯只考慮到語詞或命題的外延；（2）在對命題真值的研究時，一階邏輯只考慮到兩個真值，即真值真與真值假，它認為一個命題非真即假而不存在其他真值情況；（3）在對一階謂詞邏輯的量詞研究上，一階邏輯認為所有的量詞都存在含義，即不存在個體域為空的空詞項。

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

2、哲學邏輯的探究

哲學邏輯是20世紀初興起的一個新興學科體系。《邏輯哲學導論》中，陳波對哲學邏輯是這樣理解的：“我認為，哲學邏輯是20世紀30年代至40年代開始興起、50年代至70年代蓬勃發展的一個新興的邏輯學科群體。它以數理邏輯（主要是一階邏輯）為直接基礎，以傳統的哲學概念，范疇以及邏輯在各門具體學科中的應用為研究對象，構造出各種具有直接哲學意義的邏輯系統。”

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

對于哲學邏輯的涵義，我國的邏輯與哲學學者陳波先生在其《邏輯哲學導論》一書中是這樣理解的：“這個學科群體包括兩大子群：一個變異邏輯（deviantlogic），形式上表現為經典邏輯的擴充系統（alternativesystems）；一是應用邏輯（appliedlogic），形式上表現為經典的擴充系統（extendedsystems）。”陳波認為變異邏輯是由否定或修改一階邏輯的某些基本假定而形成的邏輯分支，具體包括相干邏輯，直覺主義邏輯，自由邏輯，偏邏輯，反事實條件句邏輯，多值邏輯，量子邏輯，模糊邏輯等；而應用邏輯則是利用經典邏輯的工具，去分析某些具體學科特別是哲學中概念或范疇而建立的邏輯學分支，具體包括模態邏輯，道義邏輯，時態邏輯，認知邏輯，問題邏輯，命令邏輯，優先邏輯等。

英國著名邏輯學家蘇珊.哈克在其《邏輯哲學》一書中對形式邏輯有如下劃分：“總而言之，作為形式邏輯，我將包括：‘傳統’邏輯——亞里士多德的三段論理論。‘經典’邏輯：二值語句演算、謂詞演算‘；擴展’邏輯：模態邏輯、時態邏輯、道義邏輯、認知邏輯、優選邏輯、祈使邏輯、疑問邏輯‘；異常’邏輯：多值邏輯、直覺主義邏輯、量子邏輯、自由邏輯。‘歸納’邏輯。”由此可見，其中的擴展邏輯實際上是經典邏輯（二值命題演算和謂詞演算）新增一些邏輯算子和相應的公理系統而成的一個新的邏輯分支，而異常邏輯則是對原經典邏輯中的同一語詞做個本質的改變從而形成的區別于傳統邏輯的一個新的邏輯分支。因此，根據上述對哲學邏輯的認識，在蘇珊·哈克劃分中哲學邏輯實際上等同于是“擴展邏輯”和“異常邏輯”兩大類。

3、二者的區別與聯系

根據上面理論的闡述我們可以清楚的區分哲學邏輯與邏輯哲學的區別，下面我們從模態邏輯這一個例子出發，從而對哲學邏輯與邏輯哲學做進一步的了解。

在陳波對哲學邏輯學科群體劃分中，模態邏輯屬于應用邏輯；在英國邏輯學家蘇珊·哈克對形式邏輯的劃分中，模態邏輯則屬于擴展邏輯。根據哲學邏輯的涵義我們知道哲學邏輯的主體是“邏輯”，它是以一階命題邏輯和一階謂詞邏輯為基礎，因此對于模態邏輯，模態邏輯中模態命題邏輯、模態謂詞邏輯形式上分別是在命題邏輯與謂詞邏輯的基礎上加上了必然（）與可能（）兩個算子進而構造出一個新的邏輯系統。

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

邏輯學的含義范文第3篇

1. 國內邏輯學的傳入和現狀

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

2. 國內邏輯學的主要研究方向

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

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

歸納邏輯——歸納邏輯屬于非演繹邏輯，前期的研究主要包括回溯推理、穆勒五法的推廣、現代科學技術中的新歸納方法以及類比推理等。20世紀80年代后期，歸納邏輯更關注于專家系統、知識工程和智能計算機等方面的研究以及對歸納邏輯面臨的哲學問題的研究。同時，對歸納邏輯的研究，更傾向于對概率邏輯的研究。

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

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

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

二、國內邏輯學教學面臨的困境

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

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

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

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

三、邏輯教學改革的策略

邏輯教學的改革必須針對邏輯學教學面臨的困境，采取相應的措施。首先要求教育行政管理部門和各髙校要重視邏輯學的基礎學科地位，關注邏輯學科的發展，搭建邏輯學的學科平臺，加強學術隊伍建設，轉變急功近利的觀念，打破思維定式。從邏輯學教學自身的特點，從邏輯學課程的開設方式和邏輯教學觀念的改革出發，轉變學生傳統的思維模式，提高邏輯學課堂教學的效果，可以采取以下一些措施。

1.邏輯學課程內容的改革

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

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

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

同時各專業都應該開設批判性思維相關的邏輯課程，特別是針對即將畢業的大學本科生，因為他們面臨著就業、深造等多種選擇，這就需要參加各級各類能力考試，而邏輯學則為必考的內容之一，因此可以為學生解答GRE考試、GMAT考試、LSAT考試、MBA考試、MPA考試、GCT考試、行政職業能力測試中的相關試題，為大學生的進一步深造（如考邏輯學研究生等）創造有利條件，同時也增加了大學生的就業機會，提升了大學生的綜合能力和素質。

2.邏輯學教學方法的改革

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

3.邏輯學科研創新方面的改革

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

邏輯學的含義范文第4篇

（武漢商貿職業學院電商管理學院，武漢 430205）

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

摘要： 可能世界語義學是誕生于20世紀50年代的一種內涵語義學，它產生的原因在于模態邏輯的發展遇到了一定的問題，迫切需要這樣一種內涵語義學。而正是在這種情況下，可能世界語義學的發展，很切合實際的彌補了經典語義學的一些弊端和缺陷。為模態邏輯的研究提供了十分適用的語義工具。但是，隨著模態邏輯的進一步發展，可能世界語義學的運用也出現了一些問題。

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.

關鍵詞 ： 模態邏輯；可能世界語義學；發展；問題

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

中圖分類號：H313 文獻標識碼：A

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

0 引言

模態邏輯自誕生之日發展到現在，已成為一個非常重要的邏輯分支。“可能世界”在模態邏輯中，有著非常重要的位置，它是模態邏輯的形式語義學，可能語義學的出現，使得模態邏輯的發展迎來了一個不同的時期。基于此，在學習模態邏輯的同時，有必要了解可能世界語義學的基本發展歷程。

1 可能世界的幾種含義

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

2 可能世界語義學的內涵

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

3 可能世界語義學理論的發展

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

克里普克所表述的MPL的語義學從模型結構<G，K，R>入手，此處K是一世界集，以現實世界G為一元素，R則是一介于世界之間的關系。這種語義學澄清了疊置模態問題。多年來人們所構造的多種多樣模態命題邏輯的形式系統，根據這種語義學，可以看成是給R加上了補充限制。這只是一種很一般的模型論語義學。

中國科技大學研究生院高恒珊在60年代初開始研究模態邏輯，多年來取得許多成果。他在《科學通報》和《數學學報》發表的四篇論文：《量詞模態系統的代數語義與Kripke語義——關于S5*情形》、《量詞模態邏輯的代數語義學（Ⅰ）——關于S5*情形》、《量詞模態邏輯的代數語義學（Ⅱ）——關于含Barcan公式的正規模態邏輯系統的情形》、《量詞模態邏輯的代數語義學（Ⅲ）——關于不含Barcan公式的正規模態邏輯系統的情形》——這四篇論文是一個系列研究，其結果是在模態謂詞邏輯的領域里建立了Kripke語義到代數語義的轉化，完成了萊蒙的設想。

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

4 情境語義學與可能世界理論

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

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

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

5 可能世界語義學理論存在的問題

從現階段來看，“可能世界”這個基本語義學概念仍然不夠清晰明確，在今后的發展過程中，需要學者們繼續完善。可能世界語義學同當前的社會價值觀比較接近，但是也并沒有對 “可及”（accessible）這一極其重要的概念給出明確的定義，此外，值得注意的一點就是，模態邏輯的核心概念“可能”和“必然”解釋的不夠清晰合理，在今后的理論發展中，應該注意二者的本質區別，及其各自的明確內涵。

6 結束語

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

參考文獻：

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

[2]宋文堅.邏輯學的傳入與研究[M].福建人民出版社，2005.

[3]朱建平.確證邏輯：一種基于證據的認知邏輯[J].深圳大學學報（人文社會科學版），2014（03）.

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

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

邏輯學的含義范文第5篇

/

關鍵詞：邏輯關系;思維能力;高考試題

中圖分類號：G633.7 文獻標識碼：A  文章編號：1003-6148（2015）1-0045-3

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

1    邏輯學幫助深化物理概念和規律

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

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

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

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

C.物體溫度降低，其內能一定增大

D.物體溫度不變，其內能一定不變

第一步：

根據熱力學第一定律：溫度是分子平均動能的標志。

溫度升高，分子熱運動的平均動能增大。

溫度升高                          溫度降低

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

分子熱運動的平均     分子熱運動的平均

動能增大               動能減小

（充要條件假言推理）A項錯誤;B項正確。

第二步：

物體的內能包括所有分子的動能和勢能之和。

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

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

結論：若分子間勢能的增量大于分子動能總和的減少量，分子內能增加;

若分子間勢能的增量小于分子動能總和的減少量，分子內能減少;

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

（相容選言推理否定肯定式，兩個選言肢均未被排除，結論為選言判斷） C、D選項錯誤。

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

2    以邏輯學為基礎，合理命題以培養嚴謹的邏輯思維能力

物理習題教學擔任著培養學生邏輯推理能力的重要任務。學生學習的過程中，在學生對物理概念和規律掌握到一定程度以后，可以通過對一些推理性較強的習題的練習，來充分訓練學生的邏輯思維能力和推理能力。此時，習題要有深度，要求推理過程復雜，脈絡多樣，如此才能更好地培養學生能力，使其思維更加縝密、靈活。如下例所示：

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

圖1  帶電粒子運行軌跡圖

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

B.微粒從M點運動到N點電勢能一定增加

C.微粒從M點運動到N點動能一定增加

D.微粒從M點運動到N點機械能一定增加

第一步：

類平拋運動的物體動能增加，因為類平拋運動在水平方向勻速，在豎直方向做初速度為零的勻加速運動。

微粒在極板間做類平拋運動。

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

結論：微粒從M點運動到N點動能一定增加（帶證式直言三段論推理，肯定前件式）。

C正確。

第二步：

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

重力勢能減少。

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

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

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

（相容選言推理否定肯定式，兩個選言肢均未被排除，結論為選言判斷） D選項錯誤。

第三步：

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

電勢能無法判斷，因此，電場力做功無從判斷。A、B選項錯誤。

以上實例的推理過程較為復雜，脈絡并不十分簡單。這就要求學生能夠找到合理的著手點，結合扎實的物理知識，以正確的思維方式進行推理。類似的習題編制有很多，但教師們在出題時未必考慮了相應的邏輯學知識，如果能夠以邏輯學為理論基礎來指導實踐，定能有意想不到的收獲。

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

通過習題教學和練習，教師可以隨時得到學生學習情況的反饋信息，借以調整教學內容、方法和進程。在習題訓練過程中，學生在運用知識解決實際問題的時候，難以把高度概括性和抽象性的物理知識與邏輯思維相聯系。對于物理習題教學中的易錯題，教師需從邏輯學角度系統科學地分析學生的邏輯思維障礙，對癥下藥，這樣才能更好地幫助學生解決問題，同時培養學生的抽象邏輯思維能力和辯證邏輯思維能力。

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

（a）某電場中一條電場線        （b）粒子運動v-t圖

圖2

A.φa>φb

B.Ea>Eb

C.Ea<Eb

D.Wa>Wb

第一步：

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

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

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

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

第二步：

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

從a到b的過程中電場力減小，因為粒子只受到電場力的作用。（帶證式前件）

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

結論：從a到b的過程中，電場強度減小（充要條件假言推理，肯定前件式）。

第三步：

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

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

粒子動能增大，因為粒子速度在增大（帶證式前件）。

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

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

第四步：

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

受力方向由a指向b。

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

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

4    總   結