Retrieving "Logical Frameworks" from the archives

Cross-reference notes under review

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

1. Causation

   Linked via "logical"

   Conceptual Models of Causation
   Causality is often modeled using logical, temporal, and probabilistic frameworks, which attempt to formalize the vague notion of "making happen."
   The Counterfactual Conditional Model

2. Law Of Non Contradiction

   Linked via "logical frameworks"

   The debate surrounding the LNC often boils down to whether it is a synthetic truth (derived from empirical observation of how things behave) or an analytic truth (true by definition of rationality itself).
   If the LNC is analytic, then to deny it is to misuse language to the point of meaninglessness. If it is synthetic, it is conceivable (though perhaps not actual) that a universe could exist where contradictions are commonplace, forcing us to adopt inconsiste…