Metode
Abduksi
abduction
Penalaran abduktif merupakan karakteristik dari penalaran sehari-hari berupa penarikan kesimpulan dari penjelasan terbaik dari bukti-bukti yang ada pada saat itu.
Gagasan ini diperkenalkan oleh Peirce untuk menjustifikasi silogisme:
A adalah B;
C adalah B;
maka C adalah A.
Meskipun bentuk penalaran ini secara formal keliru, Peirce memandangnya sebagai sesuatu yang berkaitan dengan penemuan ilmiah. Sebagai metode yang non-algoritmik, yang tidak mudah diformalkan melalui penerapan seperangkat aturan, dan sensitif terhadap konteks dan pengetahuan seseorang secara keseluruhan, metode ini menimbulkan permasalahan bagi teori komputasional terhadap akal budi.