Вопрос 51 (Ошибки в доказательстве.)

Логические ошибки в доказательстве можно разделить на относящиеся к тезису, к аргументам и к их связи.

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

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

Довольно распространенной ошибкой является круг в доказательстве: справедливость доказываемого положения обосновывается посредством этого же положения, высказанного, возможно, в несколько иной форме. Если за основание доказательства принимается то, что еще нужно доказать, обосновываемая мысль выводится из самой себя и получается не доказательство, а пустое хождение по кругу.

Правила, относящиеся к аргументам:

1) аргументы не должны противоречить друг другу;

2) аргументы должны подтверждать тезис;

3) аргументы должны быть суждениями.

При нарушении вышеперечисленных правил возникают следующие ошибки в основаниях доказательства:

1) ложность оснований;

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

3) правила, относящиеся к демонстрации. Формализованное доказательство – это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство – это идеальное и неоспоримое доказательство.

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

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

Вопрос 52 (Гипотеза и гипотеке-дидуктивный метод в науке)

ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД – метод научного исследования, заключающийся в выдвижении некоторых утверждений в качестве гипотез и проверке этих гипотез путем вывода из них (в совокупности с другими имеющимися у нас знаниями эмпирически проверяемых следствий). Оценка исходной гипотезы на основе такого вывода носит сложный и многоступенчатый характер, т.к. только достаточно длительный процесс испытания гипотезы в контексте системы научного знания может привести к обоснованному ее принятию или опровержению. В современной методологии науки при рассмотрении гипотетико-дедуктивного метода стремятся также учитывать процессы совершенствования и развития гипотетических конструкций науки в результате их сопоставления с эмпирическими данными.

Гипотеза (от греч. hypothesis - основание, предположение) - форма развития человеческих знаний, представляющая собой обоснованное предположение, объясняющее свойства и причины исследуемых явлений.

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

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

Эта схема в целом отражает и движение мысли следователя в процессе расследования преступлений, которое начинается с проблемы, выражаемой в вопросах: что произошло, было ли преступное деяние, если было, то кто, почему и как совершил данное преступление? Искусство органов дознания и предварительного следствия состоит из творческих актов, проявляющихся: а) в умении путем объективного исследования и наблюдения собрать и закрепить в протоколах основные моменты события, нарисовать картину преступления; б) в умении дать правильную оценку и объяснение всех отдельных фактов, которые приобретают значение доказательственных улик в деле, и установить их связь; в) в способности сделать обобщающие логические выводы и предположения, неизбежно вытекающие из всех установленных и проверенных фактических данных.