TEORI PEMBUKTIAN It is based on the idea that the central notion interms of which meanings are assigned toexpressions

is that of proof rather than truth.Memaksudkan bahawa makna yang dimiliki olehsesuatu ungkapan adalah lebih berdasarkan buktisebaliknya daripada kebenaran.Sumber: http://esslli2009.labri.fr/course_63.html Keharmonian dan Pembuktian Juga disebut sebagai harmoni logikal (logical harmony) yang memaksudkan keharmonian yang logik padamakna. Ahli logik Gerhard Gentzen menyebut bahawapenghubung logik digunakan untuk membuatkansesuatu wacana (discourse) lebih bermakna danmengharmonikan pernyataan-pernyataan yangberbeza maksudnya. Misalnya: Gentzen menyatakan bahawa sekiranya orangpercaya yang langit itu biru dan dia juga percayabahawa rumput itu hijau , penghubung dan patutdibubuh 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 tocertain words.Idea Gentzen ialah aturan penambahan sebeginimemberi 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 danMariana memiliki pencapaian yang berbeza. Koheren Dalam Pembuktian Menurut teori koherensi, suatupernyataan dianggap benar apabilapernyataan itu bersifat koheren ataukonsisten dengan pernyataan-pernyataan sebelumnya yang dianggapb e n a r . Teori koherensi menjadi dasar dalampengembangan ilmu deduktif ataumatematik. Nama ilmu deduktif diberikankerana penyelesaian sesuatu masalah atauPEMBUKTIAN suatu kebenaran yang tidak didasarkan pada pengalaman atau hal-hal yangbersifat faktual melainkan puladidasarkan pada deduksi-deduksi yangmenjadi bukti.

Ciri-ciri deduksi harus benar supaya kesimpulan yang koheren dan benar dapat ditarik darinyaDeduksi merupakan penaakulan yang sesuaidengan hukumhukum serta-serta aturan logikformal (common sense).Dalam hal ini orang menganggapbahwa tidak mungkin titik-titik tolak yang benarmenghasilkan kesimpulan-kesimpulan yang tidakbenar (Beerling at al, 1996 : 23). Sumber:http://id.shvoong.com/humanities/philosophy/2127746-teori-koherensi-coherence-theorytruth/#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. ?