В логике понятие пропозиции прошло следующие этапы развития. Сначала, в классической логике, оно соответствовало понятию суждения, как определенной формы мысли, утверждающей или отрицающей нечто о предметах действительности и обладающей свойством выражать либо истину, либо ложь. Примеры суждений: Человек смертен. Змеи не имеют ног. Затем понятие пропозиции было определено как «объективированное» содержание мысли, которое было отделено от коммуникативной цели утверждения или отрицания, при этом пропозиция уже характеризовалась не как выражение истинное или ложное, а как способное выражать истиностное значение, соединяясь с коммуникативной целью утверждения. Так, пропозиция «Змеи имеют ноги», соединяясь с модусом утверждения, образует суждение Змеи имеют ноги, которое в действительном мире имеет значение «ложь». И наконец, был сделан вывод о том, что «объективированное» содержание мысли, т.е. пропозиция, имеется не только в утверждении или отрицании, но и во всех других коммуникативных типах предложений. Любое предложение, кроме таких восклицаний, как Ай! или Чёрт!, имеет пропозициональное содержание. Здесь необходимо сделать одно уточнение. То, что мы назвали пропозициональным содержанием предложения, это не пропозиция в строгом смысле этого слова, а пропозициональная форма, или пропозициональная функция. В логике пропозициональной функцией называется выражение) которое содержит одну или более переменных и превращается в пропозицию, когда определенные сущности