Разделение аналитических и синтетических суждений стало предметом дискуссий среди философов по нескольким причинам:
- Различия в подходах к определению истинности суждений. 12 Аналитические суждения истинны по определению, их истинность следует из логической структуры. 2 Синтетические суждения истинны не по определению, а потому что они соответствуют опыту или реальности. 2
- Спор о синтетической природе математического знания. 3 Кант считал, что существуют априорные синтетические суждения, истинность которых определяется не эмпирическими данными, а априорной структурой сознания. 12 Этот тезис отвергался большинством аналитиков, близких идеям Венского кружка. 3
- Вопрос о возможности синтетических суждений a priori. 3 Кант утверждал, что такие высказывания должны быть необходимо и всеобще истинными, а значит, выходить за рамки опыта, но в истинности этих суждений невозможно убедиться простым анализом понятий. 2
- Вопрос о соотношении традиционной логики и математической логики. 4 Н. О. Лосский, взяв за основу тезис Канта о различении аналитических и синтетических суждений, пришёл к выводу о том, что все суждения, включая суждения логики и математики, а также умозаключения, являются синтетическими. 4 Аналитические суждения, по мнению философа, представляют собой фикции, в действительности они ничего нового не присоединяют к уже существующим знаниям. 4
Кроме того, некоторые философы, например У. ван О. Куайн, задавались вопросом, существует ли вообще чёткое различие между суждениями, которые являются аналитически истинными, и суждениями, которые являются синтетически истинными. 5
Таким образом, дискуссии о разделении аналитических и синтетических суждений связаны с разными подходами к определению истинности суждений, вопросами о природе математического знания и соотношением различных логических систем. 13