論一階量詞及其語義解釋

打開文本圖片集

提 要：一階量詞具有極大的普遍性，可以統(tǒng)一地處理由于論域變化造成的無限多日常量詞?；谝浑A語言公式的嚴(yán)格遞歸構(gòu)造，重疊量化式歸根結(jié)底可訴諸原子句和邏輯常項(xiàng)（特別是量詞）的意義，得到準(zhǔn)確的理解。代入解釋挑戰(zhàn)標(biāo)準(zhǔn)的量詞解釋，將量化語句的真還原為相應(yīng)去量化語句的代入實(shí)例的真，而代入實(shí)例被規(guī)定或設(shè)定為真未必是在存在論意義上，從而既能刻畫一階推理的有效性，又可確保量詞作為邏輯常項(xiàng)的本體論中立性。（剩余6804字）