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

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