“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 ψ)}}$
随便看	principle of sufficient reason principle of superposition principle of the excluded middle principle of uniformitarianism principle of utility principle of verifiability principle stress axes Pringsheim, Nathanael printed circuit printed circuit board printer printer format printout print quality print server print-through prion prior prior distribution prioritize priority priority encoder priority interrupt priority processing priority queue