Предлагается формальный подход к понятию «знание»: знание - это совокупность фактов и правил, хранящаяся в некоторой базе знаний, плюс средства представления и обработки, присущие этой базе. Научное знание - это динамическая система, изменяющая свои состояния. Всякое текущее состояние общепринятого ядра научного знания, - это совокупность утверждений и правил, в котором противоречие не обнаружено. В этих терминах можно исследовать и ненаучные виды знания: обыденное, догматическое и т.д.