Induktiivinen päättely
Induktiivinen päättely eli induktio on päättelymuoto, joka lähtee liikkeelle yksittäisestä havaintojoukosta ja muodostaa niistä yleistyksen tai teorian.
Matematiikan filosofia
Intuitionismi on metodologia, jonka motto on ”ei ole olemassa kokemuksesta riippumattomia matemaattisia totuuksia”. Intuitionismin perustaja on L. E. J. Brouwer. Hänen mukaansa matemaattiset oliot saavat alkunsa "apriorisista" muodoista, jotka antavat tietoa empiirisiä olioita koskevista havainnoista. Brouwerin lisäksi intuitionismia on kannattanut muun muassa Michael Dummett.