從形式蘊(yùn)涵看"實(shí)質(zhì)蘊(yùn)涵怪論",是化解實(shí)質(zhì)蘊(yùn)涵理論之"嚴(yán)峻反例"的謂詞邏輯路徑,旨在糾正經(jīng)典命題邏輯定理在條件句分析中的誤用,并非對條件句命題邏輯刻畫的"高層次的重復(fù)"�；谑芟蘖炕虻奶厥庑问教N(yùn)涵,是化解"嚴(yán)峻反例"的基本工具。準(zhǔn)確理解命題函數(shù)和邏輯量詞,清晰分辨命題與命題函數(shù)、條件命題與條件句,對于把握形式蘊(yùn)涵化解路徑起著關(guān)鍵作用。關(guān)于"吉伯德反例"等"極嚴(yán)峻反例"的化解,需訴諸刻畫"多重概括"的量詞疊置型形式蘊(yùn)涵。以受限量化域和特殊形式蘊(yùn)涵刻畫某些自然語言條件句的邏輯形式,澄清認(rèn)知共同體關(guān)于這些語句的"為假直覺"或"為真直覺"之邏輯機(jī)理,有助于將經(jīng)典邏輯正確運(yùn)用于自然語言理解,對邏輯教學(xué)體系改革也具有重要意義。 

【文章來源】：湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版). 2020,47(05)北大核心CSSCI

【文章頁數(shù)】：12 頁

【文章目錄】：
一、“形式蘊(yùn)涵化解路徑”是否“高層次的重復(fù)”?
二、條件句的“邏輯形式”與“受限量化域”之使用
三、“多重概括”的刻畫與“吉伯德反例”的化解
四、余論



本文編號：3079230