Высказывание о что такое. Основные операции над логическими высказываниями

Виды высказываний

Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания.

Составное логическое высказывание - это высказывание, образованное из других высказываний с помощью логических связок.

Логическая связка - это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если… , то», «тогда и только тогда» являются логическими связками.

Элементарные логические высказывания - это высказывания не относящиеся к составным.

Примеры: «Петров - врач», «Петров - шахматист» - элементарные логические высказывания. «Петров - врач и шахматист» - составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».

Связь с математической логикой

Обычная логика двухзначна, то есть приписывает высказываниям только два возможных значения: истинно оно или ложно .

Пусть - высказывание. Если оно истинно, то пишут , если ложно, то .

Основные операции над логическими высказываниями

Отрицание логического высказывания - логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.

Конъюнкция двух логических высказываний - логическое высказывание, истинное только тогда, когда они одновременно истинны.

Дизъюнкция двух логических высказываний - логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.

Импликация двух логических высказываний A и B - логическое высказывание, ложное только тогда, когда B ложно, а A истинно.

Равносильность (эквивалентность) двух логических высказываний - логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.

Кванторное всеобщности () - логическое высказывание, истинное только тогда, когда для каждого объекта x из заданной совокупности высказывание A(x) истинно.

Кванторное логическое высказывание с квантором существования () - логическое высказывание, истинное только тогда, когда в заданной совокупности существует объект x, такой, что высказывание A(x) истинно.

См. также

• Утверждение

Примечания

Литература

• Карпенко, А. С. Современные исследования в философской логике // Логические исследования. Вып. 10. - М.: Наука, 2003. ISBN 5-02-006257-X - С. 61-93.
• Крипке, С. А. Витгенштейн о правилах и индивидуальном языке / Пер. В. А. Ладова, В. А. Суровцева. Под общ. ред. В. А. Суровцева. - Томск: Изд-во Том. ун-та, 2005. - 152 с. - (Библиотека аналитической философии). ISBN 5-7511-1906-1
• Курбатов, В. И. Логика. Систематический курс. - Ростов н/Д: Феникс, 2001. - 512 c. ISBN 5-222-01850-4
• Шуман, А. Н. Современная логика: теория и практика. - Минск: Экономпресс, 2004. - 416 с. ISBN 985-6479-35-5
• Макарова, Н. В. Информатика и ИКТ. - Санкт-Петербург: Питер Пресс, 2007 ISBN 978-5-91180-198-4 - С. 343-345.
• Кондаков Н. И. Логический словарь / Горский Д. П.. - М .: Наука, 1971. - 656 с.

Wikimedia Foundation . 2010 .

Смотреть что такое "Высказывание (логика)" в других словарях:

Высказывание: Высказывание (логика) предложение, которое может быть истинно или ложно. Высказывание (лингвистика) предложение в конкретной речевой ситуации. См. также Суждение … Википедия

- (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия

Раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия

логика высказываний - ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки

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

Логика Бэрроуза Абади Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic) это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… … Википедия

Центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия

Или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал … Философская энциклопедия

Высказывание – повествовательное предложение, о котором можно сказать истинно оно или ложно. В алгебре простым высказываниям ставятся в соответствии логические переменные (А, В, С и т.д.)

Логическая переменная – это простое высказывание.
Логические переменные обозначаются прописными и строчными латинскими буквами (a-z, A-Z) и могут принимать всего два значения – 1, если высказывание истинно, или 0, если высказывание ложно.

Пример высказываний:

Логическая функция – это сложное высказывание, которое получается в результате проведения логических операций над простыми высказываниями.

Для образования сложных высказываний наиболее часто используются базовые логические операции , выражаемые с помощью логических связок «и», «или», «не».
Например,

Многие люди не любят сырую погоду .

Пусть А = «Многие люди любят сырую погоду». Получаем логическую функцию F(A) = не А.

Связки “НЕ”, “И”, “ИЛИ” заменяются логическими операциями инверсия , конъюнкция , дизъюнкция . Это основные логические операции , при помощи которых можно записать любое логическое выражение.

Логическая формула (логическое выражение) – формула, содержащая лишь логические величины и знаки логических операций. Результатом вычисления логической формулы является ИСТИНА (1) или ЛОЖЬ (0).

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

