text: Логика различает суждения синтетические — такие, в которых сказуемое называет признак, не заключённый в подлежащем (эта гора высока) и аналитические — такие, в которых сказуемое лишь выявляет признак, уже имеющийся в подлежащем (люди смертны).