ЛОГИКА.... Научная теория. Доказательство

НАУЧНАЯ ТЕОРИЯ

Теория является самой развитой формой научного знания. Исследованием научных теорий занимается методология науки.

Теория (греч. «рассмотрение», «исследование») есть систематизированное, обоснованное, логически организованное знание об определенной предметной области. Научные теории бывают различной степени общности и обладают логической структурой.

В состав теории входит:

1. Эмпирический базис теории как система знаний, полученных эмпирическими методами, выраженных в форме фактов и описаний.

2. Исходная теоретическая основа, т.е. различные аксиомы, допущения, положения и законы других теорий, принимаемых данной теорией в качестве истинных.

3. Логика теории,  построение логических и математических выводов в рамках данной теории.

4. Совокупность содержательных следствий, выводов и утверждений теории.

Функции научной теории. Принято считать что их две: Первая - объяснительная, которая даёт возможность не только прояснять нечто, но и указать причину явления, то есть ответить на вопрос «почему?» И зачастую выразить это количественно, что позволяет выполнить  и вторую функцию – предсказательную, то есть обеспечить возможность перехода к новым предложениям и выводам о поведении объекта без выхода в практический опыт. Например, теории сопромата позволяют узнать предел прочности того или иного сооружения, не подвергая его разрушению.

Типы научных теорий:

Описательные теории. В сущности, это генерализация, систематизация эмпирического материала в естественном языке, хотя при этом используется специальная терминология. Например, теория Дарвина, Павлова.

Математизированные теории, построенные с помощью математического аппарата и моделей. Например, теория управления, теория информации.

Дедуктивные – теории строят с помощью дедуктивного вывода из ограниченного числа исходных аксиом (принимаемых за истину) или (и) постулатов (допущений-конструктов).

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

Гипотетико-дедуктивные теории – это самый распространенный тип теорий, к которому относятся по сути, все естественнонаучные теории, построенные гипотетико-дедуктивным методом, т. е. основанные на дедуктивных выводах и заключениях из посылок, носящих гипотетический характер.

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

ДОКАЗАТЕЛЬСТВО И АРГУМЕНТАЦИЯ

Наука гибнет, если в ней нет творческих дискуссий. Нам часто приходится выслушивать доказательства, самим что-то доказывать, убеждать, участвовать в  обсуждениях и дискуссиях.

Доказательство– это интеллектуальная операция, состоящая в установлении истинности некоторого суждения посредством его логического выведения из других суждений, истинность которых установлена до этой операции и независимо от неё.

Тезисомв логике называют суждение, истинность которого мы хотим установить. Тезис должен быть чётко сформулирован. Любую дискуссию или спор следует начинать с выяснения тезиса и конструктивного определения основных используемых понятий.

Часто после такого прояснения мыслей необходимость в споре ради истины исчезает. Наиболее распространённая ошибка, относящаяся к тезису – это его подмена в процессе доказательства.

Аргументами называются суждения, из которых выводится тезис. Аргументами могут служить только истинные суждения. То есть ранее доказанные в других рассуждениях и теориях, эмпирически проверенные «фактофиксирующие» суждения, аксиомы, обоснованные определения.   Наиболее распространённая ошибка, относящаяся к аргументам – признание ложного или недоказанного суждения за истинное.

Как в юриспруденции незнание юридических законов не освобождает от их исполнения, так и в логике «невежество не есть аргумент» и не освобождает от законов логики. Непонимание — тоже не аргумент. Не является аргументом и имя автора суждения. Когда то Гитлер сказал что долгое сидение школьников на уроках вредно  для здоровья, поэтому нужно внедрять подвижные игры.  Ну и правильно!   «Когда мы цитируем авторов, мы цитируем их доказательства, а не их имена»./Блез Паскаль/

Демонстрацией называют логическую форму связи тезиса и аргументов, которая должна обеспечить переход от аргументов к тезису. Она может быть неявной, а может быть представлена связками «следовательно», «итак». Но такие связки могут быть обманчивыми, их часто употребляют проповедники и агитаторы. Можно нашпиговать ими бездоказательный текст не только по злому умыслу (например, доказывая в неблаговидных целях заведомо ложный тезис), но и по логическому невежеству. Может даже и тезис истинен, но его доказательство из приведенных аргументов не следует, и в таком случае тезис остаётся недоказанным. Наиболее распространённая ошибка в демонстрации так и называется: «Не следует».

В обычном умозаключении посылки играют роль аргументов  а заключение – роль тезиса.

Если прямое доказательство, в котором истинность тезиса устанавливается путём непосредственного выведения из аргументов затруднительно, то можно воспользоваться косвенным доказательством. В этом случае исходят из допущения ложности выдвигаемого тезиса и истинности противоречащего ему суждения, то есть антитезиса. Выводя из антитезиса следствия и доказывая их ложность, тем самым доказывают ложность антитезиса. После чего остаётся признать истинность исходного тезиса.

Логические ошибки часто появляются тогда, когда разум уступает эмоциям. А эмоций у человека намного больше чем логики. И толпа вся вместе всегда ведёт себя глупее, чем каждый отдельный человек из этой же толпы.

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

Апория – (от греч. «безвыходность») – так древние греки называли непреодолимые логические затруднения, вызывающие недоумение. Например, апории Зенона «Стрела», «Ахиллес и черепаха», «Лысый», «Куча» и др. Погуглите если не лень.

Парадокс – (от греч. «против мнения») – логически правильное, но необычное высказывание, не согласующееся с общепринятым мнением, с тем, что считается «здравым смыслом». Научные открытия, смелые решения зачастую воспринимаются массовым сознанием как парадоксальные.

Софизм - (от греч. «хитрое измышление») – логическая уловка с помощью которой ложное суждение выдают за истинное. Основывается на двусмысленности слов, подмене понятий и иных умышленных нарушений правил логики. В Древней Греции жил некий мудрец Софос, который придумывал логические уловки, тренируя своих учеников выигрывать споры в суде.