Kesesatan formal

Dalam logika dan filsafat, kesesatan formal, kesesatan deduktif, kesesatan berpikir atau non sequitur adalah pola penalaran yang tidak valid dan disebabkan oleh kecacatan pada struktur logika yang dapat diekspresikan dalam sistem logika standar, seperti logika proposisional. Kesesatan formal didefinisikan sebagai argumentasi deduktif yang tidak valid. Argumentasinya sendiri dapat memiliki premis-premis yang bernilai benar, namun tetap memiliki kesimpulan yang salah. Dengan demikian, kesesatan formal adalah suatu kesesatan yang deduksinya salah, sehingga bukan lagi merupakan proses logis. Hal ini mungkin tidak mempengaruhi kebenaran dari kesimpulan, sebab validitas dan kebenaran merupakan hal yang terpisah dalam logika formal. Walaupun suatu argumen logis merupakan non sequitur jika dan hanya jika argumen tersebut tidak valid, istilah "non sequitur" seringkali merujuk kepada jenis argumentasi tidak valid yang tidak membentuk kesesatan formal yang tercakup dalam istilah-istilah tertentu. Dengan kata lain, dalam penerapannya, istilah "non sequitur" merujuk kepada suatu kesesatan formal tanpa nama. Salah satu kasus khusus dari kesesatan formal adalah kesesatan matematis, yaitu bukti matematis yang bersifat tidak valid secara sengaja, seringkali dikarenakan kesalahan yang samar dan tersembunyi. Kesesatan matematis dibuat dan didemonstrasikan untuk tujuan edukasi, biasanya dalam bentuk bukti palsu yang memuat suatu kontradiksi yang jelas. Kekeliruan formal berbeda 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.