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

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 228.