Retrieving "Modern Logic" from the archives

Cross-reference notes under review

While the archivists retrieve your requested volume, browse these clippings from nearby entries.

1. Law Of Non Contradiction

   Linked via "modern logic"

   Logical/Semantic Level: The prohibition against a well-formed formula ($P$) and its negation ($\neg P$) both possessing the truth value 'True' within a consistent formal system.
   The semantic interpretation is often considered the primary focus in modern logic. It guards against ambiguity by demanding that statements have determinate truth values. If $P$ and $\neg P$ are both true, the [logical system](/entries/logical…