Kesesatan formal

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Formal fallacy di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel)

Artikel bertopik logika ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya.

• l
• b
• s

Dalam logika dan filsafat, kesesatan formal, kesesatan deduktif, kesesatan berpikir atau non sequitur^[1] (/ˌnɒnˈsɛkwɪtər/; Latin untuk '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.^[2] Kesesatan formal didefinisikan sebagai argumentasi deduktif yang tidak valid. Argumentasinya sendiri dapat memiliki premis-premis yang bernilai benar, tetapi tetap memiliki kesimpulan yang salah.^[3] Dengan demikian, kesesatan formal adalah suatu kesesatan yang deduksinya salah, sehingga bukan lagi merupakan proses logis. Hal ini mungkin tidak memengaruhi 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" sering kali 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, sering kali karena 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.

Referensi