Теория — это система положений, достоверно объясняющих закономерности в какой-либо области явлений

Как было сказано выше, теория включает в себя:

(1) аксиомы, то есть суждения, истинность которых не требует доказательства;

(2) правила вывода, то есть правила, по которым из аксиом можно выводить новые истинные положения (обычно в как правила вывода используются дедуктивные умозаключения)

(3) теоремы, то есть суждения, выводимые из аксиом по правилам вывода.

Таким образом, теория представляет собой способ отбора истинных высказываний из всех высказываний о какой-либо области явлений.

(1в) Свойства теории

Теория должна обладать следующими свойствами:

(1) Полнота, то есть теория должна объяснять все явления исследуемой области.

Принцип полноты нормативного кодекса:

"д (Р (д) º З (д))

(2) Непротиворечивость, то есть из аксиом теории не должно быть выводимо противоречие.

Принцип непротиворечивости нормативного кодекса:

"д Ø (О (д) & З (д))

(3) Независимость, то есть никакие аксиомы не должны быть выводимыми из других аксиом.

(4) Верифицируемость, то есть теория должна подтверждаться практикой.

(1г) Функции теории

Теория имеет следующие функции:

(1) Описательная (теория адекватно отражает некоторую область явлений);

(2) Объяснительная (теория позволяет указать причины какого-либо явления исследуемой области);

(3) Предсказательная (теория позволяет предсказать последствия какого-либо явления исследуемой области).

Теория как метод исследования определяет класс задач, разрешимых в ее пределах. Весь класс задач в некоторой теории можно разделить на регулярные (для которых можно задать общие структуры решения и правила построения поля возможных решений) и нерегулярные (для которых это не возможно).

Теории бывают общими и частными. Общая теория объясняет какую-либо широкую область явлений, а частная — область нескольких конкретных явлений (событий).