[高等教育]lg01緒論(編輯修改稿)
2025-02-17 23:17 本頁面
【文章內(nèi)容簡介】 學(xué)家萊布尼茲提出把推理變成邏輯演算 ——數(shù)理邏輯 ? 英國邏輯學(xué)家布爾建立了“邏輯代數(shù)” ? 德國哲學(xué)家弗雷格提出命題演算和謂詞演算的思想 ? 羅素和懷德海 《 數(shù)學(xué)原理 》 中建立了這兩個(gè)演算系統(tǒng)，使數(shù)理邏輯成為一個(gè)新學(xué)科 ? 美籍邏輯學(xué)家哥德爾證明了兩條不完全性定理，標(biāo)志著數(shù)理邏輯發(fā)展到一個(gè)新階段 第三節(jié) 邏輯學(xué)的研究對(duì)象 ?邏輯學(xué)的研究對(duì)象是：思維的邏輯形式、邏輯的基本規(guī)律和簡單的邏輯方法。 一、思維內(nèi)容與思維的邏輯形式 ? 思維內(nèi)容：思維所反映的特定對(duì)象及其屬性 ? 思維的邏輯形式：不同思維內(nèi)容所具有的共同的形式結(jié)構(gòu) —— 概念、命題、推理。 如： 所有 學(xué)生 都是 認(rèn)真學(xué)習(xí)的。 所有 植物 都是 呼吸空氣的。 所有 金屬 都是 導(dǎo)電的。 所有 XX都是 XX 所有 S是 P 一、思維內(nèi)容與思維的邏輯形式 又如： 如果 天下雨， 那么 地上濕。 如果 摩擦， 那么 就會(huì)生熱。 如果怎樣，那么就怎樣。 如果 p，那么 q 一、思維內(nèi)容與思維的邏輯形式 再如： 所有動(dòng)物都是會(huì)死的，所有人都是動(dòng)物；所以，所有人都是會(huì)死的。 所有金屬都是導(dǎo)電的，所有的銅都是金屬；所以，所有的銅都是導(dǎo)電的。 所有 M是 P 所有 S是 M 所以，所有 S是 P 一、思維內(nèi)容與思維的邏輯形式 邏輯形式中包括邏輯常項(xiàng)和邏輯變項(xiàng) ? 邏輯常項(xiàng)是指邏輯形式中不變的部分。它是區(qū)分不同種類的邏輯形式的唯一依據(jù)。 ? 邏輯變項(xiàng)是指邏輯形式中可變的部分。 例如： 在 “ 所有 S都是 P”中 “ 所有 …… 都 ” 、“ 是 ” 是邏輯常項(xiàng)； “ S
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1