ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
НЕГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ
ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
«ПОВОЛЖСКИЙ ИНСТИТУТ БИЗНЕСА»
Элементы логики
Методическое пособие
Самара 2007
УДК 16(075.8) ББК 87.4я73
Элементы логики: Методическое пособие / Сост. В. Г. Лёвин, Е.В. Рамазанова. Поволжский институт бизнеса. Самара, 2007.46 с.
ISBN 5-98185-016-7
Освещены вопросы, близкие к мыследеятельности, совершающейся в ходе научно-исследовательской работы. Предназначено для студентов и аспирантов, изучающих проблемы научного познания в рамках учебных курсов «Философия» и «Философия науки». В данное учебное пособие включен тест на 40 вопросов по предмету и ключи к нему.
Печатается по решению научно-методического совета НОУ ВПО «Поволжский институт бизнеса».
ISBN 5-98185-016-7
© В.Г. Левин, Е.В. Рамазанова, 2007
Введение
Логика вошла в научное познание после работ Аристотеля. Древнегреческий мыслитель рассматривал логику как универсальное орудие мышления, применяемое в любой науке, поскольку в каждой из них осуществляется мыследеятельность. По Аристотелю, логика обеспечивает определенность результатов мышления, на ее основе устанавливаются формы и правила мышления, осуществляются доказательства, которые опираются на ряд законов мышления (закон тождества, закон противоречия, закон исключенного третьего). С Аристотеля началась разработка логических теорий (теория категорического силлогизма), он обосновал два способа логического вывода (дедукция и индукция), дал анализ общих принципов доказательства (принцип последовательности шагов доказательства и принцип формальной правильности выводов).
В Новое время значительный вклад в развитие логики в ее связи с научным познанием внесли Ф. Бэкон, Г. В. Лейбниц, И. Кант, Г. В. Ф. Гегель, Дж. Ст. Милль и др. В частности, была разработана новая теория индукции, которая применялась для исследования гипотез и обнаружения причин явлений (Ф. Бэкон). Г. Лейбниц сформулировал программу создания универсального искусственного языка, формализующего процесс рассуждения. Он же сделал попытку арифметизации силлогистики, что стимулировало в XIX столетии создание алгебры логики (Дж. Буль). Затем Г. Фреге в своем труде «Исчисление понятий» создал первое исчисление высказываний в строго аксиоматической форме. В дальнейшем этот ученый осуществил реконструкцию теории дедукции на основе искусственного исчисления, что позволило выявить ход дедуктивного доказательства. По пути совмещения языка формальной логики и языка математики двигался Дж. Пеано и ученики его школы.