邏輯講義第一章

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

邏輯與邏輯學(xué)

邏輯的起源

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