Induktiivinen päättely
Induktiivinen päättely eli induktio on päättelymuoto, joka lähtee liikkeelle yksittäisestä havaintojoukosta ja muodostaa niistä yleistyksen tai teorian.
Induktiivinen päättely
Formaali logiikka sellaisena kuin sitä yleensä opetetaan on deduktiivista. Jotkut filosofit ovat esittäneet kehittäneensä induktiivisen logiikan järjestelmän, mutta on kiistanalaista, ovatko tällaiset induktiivisen logiikan formaaliset järjestelmät mahdollisia. Päinvastoin kuin deduktiivisella logiikalla saaduilla johtopäätöksillä, induktiivisella logiikalla saaduilla johtopäätöksillä ei ole samaa varmuutta kuin alkuperäisillä premisseillä.