- Source: Kesesatan formal
Dalam logika dan filsafat, kesesatan formal, kesesatan deduktif, kesesatan berpikir atau non sequitur (; Latin for 'hal tersebut tidak mengakibatkan') 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 (misalnya membenarkan konsekuensi). 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.
Taksonomi
Analytika Protera 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.