邏輯學(xué)學(xué)科漫談邏輯地思考

邏輯學(xué)學(xué)科漫談邏輯地思考第1頁(yè)，共21頁(yè)，2023年，2月20日，星期四

“邏輯”一詞的由來(lái)和多義性“邏各斯”——

Logic

——邏輯（名學(xué)、辯學(xué)、理則學(xué)、論理學(xué)等）邏輯一詞的多義性：1、客觀(guān)事物發(fā)展的規(guī)律性。2、特定人的思想、觀(guān)點(diǎn)、理論。3、思維和表達(dá)的系統(tǒng)、條理性。4、專(zhuān)指一門(mén)科學(xué)——邏輯學(xué)第2頁(yè)，共21頁(yè)，2023年，2月20日，星期四教科書(shū)中邏輯的定義邏輯學(xué)是研究思維形式及其規(guī)律，和一些邏輯方法的科學(xué)。邏輯是研究推理（特別是必然性推理）及其規(guī)律和規(guī)則的科學(xué)。第3頁(yè)，共21頁(yè)，2023年，2月20日，星期四邏輯學(xué)怎樣研究命題和推理的結(jié)構(gòu)命題形式結(jié)構(gòu)：1、所有S是P2、如果p，那么q

推理形式結(jié)構(gòu)：1、所有M是P；2、只有p，才q；所有S是M；非p；所以，所有S是P。所以，非q。第4頁(yè)，共21頁(yè)，2023年，2月20日，星期四邏輯學(xué)的科學(xué)屬性和特性文理兼具：其中傳統(tǒng)邏輯偏重自然語(yǔ)言，現(xiàn)代邏輯偏重符號(hào)語(yǔ)言。一般性質(zhì)：工具性、普適性、批判性列寧：任何科學(xué)都是應(yīng)用邏輯。李之藻：名理乃人所賴(lài)以通貫眾學(xué)之具。第5頁(yè)，共21頁(yè)，2023年，2月20日，星期四邏輯學(xué)科的分支門(mén)類(lèi)邏輯史：西方邏輯史、中國(guó)邏輯史（中國(guó)名辯學(xué)史）、印度邏輯史（印度因明史）。經(jīng)典邏輯：傳統(tǒng)邏輯、現(xiàn)代邏輯。新邏輯系統(tǒng)：模態(tài)邏輯、道義邏輯、時(shí)態(tài)邏輯、認(rèn)知邏輯、問(wèn)題邏輯、命令邏輯、優(yōu)先邏輯、多值邏輯、模糊邏輯、歸納邏輯、概率邏輯、博弈邏輯等。其他：哲學(xué)邏輯、邏輯哲學(xué)、語(yǔ)言邏輯、法律邏輯、論辯邏輯等。第6頁(yè)，共21頁(yè)，2023年，2月20日，星期四邏輯學(xué)與其他科學(xué)邏輯學(xué)與哲學(xué)邏輯學(xué)與數(shù)學(xué)邏輯與計(jì)算機(jī)科學(xué)邏輯學(xué)與經(jīng)濟(jì)學(xué)邏輯學(xué)與法學(xué)邏輯學(xué)與語(yǔ)言學(xué)邏輯學(xué)與心理學(xué)第7頁(yè)，共21頁(yè)，2023年，2月20日，星期四

學(xué)邏輯是必要的嗎？聯(lián)合國(guó)教科文組織新制定的影響人類(lèi)及社會(huì)發(fā)展的最重要的基礎(chǔ)學(xué)科增設(shè)了邏輯學(xué)（天、地、生、數(shù)、理、化）。在權(quán)威的《大英百科全書(shū)》科學(xué)分類(lèi)中，將邏輯與數(shù)學(xué)一起放在了各門(mén)科學(xué)的前列。世界著名大學(xué)在本科和研究生階段均開(kāi)設(shè)相應(yīng)的邏輯課程。目前國(guó)內(nèi)系列碩士學(xué)位入學(xué)考試中，邏輯推理為必考內(nèi)容。教育部準(zhǔn)備在高中學(xué)習(xí)階段，開(kāi)設(shè)選修的邏輯基礎(chǔ)課程。第8頁(yè)，共21頁(yè)，2023年，2月20日，星期四邏輯學(xué)的意義和作用邏輯學(xué)有助于提高邏輯思維能力。邏輯學(xué)有助于獲得新的知識(shí)。邏輯學(xué)有助于有效交際和正確表達(dá)。邏輯學(xué)有助于識(shí)別、駁斥謬誤和詭辯。邏輯學(xué)有助于人生的順利和如意。第9頁(yè)，共21頁(yè)，2023年，2月20日，星期四推理能力：簡(jiǎn)單的與復(fù)雜的例一：如果停電，那么燈不亮；燈是亮的；所以，沒(méi)停電。（形式正確且內(nèi)容正確的推理）例二：如果停電，那么燈不亮；燈不亮；所以，停電了。（形式錯(cuò)誤切結(jié)論錯(cuò)誤的推理）第10頁(yè)，共21頁(yè)，2023年，2月20日，星期四復(fù)雜推理（1）某班級(jí)的幾位同學(xué)一起議論他們今年暑假出游的去向。甲說(shuō)：“如果趙明沒(méi)有去西藏，那一定會(huì)去上海。”乙說(shuō)：“錢(qián)玲去了哈爾濱。”丙說(shuō)：“如果林群沒(méi)有去西寧，那么，張紅會(huì)去杭州。”丁說(shuō)：“趙明沒(méi)有去西藏，也沒(méi)有去上海?！蔽煺f(shuō)：“錢(qián)玲去了廣州?！奔赫f(shuō)：“張紅沒(méi)有去杭州?！笔潞罅私猓@次議論中．有兩個(gè)人說(shuō)的與事實(shí)不相符。假定每人只去一地出游，根據(jù)上述情況，以下哪項(xiàng)必定是正確的？A．趙明沒(méi)有去西藏，但是去了上海。

