邏輯語義學 我们在论证中可能遇到的各种句子判决的有效性条件依赖于它们的意义所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式逻辑学家在传统上只对是命题的句子感兴趣它是适合逻辑操纵的理想的句子 直到现代逻辑出现之前亚里士多德的工具论特别是解释篇提供了理解逻辑意义的基础量化的介入需要解决多重普遍性问题表现出了亚里士多德的逻辑所支配的主词谓词分析不能处理的那些种类尽管对词项逻辑的兴趣正在复兴尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算