Kesesatan formal itu apa sih?

Dalam filsafat, kekeliruan formal, kekeliruan deduktif, kesalahan logis atau non sequitur  (  ; Latin untuk "tidak mengikuti") adalah pola penalaran yang dibuat tidak valid oleh cacat dalam struktur logisnya yang dapat dengan rapi diekspresikan dalam sistem logika standar, misalnya logika proposisional. Ini didefinisikan sebagai argumen deduktif yang tidak valid. Argumen itu sendiri bisa memiliki premis yang benar, tetapi masih memiliki kesimpulan yang salah. Jadi, kekeliruan formal adalah kekeliruan di mana deduksi menjadi salah, dan bukan lagi proses logis. Ini mungkin tidak mempengaruhi kebenaran kesimpulan, karena validitas dan kebenaran terpisah dalam logika formal.

Kekeliruan formal dikontraskan dengan kekeliruan informal yang mungkin memiliki bentuk logis yang valid namun tidak sehat karena satu atau lebih premis salah. Sebuah kekeliruan formal, bagaimanapun, mungkin memiliki premis yang benar, tetapi kesimpulan yang salah.