We use essential cookies to run this site and, with your permission, privacy-friendly analytics to understand how it is used. Analytics stay switched off until you accept. Read our Cookies Policy and Privacy Policy.
Formal logic and necessity
Showing that conclusion must follow from premises
If water boils at 100°C at sea level, and this is sea level, water will boil at 100°C
Ensure true necessity. Check hidden assumptions. Verify conditions.
Mathematical proofs, philosophical arguments, scientific laws