Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте[1]. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру[2]. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового знания.
Впервые деление суждений на аналитические и синтетические предложил немецкий философ Иммануил Кант в своей работе «Критика чистого разума». Кант утверждал, что все аналитические суждения априорны[3]. Кант полагал, что аналитические суждения, хотя и не несут нового знания, помогают чётче осознать уже имеющиеся знания[4].
Разделение суждений на аналитические и синтетические взволновало европейскую философию, однако, последователи Канта не придавали ей особого значения, считая это разделение условным. В XX веке под влиянием работ Венского кружка широко обсуждалась проблема синтетичности математических высказываний. В отличие от Канта, члены кружка и их последователи (логические позитивисты и близкие к ним) считали предложения математики аналитическими и тавтологичными[3].