Основные (базовые) логические операции:

1. Логическое умножение (конъюнкция) , от лат. konjunctio – связываю:
Объединение двух (или нескольких) высказываний в одно с помощью союза И;
в языках программирования – And.
Принятые обозначения: /\ , , и, and.
В алгебре множеств конъюнкции соответствует операция пересечения множеств.

Конъюнкция истинна тогда и только тогда, все, входящие в нее высказывания истинны.

Пример:
Рассмотрим составное высказывание «2 2 = 4 и 3 3 = 10». Выделим простые высказывания:

В = «3 3 = 10» = 0 (т.к. это ложное высказывание)
Поэтому, логическая функция F(A, B) = A /\ B = 1 /\ 0 = 0 (в соответствии с таблицей истинности), то есть данное составное высказывание ложное.

2. Логическое сложение (дизъюнкция) , от лат. disjunctio – различаю:
Объединение двух (или нескольких) высказываний в одно с помощью союза ИЛИ;
в языках программирования – Or.
Обозначение: \/, +, или, or.
В алгебре множеств дизъюнкции соответствует операция объединения множеств.

Дизъюнкция ложна тогда и только тогда, все, входящие в нее высказывания ложны.

Пример:
Рассмотрим составное высказывание «2 2 = 4 или 2 2 = 5». Выделим простые выска-зывания:
А = «2 2 = 4» = 1 (т.к. это истинное высказывание)
В = «2 2 = 5» = 0 (т.к. это ложное высказывание)
Поэтому, логическая функция F(A, B) = A \/ B = 1 \/ 0 = 1 (в соответствии с таблицей истинности), то есть данное составное высказывание истинно.

3. Отрицание (инверсия) , от лат. InVersion – переворачиваю:

Соответствует частице НЕ, словосочетаниям НЕВЕРНО, ЧТО или НЕ ЯВЛЯЕТСЯ ИСТИНОЙ, ЧТО;
в языках программирования – Not;
Обозначение: не А, ¬А, not
В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества.

Инверси я логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.

Пример:

А = {два умножить на два равно четырем} = 1.

¬A= {Неверно, что два умножить на два равно четырем}= 0.

Рассмотрим высказывание А: “Луна - спутник Земли “; тогда ¬А будет формулироваться так: “Луна - не спутник Земли “.

Рассмотрим высказывание: «Неверно, что 4 делится на 3». Обозначим через А простое высказывание «4 делится на 3». Тогда логическая форма отрицания этого высказывания имеет вид ¬А

Приоритет логических операций:

Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке :
1. инверсия;
2. конъюнкция;
3. дизъюнкция;
Для изменения указанного порядка выполнения логических операций используются круглые скобки.

Составные логические выражения алгебры высказываний называют формулами.
Истинно или ложно значение формулы можно определить законами алгебры логики, не обращаясь к смыслу:
F = (0 \/ 1) /\ (¬0 \/ ¬1) = (0 \/ 1) /\ (1 \/ 0) =1 /\ 1=1 – истина
F = (¬0 /\ ¬1) \/ (¬1 \/ ¬1) = (1 /\ 0) \/ (0 \/ 0) = 0 \/ 0 = 0 – ложь

), которое выражает некоторый смысл и является либо истинным , либо ложным , но не тем и другим сразу. Как правило, высказывания носят дескриптивный, или описательный характер, и их основной задачей является описание определённой действительности. Тем самым высказывание оказывается либо истинным либо ложным; иногда допускается, что оно способно принимать некоторые «неопределённые» значения истинности, промежуточные между полной истиной и полной ложью. Понимаемое таким образом высказывание противопоставляется обычно повелительным, вопросительным, бессмысленным и вообще любым другим предложениям (например, оценки, нормы, временные утверждения, меняющие своё значение истинности с течением времени), оценка истинности или ложности которых невозможна. Наряду с оценкой истинности, высказывание также рассматривается в связи с теми или иными модальностями («вероятно», «возможно», «невозможно», «необходимо» и другими). В современной логике высказывания формализуются и применяются, главным образом, при применении логических исчислений в какой-либо конкретной области объектов.

