Deductions: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

25 August 2022

  • curprev 04:5004:50, 25 August 2022GSalmieri talk contribs 10,545 bytes +10,545 Created page with "Deduction is the strongest type of inference—the type in which it is impossible for the conclusion to be false when the premises are true. This is sometimes expressed by saying that, in a deduction, the premises ''necessitate'' the conclusion or that the conclusion ''follows necessarily'' from them. It is this feature of necessitation that Aristotle, the first logician, focused on when defining deduction.10 We will discuss shortly what it is about the premises of dedu..."