9.2. История проблемы развития логического мышления учащихся

История проблемы развития логического мышления при обу­чении математике связана определенным образом с проблемами строгости доказательства в самой науке математике. Известные из истории математики первые доказательства таковыми не явля­ются с современной точки зрения. В древней индийской книге

Ганеши доказательство формулы площади круга ограничивалось рисунком (см. рис. 72) и надписью: «Смотри».

Рис. 72

Логика формальных рассуждений - формальная логика до­шла до настоящего времени из древних времен благодаря рабо­там древнегреческого мыслителя Аристотеля (384-322 гг. до н.э.), в которых разработана теория дедукции, т. е. правил логическо­го вывода, независящих от содержания рассуждений. Аристоте­лю принадлежит открытие формального характера логического вывода, состоящего в том, что в рассуждениях одни предложения выводятся из других независимо от их содержания, в силу своей определенной структуры, формы. Отсюда и название формаль­ной логики.

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

В связи с появлением неэвклидовых геометрий, осознанием проблемы непротиворечивости системы научных знаний возни­кает потребность в совершенствовании аппарата доказательств. ВIXX веке в результате применения в формальной логике мате­матических методов возникает математическая логика.

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

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

Методист И.А. Гибш, выделяя аспекты проблемы развития логического мышления, подчеркивал необходимость формирова­ния умений учащихся: по подведению объектов под определение, классификации понятий, выведению следствий из определения, развитию умений пользоваться суждениями и умозаключениями, получать новые умозаключения на основании правил вывода и законов логики, пользоваться терминами «необходимо» и «дос­таточно», использовать различные приемы и виды доказательств. В недалеком прошлом крайнюю точку зрения в плане развития логического мышления учащихся отстаивал методист А. А. Сто­ляр, который считал необходимым на определенном этапе обуче­ния знакомить учащихся с элементами математической логики.

В работе И.Л. Никольской и Е.Е. Семенова [5] выделены зна­ния и умения, которыми, по мнению авторов, выпускник школы должен владеть: уметь правильно формулировать определение знакомого понятия, классифицировать, понимать значение свя­зок «и» и «или», уметь строить отрицание утверждений, содержа­щих кванторы, понимать смысл терминов «если ..., то ...», «тогда и только тогда, когда», «не более», «не менее» и т. д.