Analitik bir önerme, anlamı gereği doğrudur. Yüklem özne içinde yer alır. Tüm bekarlar evli değildir. Bekar kavramı zaten evli olmamayı içerir. Kelimeyi kontrol etmenize gerek yok. Gerçek kelimelerin içindedir. Önerme analitiktir.

Bu terim Immanuel Kant'tan gelir. Kant, analitik ve sentetik önermeleri birbirinden ayırmıştır. Analitik önermeler tanım gereği doğrudur. Sentetik önermeler ise olgu gereği doğrudur. "Bütün bekarlar evlenmemiş" önermesi analitiktir. "Bütün bekarlar mutsuzdur" önermesi ise sentetiktir. Birincisi anlam gereği doğrudur. İkincisi ise kanıt gerektirir.

Analitik önerme örnekleri

• Bütün üçgenlerin üç kenarı vardır.
• Bekar, evlenmemiş erkektir.
• Kırmızı bir renktir.
• Yağmur yağıyorsa, yağmur yağıyordur.
• Hiçbir bekar evli değildir.

Analitik önermeler zorunlu olarak doğrudur. Yanlış olamazlar. Onları reddetmek çelişkiye yol açar. Evli bir bekar, terimsel bir çelişkidir. Önerme dünya hakkında bilgilendirici değildir. Size dil ve kavramlar hakkında bilgi verir. Eleştiri budur. Analitik önermeler önemsizdir. Bilgiye katkıda bulunmazlar. Sadece tanımları açığa çıkarırlar. Kant, analitik önermelerin bilgilendirici olmadığını kabul etti. Ancak bazı önermelerin hem analitik hem de bilgilendirici olduğunu savundu. Bunlara sentetik a priori adını verdi. Bu tartışmalı bir kategoridir. Çoğu filozof analitik-sentetik ayrımını kabul eder. Ancak sınır tartışmalıdır. Su (H2O) analitik mi yoksa sentetik mi? Bilim tarafından keşfedildi, bu yüzden sentetik gibi görünüyor. Ancak bazıları suyun sadece H2O anlamına geldiğini savunuyor. Tartışma devam ediyor. Analitik önermeler anlam bakımından doğrudur. Ancak anlam olarak neyin sayıldığı her zaman açık değildir.