Template:Did you know nominations/Rule of inference
Rule of inference
- ... that using classical rules of inference, logicians can prove from any contradiction that the Earth is flat?
- Source: Shapiro, Stewart; Kouri Kissel, Teresa (2024). "Classical Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. § 3. Deduction.
- ALT1: ... that rules of inference can be transformed into tautologies? Source:
- Gossett, Eric (2009). Discrete Mathematics with Proof. John Wiley & Sons. pp. 50–51. ISBN 978-0-470-45793-1.
- Carlson, Robert (2017). A Concrete Introduction to Real Analysis. CRC Press. p. 20. ISBN 978-1-4987-7815-2.
- Hintikka, Jaakko; Sandu, Gabriel (2006). "What Is Logic?". In Jacquette, Dale (ed.). Philosophy of Logic. North Holland. p. 16. ISBN 978-0-444-51541-4.
- Reviewed: Template:Did you know nominations/Eleanor Island (Canada)
Improved to Good Article status by Phlsph7 (talk).
Number of QPQs required: 1. Nominator has 30 past nominations.
Phlsph7 (talk) 09:14, 4 April 2025 (UTC).
- Comment: @Phlsph7: The hook facts have to both be 1) cited in the source, and 2) cited in the Wikipedia article. Viriditas (talk) 00:13, 21 April 2025 (UTC)
- Hello Viriditas and thanks for taking a look at this nomination. For ALT0, the relevant passage in the article is "Classical logic prohibits contradictions because classical rules of inference lead to the principle of explosion, an admissible rule of inference that makes it possible to infer from the premises and . Since is unrelated to , any arbitrary statement can be deduced from a contradiction". I chose the arbitrary statement "the Earth is flat" to make it more concrete, but any other statement would also work. For ALT1, the relevant passage in the article is "Every argument following a rule of inference can be transformed into a tautology". Both passages are supported by reliable sources. I could look up the sources to provide quotes if there are concrete doubts. Phlsph7 (talk) 08:26, 21 April 2025 (UTC)
