数理逻辑对句子隐含语义的展示和分析

摘要

20世纪后期出现的自然语言逻辑是众多现代逻辑系统中的一种，它以自然语言中出现的逻辑问题为研究对象。虽然它比以前逻辑系统中的语形、语义和语用低水平的三结合有所进步，但在今天这样一个信息化时代显然不是逻辑之于语言的最大价值所在。实现自然语言的语形、语义和语用等信息的准确全面的形式化表述与自动推理，才是更有意义的，这也正是自然语言理解对逻辑学和语言学结合的最大希冀。这为数理逻辑这门将逻辑和数学合为一体的学科提供了广阔的用武之地。本文主要从数理逻辑对句子隐含语义的全面展示及深层分析的角度说明其对语义研究的意义。