(1В) Теория.

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

Как было сказано выше, теория включает в себя: (1) аксиомы, то есть суждения, истинность которых не требует доказательства, и (2) теоремы, то есть суждения выводимые из аксиом. Таким образом, теория представляет собой процедуру выделения истинных высказываний о какой-либо области явлений из всех высказываний об этой области.

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

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

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

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

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

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

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

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

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

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

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

(2) Построение и верификация гипотезы.

При выдвижении гипотезы необходимо придерживаться следующих правил:

(1) Гипотеза не должна противоречить ранее установленным фактам, законам.

(2) Гипотеза не должна содержать противоречий.

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

(4) Гипотеза должна объяснять все факты той области, относительно которой она выдвигается.

Верификация гипотезы включает в себя следующие основные моменты:

(1) Выведение из гипотезы всех следствий.

(2) Каждое следствие проверяется на истинность.

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

(3А) Структура вопроса.

Изучением понятий вопроса, ответа и вопросно-ответного отношения занимается эротетическая (интеррогативная) логика. Рассмотрим основные понятия логической теории вопросов (эротетической логики).

Вопрос — требование устранения недостатка информации о каком-либо объекте.

Пример: “Назовите два числа, сумма которых равна 28” [У меня имеется информация, что сумма чисел a и b равна 28, но отсутствует информация о том, что это за числа. Назовите их.].

Существует множество взглядов на понимание сущности вопроса и вопросно-ответного отношения. Представляет большой интерес сопоставление вопросов с нормами. Тесная связь между вопросительными и нормативными высказываниями была отмечена многими авторами, исследовавшими логические характеристики вопросов. Например, вопрос “Кто стоит в дверях ?” можно рассматривать как нормативное суждение “Назовите имя человека, который стоит в дверях”. Легко показать, что такое преобразование допускает любое вопросительное высказывание, ибо каждый вопрос может быть трансформирован в требование ответа. Вопросы, рассматриваемые как требования, оказываются частным случаем норм именно потому, что наличие адресата является необходимым условием вопросно-ответной ситуации.

Вопрос включает в себя следующие элементы:

(1) Предпосылка (тема) вопроса — информация, содержащаяся в вопросе (“Существуют два числа, сумма которых равна 28” в приведённом выше примере).

(2) Рема вопроса — запрашиваемая информация (“Каковы числа a и b ?”).