<<
>>

ЛОГИКА ВЫСКАЗЫВАНИЙ

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

• Столл Р.Р., Множества. Логика. Аксиоматич. теории, пер. с англ., М., 1968.

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ЛОГИКА ВЫСКАЗЫВАНИЙ: