Логика в научном мышлении

В. Г. Левин

ЛОГИКА

в научном мышлении

Учебное пособие

для молодых ученых

Издательство Эдитус

Москва

УДК      16(078)

ББК      87.4я7

Л36

Печатается по решению редакционно-издательского

Совета Центра интеллектуальных ресурсов (Самара).

Рецензент:

д. филос. н., проф. Ковшов Евгений Михайлович

Левин В. Г.

Л36      Логика в научном мышлении. - М.: Эдитус, 2019. - 48 с.

ISBN 978-5-00149-146-0

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

УДК      16(078)

ББК      87.4я7

Научно-популярное издание

12+

В. Г. Левин

ЛОГИКА В НАУЧНОМ МЫШЛЕНИИ

в авторской редакции

ISBN 978-5-00149-146-0                                    © Лёвин В. Г., 2019

Введение

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

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