Логическое следование в современной логике — это отношение между посылками и выводимыми из них заключениями, при котором заключение с необходимостью (обоснованно) следует из посылок. 5

Отличительная черта логического следования — оно ведёт от истинных высказываний только к истинным. 1 К логическому следованию предъявляется требование не позволять получать из истинных посылок ложные заключения. 3

Понятие логического следования лежит в основе всякой теории правильных рассуждений. 4 Рассуждение (умозаключение) считается правильным, если и только если его посылки и заключение находятся в отношении логического следования, то есть из посылок логически следует заключение. 4

Для современной логики характерно то, что класс правил логического следования устанавливается посредством тех или иных интерпретаций логических исчислений. 5

При этом точное универсальное определение логического следования отсутствует, и обычно это понятие характеризуется через связи с другими логическими понятиями, в частности через понятия логического закона и модели. 15