邏輯學(xué)課后習(xí)題答案

1、1第一章緒論（P6）一、1邏輯學(xué)的研究對(duì)象是思維的形式結(jié)構(gòu)及其規(guī)律，邏輯學(xué)是研究思維形式結(jié)構(gòu)及其規(guī)律的科學(xué)。2思維形式結(jié)構(gòu)是思維內(nèi)容的存在方式、聯(lián)系方式。邏輯常項(xiàng)是思維形式結(jié)構(gòu)中的不變部分，它決定思維的邏輯內(nèi)容。邏輯變項(xiàng)是思維形式結(jié)構(gòu)中的可變部分，它容納思維的具體內(nèi)容。如“所有S是P”這一全稱(chēng)肯定命題的思維形式結(jié)構(gòu)，其中“所有……是……”是邏輯常項(xiàng)，表明該命題具有“全稱(chēng)肯定”的邏輯內(nèi)容。“S”、“P”是邏輯變項(xiàng)(詞項(xiàng)變項(xiàng))，代入不同具體

2、詞項(xiàng)，表達(dá)不同的具體思維內(nèi)容，并有真假。又如“如果P，那么Q”這一充分條件假言命題的思維形式結(jié)構(gòu)，其中“如果……那么……”是邏輯常項(xiàng)，表明該命題具有蘊(yùn)涵式的邏輯內(nèi)容，即前件真則后件真(“有之必然”)，并非前件真而后件假(并非“有之而不然”)。“P、Q”是邏輯變項(xiàng)(命題變項(xiàng))，代入不同的具體命題，表達(dá)不同的具體思維內(nèi)容，并有真假。3對(duì)思維形式結(jié)構(gòu)的代入，是指用具體的詞項(xiàng)或命題替換思維形式結(jié)構(gòu)中的邏輯變項(xiàng)，因而使思維形式結(jié)構(gòu)成為有內(nèi)容的具體

3、思想，并具有真假值。如用具體的詞項(xiàng)“楊樹(shù)”和“落葉喬木”，分別替換“所有S是P”這一全稱(chēng)肯定命題的思維形式結(jié)構(gòu)中的邏輯變項(xiàng)“S”和“P”，因而使思維形式結(jié)構(gòu)成為有內(nèi)容的具體思想“所有楊樹(shù)是落葉喬木”，并具有真值。又如用具體的命題“過(guò)度砍伐森林”和“會(huì)破壞生態(tài)平衡”，分別替換“如果P，那么Q”這一充分條件假言命題的思維形式結(jié)構(gòu)中的邏輯變項(xiàng)“P”和“Q”，因而使思維形式結(jié)構(gòu)成為有內(nèi)容的具體思想“如果過(guò)度砍伐森林，那么會(huì)破壞生態(tài)平衡”，并具有

4、真值。4現(xiàn)代邏輯從形式上定義和說(shuō)明邏輯規(guī)律。如命題邏輯中的邏輯規(guī)律就是重言式(一真值形式在命題變項(xiàng)的任意一組賦值下都真)，謂詞邏輯中的邏輯。規(guī)律就是普遍有效式(指一命題形式在任一解釋下都得到一個(gè)真命題)①，傳統(tǒng)邏輯主要從內(nèi)容、作用上定義和說(shuō)明邏輯規(guī)律。邏輯規(guī)律有特殊和一般之分。如定義、劃分的規(guī)則，是特殊的邏輯規(guī)律，作用于定義、劃分的特殊范圍。同一律、矛盾律、排中律和充足理由律，是一般的、基本的邏輯規(guī)律，概括正確思維形式結(jié)構(gòu)的基本性質(zhì)和聯(lián)

5、系，普遍作用于各類(lèi)思維形式結(jié)構(gòu)，支配各類(lèi)思維形式結(jié)構(gòu)的特殊規(guī)律(規(guī)則)，對(duì)思維具有強(qiáng)制的規(guī)范和約束作用，保證思維的確定性、一貫性、明確性和論證性。違反這些規(guī)律，會(huì)發(fā)生邏輯謬誤。5邏輯矛盾，是指一類(lèi)思維形式結(jié)構(gòu)，在任意代入下都表達(dá)虛假的思想內(nèi)容。如“有S不是S”、“P并且非P”。命題邏輯中的矛盾式，指一真值形式在命題變項(xiàng)的任意一組賦值下都假。謂詞邏輯中的矛盾式(不可滿足式)，指一命題形式在任一解釋下都不能得到一個(gè)真命題。模態(tài)邏輯中的矛盾式

6、(不可滿足式)，指一模態(tài)公式在任意模型的任一可能世界上都假。邏輯矛盾又叫自相矛盾。狹義的邏輯矛盾指同時(shí)肯定一對(duì)互相矛盾的命題(如“這是牛，并且這不是?！?。廣義的邏輯矛盾還包括同時(shí)肯定一對(duì)互相反對(duì)的命題(如“這是牛，并且這是馬”)，因?yàn)橥瑫r(shí)肯定一對(duì)互相反對(duì)的命題，相當(dāng)于同時(shí)肯定兩對(duì)互相矛盾的命題(如“這是牛，并且這不是?！迸c“這是馬，并且這不是馬”)。6思維形式結(jié)構(gòu)的規(guī)律，是正確的思維形式結(jié)構(gòu)所具有的普遍、必然的性質(zhì)和聯(lián)系。有特3都是充

7、分條件假言推理肯定前件式，具有共同的邏輯形式，其公式是：如果P，那么QP所以，Q三、1如果兩個(gè)思想的表達(dá)具有相同的思維形式結(jié)構(gòu)，則(C它們具有相同的邏輯常項(xiàng))。2“要么p，要么q”與“或者p，或者q”這兩個(gè)命題形式，它們含有(C不同的邏輯常項(xiàng)，相同的變項(xiàng))。3下列命題具有相同邏輯形式的有(A只要功夫深，鐵桿磨成針。D如果你有空，請(qǐng)立即回信。C要是寒潮到來(lái)，氣溫就會(huì)下降。D理論一旦掌握群眾，就會(huì)變成物質(zhì)力量。都是充分條件假言命題，其共同的