Kesesatan formal

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.

Taksonomi 
Prior Analytics adalah catatan Aristoteles tentang penalaran deduktif dan silogisme. Kesalahan logika Aristoteles standar adalah:

 Kekeliruan empat istilah ( Quaternio terminorum ),
 Kekeliruan dari tengah yang tidak terdistribusi,
 Kekeliruan proses terlarang istilah mayor atau minor,
 Kesimpulan afirmatif dari premis negatif.

Referensi 

Filsafat