请输入您要查询的字词:

 

单词 principle of excluded middle
释义
principle of excluded middle

Logic
  • 1. In deductive systems enjoying a disjunction and negation ¬, the axiom scheme:

    • φ¬φ

    2. The principle asserting the validity of the foregoing axiom scheme. The principle is interpreted as an axiomatic representation of the related principle of bivalence, according to which every statement is either true or false. Excluded middle and bivalence part ways in some circumstances, e.g., in supervaluationist semantics in which there are precisifications in which there are atoms in which neither p nor ¬p is true (i.e., p is neither supertrue nor superfalse) although for every formula φ, φ¬φ is valid in all models.

    A related notion is the weak principle of excluded middle, frequently encountered in the context of intuitionistic and superintuitionistic logics:

    • ¬φ¬¬φ

    The validity of an instance of this scheme with respect to a formula φ corresponds to the intutionistic notion of φ’s being testable. While weak excluded middle is not valid intuitionistically, it may be added to intuitionistic logic to yield the superintuitionistic logic known as KC.

    As a thesis concerning consequence—that is, that φ¬φ may always be a theorem—the principle of excluded middle is dual to the principle of explosion, according to which φ¬φ should always be an antitheorem, so that φ¬φ entails all formulae. As deductive systems not observing the principle of explosion are known as paraconsistent, systems for which excluded middle fails are sometimes called paracomplete.

    3. In multiple-conclusion logic, in which consequence is a relation between sets of formulae Γ and Δ, the assertion that any Δ in which formulae φ,¬φΔ is a consequence of an arbitrary set of premises Γ. Given the reading of consequence in multiple-conclusion logic, i.e., that ΓΔ holds if whenever all formulae in Γ are true, some formula in Δ is true, the inference {φ,¬φ} asserts that either φ is true or ¬φ is true. That this inference is valid suggests that this formulation of excluded middle is more intimately related to the principle of bivalence than the version involving the scheme φ¬φ.

    Although the principle is frequently referred to as tertium non datur or excluded third, some—like philosopher Michael Dummett (1925–2011)—have used tertium non datur to denote the related scheme:

    • ¬¬(φ¬φ)


Philosophy
  • See excluded middle, principle of.


随便看

 

科学参考收录了60776条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。

 

Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号 更新时间:2024/12/25 16:06:22