Maka kebenaran dengan tepat hanya milik proposisi: yang ada dua jenis, yaitu, mental dan verbal; sama seperti ada dua kelas tanda yang biasa kita gunakan, yaitu, ide dan kata-kata. Ketika ide ditempatkan bersama, atau dipisahkan dalam pikiran, dengan cara di mana mereka atau hal-hal yang diwakilinya setuju atau tidak setuju, adalah apa yang saya sebut kebenaran mental, Tapi, kemudian, proposisi akan mengandung kebenaran nyata, ketika tanda-tanda itu telah disatukan sesuai dengan ide-ide kita, dan ketika ide-ide itu sedemikian rupa sehingga kita tahu mereka mampu memiliki keberadaannya di alam (Locke).
Seperti yang dapat dilihat, Locke juga membela sejenis kebenaran korespondensi ketika menegaskan bahwa proposisi, yang dipahami sebagai tanda gagasan, cenderung memiliki sifat 'keberadaan'. Senada dengan pendapat Gottfried Wilhelm Leibniz (1646-1716) yang berpendapat bahwa kebenaran terdiri dari suatu jenis hubungan antara bagian-bagian dari suatu proposisi:
kebenaran kontingen ada hubungan antara istilah, yaitu, ada kebenaran, bahkan jika kebenaran tersebut tidak dapat direduksi menjadi prinsip kontradiksi atau keharusan melalui analisis identitas mereka, dan memang benar adanya hubungan antara subjek dan predikat dalam setiap kebenaran ( Leibniz).
Belakangan, David Hume (1711-1776) dalam Inquiry into the Human membuat pembedaan mendasar antara dua kelas objek akal manusia, yaitu hubungan gagasan dan fakta, untuk memahami kebenaran:
Ilmu Geometri, Aljabar, dan Aritmatika adalah bagian dari jenis objek pertama. Proposisi jenis [pertama] ini dapat ditemukan hanya melalui operasi pemikiran terlepas dari apakah [objek semacam itu] ada di alam semesta. Bahkan jika lingkaran atau segitiga tidak pernah ada di alam, kebenaran ini, yang ditunjukkan oleh Euclid, akan mempertahankan kepastian dan buktinya. Fakta-fakta [di sisi lain] yang merupakan objek akal manusia dari tipe kedua, tidak dapat ditentukan dengan cara yang sama [seperti yang dari tipe pertama] juga bukan bukti kebenaran mereka, betapapun hebatnya, dari sifat yang serupa . .ke yang sebelumnya. Kebalikan dari setiap fakta adalah mungkin karena tidak dapat menyiratkan suatu kontradiksi dan dipahami oleh pikiran dengan kemudahan dan kejelasan yang sama seolah-olah itu terjadi.sesuai dengan kenyataan ( Hume).
Menurut David Hume fakta dan kemungkinan dan kebalikan imajinernya  menyiratkan hubungan korespondensi atau 'konformitas' dengan kenyataan, bagaimanapun, bahwa bukti yang dapat dimiliki dari 'kebenaran' mereka bersifat kontingen dan tidak diperlukan seperti yang terjadi dengan objek matematika. Terakhir, ada posisi filsuf penting lainnya, Immanuel Kant (1724-1804), yang dalam Critique of Pure Reason juga berbicara tentang kebenaran dalam istilah koresponden sebagai berikut:
Apa kebenarannya? Definisi nominal kebenaran, yaitu kesesuaian pengetahuan dengan objeknya, di sini diberikan dan diandaikan. Tetapi jelas, karena dalam abstraksi kriteria seperti itu dibuat dari semua konten pengetahuan (merujuk pada objeknya) dan kebenaran justru menyangkut konten ini, sama sekali tidak mungkin dan tidak masuk akal untuk meminta tanda kebenaran dari konten ini. pengetahuan pengetahuan, dan karena itu tidak mungkin untuk memberikan karakteristik yang cukup, dan pada saat yang sama universal, dari kebenaran (Kant).
Tinjauan sejarah singkat ini menunjukkan bahwa untuk jangka waktu yang lama, sebagian besar filsuf mempertahankan, dengan satu atau lain cara, apa yang sekarang dikenal sebagai 'teori kebenaran korespondensi'. Baru pada akhir abad ke-19 dan awal abad ke-20 beberapa filsuf yang tertarik pada subjek tersebut mulai mempermasalahkan teori tersebut dengan cara yang 'sistematis'. Dan memang, dalam pengertian 'kebenaran' yang dikonstruksikan oleh para filosof yang telah diulas sampai saat ini, tidak ada konsensus, misalnya tentang apa yang sebenarnya sesuai dengan realitas, apakah itu penegasan, pemahaman, atau proposisi. Tentu saja, mereka juga bisa berupa ide, keyakinan, pemikiran, penilaian, pernyataan, kalimat, dll.
Untuk mengatasi masalah ini, penggunaan istilah netral, yaitu ' pembawa kebenaran ', telah diusulkan untuk merujuk pada masing-masing kemungkinan entitas ini. Di sisi lain, setiap fakta, peristiwa, fenomena, kejadian, situasi, proses, benda, objek, urutan objek, set, properti, dll., Yang menjadikan pembawa kebenaran benar, telah disebut, juga secara netral, 'pembawa kebenaran' ( pembuat kebenaran dalam bahasa Inggris ). Secara skematis, tabel berikut menyajikan tiga elemen konstitutif dari teori kebenaran korespondensi.
Baca konten-konten menarik Kompasiana langsung dari smartphone kamu. Follow channel WhatsApp Kompasiana sekarang di sini: https://whatsapp.com/channel/0029VaYjYaL4Spk7WflFYJ2H