Філософи називають такі твердження аналітичними. Синтетичні твердження мають суб'єкт та предикат. Наприклад, «Брат мого батька чорноволосий». Кант стверджував, що всі математичні й наукові твердження апріорі аналітичні, тому, що вони з необхідністю істинні, але знання про властивості математичних чи фізичних об'єктів можна отримати лише через логічні міркування.