B．林群去了西寧，趙明可能去了西藏。C．錢(qián)玲去了廣州，但沒(méi)有去哈爾濱。D．趙明沒(méi)有去上海，林群去了西寧。E．錢(qián)玲去了哈爾濱，張紅沒(méi)有去杭州。第11頁(yè)，共21頁(yè)，2023年，2月20日，星期四復(fù)雜推理（2）甲乙丙丁四人的國(guó)籍分別為英國(guó)、俄國(guó)、法國(guó)、日本。還知道：乙比甲高，丙最矮；英國(guó)人比俄國(guó)人高，法國(guó)人最高；日本人比丁高。由上可知這四個(gè)人的國(guó)籍是：A.甲是法國(guó)人，乙是日本人，丙是俄國(guó)人，丁是英國(guó)人。B.甲是日本人，乙是法國(guó)人，丙是英國(guó)人，丁是俄國(guó)人。C.甲是俄國(guó)人，乙是法國(guó)人，丙是日本人，丁是英國(guó)人。

D.甲是日本人，乙是法國(guó)人，丙是俄國(guó)人，丁是英國(guó)人。E.甲是英國(guó)人，乙是法國(guó)人，丙是俄國(guó)人，丁是日本人。第12頁(yè)，共21頁(yè)，2023年，2月20日，星期四復(fù)雜推理（3）愛(ài)因斯坦的超級(jí)問(wèn)題：1、在一條街上，有5座房子，噴了5種顏色。2、每個(gè)房里住著不同國(guó)籍的人。3、每個(gè)人喝不同的飲料，抽不同品牌的香煙，養(yǎng)不同的寵物。假設(shè)條件：1、英國(guó)人住紅色房子。2、瑞典人養(yǎng)狗。3、丹麥人喝茶。4、綠色房子在白色房子左面。5、綠色房子主人喝咖啡。6、抽PallMall香煙的人養(yǎng)鳥(niǎo)。7、黃色房子主人抽Dunhill香煙。8、住在中間房子的人喝牛奶。9、挪威人住第一間房。10、抽Blends香煙的人住在養(yǎng)貓的人隔壁。11、養(yǎng)馬的人住抽Dunhill香煙的人隔壁。12、抽BlueMaster的人喝啤酒。13、德國(guó)人抽Prince香煙。14、挪威人住藍(lán)色房子隔壁。15、抽Blends香煙的人有一個(gè)喝水的鄰居。問(wèn)題是：誰(shuí)養(yǎng)魚(yú)？（答案是德國(guó)人養(yǎng)魚(yú)）愛(ài)因斯坦說(shuō)：世界上將有98％的人答不出來(lái)推理的過(guò)程。

第13頁(yè)，共21頁(yè)，2023年，2月20日，星期四西方邏輯和著名邏輯學(xué)家西方邏輯從古代到現(xiàn)代的發(fā)展

從《工具論》到《新工具》

——演繹邏輯與歸納邏輯

從“通用語(yǔ)言”到公理演算系統(tǒng)

——現(xiàn)代邏輯的產(chǎn)生與發(fā)展第14頁(yè)，共21頁(yè)，2023年，2月20日，星期四西方著名邏輯學(xué)家亞里士多德（公元前384——前322年）弗蘭西斯·培根（1561——1626年）威廉·萊布尼茲（1646——1716年）伯蘭特·羅素（1872——1970）第15頁(yè)，共21頁(yè)，2023年，2月20日，星期四中國(guó)古代的邏輯思想家鄧析（約公元前550一前501年）孔子（公元前551—前479年）墨子和后期墨家（約公元前480——前250）

第16頁(yè)，共21頁(yè)，2023年，2月20日，星期四中國(guó)古代的邏輯思想家惠施（約公元前370—前310年）公孫龍（公元前325—250年）荀子（公元前313—前238年）第17頁(yè)，共21頁(yè)，2023年，2月20日，星期四邏輯專(zhuān)業(yè)人才培養(yǎng)和就業(yè)南開(kāi)大學(xué)、中山大學(xué)是目前國(guó)內(nèi)僅有的兩所設(shè)本科邏輯專(zhuān)業(yè)的大學(xué)。國(guó)內(nèi)十余所大學(xué)已建立博士、碩士點(diǎn)。大學(xué)教師隊(duì)伍急需邏輯專(zhuān)業(yè)后備人才。黨政、司法、理論、媒體等單位也需要一專(zhuān)多能的邏輯人才。出國(guó)深造也是可選擇的發(fā)展之路。第18頁(yè)，共21頁(yè)，2023年，2月20日，星期四當(dāng)代邏輯懸而未決的問(wèn)題歸納推理合理性的辯護(hù)悖論問(wèn)題及其解決方案形式化真理的語(yǔ)言刻畫(huà)機(jī)器證明與人工智能語(yǔ)言和知識(shí)的機(jī)器表達(dá)命名與專(zhuān)名、摹狀詞意義問(wèn)題模態(tài)的形而上學(xué)與可能世界邏輯的本題論承諾問(wèn)題第19頁(yè)，共21頁(yè)，2023年，2月20日，