>[!abstract] >Lossy implications happen when inferential steps lose some informational content — e.g., from stronger to weaker statements, as is common in non-classical logic or probabilistic reasoning. For example: while $(A = B \land B = C) \implies (A = C)$ is true in a formal sense, $(A \approx B \land B \approx C) \implies (A \approx C)$ is not. The cumulative approximations may nearly cancel each other out, or they may compound — there is no way to tell just from those statements. >[!quote] >While following logical threads to their conclusions is a useful exercise, each logical step often involves some degree of rounding or unknown-unknowns. A -> B and B -> C means A -> C in a formal sense, but A -almostcertainly-> B and B -almostcertainly-> C does not mean A -almostcertainly-> C. Rationalists, by tending to overly formalist approaches, tend to lose the thread of the messiness of the real world and follow these lossy implications as though they are lossless. ([[rachofsunshine, 2025]]). >[!related] >- **North** (upstream): [[Non-classical logic]] >- **West** (similar): [[Non-monotonic reasoning]] >- **East** (different): [[Truth-preserving inference]] (classical entailment) >- **South** (downstream): [[Probabilistic entailment]]