《概稱句推理研究》在對概稱句進(jìn)行合理解釋及形式化表達(dá)的基礎(chǔ)上對包含概稱句的推理作了全面研究。作者張立英通過分析概稱句的特點，并借助形式化方法把已有研究成果內(nèi)在的遞進(jìn)研究脈絡(luò)呈現(xiàn)出來，zui終發(fā)現(xiàn)雙正常語義和涵義語義能同時刻畫概稱句七個特點。區(qū)別于以往建立邏輯系統(tǒng)來刻畫單調(diào)推理的做法，作者用邏輯系統(tǒng)＋前提集上的排序來刻畫這些非單調(diào)推理，并以概稱句推理研究的結(jié)果為基礎(chǔ)，進(jìn)一步分析了概稱句推理與歸納推理的關(guān)系，指出其中所得的概稱句推理研究結(jié)果可以用于刻畫歸納推理。 此外，《概稱句推理研究》還探討了概稱句與語義網(wǎng)理論的關(guān)聯(lián)性。
|
