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