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