反事实条件
维基百科,自由的 encyclopedia
反事实条件(英语:counterfactual conditional (简写(英语:list of glossing abbreviations) cf)),或虚拟条件,致力于捕获在自然语言中的“如果-那么”陈述的条件陈述。与实质条件陈述不同,反事实条件可以为假即使它的前件为假。
在自然语言中的"如果-那么"的意思不是总能正确的用实质条件所形式化。特别是,实质条件总是真的,只要它们的前件为假,而在自然语言中的"如果-那么"陈述,是直陈条件,可以在这种情况下为假。例如,陈述“如果小明在墨西哥,则小明在非洲”将典型的被认为是假。但是,如果小明当前不在墨西哥,则对应的逻辑条件是真。换句话说,如果陈述“小明在墨西哥”和 “小明在非洲”被分别的形式化为命题和,你可能不希望第一个蕴涵第二个。不过,如果当前为假,则在命题逻辑中是真。
为了区分反事实条件和实质条件,定义了符号,所以意味着“如果,则”。
反事实条件的语义不能用条件和的真值表的方式定义,因为那是给实质条件用的。实际上有些不同的情况在和的真值上是一致的,但是仍希望给出不同的的求值。例如,如果小明在德国,则下列两个条件都有假的前件和假的后件:
- 如果小明在美国,则小明在非洲
- 如果小明在美国,则小明在北美洲
实际上,如果小明在德国,则所有三个情况“小明在美国”、“小明在非洲”和 “小明在北美洲”都是假的。但是,第一种情况明显是假的:美国不在非洲;第二种情况是真的:美国是北美国家。