По определению, любое высказывание имеет грамматические и логические аспекты. Грамматический аспект высказывания выражается повествовательным предложением (простым или сложным), а логический - его смыслом и истинностным значением. Высказывание, включающее в себя другие высказывания, называется сложным (составным); не включающее в себя таковых - простым (неделимым). Всякое высказывание выражает некоторую мысль , являющуюся его содержанием и называемой смыслом высказывания . Та или иная истинностная оценка высказывания называется его истинностным значением . Объект, к которому относится высказывание, называется предметом высказывания .

В связи с языковой практикой выделяют способы употребления высказываний. Подразумевается, что высказывание употребляется утвердительно, если целью его употребления является выражение истинной мысли. Утвердительное употребление высказывания - это их наиболее частое употребление, так как выражая свои мысли, люди обычно претендуют на их истинность. Но высказывание может употребляться просто как синтаксическое выражение. В том случае, когда истинность содержания высказывания однозначно не утверждается, подразумевается неутвердительное употребление высказывания. Одним из способов неутвердительного употребления высказываний является их косвенное употребление. Оно имеет целью не утверждение истинности мысли, а лишь передачу её содержания. От различных видов употребления высказываний следует отличать их цитирование, которое имеет целью сообщить точный текст высказывания (и только через посредство этого сообщения выразить содержащуюся в нём мысль). Поэтому цитируемые высказывания (которые обычно входят в состав других высказываний) выделяются с помощью тех или иных знаковых средств (например с помощью кавычек). Косвенное употребление высказываний практически не встречается в наиболее употребительных логических исчислениях, так как его допущение приводит к значительным трудностям в формализации.

В естественных языках оценка высказываний с точки зрения истинности часто зависит от того, кто, когда и в каком контексте применил то или иное высказывание. Выражением этой зависимости являются включаемые в высказывания слова-индикаторы: «я», «ты», «теперь», «там» и так далее; значение этих слов бывает различным в зависимости от ситуации. При построении искусственных языков - интерпретированных исчислений математической логики или языков-посредников при переводе с одного естественного языка на другой (см. ) - отвлекаются от зависимости оценки высказывания от указанных обстоятельств, то есть исключают из рассмотрения прагматику языка (см. ), что позволяет сделать понятие «высказывание» более точным.

При построении наиболее элементарного логического исчисления - двузначного исчисления высказываний - исходят только из расчленения высказываний на составляющие высказывания. Те высказывания, которые не подвергаются дальнейшему членению на составляющие, называются элементарными. Из них с помощью логических союзов (обычно для этого выбирается пять общеизвестных грамматических связок: «не», «и», «или», «если…, то» и «если…, и только если») составляются сложные высказывания. При построении исчисления предикатов исходят из более глубокого расчленения высказываний на отдельные термины (и другие языковые образования). В основе анализа высказываний (в том числе элементарных) математической логики находится понятие предиката, или логической функции, то есть функции, которая каждому предмету рассматриваемой области предметов относит либо истину, либо ложь. Логические функции - это то, что в логическом исчислении обычно соответствует понятиям содержательного человеческого мышления. Например, логическая функция, которая каждому из чисел 1 и 2 относит истину, а каждому из чисел 3, 4, 5, … и так далее - ложь, соответствует понятию «быть меньше 3» (область предметов - целые положительные числа).

Выражения, представляющие в языке логические функции, сами по себе не истинны и не ложны, то есть не являются высказываниями. Такие выражения содержат переменные и превращаются в высказывания при подстановке вместо них имён предметов из данной области (см. ). Таково, например, выражение «x x верно, что x x, которое меньше 3», первое из них ложно, а второе истинно.

В логических исчислениях с высказываниями имеют дело главным образом при применении исчислений к конкретным областям науки. В формулах же самих исчислений фигурируют в основном так называемые переменные высказывания. Переменное высказывание не есть высказывание в подлинном смысле, так как вопрос об его истинности или ложности не имеет смысла; это - переменная для высказывания, то есть символ, на место которого можно подставлять конкретные высказывания (или их имена). Чтобы подчеркнуть отличие переменных высказываний от настоящих высказываний, последние часто называют постоянными высказываниями. Применение переменных высказываний служит для выражения всеобщности: оно позволяет формулировать законы исчисления для любых высказываний данного вида. В некоторых исчислениях вводятся также постоянные высказывания. При аксиоматическом построении логических исчислений (см. ) до тех пор, пока не дана интерпретация исчисления, понятия постоянного и переменного высказывания не имеют того содержания, которое указано выше, а рассматриваются просто как символы, вводимые специальными определениями. Однако эти определения подбираются так, чтобы при интерпретации исчисления формально определённые понятия совпали с содержательными понятиями о постоянном и переменном высказывании.

