Gibbard 式坍缩与三值条件句
逻辑
2020-06-17 v1
摘要
本文讨论 Allan Gibbard 针对直陈条件句所陈述的所谓平凡性结果的范围与意义，表明若一个条件句算子满足导入-导出律、是超经典的且强于实质条件句，则其必坍缩为实质条件句。Gibbard 的结果被视为直陈条件句真值函数说明的一个两难：放弃导入-导出，或接受二值分析。我们表明，在基于 Reichenbach 与 de Finetti 之“前件为假的条件句无定义”思想的三值条件句逻辑中，该两难可得以规避。在此类逻辑中，导入-导出与真值函数性成立而无平凡性。我们厘清 Gibbard 证明中的若干隐含假设，并讨论 Branden Fitelson 近期对 Gibbard 结果的推广。
引用
@article{arxiv.2006.08746,
title = {Gibbardian Collapse and Trivalent Conditionals},
author = {Paul Egré and Lorenzo Rossi and Jan Sprenger},
journal= {arXiv preprint arXiv:2006.08746},
year = {2020}
}