логическое следствие

Логическое следствие - одно из осн. понятий логики, выражающее отношение (отношение логического следования) между высказываниями, зависящее от их логического содержания. Согласно принятому определению, высказывание В есть Л. с. высказывания А (или множества высказываний Г), если, и только если, при любых значениях переменных в их логических формах В', А' (Г') (иначе говоря, при любых изменениях конкретных содержаний В, А или Г) В' не может быть ложным, когда истинно А' (все выражения Г'). Понятие Л. с. не вполне соответствует интуитивному употреблению в практике научного познания термина «Л. с.». Это несоответствие проявляется в т. наз. «парадоксах» следования (из противоречивого высказывания следует любое, и логически истинное следует из любого высказывания). В 60-х гг. 20 в. возникло новое направление в логике - релевантная логика, основной целью к-рой является выработка более точного понятия Л. с. (здесь отношение Л. с. понимается исходя из того, что логическое содержание 'В есть часть логического содержания А), с понятием Л. с. непосредственно связано понятие логической правильности рассуждений (Правильность и истинность). Л. с. имеет важное значение для определения ряда понятий логики научного познания (закона науки, научного объяснения и др.).

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.