Ни одно исчисление не в состоянии отобразить все логические свойства разнообразных видов выражений, применяемых в естественных языках. Всякое логическое исчисление исходит из некоторых идеализированных представлений о формализуемом содержании. От высказывания, например, требуется, чтобы оно было либо истинным, либо ложным и притом обязательно одно из двух. Но существуют предложения, не удовлетворяющие непосредственно этому требованию. Они нуждаются в уточнении. Это прежде всего относится к выражениям, по форме являющимся грамматически правильными предложениями, но не имеющим смысла. Обычно в таких случаях бывает возможно так уточнить смысл терминов, чтобы рассматриваемое выражение стало истинным или ложным. В логических исчислениях и дедуктивных теориях понятие осмысленного выражения определяется обычно независимо от понятия истинного (или ложного) выражения, и истинностные значения, истина и ложь, относятся лишь к осмысленным выражениям, которые в таких случаях и называют высказываниями.

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

производная форма осуществления толкования, “сообщающе определяющее показывание”. Будучи производным, высказывание модифицирует толкование. Подручное средство становится предметом высказывания, “с-чем” имения дела становится “о-чем” высказывания, в подручности открывается наличность, которая заслоняет подручность. Если в толковании структура отсыланий охватывает всю мировую целостность, то в высказывании оно ограничено тем наличным, что непосредственно дается увидеть.

Отличное определение

Неполное определение ↓

ВЫСКАЗЫВАНИЕ

