Предложение - это термин в философии и логике. Это утверждение, которое имеет истинное значение, то есть может быть доказано, что оно истинно или ложно. Для того чтобы предложение было обоснованным, необходимо доказать, что оно истинно или ложно. Многие преподаватели и учащиеся, изучающие логику, используют термин "высказывание" и "предложение" в одном и том же значении.
Одно и то же предложение можно выразить разными способами. Предложение касается только действительного значения, а не способа его выражения. Предложения могут выглядеть по-разному, но означать одно и то же. Когда два разных предложения означают одно и то же, говорят, что они синонимы, то есть каждое утверждение имеет один и тот же смысл.
Например, "Снег белый" (на английском языке) и "Schnee ist weiß" (на немецком языке) - это разные предложения, потому что они написаны на разных языках. Однако они означают одно и то же: снег белый. Независимо от того, на каком языке написано это высказывание, оно будет означать одно и то же. В результате, эти высказывания являются синонимами.
В аристотелевской логике предложение - это особый вид предложения, который подтверждает или отрицает действие или предикат, совершенный через субъекта. Аристотелевские предложения принимают такие формы, как "Все люди смертны" и "Сократ - человек". В каждом предложении субъект (мужчины, Сократ) имеет статус (смертен, человек), который может быть доказан как истинный, так и ложный.
В логическом позитивизме предложение, истинное значение которого невозможно определить, бессмысленно. Например, утверждения о существовании божеств не могут быть доказаны при логическом позитивизме. Поскольку утверждения не имеют значения истины, логический позитивист будет считать, что утверждения о божествах (такие как "Бог существует" или "Бога не существует") не имеют логического значения.