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

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