形式邏輯第一章.ppt

1、形式與邏輯第一章 引論,第一節(jié) 普通邏輯的研究對象,一、“邏輯”和“邏輯學(xué)” 1. “邏輯”一詞的詞源：邏各斯,原指思想、理性、規(guī)律、言辭等。 在現(xiàn)代漢語當中有多重含義： (1)客觀事物發(fā)展變化的規(guī)律。 “要注意研究中國革命的邏輯”（毛澤東） (2)思維的規(guī)律。 “這篇文章邏輯性很強?！?(3)在貶義上，指一種特殊的看問題的理論、觀點。 “必須揭露霸權(quán)主義的邏輯”， “這就是實用主義者為人處世的邏輯”，帶有指責(zé)、嘲諷的意味。 (4)一門學(xué)科，研究思維形式及其規(guī)律的科學(xué)。 “學(xué)點文法和邏輯”，“普通邏輯學(xué)”，“形式邏輯”等等。,2.邏輯學(xué)三大發(fā)源地 古印度因明學(xué)：公元前6世紀 中國春秋戰(zhàn)國時期：

2、名學(xué)或辯學(xué)，公元前5-3世紀 古希臘形式邏輯：公元前4世紀,3.邏輯學(xué)分為形式邏輯、辯證邏輯。 形式邏輯：研究思維的形式結(jié)構(gòu)、規(guī)律和方法。 有傳統(tǒng)邏輯（普通邏輯）和現(xiàn)代邏輯（數(shù)理邏輯）之分。 辯證邏輯：思維如何反映客觀事物的運動、變化。,二、普通邏輯的研究對象 1.思維的形式結(jié)構(gòu)（邏輯形式） （1）思維的含義 思維是人腦對客觀事物的反映。 邏輯學(xué)的思維特指人類的理性認識過程。 思維的特征：概括性、間接性、通過語言來實現(xiàn)。 （2）思維的內(nèi)容和形式 思維的具體內(nèi)容：反映在概念、判斷、推理中的特定對象及其屬性。 思維的邏輯形式：思維內(nèi)容各個部分之間的組合方式或聯(lián)系。,如：哲學(xué)是關(guān)于世界觀的學(xué)問。 萬

3、里長城是雄偉壯觀的。 （用”s” 表示判斷斷定的對象，用 ”p”表示判斷對象所具有的屬性，它們的共同邏輯形式就是： s 是 p） 又比如：只有好好學(xué)習(xí)，才能天天向上。 只有讀書破萬卷，才能下筆如有神。 （這兩個判斷的思維內(nèi)容也不同，但也有共同的邏輯形式。如果用”p”表示條件，用“q”表示結(jié)果，這個共同的邏輯形式就是：只有 p， 才 q ）,（3）變項和常項 常項：有確定含義，并始終保持不變的部分。 變項：可以用具體的概念、判斷加以替換的部分。 邏輯形式的不同，是由邏輯常項決定的。 2.思維的基本規(guī)律 同一律、不矛盾律、排中律、充足理由律 3.簡單的邏輯方法,第二節(jié) 普通邏輯的性質(zhì),一、工具性、

4、基礎(chǔ)性的科學(xué) 二、無階級性、無民族性的科學(xué) 第三節(jié) 學(xué)習(xí)普通邏輯的意義和方法 一、意義 1.為獲得新知識提供邏輯工具 2.提高學(xué)習(xí)效果 3.開發(fā)智力 4.清楚地表情達意 5.反駁的工具,例如： “你沒有失掉的東西是你有的東西，你沒有失掉角，所以，你是有角的。”（古希臘歐布利德） “白馬非馬”（公孫龍）,二、方法 1.自覺性、積極性 2.區(qū)分各種邏輯形式的特征 3.做好邏輯練習(xí)題,第四節(jié) 邏輯學(xué)歷史發(fā)展概述,一、西方邏輯學(xué)的發(fā)展階段 發(fā)源于古希臘，分四個階段： 古代邏輯（12世紀以前） 中世紀邏輯（12-14世紀） 近代邏輯（15-19世紀） 現(xiàn)代邏輯（19世紀之后） 代表人物： （1）“邏輯學(xué)

5、之父”亞里士多德 工具論、形而上學(xué) （2）培根：古典歸納邏輯的創(chuàng)始人。新工具,二、中國邏輯學(xué)的發(fā)展 1.戰(zhàn)國-西漢，中國古典邏輯發(fā)展階段，名辯之學(xué)，代表人物有惠施、公孫龍、荀子、墨子等。 2.魏晉南北朝，玄學(xué)。 3.唐朝，玄奘把印度因明學(xué)傳入中國。 4.宋元明時期，程朱理學(xué)。 明末，光祿寺少卿李之藻最早翻譯西方邏輯學(xué)著作，名為名理探。 5.近代，嚴復(fù)翻譯了穆勒名學(xué)、名學(xué)淺說，使西方邏輯學(xué)在中國產(chǎn)生了較大影響。,練 習(xí),一、在下列命題或推理中，哪些具有共同的邏輯形式。 1.一切真知都是來源于實踐的。 2.一切鳥都是卵生的，一切蝙蝠都不是卵生的，所以一切蝙蝠都不是鳥。 3.只有水量合適，水稻才能豐收。 4.一切交通事故都是違章造成的。 5.一切偶數(shù)都能被2整除，一切奇數(shù)都不能被2整除，所以一切奇數(shù)都不是偶數(shù)。 6.只有年滿18歲，才有選舉權(quán)。,二、單項選擇題,1、如果兩個思想的表達具有相同的思維形式結(jié)構(gòu)，則（ ）。 A. 表達相同的思想內(nèi)容。 B. 具有相同的自然語言表達。 C. 具有相同的邏輯常項。 D. 具有不同的邏輯變項。 2、“要么p要么q”與“或者p或者q”這