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