邏輯學(xué)名詞解釋

邏輯學(xué)名詞解釋邏輯學(xué)名詞解釋邏輯學(xué)名詞解釋xxx公司邏輯學(xué)名詞解釋文件編號：文件日期：修訂次數(shù)：第1.0次更改批準(zhǔn)審核制定方案設(shè)計(jì)，管理制度邏輯學(xué)名詞解釋1、概念：反映事物特有屬性的思維形式。單獨(dú)概念：是指僅反映一個(gè)特定對象的概念，它的外延是一個(gè)獨(dú)一無二的事物。普遍概念：是指由若干個(gè)分子所組成的類的概念。它的外延包括許多的對象。集合概念：把一類對象作為一個(gè)集合體來反映的概念。非集合概念：不把一類對象作為一個(gè)集合體來放映的概念。正概念：反映對象具有某種屬性的概念。負(fù)概念：反映對象不具有某種屬性的概念。只有帶否定詞并使用其含義的，才是負(fù)概念。論域：指一個(gè)正概念與其相對的負(fù)概念所反映的對象組成的類。定義：就是揭示概念內(nèi)涵的邏輯方法。揭示概念所反映的事物的特有屬性的方法。劃分：揭示概念外延的邏輯方法。就是將外延較大的屬概念根據(jù)一定的標(biāo)準(zhǔn)，劃分出若干個(gè)外延較小的概念，從而明確概念全部外延的邏輯方法。概念的限制：通過增加概念的內(nèi)涵，以減少概念的外延的邏輯方法。即概念的限制就是從屬概念過渡到種概念的邏輯方法。概念的概括：通過減少概念的內(nèi)涵，以擴(kuò)大其外延的邏輯方法。命題：陳述事物情況的思維形態(tài)。特征在于其真假性。命題有具體內(nèi)容和邏輯形式，邏輯學(xué)不研究具體命題內(nèi)容上真假，只研究命題形式真假性質(zhì)和命題形式之間的真假關(guān)系。模態(tài)命題：就是包含“必然”等模態(tài)詞的命題。復(fù)合命題：就是包含其他命題的命題，包括聯(lián)言命題、選言命題、假言命題和負(fù)命題。簡單命題：就是沒有包含其他命題的命題，主要包括直言命題和關(guān)系命題。推理：就是由一或若干個(gè)命題推出另一個(gè)命題的思維形態(tài)。直言命題：就是陳述事物具有或不具有某種性質(zhì)的命題。（性質(zhì)命題）肯定命題：就是陳述事物具有某種性質(zhì)的命題。聯(lián)項(xiàng)一般用“是”表示。單稱命題：就是陳述一個(gè)特定事物具有或不具有某種性質(zhì)的命題。主項(xiàng)專有名詞，不需量詞。全稱命題：陳述一類事物的全部分子都具有或不具有某種性質(zhì)的命題。主項(xiàng)普遍概念，量省。特稱命題：就是陳述一類事物中至少存在著一事物具有或不具有某種性質(zhì)的命題。主項(xiàng)普遍概念，量項(xiàng)不可省為“有的、有些”（其邏輯含義就是“有”即至少有一個(gè)，不排斥全部）周延性：是直言命題主項(xiàng)與謂項(xiàng)在量的方面的邏輯特征，是直言命題形式中對主項(xiàng)或謂項(xiàng)的全部外延的陳述情況。在一個(gè)直言命題形式中，如果陳述了它的主項(xiàng)或謂項(xiàng)的全部外延，那么其主項(xiàng)或謂項(xiàng)就是周延的。直言直接推理：就是前提只有一個(gè)命題的直言推理。A：全稱肯定E：全稱否定I：特稱坑定O：特稱否定反對關(guān)系：A與E之間的關(guān)系是：不能同真，得以同假。即，當(dāng)一個(gè)真時(shí)，另一個(gè)必假；當(dāng)一個(gè)假時(shí)，另一個(gè)真假不定。矛盾關(guān)系：AO、EI之間的關(guān)系是：既不能同真也不能同假。即，一個(gè)為真時(shí)，另一個(gè)必假；當(dāng)一個(gè)為假時(shí)，另一個(gè)必真。等差關(guān)系：AI/EO之間的真假關(guān)系：全稱真，特稱必真；全稱假，特稱真假不定；特稱假，全稱必假；特稱真，全稱真假不定。下反對關(guān)系：IO之間的真假關(guān)系：不能同假，可以同真。即當(dāng)一個(gè)假時(shí)，另一個(gè)必真；當(dāng)一個(gè)真時(shí)，另一個(gè)真假不定。換質(zhì)法：改變前命題的質(zhì)（把肯定改為否定，或把否定改為肯定）。換位法：改變前命題的主項(xiàng)和謂項(xiàng)的位置（把前提的主項(xiàng)改為謂項(xiàng)，把謂項(xiàng)改為主項(xiàng)）。直言間接推理：又稱直言三段論，也可簡稱為三段論。三段論：就是由包含一個(gè)共同項(xiàng)的兩個(gè)直言命題為前提，推出一個(gè)直言命題為結(jié)論的推理。三段論的格：就是由于中項(xiàng)所處的位置的不同而構(gòu)成的不同三段論形式。在三段論的大小前提中，中項(xiàng)可以分別是主項(xiàng)或謂項(xiàng)，這樣，中項(xiàng)在兩個(gè)前提中的位置，共有四種不同的情況，相應(yīng)的有四個(gè)格。三段論的省略式：又稱省略三段論。三由大小前提和結(jié)論組成，從邏輯結(jié)構(gòu)上說，這三部分缺一不可。但是人們在運(yùn)用三時(shí)，語言表達(dá)上的簡潔，通常采用省略其中一個(gè)命題的形式。省略三段論就是省略大前提或小前提或結(jié)論的三段論。關(guān)系命題：就是陳述事物之間具有某種關(guān)系的命題。復(fù)合命題：就是包含有其他命題的命題。由肢命題和命題聯(lián)結(jié)詞兩部分構(gòu)成。真值：“真”和“假”稱為命題的邏輯值，簡稱真值。真值表：判斷復(fù)合命題的真值情況的專門的圖表。聯(lián)言命題：陳述幾種事物情況都存在的命題。聯(lián)言推理：就是前提或結(jié)論是聯(lián)言命題，并根據(jù)聯(lián)言命題的邏輯性質(zhì)來進(jìn)行的推理。聯(lián)言推理分解式：是以一個(gè)連言命題為前提，而推出其中某個(gè)聯(lián)言肢作為結(jié)論的推理形式。聯(lián)言推理合成式：是以幾個(gè)命題為前提，推出僅以這幾個(gè)命題為聯(lián)言肢的聯(lián)言命題作為結(jié)論的推理形式。選言命題：陳述幾種事物情況之中至少有一種事物情況存在的命題。肢命題為選言肢，聯(lián)結(jié)詞主要是“或者”一詞。相容選言命題：就是其選言肢可以同真的選言命題。鏈接詞是“或者”。V析取式。不相容選言命題：陳述其選言肢中有并且只有一個(gè)選言肢為真的選言命題?！耙?，要么”V`嚴(yán)格析取式相容選言推理：前提中有一個(gè)是相容選言命題，并根據(jù)相容選言命題的邏輯性質(zhì)進(jìn)行的推理。假言命題：又稱條件命題，它是陳述某一種事物情況是另一種事物情況的某種條件的命題。假言聯(lián)結(jié)詞“如果（前件），那么（后件）”或“只有，才”。充分條件假言命題：其假言聯(lián)結(jié)詞為“如果……，那么……”的假言命題，陳述前件是后件的充分條件。P→q蘊(yùn)含式。充分條件：皆有兩個(gè)分別為p,q的事物情況，如果有p，就必然有q，而沒有p是否有q不確定，這樣P就是q的充分條件。必要條件假言命題：其假言聯(lián)結(jié)詞為“只有，才”的假言命題。陳述前件是后件的必要條件。P←q逆蘊(yùn)含式必要條件:皆有兩個(gè)分別為p,q的事物情況，如果沒有p，就必然沒q，而有p卻未必有q，這樣P就是q的必要條件。充分必要條件假言命題：假言聯(lián)結(jié)詞為“當(dāng)且僅當(dāng)”的假言命題。陳述前件是后件的充分必要條件。P?q等值式假言易位推理：其前件為一個(gè)假言命題，而結(jié)論是將前提的前、后件既互換位置又同取否定的同種的假言命題這樣一種必然性推理。假言連鎖推理：就是以兩個(gè)一上的假言命題為前提，并且根據(jù)條件關(guān)系的傳遞性而推出一個(gè)假言命題為結(jié)論的推理。充分條件假言連鎖推理式：P→q，q→r所以p→r必要條件假言連鎖推理式：p←q，q←r，所以p←r二難推理：假言選言推理中的一種。假言選言推理就是由假言命題和選言命題作為前提所構(gòu)成的推理。其中，有兩個(gè)充分條件假言命題和一個(gè)二肢的選言命題作為前提，并且根據(jù)充分條件假言命題和選言命題的邏輯性質(zhì)進(jìn)行的推理，在傳統(tǒng)邏輯中稱為兒難推理。駁斥：就是揭露其中隱藏的錯(cuò)誤?！皹?gòu)造一個(gè)相反的二難推理”的方法：通過構(gòu)造出一個(gè)與原二難推理相反的二難推理，并從其中推出相反的結(jié)論，來達(dá)到駁斥原二難推理的目的。負(fù)命題：就是否定某個(gè)命題的命題，它是有命題聯(lián)結(jié)詞“并非”聯(lián)結(jié)一個(gè)肢命題而成的。模態(tài)命題：陳述事物情況的必然性或可能性的命題。其基本特征就是在命題中包含有“必然”“可能”一類模態(tài)詞。（也是狹義的模態(tài)命題，又稱真值模態(tài)命題）可能世界：指人們能夠合乎邏輯的設(shè)想出來的各種各咋樣的情況或場合，他們在現(xiàn)實(shí)當(dāng)中不一定存在，但在邏輯上卻是可能的。現(xiàn)實(shí)世界只是許許多多可能世界中的一個(gè)可能世界。非現(xiàn)實(shí)的可能世界卻并不意味著另外某個(gè)星球或在另外某個(gè)物理空間中的世界，它是人們想象的世界，存在于人民的想象之中。規(guī)范模態(tài)命題：簡稱規(guī)范命題，他陳述的是約束人們行為的某種命令或規(guī)定?；咎卣魇窃诿}中含有“必須”“允許”“禁止”一類的規(guī)范模態(tài)詞（簡稱規(guī)范詞）。由于禁止=必須不，所以規(guī)范詞可以歸結(jié)為：必須和允許?；蛉恍酝评恚壕褪乔疤岷徒Y(jié)論具有或然推出關(guān)系的推理?；厮萃评恚河址Q溯原推理，就是在已知兩個(gè)事物或現(xiàn)象之間具有因果聯(lián)系的基礎(chǔ)上，由結(jié)果推測原因的推理。不完全歸納推理：也稱簡單枚舉歸納推理。就是根據(jù)一類對象中部分對象具有某屬性，并且沒有遇到反例，從而推出該類對象都具有該屬性的推理。穆勒五法：探求因果聯(lián)系的方法有求同法、求異法、求同求異并用法、共變法和剩余法。求同法：又稱契合法。如果被研究的現(xiàn)象出現(xiàn)的若干場合中，其他先行情況都不同，只有一個(gè)情況相同，那么，這個(gè)唯一相同的情況與被研究的現(xiàn)象之間就有因果聯(lián)系。特點(diǎn)是“異中求同”。求異法：又稱差異法。如果被研究的現(xiàn)象出想喝不出現(xiàn)的兩個(gè)場合中其他現(xiàn)行情況都相同，只有一個(gè)情況不同，那么這個(gè)唯一不同的情況與被研究的現(xiàn)象之間就有因果聯(lián)系。特點(diǎn)是“同中求異”。求同求異并用法：又稱并用法。如果在被研究的現(xiàn)象出現(xiàn)的一組正面場合中，都存在一個(gè)公共的先行情況，而在被研究的現(xiàn)象不出現(xiàn)的另一組反面場合中，都不存在這個(gè)共同的先行情況，那么，這個(gè)共同的先行情況與被研究的現(xiàn)象之間就有因果聯(lián)系。特點(diǎn)“兩次求同，一次求異”。共變法：如果在被研究的現(xiàn)象發(fā)生變化的各個(gè)場合中，其他先行情況都不變，只有一個(gè)先行情況發(fā)生變化，那么這個(gè)唯一發(fā)生變化的先行情況與被研究現(xiàn)象之間就有因果聯(lián)系。特點(diǎn)“同中求變”。剩余法：如果已知某一復(fù)合現(xiàn)象是另一復(fù)合現(xiàn)象的原因，同時(shí)又知前一復(fù)合現(xiàn)象中的某一部分是后一復(fù)合現(xiàn)象中某一部分的原因，那么前一復(fù)合現(xiàn)象中的剩余部分與后一復(fù)合現(xiàn)象中的剩余部分之間就有因果聯(lián)系。特點(diǎn)“從余果求余因”。類比推理：由兩個(gè)（或兩類）對象在某些屬性上相同或相似，從而推出它們在另一個(gè)屬性上也相同的推理。假說：就是根據(jù)已知的事實(shí)材料和科學(xué)原理，對未知的事物現(xiàn)象及其規(guī)律性作出假定性解釋的思維形式。同一律：在同一思維的過程中，任一思維都必須保持自身的同一，不能任意改變。公式是：A是A，或A→A。（思維的確定性要求概念和命題必須保持自身的同一。）矛盾律：在同一思維的過程中，兩個(gè)互相矛盾的思想不能同真，即對同一事物不能既肯定它是什么，又否定它是什么，其中必有一假。公式：A不是非A（思維的確定性要求運(yùn)用命題時(shí)前后不能自相矛盾）。排中律：在同一思維過程中，兩個(gè)互相矛盾的思想不能同假，其中必有一真。公式：A或者非A，或者表示排斥。（思維的確定性要求在兩種互相矛盾的思想中，不能“兩不可”）。證明：一般包括事實(shí)證明（又稱經(jīng)驗(yàn)證明）和理論證明（又稱邏輯證明）。事實(shí)證明：就是在實(shí)踐活動(dòng)的基礎(chǔ)上根據(jù)確鑿的事實(shí)直接確定某命題的事實(shí)性的證明。理論證明：就是用一個(gè)或若干個(gè)已知為真的命題，通過推理來確定另一個(gè)命題真實(shí)性的思維過程。直接證明：就是從真實(shí)論據(jù)直接推出論題的證明。特點(diǎn)是從論題出發(fā)，為論題的真實(shí)性提供正面的理由。間接證明：就是通過證明與原論題相關(guān)的其他論題為假，從而推出原論題為真的證明。特點(diǎn)是論題的真實(shí)性不是從論據(jù)的真直接推出的，而是從其他的假間接推出的。反證法：通過證明反論題（與原論題具有矛盾關(guān)系或下發(fā)對關(guān)系的命題）為假，從而根據(jù)排中律，推出原論題為真的證明方法?！黀250↓P252選言證法：就是通過證明與原命題相關(guān)的其他命題為假，從而推出原命題為真的證明方法。反駁：一種特殊的證明，即用一個(gè)或若干個(gè)已知為真的命題來確定另一個(gè)命題為假或其證明不能成立的思維過程。直接反駁：就是根據(jù)一個(gè)或一些命題的真實(shí)性，直接推出對方命題的虛假性的反駁方法。獨(dú)立證明法：就是通過證明與對方的命題具有矛盾關(guān)系或反對關(guān)系的命題的真實(shí)性，從而根據(jù)矛盾律，確定對方的命題的虛假性的反駁方法。歸謬法：就是從被反駁命題出發(fā)，推出與事理相矛盾的結(jié)論，或推出邏輯矛盾，從而證明被反駁命題虛假的反駁方法。謬誤：就是指人們在思維活動(dòng)中，自覺或不自覺的違反思維規(guī)律或規(guī)則而發(fā)生的邏輯錯(cuò)誤。人們通常把不是故意犯的邏輯錯(cuò)誤稱為謬誤，而把故意反邏輯規(guī)律或規(guī)則進(jìn)行似是而非的論證稱為詭辯。命題邏輯：所探究的是其前提與結(jié)論皆有未解析的命題組成的演繹推理。特征在于，研究和考察邏輯形式時(shí)，把一個(gè)復(fù)合命題只分析到其中所含的簡單命題為止，而不是把一個(gè)簡單命題再分析為其主項(xiàng)、謂項(xiàng)及量項(xiàng)等各種成分。真值函應(yīng)：一個(gè)函數(shù)如果其自變元所取之值為“真值”，而該函數(shù)本身由此取值為“真值”，則該函數(shù)稱為真值函應(yīng)。函應(yīng)：作為數(shù)學(xué)中函數(shù)關(guān)系在邏輯領(lǐng)域中的推廣和具體運(yùn)用，函數(shù)稱為函應(yīng)（函項(xiàng)），變量稱為變項(xiàng)，而變項(xiàng)所取的值并非是數(shù)值而是真值或假值。真值蘊(yùn)含涵：相當(dāng)于假言命題中前件與后件間之內(nèi)在關(guān)聯(lián)的真值函應(yīng)，稱為真值蘊(yùn)涵。重言式：對于一個(gè)真值函應(yīng)，如不論其中的自變項(xiàng)取值真假，而該函應(yīng)之真值為“真”，則該函應(yīng)為重言式，因重言式其值常真，因此亦稱為永真式。矛盾式：對于一個(gè)真值函應(yīng)，如不論其中自變項(xiàng)取值真或假，而整個(gè)函應(yīng)式之真值為“假”，則該函應(yīng)式為邏輯矛盾式。與重言式相反，邏輯矛盾式的值常假。公理系統(tǒng)：借公理方法，即依據(jù)一些最基本的初始命題（不證自明的公理）按照演繹推理的規(guī)則而推導(dǎo)一系列定理、命題所建構(gòu)的完整的演繹體系，如歐幾里得幾何學(xué)。任一公理系統(tǒng)所需滿足的條件：相容性（無矛盾一致性）、完備性（完全性）、獨(dú)立性（不可推演性）。公理：多是基于人類長期反復(fù)實(shí)踐的驗(yàn)證眾所公認(rèn)其真實(shí)性，無需其他命題證明而不證自明的命題。論域：簡言之，即論題的一定范圍，亦即全類，也可表示為“1”。謂詞演算：將謂詞邏輯的推理形式和規(guī)律組成一個(gè)形式化的公理系統(tǒng)即所謂謂詞演算。謂詞邏輯：就是把簡單命題進(jìn)而分析為其主項(xiàng)、謂項(xiàng)和量項(xiàng)并借以研究命題的形式結(jié)構(gòu)及其推理的規(guī)律與規(guī)則的邏輯演算理論。主項(xiàng)：命題中表示思維對象的詞項(xiàng)稱為主項(xiàng)（主詞）。謂項(xiàng)：而將表示對象性質(zhì)或關(guān)系的詞項(xiàng)稱為謂項(xiàng)（謂詞）。變項(xiàng)：表示某類特定事物中任一個(gè)體的項(xiàng)稱為變項(xiàng)。變項(xiàng)的變程：如果一個(gè)變項(xiàng)反映某類事物中的任一個(gè)，則該類事物就是這個(gè)變項(xiàng)的變程。量項(xiàng)：命題中表示數(shù)量性質(zhì)的詞項(xiàng)，現(xiàn)代形式邏輯有兩個(gè)量項(xiàng)，即全稱量項(xiàng)與存在量項(xiàng)。全稱量項(xiàng)相當(dāng)于自然語言中的“一切”“所有的”“凡”等等；存在量項(xiàng)相當(dāng)于自然語言中的“有的”“有”“至少