7邏輯學(xué)第七章-在線瀏覽
2024-09-14 08:54本頁面
【正文】 ，揭示了“兩個物體間引力的大小必然與它們質(zhì)量的乘積成正比，而與物體間距離的平方成反比”。 ? 他可能估計(jì)不到嚴(yán)重的后果。 ? 謊言不可能掩蓋實(shí)事。 2022/8/21 10 二、模態(tài)命題 什么是模態(tài)命題 從語言形式上看，凡含有模態(tài)詞（如“必然”、“允許”、“相信”）的命題都是模態(tài)命題。 模態(tài)命題的構(gòu)成要素 每一模態(tài)命題，從邏輯形式上來看，都是由模態(tài)詞和經(jīng)典形式的命題兩部分構(gòu)成。 2022/8/21 11 模態(tài) 命題 的 語言表達(dá)形式 ： 在模態(tài)命題中，含有 “ 必然 ” 或者 “ 可能 ” 這兩種模態(tài)詞。 例如 ： 客觀規(guī)律 必然 不以人的意志為轉(zhuǎn)移。（ “ 必然 ” 后置） 不 可能 所有的錯誤都能避免。 不能一般的說某一命題是必然的或可能的，而只能說某一命題在某一特定世界中是必然的或可能的。 2022/8/21 13 三、模態(tài)邏輯 模態(tài)邏輯的定義 模態(tài)邏輯是研究模態(tài)詞構(gòu)成的命題及其推理的邏輯學(xué)科。 * 狹義的模態(tài)邏輯是關(guān)于含有“必然”、“可能”的命題及其 推理的科學(xué)。 2022/8/21 14 第二節(jié) 模態(tài)命題及其推理 一、基本模態(tài)命題及其種類 基本模態(tài)命題 也叫真勢模態(tài)命題。 必然命題和可能命題 必然命題包括必然肯定命題和必然否定命題；可能命題包括可能肯定命題和可能否定命題。 通常被表示為： 必然 p或□ P。 例如：中國的現(xiàn)代化必然實(shí)現(xiàn)。 （ 2）必然否定命題 它是反映事物情況必然不存在的命題。P?；蛘撸悍缸锊焕谏鐣潜? 然的。通常被表示為： 可能 P或◇ P。 例如：證人可能說謊。 （ 4）可能否定命題 它是反映事物情況可能不存在的命題。P?；蛘撸罕桓娌簧显V是可能的。 、 ∧ 、 ∨ 、 → 、 ? 等聯(lián)結(jié)起來，構(gòu)成更為復(fù)雜的命題。 疊置模態(tài)命題： 對一個已含有模態(tài)詞的命題再加上模態(tài)詞 。 2022/8/21 18 三、基本模態(tài)命題之間的關(guān)系 四種基本模態(tài)命題之間的關(guān)系也可以用方陣關(guān)系表示如下： □ p □ 172。 p 2022/8/21 19 注意： 掌握上述真值模態(tài)判斷之間的對當(dāng)關(guān)系，最重要的 是記住必然肯定判斷、必然否定判
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號-1