ЛОГИКА — внутренняя закономерность, присущая явлениям природы и общества; отвлеченные от конкретного содержания суждений формальные операции мышления; наука об образовании понятий, правилах суждений, доказательств и умозаключений, а также способах их отображения в формализованных языках логических исчислений.