Есть очень чёткие критерии, по которым определяется является ли какая-либо область знаний научной. Эти критерии приняты в настоящее время во всём научном сообществе. Главными из них являются два принципа.

Принцип верифицируемости - возможность получить одинаковые результаты применяя данную область знаний для любого исследователя.

Принцип фальсифицируемости (критерий Поппера) - ни одна область научных знаний не может быть доказана опытным путём, а только опровергнута им. Иными словами ни одна научная теория не может быть абсолютно верной.

Согласно современным представлениям логика является наукой, поскольку удовлетворяет данным условиям. Кроме того принято считать, что логика является так называемой формальной или абстрактной наукой, оперирующей абстрактными величинами. Здесь она входит в один ряд с математикой, информатикой и кибернетикой