more from this thinker | more from this text
Full Idea
A deduction is a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so.
Gist of Idea
Deduction is when we suppose one thing, and another necessarily follows
Source
Aristotle (Prior Analytics [c.328 BCE], 24b18)
Book Ref
Aristotle: 'Prior Analytics', ed/tr. Smith,Robin [Hackett 1989], p.2
A Reaction
Notice that it is modal ('suppose', rather than 'know'), that necessity is involved, which is presumably metaphysical necessity, and that there are assumptions about what would be true, and not just what follows from what.
11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
18277 | If q implies p, that is justified by q and p, not by some 'laws' of inference [Wittgenstein] |
13623 | The syntactic turnstile |- φ means 'there is a proof of φ' or 'φ is a theorem' [Bostock] |
13722 | A 'theorem' is an axiom, or the last line of a legitimate proof [Sider] |
22279 | Frege's sign |--- meant judgements, but the modern |- turnstile means inference, with intecedents [Potter] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
18808 | Normal deduction presupposes the Cut Law [Rumfitt] |