термин современной логики, употребляемый обычно в смысле предложения (определенного языка – естественного или искусственного), рассматриваемого в связи с теми или иными оценками его истинности (истинно, ложно) или модальности (вероятно, возможно, невозможно, необходимо и др.). Примерами В. могут быть: "Математика – наука", "Москва большой город и столица СССР", "5 > 3". Одно В. может быть частью другого; В., включающие в себя др. В., наз. сложными. Всякое В. выражает нек-рую мысль, к-рая является его содержанием и называется смыслом В., а его истинность или ложность – истинностным значением [или значением истинности, см. Истинность, Значение (в математической логике и семантике)]. При таком понимании понятие "В." относится к логической семантике. Предложение как синтаксическое образование, рассматриваемое только по форме, независимо от смысла и оценок истинности или модальности, наз. часто грамматическим предложением. В., принадлежащие различным языкам и даже одному и тому же языку, могут выражать одну и ту же мысль. Если предложения, имеющие одинаковый смысл, но различающиеся как синтаксические образования, рассматриваются как одно и то же В., то их часто называют суждениями. Следует, однако, иметь в виду, что слова "В.", "предложение", "суждение" употребляются иногда просто как синонимы или за ними закрепляются значения, отличные от приведенных выше. С различением понятий "В.", "предложения" и "суждения" (подобного проведенному выше) в современной логической и философской литературе связан ряд дискуссий, особенно между представителями современного номинализма и их противниками. Различают утвердительное и неутвердительное употребление В. Высказывание употреблено утвердительно, если целью его употребления является выражение истинной мысли. Выражая свои мысли, люди обычно претендуют на их истинность. Но В. может употребляться просто как синтаксич. выражение. Так бывает, напр., во время диктанта; диктуемые В. не теряют своего осмысл. характера, но диктующий вовсе не утверждает (а пишущие не воспринимают) их как истинные. Такое употребление В. является неутвердительным. При построении логич. исчисления бывает целесообразно отличить В. как предложение, к-рое может быть истинным или ложным, от утверждения истинности В. На это впервые обратил внимание Фреге, к-рый предложил ставить перед утверждаемым В. знак |–. Если U есть к.-л. В., то |– U означает утверждение его истинности. Одним из способов употребления В. является их к о с в е н н о е употребление. Оно имеет целью не утверждение истины, а лишь передачу мысли, содержащейся в В. Именно так, напр., употребляется В. "орбиты планет имеют форму окружности" в составе сложного В.: "Кеплер считал, что орбиты планет имеют форму окружности". Утверждая это сложное В., мы вовсе не хотим сказать, будто истинно, что орбиты планет имеют указанную форму, а лишь сообщаем, какую мысль высказал Кеплер; сама же эта мысль может быть как истинной, так и ложной (последнее на самом деле и имеет место). От различных видов употребления В. следует отличать их у п о м и н а н и е (цитирование). Упоминание В. имеет целью сообщить его точный текст (и только через посредство этого сообщения выразить содержащуюся в нем мысль). Поэтому упоминаемые В. (к-рые обычно входят в состав других В.) выделяются с помощью тех или иных средств, напр. с помощью кавычек. Косвенное употребление В. не встречается в наиболее употребительных логич. исчислениях, т.к. его допущение приводит к значит. трудностям (см. Экстенциональные и неэкстенциональные языки). В математич. логике упоминание В., как правило, производится с помощью спец. знаков, обозначающих В. (обычно буквы к.-л. алфавита, см. Знаки). Косвенное употребление языковых выражений первым подверг изучению Фреге; он же разъяснил логич. роль кавычек и знаков для В. В естеств. языках оценка В. с т. зр. истинности часто зависит от того, кто, когда и где применил это В. Выражением этой зависимости являются включаемые в В. слова-индикаторы: "я", "ты", "теперь", "там" и т.д.; значение этих слов бывает различным в зависимости от ситуации. При построении искусств. языков – интерпретированных исчислений матем. логики или языков-посредников при переводе с одного естественного языка на другой (см. Формализованные языки, Лингвистика математическая) – отвлекаются от зависимости оценки В. от указанных обстоятельств, т.е. исключают из рассмотрения прагматику языка (см. также Семиотика), что позволяет сделать более точным понятие "В.". При построении наиболее элементарного логического исчисления – двузначного исчисления высказываний (см. Исчисления высказываний) – исходят только из расчленения В. на составляющие В. Те В., к-рые не подвергаются дальнейшему членению на составляющие В., наз. элементарными. Из них с помощью логич. союзов ("и", "или", "если... то" и др.) составляются сложные В. При построении исчисления предикатов (см. Исчисления предикатов) исходят из более глубокого расчленения В. на отдельные термины (и др. языковые образования). В основу анализа В. (в т. ч. элементарных) математич. логика кладет понятие предиката, или логич. функции, т.е. функции, к-рая каждому предмету рассматриваемой области предметов относит либо истину, либо ложь. Логич. функции – это то, что в логич. исчислении обычно соответствует понятиям содержательного человеческого мышления (см. Понятие). Напр., логич. функция, к-рая каждому из чисел 1 и 2 относит истину, а каждому из чисел 3, 4, 5, ... – ложь, соответствует понятию "быть меньше 3" (область предметов – целые положит. числа). Выражения, представляющие в языке логич. функции, сами по себе не истинны и не ложны, т.е. не являются В. Такие выражения содержат переменные (см. Переменная) и превращаются в В. при подстановке вместо них имен предметов из данной области (см. Имя). Таково, напр., выражение "х Лит.: Жегалкин И. И., О технике вычислений предложений в символической логике, "Матем. сб.", 1927, т. 34, вып. 1, с. 9–26; его же, Арифметизация символической логики, там же 1928, т. 35, вып. 3–4, с. 311–69; Гильберт Д. и Аккерман В., Основы теоретической логики, пер. с нем., ред., вступ. ст. и комментарии С. А. Яновской, М., 1947; Тapский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948, с. 31–106; Новиков П. С., Элементы математической логики, М., 1959, гл. 1–2; Frege G., Funktion und Begriff, Jena, 1891; его же, ?ber Sinn und Bedeutung, "Z. Philos, und philosophische Kritik", Lpz., 1892, Bd 100, H. l, S. 25–50; его же, Grundgesetze der Arithmetik, begriffschriftlich abgeleitet, Bd l, Jena, 1893, S. 5–10; Stegm?ller W., Das Wahrheitsproblem und die Idee der Semantik, W., 1957; Сhurсh A., Introduction to mathematical logic, v. 1, Princeton, 1956 (см. Introduction). Б. Бирюков. Москва.