邏輯學(xué)課程教學(xué)大綱

(2004年制訂，2006年修訂)本課程嘗試以現(xiàn)代邏輯為立足點，以較大篇幅講解經(jīng)典邏輯的部分基礎(chǔ)內(nèi)容，著重系統(tǒng)講解命論證等傳統(tǒng)邏輯的主要內(nèi)容，此外也初步涉及模態(tài)邏輯。導(dǎo)論部分主要討論邏輯的性質(zhì)，邏輯的簡邏輯學(xué)是一門區(qū)別于對象科學(xué)的元科學(xué)。現(xiàn)代邏輯從整體上系統(tǒng)處理思維形傳統(tǒng)邏輯不可比擬的。本課程的教學(xué)目的總體上是培養(yǎng)現(xiàn)代邏輯的觀念，初步理解現(xiàn)代邏輯最基本的知識和處理方法，以便為窺現(xiàn)代邏輯龐大的知識體系之一斑提供必要的準(zhǔn)備。此外，通過較為系統(tǒng)的邏輯演算訓(xùn)練，以幫助學(xué)習(xí)者提高邏輯思維能力，進(jìn)而培養(yǎng)和提高綜合素質(zhì)，并為更好地理解以回應(yīng)1978年提出“邏輯要現(xiàn)代化”口號以來20多年的改革取向。同時也兼顧了傳統(tǒng)邏輯的主要知識內(nèi)容，以作為對人類知識文化遺產(chǎn)的某種傳承。本課程在內(nèi)容上和要求上作了較大的調(diào)整，課堂教學(xué)強(qiáng)調(diào)"思維之演算"能力的提高。在教學(xué)進(jìn)程上也充分考慮了建構(gòu)形式系統(tǒng)、邏輯推演之前2第一章導(dǎo)論"邏輯即規(guī)律";"必然性的聯(lián)系或趨勢”;"思維中的某種必然聯(lián)系";"關(guān)于思維形式結(jié)構(gòu)的規(guī)律";"邏輯，即必然地得出”(王路)歐洲：亞里士多德斯多噶派伊壁鳩魯派中世紀(jì)弗蘭西斯.培根約翰.穆勒笛卡爾學(xué)派中國：先秦的邏輯思想(惠施、公孫龍、荀況、韓非)后期墨家之百科全書式的邏輯專著《墨萊布尼茨的數(shù)理邏輯的理論布爾的邏輯代數(shù)弗雷格的邏輯演算系統(tǒng)羅素、懷海特的三十年代以后的三大劃時代成果：哥德爾不完全定理塔爾斯基邏輯語義學(xué)圖靈的圖靈機(jī)理論思維的形式結(jié)構(gòu)內(nèi)容不同的思維可以具有共同的形式結(jié)構(gòu)邏輯變項和邏輯常項；表示邏輯變項的自然語言和形式語言；經(jīng)驗科學(xué)和形式科學(xué)；元科學(xué)和35、傳統(tǒng)邏輯和現(xiàn)代邏輯的奠基人分別是誰?為什么他們被稱為奠基人?學(xué)科范疇的不同；并非所有語句都能表達(dá)命題；同一語句表達(dá)不同命題；不同語句表達(dá)同一命題復(fù)合命題的構(gòu)成；復(fù)合命題的邏輯性質(zhì)；邏輯語法學(xué)和邏輯語義學(xué)定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則三、聯(lián)言命題(合取)定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則、運算律四、選言命題(析取)(一)相容選言命題：定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則、運算律德.摩根律(1)(2)及其說明：4否定合取等值式(p△q)<=>pVq德.摩根律(1)否定析取等值式(pVq)<=>┐pA┐q德.摩根律(2)(二)不相容選言命題(嚴(yán)格析取):定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)(一)充分條件假言命題：定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則(二)必要條件假言命題：定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則p-q<=>pV┐qp-q<=>7p→┐qp→q<=>┐q→┐p(假言易位)(三)充分必要條件假言命題：定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則┐(p<->q)<=>p-≠q67全異關(guān)系的兩個詞項S、P相對于論域I而言還有：量項(常項)+主項(變元S)+聯(lián)項(常項)+謂項(變元P)(一)按質(zhì)劃分(按聯(lián)項):肯定命題否定命題(二)按量劃分(按量項):單稱命題全稱命題特稱命題(三)按質(zhì)、量劃分(按邏輯常項):A命題SAP全稱肯定命題E命題SEP全稱否定命題0命題SOP特稱否定命題(四)關(guān)于量項關(guān)于全稱量項所有一切任何凡每一個關(guān)于特稱量項有有些存在至少一個許多少數(shù)大多數(shù)關(guān)于特稱量項的歧義問題(廣義和狹義)關(guān)于特稱量項的從弱原則(狹義用法)周延的定義(三段論的核心概念)直言命題的周延性第三節(jié)直接推理主、謂項相同(素材相同)的直言命題A、E、I、O四種命題之間的真值關(guān)系：矛盾關(guān)系反對換質(zhì)法規(guī)則換位法規(guī)則換質(zhì)法和換位法結(jié)合使用8二、結(jié)構(gòu)；三段論由且只由三個直言命題構(gòu)成；三段論由且只由三個詞項構(gòu)成；每2個命題有規(guī)則1中項在前提中至少周延一次規(guī)則2在前提中不周延的項，在結(jié)論中不得周延規(guī)則3前提與結(jié)論中否定命題的數(shù)目必須相同1、從三段論的判定規(guī)則導(dǎo)出16條導(dǎo)出規(guī)則模態(tài)；模態(tài)詞一、必須命題、允許命題和禁止命題了解傳統(tǒng)歸納法的主要內(nèi)容。理解現(xiàn)代邏輯處理歸納法的方法，初步掌握概率歸納推理和統(tǒng)計一、關(guān)于"歸納推理"歸納和演繹"歸納推理"實例二、"歸納推理"的基本特征傳統(tǒng)歸納法：枚舉法類比法四、科學(xué)預(yù)測的邏輯模式：演繹預(yù)測模式；統(tǒng)計預(yù)測模式一、因果聯(lián)系二、穆勒“五法”二、假說形成的邏輯方法第七章論證理解論證的規(guī)則，掌握反證法、選言語法等論證方法。學(xué)會辨識日常論證第一節(jié)論證的定義和構(gòu)成一、演繹論證和歸納論證(例證法、類比論證法、喻證法)二、直接論證和間接論證(反證法、選言證法)違反"論據(jù)應(yīng)當(dāng)是真實判斷”的規(guī)則所犯的邏輯錯誤叫做“虛假理由”或“預(yù)期理由"。違反“論據(jù)的真實性不應(yīng)依賴論題的真實性來論證"的規(guī)則所犯的邏輯錯誤叫做“循環(huán)論證”。論據(jù)集應(yīng)當(dāng)一致：討論"普羅泰戈拉之半費之訟"。違反"論題的真實性是從論據(jù)的真實性中必然推出來的，論據(jù)與論題之間要有必然的邏輯聯(lián)系"伊壁鳩魯曾經(jīng)論證"上帝是不存在的"。請分析他的論證的結(jié)構(gòu)：我們不得不承認(rèn)上帝或者愿意撲滅世界上的邪惡，但他做不到；或者他能夠做，但如果上帝愿意做，但做不到，這就不符合"上帝是全能的"這一宗教觀念了；如果他既不愿意，又做不到，這當(dāng)然同上帝的"全能、全善、全智"的本性根本不相符。1.宋文堅.新邏輯教程[M].北京：北京大學(xué)出版社，1992.2.王路.邏輯的觀念[M].北京：商務(wù)印書館，2000.3.葉峰.一階邏輯和一階理論[M].北京：中國社會科學(xué)出版社，1994.4.金岳霖.形式邏輯[M].北京：人民出版社，1979.5.陳波.邏輯學(xué)是什么[M].北京：北京大學(xué)出版社，2002.6.朱水林.形式化：現(xiàn)代邏輯的發(fā)展[M].人民出版社，1987.7.江天驥.歸納邏輯導(dǎo)論[M].長沙：湖南人民出版社，1987.8.孔慶榮.邏輯學(xué)原理[M].中國法制出版社，2000.2006年2月2006年2月2006年2月XD-WSS-1型水介式超聲波水(液)位計XD-WSS-1型水介式超聲波水(液)位計產(chǎn)品水文儀器許可證號：2.主要配置a.水位計室內(nèi)機(jī)/水位計外用機(jī)(根據(jù)客戶要求選用其一)圖2-1水位計及換能器(左為室內(nèi)機(jī)，右為外用機(jī))3.主要特點4.主要性能指標(biāo)5.儀器系統(tǒng)工作流程0.1m—30m(按規(guī)格不同)200—800kHz(按規(guī)格不同)5.2儀器工作方式5.3儀器具體連線與功能應(yīng)用圖5-2儀器背板2腳用于數(shù)據(jù)傳輸；3腳用于計算機(jī)向水位計發(fā)送測量工作指令；5腳為接地。5.3.3水位計數(shù)據(jù)通訊格式5.3.4電腦顯示程序安裝應(yīng)用：參數(shù)，直接點下一步，直至程序安裝完成。程序自動安裝在C盤的雙擊打開軟件(見圖5-3),每次運行軟件，需要進(jìn)行“串口設(shè)置”,才能通過串口接收水位數(shù)據(jù)。串口設(shè)置時，只需在“串口選擇”的選擇框內(nèi)選擇水位計連接的通訊串口編號，其它設(shè)置默認(rèn)即可(見圖5-4)。圖5-3圖5-45.3.5啟動工作與調(diào)整6.換能器水下固定安裝6.1梯形斷面水位測量點安裝方式：(見圖6-1、6-2根據(jù)現(xiàn)場實際情況，在緊挨渠道的堤坡PVC1、將配件中的φ75*φ50的PVC三通管及其它PVC附件取出，根據(jù)需要在當(dāng)?shù)刭徶靡欢ㄩL度的φ75和φ50的PVC管。斷面中。φ75PVC管底部盡可能與渠底水平并要求較高的垂直度(聲脈沖直線反射運行的需要);過濾網(wǎng)與φ50PVC連通管頂端相配接。3、將相應(yīng)長度的φ50的PVC管與裝配有換能器的φ50的PVC短管中；另在中75的PVC靜水管上端鋸開一個小口便于電纜線橫向隱圖6-1梯形斷面安裝示意圖6-2PVC套筒安裝細(xì)節(jié)示意圖6-3PVC套筒實物拼裝示意圖(1)6-4PVC套筒實物拼裝示意圖(2)6-5PVC套筒實物拼裝示意圖(3)6.2閘、渠垂直建設(shè)物水位測量點安裝方式閘壁、渠壁等設(shè)安裝點，可將換能器固定在50mm—70mm的PVC靜水管底部，并直接將PVC管垂直固定在建設(shè)物壁面上即可(安裝方式一),也可將換能器配裝在L型彎角件上，長邊部分直接固定在建筑揚垂直面上(安裝方式二)。圖6-3垂直渠壁安裝示意將換能器直接安裝在水尺樁上(方式一),或在低水位處垂直埋埋在堤坡處。(見圖6-4)6.4安裝應(yīng)注意的問題6.5儀器測量調(diào)整與渠底0位值設(shè)定將儀器測量并顯示的數(shù)據(jù)與實際水位數(shù)據(jù)調(diào)整一致。圖6-5撥碼塊示意圖6.5.1撥碼數(shù)值計算實際水位高度-水位計當(dāng)前顯示距離=差值(撥碼數(shù)值)例：假設(shè)當(dāng)水位計安裝好后測量顯示的水位值為225cm,而當(dāng)例圖6-66.5.2二進(jìn)制數(shù)值拔碼具體操作步驟：打開計算器，點擊“查看”工具條，選擇“科學(xué)型”,在計算器根據(jù)二進(jìn)制數(shù)值，從低位到高位把1對應(yīng)的撥碼鍵撥到ON位，0對應(yīng)的撥碼鍵保持原位不變，例：二進(jìn)制數(shù)101100對應(yīng)的是低位撥碼塊(右碼塊)的6號、5號、4號、2號鍵，將這幾個鍵位拔到ON即可。(見圖6-7)6-7撥碼92cm實際例圖注意：拔碼操作時請注意實物拔碼塊和示意圖的方向差別6.5.3十進(jìn)制數(shù)值撥碼操作步驟同的數(shù)字，則選擇比它小且最接近的數(shù)字作為減數(shù)，直至結(jié)果為0。以上例中92為例進(jìn)行拔碼操作：1、根據(jù)撥碼原則(選擇比設(shè)定值小且最接近),因為92沒有直接對應(yīng)的數(shù)字位，所以，在拔碼盤中首先選擇比92小且最接近的數(shù)值是64,其對應(yīng)鍵位是2,將鍵位2的滑動塊撥到ON方向即可；用92減去最大接近值64得92-64