Аналитические и синтетические суждения
Аналити́ческие и синтети́ческие сужде́ния, разделение суждений (утверждений, предложений) в зависимости от способа установления их истинности. Аналитическими называются суждения, истинность которых устанавливается путём логико-семантического анализа терминов; синтетическими называются такие, истинность которых обосновывается посредством обращения к внешней информации, к знаниям о внелогической действительности. Явную формулировку этого разделения и сами термины дал И. Кант по отношению к суждениям с субъектно-предикатной структурой.