自由逻辑与预设
经典逻辑假设每个单称词项都有指称；自由逻辑放宽了这一限制，以处理像“珀伽索斯”这样的空名称和未能指称的限定描述。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
自由逻辑是一种量化系统，其单称词项不必指称存在的客体，因此从“a是F”到“某个事物是F”的推理只有在添加了“a存在”的前提下才成立。
Scope
本主题涵盖了自由逻辑——其单称词项不作存在假设的逻辑——以及密切相关的预设失败现象。它探讨了自由逻辑如何修改经典的全称例证和存在概括规则以处理非指称词项，包括肯定、否定和中性（超赋值）变体，以及罗素-斯特劳森关于包含非指称描述的句子如何获得真值之争的哲学背景。
Core questions
- 逻辑应如何处理包含空名称或失败描述的句子？
- 这些句子是缺乏真值（预设失败）还是结果为假？
- 当词项可能不指称时，哪些经典推理规则必须受到限制？
- 存在性是谓词吗？量词应如何与存在性相关联？
Key concepts
- 非指称单称词项
- 全称例证和存在概括
- 肯定、否定和中性自由逻辑
- 预设失败
- 真值空缺
- 存在性作为谓词
Key theories
- 自由逻辑
- 兰伯特系统化了单称词项可能为空的逻辑；全称例证和存在概括受到存在假设的限制，不同变体在包含非指称词项的原子句的真值上有所不同。
- 预设与真值空缺
- 斯特劳森认为，使用非指称描述的句子（罗素的“法国现任国王”）是预设而非断言存在，因此既非真也非假；范·弗拉森通过超赋值对此进行了建模。
History
罗素1905年的摹状词理论通过分析而非逻辑修正来处理空词项；斯特劳森1950年的回应引入了预设和真值空缺。从20世纪60年代起，兰伯特创造并发展了自由逻辑作为一种系统的替代方案，范·弗拉森为由此产生的空缺提供了超赋值语义。
Debates
- 假还是无真值？
- 关于包含非指称词项的句子是简单地为假（如罗素的摹状词理论所暗示），还是遭受预设失败而缺乏真值（如斯特劳森和超赋值自由逻辑学家所主张）。
Key figures
- Karel Lambert
- P. F. Strawson
- Bas van Fraassen
- Bertrand Russell
- Hugues Leblanc
Related topics
Seminal works
- strawson1950
- lambert2003
Frequently asked questions
- 为什么经典逻辑无法处理空名称？
- 经典逻辑允许从“a是F”推断出“某个事物是F”，适用于任何词项a，但如果a不指称任何事物，则此推断失败——例如，从“珀伽索斯是带翼的马”推断出某个事物是带翼的马。自由逻辑限制了此类推断，使其需要额外的“被命名对象存在”的前提。