來(lái)源：互聯(lián)網(wǎng)
邏輯后承是指在一個(gè)演繹有效推理中，當(dāng)其前提被確認(rèn)為真時(shí)，其結(jié)論必定為真的情況。這種推理的特點(diǎn)在于前提和結(jié)論之間的必然邏輯聯(lián)系，即前提蘊(yùn)含了結(jié)論，或者說(shuō)是結(jié)論已經(jīng)包含在前提之中。
形式特征
邏輯后承作為有效推理的結(jié)論，體現(xiàn)了前提與其間的必然關(guān)系。在這種情況下，如果前提為真，則結(jié)論必然是真實(shí)的。這是因?yàn)橛行评淼那疤嵋呀?jīng)包含了結(jié)論的信息，使得結(jié)論成為前提的自然推論。
應(yīng)用
邏輯后承的概念在形式邏輯學(xué)中有重要的應(yīng)用。通過(guò)理解邏輯后承的關(guān)系，我們可以更好地分析和評(píng)估各種推理的有效性和可靠性。
參考資料 >
吉拉?謝爾教授:論邏輯后承的語(yǔ)義定義.中國(guó)社會(huì)科學(xué)網(wǎng).2024-10-20
【林哲】演繹后承概念的邏輯分析.【林哲】演繹后承概念的邏輯分析.2024-10-20
美國(guó)加州大學(xué)圣迭戈分校吉拉·謝爾教授“邏輯后承”系列講座第一講順利舉行.武漢大學(xué)哲學(xué)學(xué)院.2024-10-20