(греч. synthesis — соединение, сочетание и analysis — разложение, расчленение) — понятия, выражающие различные способы установления истинности предложений (высказываний). Все предложения нек-рой логически упорядоченной системы знания, зафиксированной в обычном языке или специальном языке науки, можно разделить на два типа: аналитические — те, истинность к-рых может быть установлена на основе только правил данной системы, без обращения к внеязыковым фактам, и синтетические — те, истинность к-рых не может быть выявлена на основе лишь этих правил и требует обращения к эмпирическим данным. В истории философии проблема С. и а. тесно связана с различением эмпирического и теоретического уровней знания. У Лейбница это различение находит выражение в делении всех истин на необходимые (теоретическое знание) и случайные (фактическое знание). Кант считал, что аналитические суждения не зависят от опыта, и определял их, в отличие от синтетических, как такие, предикат к-рых содержится в субъекте и тождествен ему. Строгое разграничение С. и а. имеет смысл лишь для данного формализованного языка. Среди его выражений различают логические истины (аналитические предложения) и фактические истины (синтетические предложения). Логические истины не сообщают никакой непосредственной информации о внеязыковой реальности и составляют содержание формальной логики. Фактические истины базируются на опыте и выражают содержание (в т. ч. законы) конкретных наук. В противоположность неопозитивизму, трактующему аналитические предложения как языковые конвенции (Конвенционализм), диалектический материализм исходит из того, что все утверждения любой науки в конечном счете детерминированы объективной реальностью. Деление предложений на синтетические и аналитические обусловлено их ролью в системе знания.