Secara umum akan dikatakan bahwa inferensi adalah pengurangan satu hal dari yang lain. Inferensi adalah murni dan eksklusif produk pikiran kita, karena itu adalah evaluasi yang dilakukan di antara ekspresi-ekspresi bahasa tertentu, yang sekali saling terkait secara intelektual akan memungkinkan kita untuk sampai pada ide logis. Dengan cara ini, mulai dari kebenaran atau kepalsuan yang dikemukakan oleh beberapa ekspresi, kita dapat menyimpulkan kebenaran atau kepalsuan dari beberapa ekspresi lainnya. Sementara itu, akan muncul postulat dari prosedur tersebut di atas.
Dalam logika tradisional, yang populer disebut Aristotelian, karena pertama kali dirumuskan oleh filsuf Yunani terkenal Aristoteles, bentuk inferensi yang diikuti adalah silogisme. Ini adalah jenis penalaran deduktif yang terdiri dari dua proposisi sebagai premis dan yang lain sebagai kesimpulan, yang terakhir melanjutkan sebagai kesimpulan dari dua lainnya.
Kita dapat menemukan tiga jenis inferensi; deduksi, argumen deduktif adalah jenis yang mengatur koeksistensi premis dan kesimpulan, memastikan bahwa yang terakhir akan diwakili di tempat, misalnya: semua balon di tas ini berwarna merah, balon ini milik tas ini, untuk contoh oleh karena itu balon-balon ini berwarna merah; yang induksi, argumen induktif mendukung koeksistensi kemungkinan tempat dan kesimpulan, memastikan bahwa yang terakhir mungkin tercermin dalam bangunan, misalnya balon dari tas ini, balon merah, maka semua balon dari tas ini Mereka adalah merah; dan penculikan, argumen tipe abduktif mengusulkan kemungkinan koeksistensi antara premis dan kesimpulan, memastikan bahwa yang terakhir berpotensi diwakili dalam premis yang disebutkan di atas, misalnya: semua balon di tas ini berwarna merah, balon ini berwarna merah, lalu balon ini sesuai dengan tas ini.
Topik dalam Inferensi
