Пропозиция в философии и логике: значение и примеры

Пропозиция — понятие логики и философии языка, которое обычно обозначает содержание суждения или утверждения, способное быть истинным либо ложным. В современной аналитической философии пропозиции рассматривают также как то, во что верят, что утверждают, отрицают или ставят под сомнение. Слово происходит от латинского propositio, но значения термина у разных авторов и в разные эпохи не полностью совпадают.

Главное различие: написанное предложение — это языковая форма; акт утверждения — чьё-то действие; пропозиция, в одной из распространённых теорий, — то общее содержание, которое может выражаться разными словами. Такое определение полезно для начала, однако статус самого содержания философы понимают неодинаково: не все согласны, что пропозиции существуют как самостоятельные абстрактные объекты.

Что именно называется пропозицией?

Рассмотрим русское предложение «Снег белый» и английское «Snow is white». В обычном контексте они выражают одно и то же утверждаемое содержание. Если мы переведём одно предложение на другой язык, изменятся звуки, буквы и грамматическая структура, но останется то, что при одинаковых условиях оказывается истинным или ложным. Многие философы называют это общим содержанием пропозицией.

Однако нельзя механически объявить всякую фразу пропозицией. «Закрой дверь!» обычно выражает приказ, а «Ты закрыл дверь?» — вопрос. Оба предложения имеют значение и понятны слушателю, но в своей обычной функции не утверждают то, что напрямую истинно или ложно. Они могут быть связаны с пропозициональным содержанием, но сами речевые акты отличаются от утверждения.

Почему не достаточно слова «предложение»?

Потому что одинаковое содержание можно записать по-разному, а одна языковая конструкция в разных обстоятельствах может выражать неодинаковое содержание. Например, фраза «Сегодня идёт дождь» произнесённая в разные дни и в разных городах, не обязана передавать одну и ту же пропозицию. Чтобы определить условия её истинности, важно установить время и место, к которым она относится. Философы обсуждают, следует ли включать эти параметры в само содержание или учитывать их на ином уровне семантического анализа.

Слово «высказывание» в русских учебниках логики иногда используют для обозначения предложения, имеющего определённое истинностное значение, иногда — для его содержания. Поэтому в переводных философских текстах нужно смотреть, различает ли автор sentence («предложение»), utterance («произнесение» или «высказывание как акт») и proposition («пропозиция»). Полное отождествление этих слов скрывает саму философскую проблему.

Чем пропозиция отличается от факта?

Пропозиция может быть ложной. Например, «В нашей галактике две звезды» — содержание, истинность которого можно оценить, и в таком виде оно ложно. Фактом же обычно называют то, что имеет место в действительности. Если бы пропозицию без оговорок отождествили с фактом, возник бы вопрос: что тогда выражает ложное утверждение? Из-за этой трудности многие теории различают содержание, допускающее истину и ложь, и обстоятельство, которое делает некоторое содержание истинным.

Разумеется, вопрос «что такое факт?» имеет отдельную философскую историю. Здесь достаточно отметить практическую границу: истинное содержание и состояние дел не становятся одним и тем же только потому, что мы употребляем слово «истина».

Как пропозиции участвуют в логическом аргументе?

Пусть P означает «Прибор подключён к сети», а Q — «Индикатор светится». Рассуждение имеет вид:

1. Если P, то Q.
2. P.
3. Следовательно, Q.

Эта форма вывода называется modus ponens и логически корректна: если обе посылки истинны, заключение не может быть ложным. Но сам по себе корректный вывод не гарантирует, что первая посылка верна для реального прибора: индикатор может перегореть. Пример разделяет три уровня — содержание утверждений, логическую форму их связи и фактическую истинность посылок. Пропозициями называют, в частности, те содержания, которым в аргументе можно приписать истинность или ложность.

Существуют ли пропозиции «сами по себе»?

Это уже вопрос метафизики и семантики, а не школьной техники вывода. Готлоб Фреге рассматривал мысли как объективное содержание, отличное от конкретных переживаний отдельных людей. В ранних работах Бертран Рассел обсуждал другую модель, в которой структура пропозиции иначе связана с предметами и отношениями. Современные теории различают структурированные и неструктурированные представления пропозиций, спорят об их абстрактности и условиях тождества. Поэтому учебная формула «пропозиция есть смысл предложения» полезна, но не должна подменять спор о том, что такое смысл.

Есть и более радикальное возражение: может быть, для объяснения языка и мышления нам вообще не нужен особый класс сущностей под названием «пропозиции»? Сторонник этого подхода должен предложить иной способ говорить о том, что два человека считают одним и тем же, или как одно содержание передаётся разными языками. Дискуссия не сводится к спору о словах.

Материалы для проверки

• Stanford Encyclopedia of Philosophy — Propositions: определения, история, аргументы и споры об онтологическом статусе.
• Stanford Encyclopedia of Philosophy — Epistemology: связь пропозиционального содержания с убеждениями и знанием.