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