Search from vocabulary

Content language

Concept information

Methods > Procedures > Deduction (Reasoning, Logic)

Preferred term

1662Deduction (Reasoning, Logic)  

Broader concept

Scope note

  • A finite sequence of sentences whose last sentence is a conclusion of the sequence and follows necessarily from the preceding sentences (premises), which means that if the preceding sentences are true then the conclusion must be true. Therefore, valid deduction is "necessarily truth-preserving", in contrast to induction. Furthermore, deduction is "non-ampliative", i.e. the conclusion bears no new content, since its content is already present, at least implicitly, in the premises.


  • Audi 2011
  • Salmon, Earman, Glymour, Lennox, Machamer, McGuire, ... Schaffner 1998
  • Πορτίδης, Ψύλλος & Αναπολιτάνος 2007


  • Katsiadakis Helen (AA)


  • Mergoupi-Savaidou Eirini (AA)


  • 1662

In other languages


Download this concept:

RDF/XML TURTLE JSON-LD last modified 2019-09-23 Created 2019-04-112019-04-11