intensional logic
常見例句
- The law of substitution of co-referential expressions, which originated from classical logic, is invalid in intensional contexts, hence "intensional puzzle".
經(jīng)典邏輯中的同一性替換規(guī)則在內(nèi)涵語境中普遍失效,產(chǎn)生“內(nèi)涵困惑”。 - The pragmatic intensional logic constructed by Montague helps us to analyze and treat the relation between intension and'extension in such an indirect context.
蒙塔古構(gòu)建的語用內(nèi)涵邏輯對我們分析處理這類間接語境中內(nèi)涵與外延間的關(guān)系有極大的啟示。 返回 intensional logic