Professional Documents
Culture Documents
TEORI PEMBUKTIAN
Gentzen menyatakan bahawa sekiranya orang percaya yang langit itu biru dan dia juga percaya bahawa rumput itu hijau, penghubung dan patut diletakkan lalu menjadi ayat berikut:
Langit itu biru dan rumput itu hijau.
Idea Gentzen ialah aturan penambahan sebegini memberi makna pada kata-kata atau sekurangkurangnya pada kata-kata tertentu.Contoh lain: Maria pandai. Mariana tidak pandai. Kedua-dua pernyataan di kedengarannya tidak selaras. (kerana tiada penghubung logik) Untuk mengharmonikan kedua-dua pernyataan di atas, kata manakala ditambahkan. Maria pandai manakala Mariana tidak pandai. Penambahan sedemikian akan memberi pernyataan yang lebih harmonis dan bermakna bahawa Maria dan Mariana memiliki pencapaian yang berbeza.
Teori koherensi menjadi dasar dalam pengembangan ilmu deduktif atau matematik.
Nama ilmu deduktif diberikan kerana penyelesaian sesuatu masalah atau pembuktian suatu kebenaran yang tidak didasarkan pada pengalaman atau hal-hal yangbersifat faktual melainkan didasarkan pada deduksi-deduksi yang menjadi bukti.