《《形式邏輯概論》PPT課件.ppt》由會(huì)員分享，可在線閱讀，更多相關(guān)《《形式邏輯概論》PPT課件.ppt（40頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

形式邏輯,教師 ：管淑俠 單位：人文學(xué)院 電話：64493608 65940065 辦公室：博學(xué)樓1304,,“出入校門請(qǐng)出示工作證和學(xué)生證” 樹(shù)下一個(gè)猴，樹(shù)上7（騎）個(gè)猴，共有幾個(gè)猴？,水自潺湲日自斜，盡無(wú)雞犬有鳴鴉。 千村萬(wàn)落如寒食，不見(jiàn)人煙空見(jiàn)花。,,詭辯中也有邏輯。關(guān)于禿頭的詭辯：如果 掉一根頭發(fā)不會(huì)使人禿頭、 掉兩根頭發(fā)不會(huì)使人禿頭、 掉三根頭發(fā)也不會(huì)使人禿頭， 那么到底要掉多少根頭發(fā)才會(huì)變成禿頭呢？” 這就涉及到邏輯上概念的分散使用與集合使用的問(wèn)題。,,我女兒是美國(guó)人， 我是我女兒的父親， 一不小心我成了美國(guó)人的父親。,,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,什么是邏輯？（logic ） 廣義：思想、思維、理性、規(guī)律、規(guī)則、本質(zhì) 狹義：邏輯學(xué)是研究思維形式(結(jié)構(gòu))及其規(guī)律和基本邏輯方法的學(xué)科。,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,邏輯學(xué)是研究： 一、思維形式（結(jié)構(gòu)） 二、思維基本規(guī)律 三、基本邏輯方法 的學(xué)科,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,,例： 當(dāng)心！watch out! 曙光乍現(xiàn)。It’s light at the end of tunnel. 不可能！ When the pig fly! 休想！over my dead body! 例： watch out! Be careful! Look out!,例： check out!仔細(xì)看看；登記入住賓館 玉米 一種糧食，李宇春的迷。 例：下雨天留客天留客人不留 下雨天，留客天，留客人不？留！ 下雨天留客，天留客，人不留。,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,2，邏輯形式（穩(wěn)定性、確定性） 結(jié)構(gòu)決定功能 思維要素的結(jié)構(gòu)方式不同，思維內(nèi)容也就不同。 例： “虛假的真理”、 “熾熱的冰雪” “美麗的丑丫頭”、 “80多歲的小伙子”,,“他就是你要找的人”可以轉(zhuǎn)換為“你要找的人就是他”，（全同關(guān)系） “狗是長(zhǎng)耳朵的動(dòng)物”“長(zhǎng)耳朵的動(dòng)物是狗：（包含于關(guān)系） 又如：某公司有的人是球迷，有的人是歌迷，因此，該公司有些歌迷是球迷。 換：某公司有的人是老頭，有的人是小姑娘，因此，該公司有些老頭是小姑娘。,荀子,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,（1）思維形式：概念、判斷和推理 概念：一類或一個(gè)事物的本質(zhì)的反映形式。 判斷：斷定一事物是否具有某種屬性、一事物與其他事物之間是否有某種聯(lián)系的反映形式。 推理：從若干已知的事物情況來(lái)認(rèn)識(shí)那些未知的事物情況的思維形式。,培根,,宇宙、基本粒子、李白、瀟灑、大于等。 袁世凱是竊國(guó)大盜。 甲和乙是親戚。某超市的商品件件價(jià)廉物美。 W公司的經(jīng)理是股民，所以并非W公司的人都不是股民。(上反對(duì)關(guān)系),狼是食肉動(dòng)物，所以有些不是狼的動(dòng)物不是食肉動(dòng)物。 某超市有些商品價(jià)不廉并且有些商品物不美，因此并非某超市的商品件件價(jià)廉物美。,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,（2）思維形式的結(jié)構(gòu)，就是某一類思維形式內(nèi)部各個(gè)部分之間的聯(lián)系，也叫思維的邏輯形式 。 邏輯形式由常項(xiàng)和變項(xiàng)構(gòu)成 邏輯常項(xiàng)是表示各部分之間聯(lián)系方式的語(yǔ)詞，是邏輯形式中不變的部分 。 邏輯變項(xiàng)是邏輯形式中可以用其他內(nèi)容代換的部分,,所有人都是哺乳動(dòng)物。 所有侵略戰(zhàn)爭(zhēng)都是非正義的。 所有金屬都是導(dǎo)體。 所有S都是P,如果天下雨，那么地就會(huì)濕。今天下雨了，所以地會(huì)濕的。 如果你來(lái)，那么我就走。 現(xiàn)在你來(lái)了，所以我就走了。 如果p，那么q。 p 所以，q,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,形式邏輯要求在思維過(guò)程中要做到概念的內(nèi)涵和外延明確，命題清楚而無(wú)歧義，推理合乎形式規(guī)則，由概念、命題、推理組成的論證要真實(shí)而有效。 白馬非馬：求馬，黃黑馬皆可致，求白馬，黃黑馬不可致……是白馬之非馬審矣 。,惠施講辯,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,二、思維形式的規(guī)律 1，同一律 2，不矛盾律（又稱矛盾律） 3，排中律,荀子,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,同一律的內(nèi)容是：在同一思維過(guò)程中，一切思想都必須與自身保持同一。 具體地說(shuō)，（1）在同一思維過(guò)程中，必須保持概念自身的同一。否則會(huì)犯“混淆概念”或“偷換概念”的錯(cuò)誤（2）在同一思維過(guò)程中，必須保持論題自身的同一。否則會(huì)犯“轉(zhuǎn)移論題”或“偷換論題”的錯(cuò)誤。,布什,,1984年，喬治布什與丹奎爾搭檔競(jìng)選美國(guó)總統(tǒng)，當(dāng)時(shí)人們攻擊奎爾，說(shuō)他的家族曾幫他擠進(jìn)印第安納州的國(guó)民衛(wèi)隊(duì)，以逃避去越南服兵役。對(duì)此，布什反駁說(shuō)：“丹奎爾曾在國(guó)民衛(wèi)隊(duì)服役，他的分隊(duì)當(dāng)時(shí)尚有空缺；現(xiàn)在他卻受到了愛(ài)國(guó)派們的攻擊——誠(chéng)然，他沒(méi)去越南，但它的分隊(duì)也沒(méi)被派往那里。有些事實(shí)誰(shuí)也不能抹煞，他沒(méi)有逃往加拿大，他沒(méi)有燒掉應(yīng)征卡，他肯定沒(méi)有燒過(guò)美國(guó)國(guó)旗。,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,例子： 某公司用淀粉加紅糖制成所謂“增高劑”，被騙者甚眾。工商管理人員因它是假藥要查封它。該公司的董事長(zhǎng)振振有詞，不讓查封，他說(shuō)：“我沒(méi)有害死人，你不信，我現(xiàn)在就吃給你看，并且吃了他還頂事，管飽?！?第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,2，不矛盾律（又稱矛盾律） 不矛盾律的內(nèi)容是：兩個(gè)相互矛盾的命題不能同真，必有一假。否則會(huì)犯“自相矛盾”的錯(cuò)誤。 例如，82歲的小伙子 某人既承認(rèn)自己一喝酒，就胡言亂語(yǔ)，又說(shuō)自己也有喝酒而不胡言亂語(yǔ)的情況，這就違反了不矛盾律,,,,“愛(ài)你愛(ài)得如此之深，以至愿為你赴湯蹈火。星期六若不下雨，我一定來(lái)?！?“嚴(yán)禁觸摸電線,500伏高壓一觸即死。違者法辦?！?今年研究生考試，我有信心考上，但卻沒(méi)有把握。,,有人說(shuō)，徹底的無(wú)私包含兩個(gè)含義：第一，無(wú)條件地實(shí)行為他人服務(wù)；第二，拒絕任何他人的服務(wù)。下屬哪項(xiàng)是上述觀點(diǎn)的邏輯推論？ 1，沒(méi)有人是徹底無(wú)私的。 2，不可能所有人都是徹底無(wú)私的。 3，如果有人接受了他人的服務(wù)，那么一定存在徹底無(wú)私的人。 4，如果有人拒絕了他人的服務(wù)，那么一定存在徹底無(wú)私的人。 5，徹底無(wú)私的人要靠教育來(lái)造就。,第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,3，排中律 排中律的內(nèi)容是：兩個(gè)相互矛盾或相互反對(duì)的命題不能同假，必有一真。否則，會(huì)犯“兩不可”的錯(cuò)誤。 如，某人既否認(rèn)“有些血壓高患者應(yīng)該進(jìn)行無(wú)氧運(yùn)動(dòng)”，又否定了“血壓高患者都不應(yīng)該進(jìn)行無(wú)氧運(yùn)動(dòng)”，主要的議論就違背了排中律。,,一天，小方、小林做完數(shù)學(xué)題后發(fā)現(xiàn)答案不一樣。小方說(shuō)，：“如果我的不對(duì)，那你的就對(duì)了?！?小林說(shuō)：“我看你的不對(duì)，我的也不對(duì)?！迸赃叺男偪戳丝此麄儌z的答案后說(shuō)：“小林的答案錯(cuò)了?！崩蠋熥哌^(guò)來(lái)，聽(tīng)了他們的談話，并看了一下運(yùn)算結(jié)果后說(shuō)：“你們?nèi)齻€(gè)人中只有一人所說(shuō)的話是真的?！?第一講 概 論 第一節(jié) 形式邏輯的研究對(duì)象,4，充足理由律 充足理由律的內(nèi)容是：在同一思維和論證過(guò)程中，一個(gè)思想被確定為真，要有充足的理由 要求（1）對(duì)所論證的觀點(diǎn)必須給出理由；（2）給出的理由必須真實(shí)；（3）給出的理由必須能夠推出所要論證的觀點(diǎn)。論證的作用是，預(yù)測(cè)、解釋、決定和說(shuō)服。,韓信,,許多對(duì)動(dòng)物心智能力的行為研究，幾乎沒(méi)有揭示老鼠和黑猩猩之間的任何不同。對(duì)這類結(jié)果的最好解釋是：這些研究本身是不充分的。這個(gè)陳述以賴下面那一項(xiàng)未陳述的前提？ 1， 老鼠和黑猩猩沒(méi)有高度發(fā)達(dá)的心理智能。 2， 動(dòng)物心理實(shí)驗(yàn)的結(jié)果經(jīng)常被有偏見(jiàn)的試驗(yàn)者曲解。 3， 沒(méi)有方法客觀地測(cè)試動(dòng)物的心理智能。 4， 在老鼠和黑猩猩的心理智能之間有相當(dāng)大的不同。 5，對(duì)于測(cè)定動(dòng)物的心理智能來(lái)說(shuō)，檢查動(dòng)物的大腦是比研究動(dòng)物的行為更好的方法。,第二節(jié) 形式邏輯的學(xué)科性質(zhì)與功用,一、形式邏輯的學(xué)科性質(zhì) 其一、形式邏輯與意識(shí)形態(tài)的區(qū)別 （無(wú)階級(jí)性）） 其二、形式邏輯與世界觀和哲學(xué)的區(qū)別（） 其三、形式邏輯所側(cè)重的是思維形式的有效性而非思維內(nèi)容的真實(shí)性,康德,第二節(jié) 形式邏輯的學(xué)科性質(zhì)與功用,二、形式邏輯的功用 1，能夠提高人的思維素質(zhì)。（思維能力、嚴(yán)謹(jǐn)性、條理化、善推導(dǎo)、合規(guī)則、論證性。） 2，它是認(rèn)識(shí)真理的思維工具。,3．論證功用 證明觀點(diǎn)正確 反駁錯(cuò)誤觀點(diǎn) 4．加快思維速度 暫時(shí)撇開(kāi)因豐富甚至繁雜而易使人困惑的思維內(nèi)容，單純抽取具體思維的邏輯形式而做形式化的思考，從而加快思維速度。,,古希臘有位智者叫普羅塔格拉，他靠收徒講學(xué)、傳授論辯技巧、教人打官司為生。一天，他收了一個(gè)學(xué)生叫歐提勒士，與他簽訂了一個(gè)合同：入學(xué)時(shí)交一半學(xué)費(fèi)，畢業(yè)后幫人打官司贏了再交另一半學(xué)費(fèi)。但歐提勒士畢業(yè)后總不幫人打官司，于是老師就老也得不到另一半學(xué)費(fèi)贏了。而他需要那另一半學(xué)費(fèi)，于是打官司要錢。并打著這樣的如意算盤：如果這場(chǎng)官司歐提勒士贏了，那么按合同規(guī)定，他應(yīng)當(dāng)給我另一半學(xué)費(fèi)；如果這場(chǎng)官司歐提勒士輸了，那么按法院判決，他也應(yīng)當(dāng)給我另一半學(xué)費(fèi)；這場(chǎng)官司或者他或者贏了或者輸了，總之，我能得到另一半學(xué)費(fèi)。,,當(dāng)歐提勒士知道老師準(zhǔn)備將他告上法院時(shí)，對(duì)他說(shuō)，我是你的學(xué)生，你那一套我也會(huì)：如果這場(chǎng)官司我贏了，那么根據(jù)法庭裁決，我不應(yīng)該給你另一半學(xué)費(fèi)；如果這場(chǎng)官司我輸了，那么根據(jù)合同規(guī)定，我也不應(yīng)該給你另一半學(xué)費(fèi)；或者這場(chǎng)官司我贏了或者我輸了，總之我不應(yīng)該給你另一半學(xué)費(fèi)。,,,,古代希臘，有個(gè)人借了別人的錢，到期未還。債主來(lái)討債。欠債人想賴掉這筆債，他對(duì)債主說(shuō)：“一切都是變化的，借錢的那個(gè)我，已經(jīng)不是現(xiàn)在這個(gè)我，因此，我不欠你的債?！眰髀?tīng)了后，鼻子都?xì)馔崃?，就?dòng)手打了欠債人。欠債人不服，把債主告到法庭。法官問(wèn)債主：“你為什么打人？”債主根據(jù)欠債人的邏輯，說(shuō)：“一切都是變化的，打人的我已經(jīng)不是現(xiàn)在的我，因此，我并未打人?！狈ü僖宦?tīng)，覺(jué)得都有道理，就不了了之。,,,,第三節(jié) 邏輯學(xué)的三大初始源流,一、先秦時(shí)期的邏輯思想 墨家邏輯 墨子 名家邏輯 鄧析 “合同異”派 惠施 “離堅(jiān)白”派 公孫龍 荀子 思維形式和內(nèi)容兼顧的正名邏輯,墨子,第三節(jié) 邏輯學(xué)的三大初始源流,足目著 正理論 大乘論師 因明學(xué) 陳那（公元400—480）是新因明的始創(chuàng)者，他確立了三支式的論證方式,釋加牟尼,第三節(jié) 邏輯學(xué)的三大初始源流,三、歐洲邏輯傳統(tǒng) 1，亞里士多德古典形式邏輯體系 ，“邏輯之父”?！豆ぞ哒摗?。 2，斯多葛學(xué)派深入研究了命題邏輯 3，培根基 強(qiáng)調(diào)歸納法 “三表法” 4，密爾 探求因果聯(lián)系的五種方法，即“密爾五法”,The end,,