У этого термина существуют и другие значения, см. Высказывание.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний[1].
Высказывание должно быть повествовательным предложением, и противопоставляется повелительным, вопросительным и любым другим предложениям, оценка истинности или ложности которых невозможна[2].
Одно и то же суждение может быть выражено в разных языках и в разных знаковых формах в пределах одного языка. Когда суждение рассматривается в связи с какой-то конкретной формой его языкового выражения, оно называется высказыванием. Термин «суждение» употребляют, когда отвлекаются от того, какова именно его знаковая форма[3].
В современной математической логике ещё не установилось однозначное определение понятия “высказывание”, что позволяют некоторые логики иногда заменяя его термином “суждение”[что?]. Здесь высказывание нельзя отождествлять с суждением, которое, также обладает свойством выражать либо истину, либо ложь. Однако, в отличие от высказывания, которое в первом разделе математической логики – исчислении высказываний, рассматривается как нерасчленённое целое, суждение является абсолютным единством субъекта и объекта, которые связаны между собой по смыслу. Помимо истинностного значения суждение несёт в себе некоторое содержание, которое может быть выражено в утверждении или отрицании чего-либо относительно предметов и явлений, их свойств, связей и отношений. Различаются высказывания и суждения также символической записью их формул. Простое высказывание всегда обозначается простым знаком А или В и др. Простое категорическое суждение имеет выражение вида: «S есть (не есть) P».
Различаются и формулы сложных высказываний и сложных суждений. Так импликативное высказывание, в котором два простых высказывания, связанные союзом, «если…, то…», выражаются в логике высказываний формулой «А B» и читается как «А влечёт (имплицирует) В», соответствующее же этому высказыванию условное суждение, в котором отображается объективная зависимость того или иного явления от каких – либо условий будет выражаться такой формулой: «Если S есть P, то S1 есть P1» (например, «Если сахар бросить в воду, то он растворится»).
Логические высказывания принято подразделять на составные (или сложные) и элементарные. Составные логические высказывания — высказывания, содержащие логические постоянные. Составные высказывания строятся на основе других высказываний. Логическое значение сложного высказывания определяется логическим значением входящих в его состав высказываний и теми логическими постоянными, с помощью которых оно построено[1].
Элементарные логические высказывания — это высказывания, не относящиеся к составным. Примером элементарного высказывания может служить . Примером составного логического высказывания может служить если , то — чётное число.[1]
Логическая постоянная (логическая константа[4], логическая операция[2]) — название термина, сохраняющего одно и то же значение во всех высказываниях и не зависящего от конкретного содержания высказывания. Логические постоянные используются для соединения простых высказываний в сложные[5]. Логические постоянные делятся на кванторы и логические союзы (связки). Слова: не; неверно, что; и; или; если…, то; тогда и только тогда, когда; либо…, либо; несовместно; ни…, ни; не…, но; но и их ближайшие синонимы являются логическими связками, слова для всех…имеет место, что; для некоторых…имеет место, что и их ближайшие синонимы являются кванторами. Логические постоянные служат как для выражения мыслей в повседневных рассуждениях, так и в научных доказательствах[1].
Логические союзы являются частью языка логики высказываний, кванторы были дополнительно введены в язык логики предикатов, который является расширением языка логики высказываний[6].
Логическое подлежащее — то, о чём говорится в предложении (высказывании)[7], то, к чему относятся содержащиеся в предложениях утверждения или отрицания[8]. Логическое сказуемое — содержащаяся в предложении (высказывании) информация о логическом подлежащем[9].
Роль логических подлежащих играют простые и сложные имена, роль логических сказуемых — предикаторы (или предикаты[10]). К последним относятся свойства и отношения[8]. Предикаторы выполняют роль предметно-истинностного отображения, давая предметам определённого класса оценку «истина» или «ложь». При этом свойства являются одноместными предикаторами, характеризуя один отдельный предмет, а отношения — многоместными, характеризуя пару, тройку и т. д. предметов[10][11]. Само высказывание в случае с многоместным предикатором содержит несколько логических подлежащих[12].
В логике предикатов высказывательной формой (формой высказывания, предикатом[8]) называется неполное логическое высказывание, в котором один из объектов заменён предметной переменной. При подстановке вместо такой переменной какого-либо значения высказывательная форма превращается в высказывание[1]. В качестве предметных переменных в естественном языке выступают общие имена, представляющие классы предметов и заменяемые в формализованных языках специальными символами. Форма сходна с высказыванием, однако она не истинна и не ложна (неопределенно-истинна), поскольку неизвестно, к чему относится утверждение или отрицание[8].
Форма высказывания требует дополнения, относится ли утверждение или отрицание в суждении ко всем или не ко всем предметам того класса, который представляет данное общее имя. Функцию таких указателей выполняют явно выраженные или подразумеваемые кванторы. Нельзя оценивать как истинное или ложное такую высказывательную форму, как Человек — справедлив. Приведённая фраза аналогична выражению y — справедлив. Из указанной формы можно получить высказывание, заменив общее имя единичным: Иванов — справедлив, или введя кванторы: Некоторые люди справедливы. Высказывания, использующие кванторы, выражают множественные — общие и частные — суждения[8].
Кондаков Н.И. Логический словарь. — 2-е изд. — М.: Наука, 1975. — 721 с.
Чупахин И.Я.,Бродский И.Н. Формальная логика. — Ленинград: Издательство Ленинградского университета, 1977. — 357 с.
Войшвилло Е. К., Дегтярев М. Г. Логика. — М.: ВЛАДОС-ПРЕСС, 2001. — 528 с. — ISBN 5-305-00001-7.
Карпенко, А.С. Современные исследования в философской логике // Логические исследования. — М.: Наука, 2003. — Вып. 10. — С. 61—93. — ISBN 5-02-006257-X.
Новая философская энциклопедия. — М., 2010. — Т. 2.