卡爾納普用狀態(tài)描述作為刻畫世界可能情況的基本概念,通過語句的邏輯域之間的關(guān)系來刻畫推理的前提與結(jié)論之間的邏輯聯(lián)系,但在無窮個(gè)體域中遇到了對狀態(tài)描述計(jì)數(shù)的困難。他提出“共同恰當(dāng)性條件”以解決非概括句在無窮個(gè)體域中的確證問題。用G函數(shù)和λ函數(shù)作為歸納方法的特征函數(shù),但在他所選擇的c~*函數(shù)中得出無限全稱事實(shí)句確證度為零的結(jié)果。而這個(gè)結(jié)果不是不可避免的。

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

【文章目錄】：
一、形式語義理論
二、共同恰當(dāng)性條件
三、特征函數(shù)
四、并非不可避免的結(jié)果



本文編號：3991447