论逻辑多元主义与替代语用理论

DOI:

评审日期

出版日期

注解: 分析了语用理论中逻辑分析的形式，并对其提出了构建可信的语用理论所必需的要求。 比较了各种逻辑方案及其在语用理论中的应用. 考虑了直觉数理逻辑HPC的起源和特点. 讨论了l.I.Rozonoer（1983）构建的逻辑calculi的特征：PCont，相当于A.Arruda和LPCont和LP1Cont构建的paran一致微积分PI s，其中经典逻辑（CPC）起着paran一致微积分PCont的正式金属语言的作用。 分析了3-paratautology和intuitionistic3-tautology之间的差异。 讨论了ECQ原则（ex矛盾quodlibet）的拒绝和（不可轻视的）paraconsistent逻辑中"来自无关考虑的不可证明性原则"的实施，以及逻辑多元主义对各种务实理论的适用性。 采用跨学科的方法：数理逻辑，集合论，信息论和系统分析的方法;主题解释和充分性分析;制定务实理论的强制要求。 本文对各种逻辑方案及其在语用理论、人工智能的创造和排序讨论过程中使用的可能性进行了比较分析。 分析了K.Mortensen提出的parasompatibility的集合理论动机。 根据Mortensen的立场，提出了一种测试基本思想和概念逻辑电路的方法，称为数学宽容原则。 分析了语用学理论中使用非调和逻辑的变体以及实际语用学的矛盾语用学立场和替代理论的主要原因。

出版日期: