Логические доказательства и опровержения гипотез широко используются в науке.
Основные пути логических доказательств и опровержения гипотез в науке:
• индуктивный путь— подтверждение гипотезы или выведение из нее следствий с помощью аргументов, включающих указания на факты и законы;
• дедуктивный путь— выведение гипотезы из других, общих и доказанных положений; включение гипотезы в систему научного знания, в которой она непротиворечиво согласуется с другими положениями этой системы, а также демонстрация предсказательной силы гипотезы.
В зависимости от способа своего обоснования логическое доказательство или опровержение может проводиться в прямой или косвенной форме.
Прямое доказательство или опровержение гипотезы проводится с помощью подтверждения или опровержения полученных выводом логических следствий вновь обнаруженными фактами.
Косвенное доказательство или опровержение часто используется, если существуют несколько гипотез, которые объясняют одно и то же явление и проводятся с помощью опровержения и исключения всех ложных предположений, на основании чего утверждается истинность одного оставшегося предположения.
Предмет логики
Логика— это наука о правилах мышления, изучающая мышление как средство познания, и о законах мыслительных процессов, направленных на обнаружение и обоснование истины.
Предметом логики служат законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий мир.
Значимые вопросы философии относятся к познанию действительности и связаны с мышлением, поэтому логика зародилась и развивалась как наука философская, в современности представляющая собой систему знаний, состоящую из двух самостоятельных наук: логики формальной и диалектической.
В настоящее время понятие « логика » используется, во-первых, для обозначения последовательных связей предметов и явлений окружающего мира( например, « логика событий », « логика международных отношений »); во-вторых, для характеристики способа мышления(« субъективная логика »,« женская логика », « железная логика »); в-третьих, для обозначения непосредственно науки.
Логика как наука зародилась в Древней Греции и много столетий считалась критерием образованности. В начале XIX в. Г. В. Ф. Гегель указал на ее ограниченность и недостаточность с точки зрения отражения процесса движения мысли. Он отметил, что такая логика отражает не