“might counterfactual”的概念、定义、翻译、参考文献-科学参考

might counterfactual

Logic

A type of counterfactual conditional $φ ♢ \to ψ$ according to which had the antecedent $φ$ obtained, then the consequent $ψ$ might have obtained. For example,
- • Had John Kennedy avoided Dallas, Texas in November 22, 1963, he might have served two terms as President of the United States.
does not assert that the consequent would have obtained (i.e, the corresponding would counterfactual), but merely that the consequent is consistent with the satisfaction of the antecedent. The dual relationship between might and would counterfactual conditionals with respect to a negation $\neg$ was described by philosopher David Lewis (1941–2001) by the equivalences:
$\frac{φ ♢ \to ψ}{\bar{\neg (φ □ \to \neg ψ)}} \frac{φ □ \to ψ}{\bar{\neg (φ ♢ \to \neg ψ)}}$

单词	might counterfactual
释义	might counterfactual Logic A type of counterfactual conditional $φ ♢ \to ψ$ according to which had the antecedent $φ$ obtained, then the consequent $ψ$ might have obtained. For example, • Had John Kennedy avoided Dallas, Texas in November 22, 1963, he might have served two terms as President of the United States. does not assert that the consequent would have obtained (i.e, the corresponding would counterfactual), but merely that the consequent is consistent with the satisfaction of the antecedent. The dual relationship between might and would counterfactual conditionals with respect to a negation $\neg$ was described by philosopher David Lewis (1941–2001) by the equivalences: $\frac{φ ♢ \to ψ}{\bar{\neg (φ □ \to \neg ψ)}} \frac{φ □ \to ψ}{\bar{\neg (φ ♢ \to \neg ψ)}}$
随便看	Elizabeth I (1533–1603) Elizabeth II (1926–2022) Elizabeth of Bohemia (1618–80) Elizabeth Petrovna (1709–62) Eliza effect Ellerman bomb Ellingham diagram ellipse ellipsis ellipsoid ellipsoidal variable elliptic aberration elliptical galaxy elliptical polarization elliptic curve elliptic curve cryptography elliptic cylinder elliptic filter elliptic function elliptic geometry elliptic integral ellipticity elliptic paraboloid elliptic partial differential equation elliptic plane