圖示形式邏輯學(xué)基礎(chǔ)知識(shí)(一部分)
這里涉及到形式邏輯學(xué)的一些概念:概念,內(nèi)涵,外延,歐拉圖,概念的劃分,肯定概念,否定概念,矛盾關(guān)系,反對關(guān)系,命題,負(fù)命題,性質(zhì)命題,關(guān)系命題,全稱性質(zhì)命題,特稱性質(zhì)命題,對當(dāng)關(guān)系,對當(dāng)關(guān)系推理。
任一認(rèn)識(shí)對象都具有性質(zhì)以及與其他對象的關(guān)系,這些性質(zhì)和關(guān)系是認(rèn)識(shí)對象的屬性。這些屬性是可以被人認(rèn)識(shí)的,并用語言表達(dá)出來。
概念就是反映認(rèn)識(shí)對象屬性的思維形式。概念用語詞表達(dá)。一個(gè)概念可以多個(gè)語詞表達(dá),一個(gè)語詞可表達(dá)多個(gè)概念。
概念反映對象的屬性,同時(shí)也就反映了具有這種屬性的對象,因而概念有明確的內(nèi)容和確定的范圍,這兩方面分別構(gòu)成了概念的內(nèi)涵和外延。
概念的內(nèi)涵就是指反映在概念中的對象的屬性?;卮稹罢J(rèn)識(shí)對象是什么?”
概念的外延是指具有概念所反映的屬性的對象,通常稱為概念的適用范圍(用歐拉圖表示) ?;卮稹罢J(rèn)識(shí)對象有哪些?”
肯定概念是反映對象具有某種屬性的概念。
否定概念是反映對象不具有某種屬性的概念。
否定概念的外延是無限大的。其中存在和肯定概念同類的對象,這些對象和肯定概念的外延構(gòu)成論域?!翱茖W(xué)”是肯定概念,“非科學(xué)”是否定概念。這里“科學(xué)”和“非科學(xué)”構(gòu)成“學(xué)”這個(gè)論域??茖W(xué)和非科學(xué)是矛盾關(guān)系。非科學(xué)指“不是科學(xué)”,不是指“偽科學(xué)”。概念明確很重要。
絕對概念表示性質(zhì)----張三和李四都是學(xué)生。(可以說張三是學(xué)生,李四是學(xué)生。)
相對概念表示關(guān)系----張三和李四是朋友。(不能說張三是朋友,李四是朋友。)
劃分是以對象的一定性質(zhì)(不是關(guān)系)為標(biāo)準(zhǔn),將一個(gè)屬概念分成若干個(gè)種概念,以達(dá)到明確其外延的邏輯方法。
劃分與分解:
概念外延的矛盾關(guān)系:c = a + b
概念外延的反對關(guān)系:c > a + b
命題就是對對象屬性的陳述,是陳述句。屬性有性質(zhì)和關(guān)系,命題即有性質(zhì)命題和關(guān)系命題。命題非真即假。
例如:
白馬是白色的馬。(性質(zhì)命題)
轎車是車。轎車不是貨車。(性質(zhì)命題)
汽車含有輪胎,并非 輪胎含有汽車。(關(guān)系命題)
公交車大于轎車,不是 轎車大于公交車。(關(guān)系命題)
科學(xué)技術(shù)是第一生產(chǎn)力。(?)
負(fù)命題是對一個(gè)命題否定后形成的命題,例如,并非輪胎含有汽車。
同素材性質(zhì)命題的對當(dāng)關(guān)系:
關(guān)系命題與其負(fù)命題的關(guān)系:
性質(zhì)命題對當(dāng)關(guān)系推理:
所有的實(shí)踐都是有效檢驗(yàn)的實(shí)踐。(假) → 有的實(shí)踐不是有效檢驗(yàn)的實(shí)踐。(真)
這里,“有的”指“至少有一個(gè)”。
問題:
請回答那三個(gè)問號(hào)的內(nèi)容?
聯(lián)系客服