邏輯講義第一章

授課教師：郭頌山東財經(jīng)大學(xué)文學(xué)與新聞傳播學(xué)院

邏輯與邏輯學(xué)

邏輯的起源

邏輯的發(fā)展(1)指(某種)理論、觀點(2)指客觀事物的發(fā)展規(guī)律(3)指人類主觀思維的規(guī)律(4)指(作為一門學(xué)科的)邏輯科學(xué)1)思維形式、思維規(guī)律、(一些)思維方法——傳遞信息的工具(語言)1)邏輯科學(xué)：①傳統(tǒng)邏輯②數(shù)學(xué)邏輯(數(shù)理邏輯)③辯證邏輯2)形式邏輯：①傳統(tǒng)邏輯中的演繹部分②及其現(xiàn)代形式數(shù)學(xué)邏輯(mathematicallogi1)邏輯的認識作用2)邏輯的表述作用：證明與反駁則所有葡萄樹都是落葉的例2:詭辯命題“犬可以為羊”(1)要理解邏輯學(xué)的特點，抓住形式結(jié)構(gòu)這個核心，處處從形式的角度思考問題。(2)要掌握各個部分的基本概念，要深入地思考這些概念的含義，作用，同其它概念、內(nèi)(3)需要對主要的邏輯規(guī)則作記憶，要理解這些基本的邏輯知識。(4)要掌握邏輯的方法，邏輯的方法總是與邏輯的應(yīng)用聯(lián)系的最密切，因此要在應(yīng)用中、(1)希臘文“λóγo?”(邏格斯):(2)西搴羅(BC106—BC43)最早曾使用“λoγtxo”指論辯術(shù)(3)亞歷山大(3世紀)最早使用“λ0γtxa”指邏輯(4)近代對“邏輯”一詞的翻譯：“講道理”的含義：人與人之間的某一方，通過一個由符號表達的過程，使對方依據(jù)講道理的不同方式：可信服的、非可信服的；簡明的、繁復(fù)的；形式化的、非形式化的……(1)古希臘的歷史環(huán)境(2)“辯證法”的出現(xiàn)與發(fā)展①智者學(xué)派(BC5-BC4世紀)的詭辯術(shù)②赫拉克利特(BC530-BC470)的“辯證法”:關(guān)于矛盾本體，運用矛盾表述方式③柏拉圖(BC427-BC347)的“辯證法”:分類方法、概念定義法、矛盾二分法(3)亞里士多德(BC384-BC322)“工具論”的確立①范疇：實體、數(shù)量、性質(zhì)、關(guān)系、活動、遭受、地點、時間、姿態(tài)、狀況②命題：真或假的句子：簡單、復(fù)合，肯定、否定，單稱、全稱，模態(tài)③三段論⑤證明亞氏認為：當我們知道了一個事實的真正原因并且知道了這個事實本身是必然的以⑥思維的基本規(guī)律“兩個互相矛盾的命題不能同時都是真的”⑦歸納法：簡單枚舉法(《論辯篇》)與完全歸納法(《分析前篇》)(4)古希臘時期工具論的發(fā)展①麥加拉—斯多葛學(xué)派(BC3世紀);芝諾(BC336-BC264)發(fā)展了復(fù)合命題的邏輯理論：假言、選言、聯(lián)言②伊壁鳩魯學(xué)派：伊壁鳩魯(BC341-BC270)《準則學(xué)》:研究真命題的構(gòu)成和真的標準問題(1)百家爭鳴的歷史時期——名實關(guān)系的討論(2)儒家的“正名”觀念(3)名家公孫龍子(約BC325-BC250)的思想1349)等(4)墨家的邏輯思想②意義：確定了我國歷史上第一個較為完整的形式邏輯體系(1)印度邏輯的源頭：正理婆羅門六派哲學(xué)(2世紀)(2)“因明”的出現(xiàn)五明：聲明、工巧明、醫(yī)方明、因明、內(nèi)明三邏輯的發(fā)展中世紀時期(5—15世紀)邏輯學(xué)的緩慢發(fā)展亞里士多德三段論成為證明上帝存在的工具彼得·阿伯拉爾(1079-1142)、羅伯特·阿伯拉爾(1193-1280)、威廉·奧卡姆(?-命題的范疇詞、意義，實質(zhì)指代(相當于語詞的提及)和形式指代(相當于語詞的被使用),推理關(guān)系，命題邏輯推理及其規(guī)律的發(fā)現(xiàn)等1)奠基人弗朗西斯·培根(1561-1626)《學(xué)術(shù)的偉大復(fù)興·新工具論》(1620)2)約翰·斯圖亞特·穆勒(1806-1873)古典歸納邏輯的完成者代表作《邏輯體系》(1843)①內(nèi)容：名與命題、推理、歸納、歸納的方法、謬誤、道德科學(xué)的邏輯②穆勒五法：契合法、差異法、契合差異并用法、剩余法、共變法1)數(shù)學(xué)邏輯產(chǎn)生的背景：16世紀后數(shù)學(xué)的發(fā)展；霍布斯、笛卡兒將數(shù)學(xué)引入哲學(xué)的思想2)數(shù)學(xué)邏輯的發(fā)展歷程①創(chuàng)始人：萊布尼茨(1646-1716)初步設(shè)想了數(shù)學(xué)邏輯的基本思想，即“思維演算”(calculusratiociator):將推理歸結(jié)為某種演算“讓我們來算一下!”②布爾(1815-1864)邏輯代數(shù)；弗雷格(1848-1925)真正的數(shù)學(xué)邏輯理論③羅素(1872-1970)懷特海(186l-1947)《數(shù)學(xué)原理》標志著數(shù)學(xué)邏輯體系的確立④哥德爾(1906-1978)1930年提出不完全性定理，標志著數(shù)學(xué)邏輯的基礎(chǔ)理論即“·階3)數(shù)學(xué)邏輯的主要內(nèi)容：①邏輯演算②證明論③公理集合論④遞歸論⑤模型論4)數(shù)學(xué)邏輯區(qū)別于傳統(tǒng)邏輯的特點②建立符號語言(人