Tag: lean

All the articles with the tag "lean".

• A Fortiori Is Just Monotonicity (Wearing a Latin Name)

  11 Jun, 2026

  An a-fortiori argument is exactly a claim that some predicate is monotone along an order — and 'my a-fortiori reasoning was wrong' means one of three precise assumptions failed.