论内涵逻辑与内涵语境下的替换失效问题

An Introduction to Intensional Logic and Substitutional Failure in Intensional Context

本文旨在介绍内涵逻辑的兴起与内涵语境下的替换失效问题之间的关系,分析了外延逻辑所存在的缺陷,并进一步简要地展示各种内涵逻辑系统对于替换失效问题的解决方案。

This paper aims at introducing the relation between intensional logic and substitutional failure in intensional context, and trying to explain the limitation of extensional logic. Further more, it demonstrates different systems of intentional logic and their ways to accoont for substitutional failure in brief.