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