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

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

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



本文編號(hào)：3991447