Особую актуальность проблема развития логического мышления приобретает в связи с реализацией идей гуманизации и гумантаризации школьного математического образования.
История проблемы развития логического мышления при обучении математике связана определенным образом с проблемами строгости доказательства в самой науке математике/Известные из истории математики первые доказательства таковыми не являются с современной точки зрения. В древней индийской книге Ганеши доказательство формулы площади круга ограничивалось рисунком (см. рис.4) и надписью: «Смотри».
Рис. 4
Логика формальных рассуждений – формальная логика дошла до настоящего времени из древних времен благодаря работам древнегреческого мыслителя Аристотеля (384-322 гг. до н.э.), в которых разработана теория дедукции, т. е. правил логического вывода, независящих от содержания рассуждений. Аристотелю принадлежит открытие формального характера логического вывода, состоящего в том, что в рассуждениях одни предложения выводятся из других независимо от их содержания, в силу своей определенной структуры, формы. Отсюда и название формальной логики.
Формальная логика возникает тогда, когда развитие специальных наук и вообще человеческого мышления сделало актуальным вопрос о том, как надо рассуждать, чтобы получать правильные выводы.
В связи с появлением неэвклидовых геометрий, осознанием проблемы непротиворечивости системы научных знаний возникает потребность в совершенствовании аппарата доказательств! В IXX веке в результате применения в формальной логике математических методов возникает математическая логика.
Математическая логика существенно обогатила курс формальной логики, введя большую строгость в математические доказательства на основании новых требований к получению новых суждений.
Ответ на вопрос, заниматься ли развитием логического мышления учащихся, отечественные психологи и методисты давали однозначно положительный в отличие от зарубежных, например, Ж. Пиаже, отстаивавшего положение о независимости развития логических структур от обучения.
Методист И.А. Гибш, выделяя аспекты проблемы развития логического мышления, подчеркивал необходимость формирования умений учащихся: по подведению объектов под определение, классификации понятий, выведению следствий из определения, развитию умений пользоваться суждениями и умозаключениями, получать новые умозаключения на основании правил вывода и законов логики, пользоваться терминами «необходимо» и «достаточно», использовать различные приемы и виды доказательств. В недалеком прошлом крайнюю точку зрения в плане развития логического мышления учащихся отстаивал методист А. А. Столяр, который считал необходимым на определенном этапе обучения знакомить учащихся с элементами математической логики.
В работе И.Л. Никольской и Е.Е. Семенова выделены знания и умения, которыми, по мнению авторов, выпускник школы должен владеть: уметь правильно формулировать определение знакомого понятия, классифицировать, понимать значение связок «и» и «или», уметь строить отрицание утверждений, содержащих кванторы, понимать смысл терминов «если..., то...», «тогда и только тогда, когда», «не более», «не менее» и т. д.
Основной задачей формальной логики является отделение правильных способов рассуждения от неправильных. Рассуждение можно считать верным лишь в том случае, если из истинных суждений – посылок нельзя получить ложное суждение - ложное заключение. Рассуждение, допускающее получение ложного заключения из истинных посылок, не только не расширяет наши знания об окружающем мире, но доставляет о нем неправильную информацию. Поэтому такие рассуждения недопустимы.
Совокупность общественной практики, являющейся критерием истинности получаемых суждений из имеющихся, вылилась в ряд правил, законов, которые зависят только от формы рассуждений, от взаимосвязей составных частей рассуждения, но не от их содержания. Отсюда понятна важность законов и правил вывода. О формах мышления и правилах вывода не ведется разговора ни в одном школьном предмете, хотя все предметы их широко используют. И это, вероятно, справедливо - не обязательно знать законы пищеварения, чтобы правильно переваривать пищу.
Говоря о логической составляющей в обучении учащихся остановимся на смысле фразы, что логика приводит мысли в порядок, выясним, какой смысл вкладывал М.В. Ломоносов в известные его слова о том, что математика ум в порядок приводит.
Установить порядок на некотором множестве объектов – значит пронумеровать их. Существуют определения строгого и нестрогого порядков. Можно установить порядок на множестве понятий и на множестве высказываний. Порядок на множестве понятий определяется с помощью отношения «предшествовать». Пример: понятие отрезок предшествует понятию многоугольник. Никакое понятие не предшествует самому себе. Порядок на множестве суждений можно установить с помощью отношения «следовать», «быть следствием». Теорема о вписанном угле треугольника следует из теоремы о сумме углов треугольника. Отношение «предшествовать» – отношение строгого порядка, отношение «следовать» – пример отношения нестрогого порядка.
Дедуктивное (аксиоматическое) построение курса математики и есть наведение порядка на множестве понятий и суждений.
Почему важно, чтобы имеющаяся в голове человека информация была упорядочена? На этот вопрос ответ можно найти в работе А.А. Столяра: «Эта информация может оказаться в уме человека неупорядоченной, т.е. размытые знания - изолированными, несвязанными между собой и поэтому малоэффективными в качестве исходного материала для получения новых знаний. Во-вторых, возможно также, эта информация будет лежать «мертвым грузом», т. е. заполнять лишь память человека, но не преобразовываться им, не использоваться для получения новых знаний логическим путем, с помощью рассуждений».
Анализ содержания школьного курса математики позволяет выявить те логические действия, которые выполняются учащимися, изучающими дедуктивно построенный математический курс. Номенклатура умений может быть упорядочена следующим образом:
Учащиеся должны уметь:
♦ формулировать определения понятий с использованием различных связок и кванторов;
♦ приводить примеры понятий, подводить объекты под определения различных логических конструкций;
♦ приводить контрпримеры, т. е. строить отрицание определений различных логических конструкций;
♦ понимать отношения между двумя понятиями;
♦ проводить классификацию известных понятий;
♦ понимать свойства конкретных отношений – рефлективность, симметричность, транзитивность – без употребления соответствующей терминологии;
♦ понимать смысл терминов «следует», «следовательно», «если..., то... »;
♦ выделять условия и заключения теоремы;
♦ строить отрицание утверждений различной структуры;
♦ различать свойства и признаки понятий;
♦ понимать смысл доказательства, различать правдоподобные и дедуктивные рассуждения;
♦ уметь проводить полученное доказательство;
♦ понимать эквивалентность отдельных определений, доказывать это в отдельных случаях;
♦ понимать смысл терминов «хотя бы один», «не более», «не менее», «все», «некоторые»;
♦ использовать отдельные методы доказательства – метод от противного, полную индукцию, доказательства методом исключения;
♦ понимать основные принципы построения дедуктивной теории.
Овладение перечисленными действиями по упорядочиванию изучаемого материала и является содержанием проблемы развития логического мышления.
Для решения задач развития логического мышления не требуется включения в курс дополнительного математического материала. Задачи развития логического мышления можно ставить и решать на обычном учебном материале.
В системе работы учителя по развитию логического мышления учащихся могут иметь место различные уровни.
I. Отсутствие специально организованной учителем работы по развитию логического мышления. Организационным фактором, направляющим в этом случае процесс развитии, является усваиваемое содержание предмета.
II. Организация деятельности учащихся по осознанию логической составляющей изучаемого содержания с помощью специально подобранных упражнений.
III. Организация специального обучения учащихся усвоению приемов логического мышления в явном виде с выделением их операционных составляющих. Такими приемами могут быть: доказательство методом от противного, подведение под определение, подведение под понятие и многое другое.
Соответственно уровням организации деятельности учащихся происходит усвоение материала на различных уровнях систематизации его в зависимости от осознания логических взаимосвязей в этом материале.
I. Уровень фрагментарных знаний, отсутствие осознания взаимосвязей между компонентами системы.
II. Уровень частичной логической организации изученного материала, понимание отдельных его взаимосвязей.
III. Уровень логично организованных знаний.
Последний уровень характеризуется пониманием целостности системы знаний, пониманием места отдельных элементов системы знаний в этой системе, т. е. систематизацией изученного материала.