Pembuktian Konsistensi
Dalam ilmu logika, ada banyak perangkat yang bisa digunakan untuk melakukan pembuktian kosistensi, salah satunya adalah perangkat tablo semantik. Contoh kasus : Saya : "Jika taat pada Allah, maka nalar lurus". apakah proposisi ini benar ? Teman : Ya benar. Saya : Jika demikian, berarti jika ada yang mengaku taat kepada Allah, tetapi nalarnya tidak lurus, berarti dia berdusta. benar ? Teman : Tidak. Seseorang taat atau tidak itu hanya bisa dibuktikan dengan amal perbuatannya. Saya : Inkonsisten. Teman : Inkonsistennya di mana ? Saya : Pada penyangkalan kesimpulan dengan [Modus Tollens] berikut. 1. Jika taat kepada Allah, maka nalarnya lurus. 2. ternyata nalarnya tidak lurus. Kesimpulan : berarti tidak taat kepada Allah. Teman : Mengaku taat kepada Allah dengan taat kepada Allah adalah dua hal yang berbeda. Saya : Ok. Jika mengaku taat kepada Allah, maka dia bisa saja taat atau bisa juga sebenarnya tidak taat. benar ? Teman : Ben...