TEORI PEMBUKTIANIt is based on the idea that the central notion in terms of which meanings are assigned to expressions is that of proof rather than truth.

Memaksudkan bahawa makna yang dimiliki oleh sesuatu ungkapan adalah lebih berdasarkan bukti sebaliknya daripada kebenaran.

Sumber: http://esslli2009.labri.fr/course_63.html

Keharmonian dan PembuktianJuga disebut sebagai harmoni logikal (logical

harmony) yang memaksudkan keharmonian yang logik pada makna.

Ahli logik Gerhard Gentzen menyebut bahawa penghubung logik digunakan untuk membuatkan sesuatu wacana (discourse) lebih bermakna dan mengharmonikan pernyataan-pernyataan yang berbeza maksudnya. Misalnya:

Gentzen menyatakan bahawa sekiranya orang percaya yang langit itu biru dan dia juga percaya bahawa rumput itu hijau, penghubung “dan” patut dibubuh lalu menjadi ayat berikut:

Langit itu biru DAN rumput itu hijau. Gentzen's idea was that having rules like this

is what gives meaning to one's words, or at least to certain words.

Idea Gentzen ialah aturan penambahan sebegini memberi makna pada kata-kata atau sekurang-kurangnya pada kata-kata tertentu.

Sumber: http://en.wikipedia.org/wiki/Logical_harmony

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.

Koheren Dalam Pembuktian

Menurut teori koherensi, suatu pernyataan dianggap benar apabila pernyataan itu bersifat koheren atau konsisten dengan pernyataan-pernyataan sebelumnya yang dianggap benar.

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 pula didasarkan pada deduksi-deduksi yang menjadi bukti.

Ciri-ciri deduksi harus benar supaya kesimpulan yang koheren dan benar dapat ditarik darinya

Deduksi merupakan penaakulan yang sesuai dengan hukum-hukum serta-serta aturan logik formal (common sense).

Dalam hal ini orang menganggapbahwa tidak mungkin titik-titik tolak yang benarmenghasilkan kesimpulan-kesimpulan yang tidak benar (Beerling at al, 1996 : 23). Sumber: http://id.shvoong.com/humanities/philosophy/2127746-teori-koherensi-coherence-theory-truth/#ixzz1zZqdPPqv

Contohnya:1.Logam mengembang apabila dipanaskan.

2.Besi mengembang apabila dipanaskan.

3.Besi ialah logam.

Pernyataan (1) adalah fakta atau kebenaran yang tidak dapat disangkal.

Pernyataan (3) koheren dengan pernyataan (1) dan (1) dalam erti kata bahawa (1) dan (2) membuktikan kesahihan pernyataan (3).

Apakah pula kesimpulan anda? :

1. Kucing itu suka makan ikan kering.2. Snowie suka makan ikan kering.3. ?

1. Siti gadis yang pemalu.2. Gadis yang pemalu itu suka tanam bunga.3. ?