Логическая и информационная культура взаимосвязаны и формируются в процессе познания, самостоятельного творческого мышления, при усвоении специальных методов и приемов доказательного рассуждения. Изучение логики способствует становлению самосознания, интеллектуальному развитию личности. Овладение логическими знаниями и умелое их использование на практике помогает разбираться в закономерностях и взаимосвязях явлений общественной жизни, вести аргументированную полемику с оппонентами, доказательно отстаивать истинные суждения. Учителю необходимо умение эффективно и корректно вести различные диалоги, критически воспринимать аргументацию оппонентов, уметь находить свои нужные аргументы, культурно и логически грамотно опровергать ложные или недоказанные тезисы, встречающиеся в полемике, дискуссиях, диспутах и других формах диалога. Курс логики в педагогических высших учебных заведениях призван способствовать осуществлению следующих задач.

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

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

Особенности абстрактного мышления. Понятие логической формы и логического закона. Конкретное содержание и логическая структура мысли. Истинность мысли и формальная правильность рассуждений.

Логика и другие науки. Основные этапы развития формальной логики.

Символическая (математическая) логика. Теоретическое и практическое значение логики. Значение логики для науки и техники. Роль логики в повышении культуры мышления. Логика - рациональная основа процесса обучения.

Логика и язык. Язык как знаковая информационная система. Функции языка. Язык как средство выявления логических форм и законов. Языки естественные и искусственные. Понятие знака. Имя. Значение и смысл имени. Именные функции и пропозициональные функции. Семантические категории языка: предложения, дескриптивные (описательные) и логические термины (логические связки, кванторы).

Роль логики в появлении кибернетики. Значение искусственных языков логики для представления знаний на ЭВМ. Проблема общения с ЭВМ на естественном языке. Взаимосвязь информатики с классической и неклассическими логиками. Роль логики в повышении компьютерной грамотности учащихся. Развитие творческих способностей и образного мышления учащихся средствами компьютерной графики.

В обязательных минимумах содержания образования по информатике "Информатика 2000" (уровень А и уровень Б) значительно усилены разделы, связанные с формальной логикой ("Представление информации", "Моделирование и формализация", "Системы счисления и основы логики"), и это расширение логической компоненты курса информатики в школе, безусловно, достойно всестороннего одобрения.

В течение последних четырех лет в МПГУ успешно осуществляется подготовка преподавателей информатики по курсу формальной логики. Слушатели выполнили программу на 250 аудиторных часов, трудоемкость которой составляет 500 часов. Они сдали 5 экзаменов: по традиционной логике, многозначным логикам, истории логики, методике преподавания логики (только на "отлично" и "хорошо"). Студенты получили зачет по предпрактике, написали и защитили реферат, выполнили по 5-6 контрольных работ. Подготовка по логике проведена на уровне последних научных достижений; имеются мои учебники и методические пособия по логике, истории логики, неклассическим логикам.

О высоком уровне подготовки преподавателей информатики свидетельствует то, что на Х Международной конференции "Применение новых информационных технологий в образовании" (июль 1999 года, г. Троицк) семь слушателей опубликовали свои тезисы - результаты их научно-педагогической деятельности. Слушателям по окончании обучения выдается свидетельство о присвоении квалификации "Преподаватель логики". Многие из обучавшихся преподают информатику в школе по учебнику А. Д. Гетмановой (3): Горшкова Г. В. (шк. N 947), Курчаткина И. Е. и Боримечкова В. А. (шк. N 134), Стратий Л. М. и Кравченко Т. Е. (шк. N 1080) и др.

Литература:

1. Гетманова А. Д. Логика. М., 1998.
2. Гетманова А. Д. Логика. Словарь и задачник. М., 1998.
3. Гетманова А. Д. Занимательная логика для школьников. Ч. I. М., 1998.
4. Никифоров А. Л. Книга по логике. М., 1997.

Сервер поддерживается фирмой НПП "БИТ про" Лучшие программы для образовательного процесса