К числу таких законов относятся общие законы, то есть независящие от конкретного содержания мысли (закон тождества, закон противоречия, закон исключённого третьего, закон достаточного основания), а также частные законы логических операций над этими мыслями (правила деления понятия, определения, ограничения, обобщения и т. д.).
Формальная логика и есть наука, которая изучает законы и формы правильного мышления.
Формальная логика — наука о законах и формах правильного мышления.
Вопрос 2.