The following is an archived discussion of the DYK nomination of the article below. Please do not modify this page. Subsequent comments should be made on the appropriate discussion page (such as this nomination's talk page, the article's talk page or Wikipedia talk:Did you know), unless there is consensus to re-open the discussion at this page. No further edits should be made to this page.
The result was: promoted by Bruxton (talk) 22:31, 13 May 2023 (UTC)
... that Aristotle's system of logic formed the foundation of logical thought for over 2000 years until the advent of modern symbolic logic? Source: Haaparanta, Leila (2009). "1. Introduction". The development of modern logic. Oxford: Oxford University Press. pp. 3–4. ISBN978-0-19-513731-6.
ALT1: ... that paraconsistent logic is a type of formal logic that can be used to draw meaningful conclusions from contradictory information? Source: Priest, Graham; Tanaka, Koji; Weber, Zach (2022). "Paraconsistent Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Introduction, 1. Paraconsistency. Retrieved 12 May 2023.
ALT2: ... that logic distinguishes between deductive arguments, which preserve truth, and ampliative arguments, which are not as certain but arrive at new information? Source: Hintikka, Jaakko; Sandu, Gabriel (2006). "What is Logic?". In Jacquette, D. (ed.). Philosophy of Logic. North Holland. p. 13. ISBN978-0-444-51541-4. Archived from the original on 7 December 2021. Retrieved 29 December 2021. Inferences can be either deductive, that is, necessarily truth preserving, or ampliative, that is, not necessarily truth preserving. This distinction can be identified with the distinction between such steps in reasoning as do not introduce new information into one's reasoning and such as do not do so.
@Phlsph7: Good article. Onegreatjoke (talk) 19:41, 12 May 2023 (UTC)