課程目錄
高教馬工程邏輯學(xué)-1-大綱十四章；緒論第一節(jié)，邏輯學(xué)的研究對象和類型：邏輯學(xué)的含義；思想言辭理性規(guī)律，狹義是演繹推理，廣義是思維的形式和規(guī)律
高教馬工程邏輯學(xué)-2-緒論第一節(jié)，邏輯學(xué)的研究對象和類型：對象1形式，去掉具體內(nèi)容；不同命題可形式相同；變項常項；邏輯看推理，推理看命題，命題看詞項；對象2規(guī)律
馬工程《邏輯學(xué)》3緒論第一節(jié)，邏輯學(xué)的研究對象和類型：邏輯學(xué)的類型：演繹推理和歸納推理；演繹→必然性→有效性→形式正確→結(jié)論包含于前提合取
馬工程《邏輯學(xué)》4緒論第一節(jié)歸納研究前提對結(jié)論支持度；結(jié)論不為前提蘊(yùn)含推理都是歸納，類比、回溯和合情；演繹推理是必然性，歸納是放大性創(chuàng)新，二者是相對的、聯(lián)系的和
馬工程《邏輯學(xué)》5緒論第二節(jié)邏輯學(xué)的性質(zhì)與作用：與語言學(xué)哲學(xué)心理學(xué)的關(guān)系；思維連接了邏輯學(xué)和語言學(xué)，都是暗箱，需要統(tǒng)計學(xué)歸納；自然語言和人工語言，前者有模糊性
馬工程《邏輯學(xué)》6緒論第二節(jié)邏輯學(xué)的性質(zhì)與作用：邏輯語義學(xué)的真（真理），馬克思主義哲學(xué)指導(dǎo)發(fā)展；邏輯學(xué)提供可靠的認(rèn)識真理的必要條件；專門學(xué)科與辯證法相輔相成
馬工程《邏輯學(xué)》7緒論第二節(jié)邏輯學(xué)的性質(zhì)與作用：邏輯學(xué)與心理學(xué)-都是思維與認(rèn)知，邏輯普適全人類性，基礎(chǔ)性，工具性和規(guī)范性
馬工程《邏輯學(xué)》8緒論第二節(jié)邏輯學(xué)的性質(zhì)與作用：學(xué)習(xí)邏輯學(xué)的作用：提高效率，思維素質(zhì)和文明建設(shè)，思維素質(zhì)，理論素養(yǎng)，批判思維和創(chuàng)新思維
馬工程《邏輯學(xué)》9第三節(jié)研究和學(xué)習(xí)方法：研究方法對象是思維形式和規(guī)律，目的是找出正確推理形式，形式化非形式化和系統(tǒng)化；形式化使自然語言符號化遞歸為符號和規(guī)則，語
馬工程《邏輯學(xué)》10第三節(jié)研究和學(xué)習(xí)方法：公理化和自然演繹-公理推演定理，初始和導(dǎo)出概念，命題選公理，其余為定理；真前提和假設(shè)推斷的形式化方法，常用，無公里，推
馬工程《邏輯學(xué)》11第三節(jié)研究和學(xué)習(xí)方法-學(xué)習(xí)方法：形式化，去內(nèi)容，數(shù)學(xué)內(nèi)核；詞項→命題→推理環(huán)環(huán)相扣，推理為中心，規(guī)則是重點；理論聯(lián)系實際，老老實實做習(xí)題
馬工程《邏輯學(xué)》12第四節(jié)邏輯學(xué)的發(fā)展-邏輯學(xué)的三大傳統(tǒng)-西方：亞里士多德《工具論》三段論，邏輯學(xué)之父；斯多噶學(xué)派符合命題推理和命題邏輯；伊壁鳩魯歸納法；中世紀(jì)
馬工程《邏輯學(xué)》13第四節(jié)邏輯學(xué)的發(fā)展-培根歸納邏輯三表法因果聯(lián)系；穆勒因果五法；萊布尼茨數(shù)學(xué)符號邏輯；中國先秦名辯學(xué)，周易爻畫分類，春秋名實，孔子正名，荀子三
馬工程《邏輯學(xué)》14第四節(jié)邏輯學(xué)的發(fā)展-道家老子正言若反寓言說理，法家韓飛矛盾說，秦漢王充論衡，南北朝言意之辯，唐印度因明漢傳藏傳，宋代格物窮理，朱熹類推，明清
馬工程《邏輯學(xué)》15緒論第四節(jié)邏輯學(xué)的發(fā)展-五四時期羅素北大，汪奠基金岳霖；正理經(jīng)，陳那印度邏輯之父；現(xiàn)代有經(jīng)典數(shù)理和非經(jīng)典，從布爾到羅素數(shù)理邏輯成熟，歌德爾不
馬工程《邏輯學(xué)》16第一章傳統(tǒng)詞項邏輯-第一節(jié)詞項-概述：主謂項，內(nèi)涵外延，屬性和類屬；種類：單獨詞項有名詞和限定摹狀詞（唯一）
馬工程《邏輯學(xué)》17第一章傳統(tǒng)詞項邏輯-第一節(jié)詞項-概述：集合非集合詞項，整體屬性，語境中含義；詞項外延關(guān)系，全同，真包含，真包含于和全異；全異有矛盾和反對（中
馬工程《邏輯學(xué)》18第一章傳統(tǒng)詞項邏輯-第二節(jié)直言命題-一類事物性質(zhì)，直言命題=量項+主項+聯(lián)項+謂項；量項是主項量，有特稱全稱；主項是被談?wù)摚�有單稱和普遍；聯(lián)
馬工程《邏輯學(xué)》19第一章傳統(tǒng)詞項邏輯-第二節(jié)直言命題六類：（單稱+全稱+特稱）肯否；SAP主周謂不周，SEP主周謂也周，SIP主謂都不周，SOP主不周謂周；或
馬工程《邏輯學(xué)》20第一章傳統(tǒng)詞項邏輯-第四節(jié)對當(dāng)方陣：形式邏輯中同素材同主謂AEIO真假制約關(guān)系；矛盾關(guān)系有SAP和SOP，SEP和SIP；差等關(guān)系有SAP和
馬工程《邏輯學(xué)》21第一章傳統(tǒng)詞項邏輯-第四節(jié)對當(dāng)方陣：SEP和SOP差等；SAP和SEP反對；SIP和SOP；Z串AEIO，上下反對，左右差等，對角矛盾
馬工程《邏輯學(xué)》22第一章傳統(tǒng)詞項邏輯-直接推理：直言命題，直接推理，間接推理，前提真結(jié)論真，對當(dāng)推理，變形推理（換質(zhì)推理，換位推理）
馬工程《邏輯學(xué)》23第一章傳統(tǒng)詞項邏輯-對當(dāng)關(guān)系推理是由一個命題必然退出另一個命題；上反對，差等和矛盾推出16個有效式；矛盾關(guān)系有效式前提結(jié)論互推4個式
馬工程《邏輯學(xué)》24第一章傳統(tǒng)詞項邏輯-直言命題變形推理：換質(zhì)，改前提質(zhì)，聯(lián)項肯否，謂項補(bǔ)，AEIO都可換；換位，主謂換，周延外延擴(kuò)大縮小，量項調(diào)整；換質(zhì)位，連
馬工程《邏輯學(xué)》25第一章傳統(tǒng)詞項邏輯-直言命題直接推理檢驗：對當(dāng)方陣真假制約來檢驗，SAP有TF，T時SEP為F，SIP為T，SOP為F；F時SEP不定，SI
馬工程《邏輯學(xué)》26第一章傳統(tǒng)詞項邏輯-第四節(jié)三段論-兩個有共同詞項的直言命題為前提推出新直言命題；詞項規(guī)則：前提不周延結(jié)論不周延，中項至少周延一次；前提規(guī)則：
馬工程《邏輯學(xué)》27第一章傳統(tǒng)詞項邏輯-第四節(jié)三段論-導(dǎo)出規(guī)則：兩特前無結(jié)論，前特結(jié)必特；四格：M都主，都謂，一主一謂；規(guī)則：小肯大全；一前必否，大前全；小前必
馬工程《邏輯學(xué)》28第一章傳統(tǒng)詞項邏輯-第四節(jié)三段論-式是由四種直言命題在大小前提和結(jié)論中的排列組合；詞項非空24，否則只有11個有效式
馬工程《邏輯學(xué)》29第一章傳統(tǒng)詞項邏輯-五非標(biāo)準(zhǔn)式三段論：省略前提結(jié)論三種，找中項排大小；六、文恩圖有效性：難點，構(gòu)建，用誰來求誰；歐拉無空項，文氏有陰影，非空
馬工程《邏輯學(xué)》30第一章傳統(tǒng)詞項邏輯-六非標(biāo)準(zhǔn)三段論：抽象三段論形式→集合演算分析→具體文氏圖→檢驗
馬工程《邏輯學(xué)》31第一章傳統(tǒng)詞項邏輯-總結(jié)
馬工程《邏輯學(xué)》32第二章命題邏輯-第一節(jié)命題邏輯概述-命題=真假句，二值原則：真值為真，真值為假
馬工程《邏輯學(xué)》33二，簡單命題與復(fù)合命題；三，推理-前提，結(jié)論，有效無效，前提真蘊(yùn)含結(jié)論真，如果p那么q；并非q所以并非p。命題=公式；簡單命題=命題變元
馬工程《邏輯學(xué)》34簡單命題非真既假，連接詞決定復(fù)合命題真假；一、命題連接詞真值表-1否定詞：并非；2合取詞只有全真結(jié)果才真；3析取詞：都假結(jié)果才假；不相容析取
馬工程《邏輯學(xué)》35一、命題連接詞真值表-4蘊(yùn)含：條件，前后件；前真后假才為假；充分條件是并聯(lián)，必要條件是串聯(lián)；5等值：充分必要可換位
馬工程《邏輯學(xué)》36二復(fù)合命題推理：有效推理；否定：A真充要否否A真；合取：充要A真B真；析取：充要A真或B真；條件：充要A假或B真；真真MP，假假MT，兩個假
馬工程《邏輯學(xué)》37三復(fù)合命題等值推理-雙重否定，德摩根律，交換律，結(jié)合律，分配律，冪等律，假言易位律，等等
馬工程《邏輯學(xué)》38四復(fù)合命題推理綜合運(yùn)用：1條件三段論傳遞；2分情況二難推理；3反三段論；4反證法：假設(shè)為否，想肯；5假設(shè)為肯，想否
馬工程《邏輯學(xué)》39第三節(jié)真值表-2的n次方真假組合；簡單命題真值組合，衍生命題真假，整個公式；結(jié)果全真重言式，全假矛盾式，都有或然式；推理有效性檢驗化為蘊(yùn)含式
馬工程《邏輯學(xué)》40第三節(jié)真值表-自然語言推理；重言式結(jié)果全真澤為有效推理
馬工程《邏輯學(xué)》41第三節(jié)真值表-歸謬法假設(shè)原命題為假，引出矛盾，得出結(jié)論
馬工程《邏輯學(xué)》42第三節(jié)真值表-真值表作用：定義；判定等值，有效無效，總結(jié)規(guī)則；是命題邏輯推理的鑰匙
馬工程《邏輯學(xué)》43第三章命題邏輯的自然演繹系統(tǒng)-跟岑雅思可夫斯基，有效推理規(guī)則系統(tǒng)；第一節(jié)證明子證明：第二節(jié)推理規(guī)則：NP，結(jié)果顧澤，連接詞，左數(shù)右規(guī)則；假設(shè)
馬工程《邏輯學(xué)》44第三章命題邏輯的自然演繹系統(tǒng)-蘊(yùn)含消去，否定引入、消去；析取引入、消去；等值引入、消去規(guī)則；前提pre和假設(shè)hyp區(qū)別和聯(lián)系
馬工程《邏輯學(xué)》45第三章命題邏輯的自然演繹系統(tǒng)-第三節(jié)系統(tǒng)NP中的推導(dǎo)-1合取規(guī)則應(yīng)用：
馬工程《邏輯學(xué)》46第三章命題邏輯的自然演繹系統(tǒng)-二蘊(yùn)含規(guī)則應(yīng)用：從結(jié)論逆向思考，最后一步引入什么，條件和假設(shè)引入，假言連鎖
馬工程《邏輯學(xué)》47第三章命題邏輯的自然演繹系統(tǒng)-否定規(guī)則的運(yùn)用-否定律，雙重否定律，否定消去
馬工程《邏輯學(xué)》48第三章命題邏輯的自然演繹系統(tǒng)-四析取規(guī)則應(yīng)用
馬工程《邏輯學(xué)》49第三章命題邏輯的自然演繹系統(tǒng)-五等值規(guī)則的應(yīng)用
馬工程《邏輯學(xué)》50第三章命題邏輯的自然演繹系統(tǒng)-六綜合運(yùn)用：（一）分配律
馬工程《邏輯學(xué)》51第三章命題邏輯的自然演繹系統(tǒng)-六綜合運(yùn)用：（二）選言三段論，（三）德摩根律
馬工程《邏輯學(xué)》52第三章命題邏輯的自然演繹系統(tǒng)-六綜合運(yùn)用：（四）否定蘊(yùn)含律
馬工程《邏輯學(xué)》53第三章命題邏輯的自然演繹系統(tǒng)-（五）否定后件律，任何有效推理在系統(tǒng)NP中都是可證的
馬工程《邏輯學(xué)》54第三章命題邏輯的自然演繹系統(tǒng)-第四節(jié)無前提推導(dǎo)與演繹定理-存在證明則可證，重言式可證，反之亦然；公式集下，當(dāng)且僅當(dāng)蘊(yùn)含，則可推演，此時無前提
馬工程《邏輯學(xué)》55第三章命題邏輯的自然演繹系統(tǒng)-演繹定理：分配律，選言三段論，德摩根律，否定蘊(yùn)含律，否定后件律，雙重否定律，蘊(yùn)含轉(zhuǎn)換律
馬工程《邏輯學(xué)》56第三章命題邏輯的自然演繹系統(tǒng)-演繹定理：假言易位律，輸出律，雙蘊(yùn)含轉(zhuǎn)換律
馬工程《邏輯學(xué)》57第四章謂詞邏輯-一階邏輯量化命題內(nèi)部解構(gòu)，個體謂詞和量詞；第一節(jié)個體次謂詞和量詞-個體詞專有名詞，個體常元變元函數(shù)；函數(shù)符號復(fù)合得新函數(shù)
馬工程《邏輯學(xué)》58第四章謂詞邏輯-第一節(jié)個體次謂詞和量詞-個體詞是項：個體變元，個體常元，變常元函數(shù)，僅此三者；范圍論域非空
馬工程《邏輯學(xué)》59第四章謂詞邏輯-第二節(jié)謂詞：性質(zhì)或關(guān)系；一元二元多元，謂詞是劃分論域中的子集，等詞，有序?qū)�集�?br/>馬工程《邏輯學(xué)》60第四章謂詞邏輯-第三節(jié)量詞-謂詞邏輯只看所有和有的，組合表達(dá)自然語言中的創(chuàng)造性
馬工程《邏輯學(xué)》61第四章謂詞邏輯-謂詞邏輯的形式語言-以共時常元變元元函數(shù)元謂詞連接詞量詞等詞技術(shù)符號；無函數(shù)關(guān)系即為等值關(guān)系；五個表達(dá)規(guī)則；原子公式全程公示
馬工程《邏輯學(xué)》62第四章謂詞邏輯-謂詞邏輯的形式語言-二命題符號化-1直言命題：形式有效性；論域，符號，結(jié)果；總稱模型；全稱肯定命題和全稱否定命題一般形式
馬工程《邏輯學(xué)》63第四章謂詞邏輯-符號化五例
馬工程《邏輯學(xué)》64第四章謂詞邏輯-嵌套量詞
馬工程《邏輯學(xué)》65第四章謂詞邏輯-數(shù)量命題：至少，至多，恰好，等詞；至少往多算，至多往少算
馬工程《邏輯學(xué)》66第四章謂詞邏輯-例10愛貓之人四種
馬工程《邏輯學(xué)》67第四章謂詞邏輯-例11段落符號化；符號化推理形式需要驗證有效性
馬工程《邏輯學(xué)》68第四章謂詞邏輯-第三節(jié)基本語法概念-一自由與約束變元：量詞轄域；括號和連詞阻斷；閉公式和開公式
馬工程《邏輯學(xué)》69第四章謂詞邏輯-第三節(jié)基本語法概念-二代入：項，公式代入；自由和約束
馬工程《邏輯學(xué)》70第四章謂詞邏輯-第三節(jié)基本語法概念-二代入：例18,19有疑問；易字替換受約束變元
馬工程《邏輯學(xué)》71第四章謂詞邏輯-第四節(jié)謂詞邏輯語義-一模型和賦值：賦值確定項代表的個體
馬工程《邏輯學(xué)》72第四章謂詞邏輯-第四節(jié)謂詞邏輯語義-定義11倒數(shù)第四句有疑問；三個結(jié)論：模型M中，賦值西格瑪都滿足公式A；兩個賦值都滿足公式A；自由代入；邏
馬工程《邏輯學(xué)》73第四章謂詞邏輯-第四節(jié)謂詞邏輯語義-例25-27，謂詞代替的有效推理
馬工程邏輯學(xué)前五章學(xué)習(xí)難度梳理，后六章（統(tǒng)計歸納，科研邏輯，語言邏輯）的重要性
馬工程《邏輯學(xué)》75-第五章謂詞邏輯的自然演繹系統(tǒng)-第一節(jié)謂詞邏輯自然演繹熊-1全稱量詞消去規(guī)則，2全稱量詞引入規(guī)則
馬工程《邏輯學(xué)》76-第五章謂詞邏輯的自然演繹系統(tǒng)三，存在量詞消去規(guī)則：假定某個c具有性質(zhì)A并由此推出結(jié)論B；四、存在量詞引入規(guī)則：例題10-14
馬工程《邏輯學(xué)》77-第五章謂詞邏輯的自然演繹系統(tǒng)：四、存在量詞引入規(guī)則：例題15-22
馬工程《邏輯學(xué)》78-第五章謂詞邏輯的自然演繹系統(tǒng)：四、存在量詞引入規(guī)則：例題23-25
馬工程《邏輯學(xué)》79-第五章謂詞邏輯的自然演繹系統(tǒng)：第二節(jié)帶等詞的謂詞邏輯自然演繹系統(tǒng)-1等詞消去規(guī)則，2等詞引入規(guī)則：然和個體均與自身相等；例26-例29
馬工程《邏輯學(xué)》80-第六章傳統(tǒng)歸納邏輯-第一節(jié)歸納推理：從個別到特殊，放大性，或然性；作用：創(chuàng)新，論證問題；效度和信度
馬工程《邏輯學(xué)》81-第六章傳統(tǒng)歸納邏輯-第二節(jié)枚舉法，完全枚舉法；第三節(jié)穆勒五法：1求同法；2求異法
馬工程《邏輯學(xué)》82-第六章傳統(tǒng)歸納邏輯-第三節(jié)求同求異法；第四節(jié)共變法
馬工程《邏輯學(xué)》83-第六章傳統(tǒng)歸納邏輯-第五剩余法；穆勒五法或然性；第四章類比推理：模擬法
馬工程《邏輯學(xué)》84-第七章現(xiàn)代歸納邏輯-第一節(jié)概率和概率演算：一，概率和概率解釋：古典概型；二，相對頻率；三，主觀主義
馬工程《邏輯學(xué)》85-第七章現(xiàn)代歸納邏輯-二概率演算：命題語言表達(dá)概率；1初始規(guī)則，永真永假；2析取和否定規(guī)則
馬工程《邏輯學(xué)》86-第七章現(xiàn)代歸納邏輯-三、條件概率和合取規(guī)則：P(B÷A)=P(AvB)÷P(A)；P(A^B)=P(A)×P(B÷A)；
馬工程《邏輯學(xué)》87-第七章現(xiàn)代歸納邏輯-三、貝葉斯規(guī)則：大數(shù)定律；先驗概率；抽樣增加增加置信度
馬工程《邏輯學(xué)》88-第七章現(xiàn)代歸納邏輯-貝葉斯規(guī)則三例，例13,14,15
馬工程《邏輯學(xué)》89-第七章現(xiàn)代歸納邏輯-第二節(jié)統(tǒng)計推理-1、統(tǒng)計推理概述：銅幣，環(huán)比，假說；2、類別形式和概念：1估計、假說檢驗和貝葉斯推理；2推理形式：總體
馬工程《邏輯學(xué)》90-第七章現(xiàn)代歸納邏輯-第三節(jié)、抽樣問題：無偏估計，有偏估計；誤差，偏差；代表性
馬工程《邏輯學(xué)》91-第七章現(xiàn)代歸納邏輯-第四節(jié)推理的應(yīng)用：百分比陷阱，均值陷阱
馬工程《邏輯學(xué)》92-第八章科學(xué)邏輯：演繹歸納的機(jī)制；第一節(jié)科學(xué)方法與科學(xué)邏輯：問題，假設(shè)，檢驗，實驗，觀察，解讀，修正
馬工程《邏輯學(xué)》93-第八章科學(xué)邏輯：第二節(jié)科學(xué)說明與科學(xué)預(yù)測-一、說明：理論，條件，現(xiàn)象；演繹和歸納；二、預(yù)測：現(xiàn)象，理論，輔助假說，假說；溯因預(yù)測，充分條件
馬工程《邏輯學(xué)》94-第八章科學(xué)邏輯：第三節(jié)科學(xué)假說-一、基本特征：合理根據(jù)，嘗試性，驗證性；二、形成：1歸納；2演繹；3聯(lián)想靈感；三、檢驗：修正；析取合取；歷
馬工程《邏輯學(xué)》95-第八章科學(xué)邏輯：第四節(jié)科學(xué)理論及其演化：一、假說轉(zhuǎn)化為理論；二、科學(xué)理論系統(tǒng)的演化
馬工程《邏輯學(xué)》96-第八章科學(xué)邏輯：三、科學(xué)悖論的形成與解決：追光悖論，量子力學(xué)，相對論；根本性，歷史的發(fā)展的
馬工程《邏輯學(xué)》97-第九章論辯邏輯：第一節(jié)非形式邏輯與論辯邏輯；第二節(jié)論證、反駁和辯護(hù)：一、論證的構(gòu)建與評估：圖爾敏模式
馬工程《邏輯學(xué)》98-第九章論辯邏輯：線性論證，組合式論證，收斂式論證
馬工程《邏輯學(xué)》99-第九章論辯邏輯：驗證和誤差，結(jié)論合理；二、反駁的構(gòu)建與評估：1單一推理；2復(fù)雜系統(tǒng)；3批評論證者；4環(huán)境；5對立論證；三、構(gòu)建與評估：1誤
馬工程《邏輯學(xué)》100-第九章論辯邏輯：第三節(jié)定義與劃分：一、明確概念的方法：內(nèi)涵與外延；二、定義的種類與評估：屬概念+種差；替代原則；
馬工程《邏輯學(xué)》101-第九章論辯邏輯：第三節(jié)定義與劃分：三、劃分的種類與評估：二元式；標(biāo)準(zhǔn)和范圍；第四節(jié)謬誤與詭辯：形式與飛行時；語用是復(fù)雜根源；
馬工程《邏輯學(xué)》102-第九章論辯邏輯：第四節(jié)謬誤與詭辯：二、非形式謬誤的辨析：語用觀點-目的、假設(shè)、理由、方式、語境、置信水平、失敗因素；合理論證和謬誤論證
馬工程《邏輯學(xué)》103-第九章論辯邏輯：第四節(jié)謬誤與詭辯：訴諸權(quán)威，因果，征兆，后果，實踐，已確立，例外，先例，連鎖，油滑斜坡
馬工程《邏輯學(xué)》104-第十章語言交際的邏輯：第一節(jié)語言邏輯的概述：一、句法學(xué)：語言符號的空間排列；喬姆斯基生成語法，代數(shù)特征；語言機(jī)構(gòu)深層相同，表層結(jié)構(gòu)和轉(zhuǎn)化
馬工程《邏輯學(xué)》105-第十章語言交際的邏輯：二、語義學(xué)：符號與指稱對象；真值法，可能世界語義學(xué)法，形式語義學(xué)；三、語用學(xué)：符號與使用者；第二節(jié)言語行為理論：維
馬工程《邏輯學(xué)》106-第十章語言交際的邏輯：第二節(jié)言語行為理論：5式：斷定式，指令式，承諾式，表情式，宣告式；5式在英語中的語法結(jié)構(gòu)
馬工程《邏輯學(xué)》107-第十章語言交際的邏輯：二、語用邏輯：7個公理；三、間接言語行為：約翰賽爾；主要和次要語用行為；說話者聽話者理解配合
馬工程《邏輯學(xué)》108-第十章語言交際的邏輯：第三節(jié)言語行為與成功交際：一、切當(dāng)性；6個條件；二、成功交際的7條件：語用要點，前提條件，完成模式和力度，命題內(nèi)容
馬工程《邏輯學(xué)》109-第十章語言交際的邏輯：第三節(jié)言語行為與成功交際：理想語用行為的四個充要條件：貨車運(yùn)貨，速度，目的地，環(huán)境和誠實性；三、間接言語行為準(zhǔn)則：
馬工程《邏輯學(xué)》110-第十一章邏輯思維的基本規(guī)律：統(tǒng)一矛盾和排中律；第一節(jié)邏輯規(guī)律與思維規(guī)范：一致明確確定；第二節(jié)矛盾律：本體化表述;語義表述；
馬工程《邏輯學(xué)》111-第十一章邏輯思維的基本規(guī)律：（三）原子關(guān)系與原子邏輯矛盾；二、矛盾律的規(guī)范作用
馬工程《邏輯學(xué)》112-第十一章邏輯思維的基本規(guī)律：第三節(jié)排中律：本體話表述；語義表述；分子矛盾與原子矛盾；規(guī)范作用：拒斥兩不可；不表態(tài)
馬工程《邏輯學(xué)》113（完結(jié)）-第十一章邏輯思維的基本規(guī)律：第四節(jié)同一律：本體化描述，語義描述；規(guī)范作用：意義的最基本條件，是辯證發(fā)展的