论逻辑后承概念——一种基于“符合真”的证明式定义

逻辑学研究 2025 年第 2 期， 75–93                   文章编号：1674-3202(2025)-02-0075-19

作者：胡兰双

摘要：逻辑后承概念是逻辑学概念之根本，要理解什么是逻辑，首要的是要理解什么是逻辑后承。一般认为，逻辑后承具有必然性、形式性、题材中立性等特征。逻辑后承的证明式定义和语义模型定义都能一定程度上体现上述要求，但也都面临质疑：证明式定义局限于具体的逻辑系统；语义模型定义需证明数学模型的合理性。通过对两种定义的分析，加之谢尔“逻辑建基于世界”的观点，可以构建一种基于“符合真”的逻辑后承的证明式定义，其既能直观明确地解释何为“逻辑地得出”，又能摆脱具体逻辑系统的束缚，同时能够体现出语义模型定义的实质，还可以为反逻辑例外论立场和坚持真理符合论的立场提供支持，并向非形式逻辑视角下的逻辑后承概念开放，是一种值得辩护的逻辑后承定义方式。

关键词：逻辑后承；证明式定义；语义模型定义；逻辑常项；符合论

中图分类号：B81                              文献标识码：A