Статья: АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ И МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кант различил два вида суждений — аналитические и синтетические.
В аналитическом суждении отношение предиката к субъекту есть полное или
частичное тожество. Такое суждение есть тавтология; оно может быть выражено формулою «SP есть P». Такое суждение необходимо признать истиною,
потому что закон тожества требует этого, и потому что отрицание его, т.е. «SP
не есть P» содержит внутреннее противоречие.