II, PWN, Warszawa 1965, s. 9–11, 90..
Tezy języka Twierdzenie analityczne jest tezą języka jeśli ustalenie jego prawdziwości wymaga odwołania się (poza prawami logiki) także do definicji. Przykładem tezy języka jest twierdzenie „kawaler to nieżonaty mężczyzna”; ustalenie prawdziwości tego twierdzenia wymaga też znajomości znaczenia (czyli definicji) pojęcia „kawaler”K. Ajdukiewicz, Język i poznanie, t. II, PWN, Warszawa 1965, s. 308–310..
Twierdzenia syntetyczne (empiryczne) Twierdzenia syntetyczne (empiryczne) są formułowane w naukach empirycznych, to znaczy naukach opartych na doświadczeniu zmysłowym, w skład którego wchodzą obserwacja, pomiar oraz eksperyment. Ich prawdziwość lub fałszywość zależy od ich stosunku do pewnej zewnętrznej względem nich rzeczywistości, do której docieramy właśnie przez doświadczenie. Analiza podmiotu twierdzenia tego rodzaju nie wystarcza do ustalenia jego prawdziwości. Przykładami twierdzeń syntetycznych są twierdzenia „wszystkie ciała przyciągają się wzajemnie”, „wszystkie kruki są czarne”.