Suatu proposisi analitik benar berdasarkan maknanya. Predikatnya terkandung dalam subjek. Semua bujangan belum menikah. Konsep bujangan sudah mencakup belum menikah. Anda tidak perlu memeriksa kata-katanya. Kebenaran ada dalam kata-katanya. Proposisi tersebut analitik.

Istilah ini berasal dari Immanuel Kant. Ia membedakan proposisi analitik dari proposisi sintetik. Proposisi analitik benar berdasarkan definisi. Proposisi sintetik benar berdasarkan fakta. Semua bujangan belum menikah adalah proposisi analitik. Semua bujangan tidak bahagia adalah proposisi sintetik. Yang pertama benar berdasarkan makna. Yang kedua membutuhkan bukti.

Contoh proposisi analitik

• Semua segitiga memiliki tiga sisi.
• Seorang bujangan adalah pria yang belum menikah.
• Merah adalah sebuah warna.
• Jika hujan, ya hujan.
• Tidak ada bujangan yang sudah menikah.

Proposisi analitik pasti benar. Proposisi ini tidak mungkin salah. Menyangkalnya akan menyebabkan kontradiksi. Seorang bujangan yang sudah menikah adalah kontradiksi dalam istilah. Proposisi ini tidak informatif tentang dunia. Proposisi ini hanya memberi tahu Anda tentang bahasa dan konsep. Itulah kritiknya. Proposisi analitik bersifat sepele. Proposisi ini tidak menambah pengetahuan. Proposisi ini hanya menguraikan definisi. Kant setuju bahwa proposisi analitik tidak informatif. Tetapi ia berpendapat bahwa beberapa proposisi bersifat analitik dan informatif. Ia menyebutnya sintetik a priori. Itu adalah kategori yang kontroversial. Sebagian besar filsuf menerima perbedaan analitik-sintetik. Tetapi batasnya masih diperdebatkan. Apakah air H2O analitik atau sintetik? Air ditemukan oleh sains, jadi tampaknya sintetik. Tetapi beberapa orang berpendapat bahwa air hanya berarti H2O. Perdebatan terus berlanjut. Proposisi analitik benar berdasarkan makna. Tetapi apa yang dianggap sebagai makna tidak selalu jelas.