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

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

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

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

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

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

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

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

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

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

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

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

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

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

Импликация двух логических высказываний 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) это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… … Википедия

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

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

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

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

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

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

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

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

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

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

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

Высказывание - грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие В. дескриптивного, или описательного, основной задачей которого является описание действительности. Такое В. является истинным или ложным; иногда допускается, что оно способно принимать некоторые «неопределенные» значения истинности, промежуточные между полной истиной и полной ложью. Логика долгое время тяготела к употреблению термина «В.» лишь применительно к описательным В. Так, логика классическая трактует В. как повествовательное предложение, рассматриваемое вместе с его содержанием в аспекте истинностного значения. Курс современной логики обычно начинается определением В. как предложения, являющегося истинным или ложным. Поскольку оценки, нормы, временные утверждения, меняющие свое значение истинности с течением времени, бессмысленные утверждения и т. п. не имеют истинностного значения, данное определение можно понимать как приложимое только к описательным В. Очевидно, однако, что законы классической логики справедливы не только для описательных В. Следующим важным типом В. является оценочное В., устанавливающее абсолютную или сравнительную ценность какого-то объекта. К оценочным В. относятся собственно оценки, включающие понятия «хорошо», «плохо», «лучше», «хуже» и т. п., а также аналитические В., утверждения о целях, стандарты, конвенции, идеалы и т. п. Частным случаем оценочного В. является нормативное В. Промежуточную группу между описательными и оценочными В. образуют «смешанные», описательно-оценочные В. Они не только описывают и фиксируют сложившуюся языковую практику, но и оценивают ее, предписывают конкретное языковое поведение. Двойственные, описательно-оценочные В. в одних ситуациях играют роль описаний и могут, как таковые, характеризоваться как истинные или ложные, в других - выполняют функцию оценок, лишенных истинностного значения. В качестве еще одной несамостоятельной группы могут быть выделены неопределенные В. типа: «Этот дом голубой», «Здесь растет дерево», «Завтра будет солнечное затмение» и т. п. Такие В. сами по себе не являются ни истинными, ни ложными, они приобретают истинностное значение только в локализованной ситуации, в частности при указании пространственно-временных координат. Многие В., относимые обычно к описательным, являются на самом деле неопределенными. Скажем, В. «Лондон больше Рима» истинно, но истинно именно теперь: было время, когда Рим был больше Лондона, и, возможно, в будущем эта ситуация повторится. Временными В., меняющими свое истинностное значение с течением времени, занимается логика времени. Были попытки построить осо"бую логику пространства, описывающую логические связи пространственно неопределенных В. Существенно, что неопределенными могут быть как описательные, так и оценочные В. Еще одну группу В., изучаемых современной логикой, составляют В., относимые обычно к бессмысленным. Напр.: «Простые числа зеленые». Это правильно построенное предложение. Такими же являются, очевидно, предложения «Истинно, что простые числа зеленые» и «Должно быть так, что простые числа зеленые» («Простые числа должны быть зелеными»). Первое предложение кажется описанием, но не является ни истинным, ни ложным, поскольку цвета не имеют отношения к числам. Второе предложение выражает, как может показаться, оценку, но о нем нельзя сказать, по аналогии с обычными оценочными высказываниями, что даваемая им оценка эффективна или целесообразна. Сходным образом обстоит дело с В. «Нынешний король Франции является лысым», «Пегас имеет крылья» и т. п., говорящими о свойствах несуществующих объектов. К бессмысленным иногда относятся также В. с туманным смыслом, подобные «Существовать - значит быть воспринимаемым». Нельзя сказать, что бессмысленные В. не являются В., хотя они не относятся ни к описательным, ни к оценочным В. и стоят не только «вне истины и лжи», но и «вне целесообразного и нецелесообразного». Бессмысленные В. могут быть тем не менее составными частями наших рассуждений. Исследованием таких В. занимается так называемая «логика бессмысленности» (см.: Бессмысленное). Она устанавливает, в частности, такие законы: отрицание бессмысленного В. есть бессмысленное В.; следствия бессмысленного В. также являются бессмысленными и т. п. Проблема отнесения бессмысленных В. к В. усложняется, однако, тем, что само бессмысленное неоднородно. Оно простирается от относительной бессмыленности, связанной со смешением семантических категорий, до полной бессмысленности, обусловленной нарушением правил синтаксиса. Если выражение «И -желтое число» еще можно причислить к В., то вряд ли это правомерно в случае выражений типа: «Я ходит», «Если идет дождь, то голова», «Хлестаков - человек является человеком» и т. п. Перечень разных видов В., изучаемых логикой, показывает, что область понятия В. является гетерогенной и не имеет четких границ. Описательные В. - только один из многих видов В., не сводимых друг к другу.

Определения, значения слова в других словарях:

Общая психология. Словарь. Под ред. А.В. Петровского

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

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

Предложение, суждение, заявление; замечание, тавтология, произнесение, говорение, контрадикция, логос, выступление, стэйтмент, выкладывание, изречение, словоизлияние, утверждение, изложение, дискурс, фраза, изливание, рассуждение, сутра,… … Словарь синонимов

ВЫСКАЗЫВАНИЕ, высказывания, ср. (книжн.). 1. только ед. Действие по гл. высказывать. Высказывание своего мнения. 2. Высказанное суждение, замечание, мнение. Собрать высказывания классиков марксизма о языке. Толковый словарь Ушакова. Д.Н. Ушаков.… … Толковый словарь Ушакова

Мысль, выраженная повествовательным предложением и могущая быть истинной или ложной; в языкознании единица речевого общения, оформленная по законам данного языка … Большой Энциклопедический словарь

ВЫСКАЗЫВАНИЕ, я, ср. 1. см. высказать, ся. 2. Высказанное суждение. Содержательное в. 3. В грамматике: любая интонационно оформленная синтаксическая единица, содержащая сообщение, фраза. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949… … Толковый словарь Ожегова

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

высказывание - Возможное состояние сущностей, по поводу которого можно утверждать или отрицать, что такое состояние имеет место. [ГОСТ 34.320 96] Тематики базы данных EN proposition … Справочник технического переводчика

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

высказывание - I. ВЫСКАЗЫВАНИЕ ВЫСКАЗЫВАНИЕ, выливание, выражение, изливание, изъявление ВЫСКАЗЫВАТЬ/ВЫСКАЗАТЬ, выливать/вылить, выражать/выразить, изли вать/излить, книжн. изъявлять/изъявить ВЫСКАЗЫВАТЬСЯ, изливаться ВЫСКАЗЫВАТЬСЯ/ВЫСКАЗАТЬСЯ,… … Словарь-тезаурус синонимов русской речи

Книги

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

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

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

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

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

термин современной логики, употребляемый обычно в смысле предложения (определенного языка – естественного или искусственного), рассматриваемого в связи с теми или иными оценками его истинности (истинно, ложно) или модальности (вероятно, возможно, невозможно, необходимо и др.). Примерами В. могут быть: "Математика – наука", "Москва большой город и столица СССР", "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). Б. Бирюков. Москва.