Возможны ли априорные синтетические суждения?

Да, априорные синтетические суждения возможны, об этом утверждал немецкий философ Иммануил Кант в своей работе «Критика чистого разума». 25

По мнению Канта, к априорным синтетическим суждениям относятся, в частности:

• Математические суждения. 14 Они опираются на чистые формы чувственности и расширяют наше знание. 3
• Суждения теоретического естествознания. 1 Они опираются на априорные структуры возможного опыта. 1

Для определения истинности априорных синтетических суждений служат не эмпирические данные, а априорная структура сознания. 1

Также существование априорных синтетических истин считается оправданным в современной математике, в частности в теории типов Мартина-Лёфа. 4