Министерство образования и науки Российской Федерации ФГБОУ ВПО «Тульский государственный педагогический университет им. Л.Н.Толстого» Презентация курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ» Кафедра педагогики, методики и дисциплин начального образования

Автор-составитель: кандидат физико-математических наук, доцент А. Л. Рощеня Область научной специализации: математическая логика, алгебра и теория чисел. Область научных интересов: вопросы качества математической подготовки студентов в вузах, методика преподавания математических дисциплин; методология и методика студенческих научных исследований, управление научно-исследовательской работой студентов в вузе и др.

Цель дисциплины: формирование у студентов систематизированных теоретических знаний об основных средствах традиционной формальной логики и математической логики как второй ступени ее развития, применяемых для моделирования умозаключений, и готовности применить полученные знания в различных областях профессиональной деятельности.

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

Логика одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышления, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логического учения можно обнаружить еще в Индии, в конце II тысячелетия до н. э. Однако если говорить о возникновении логики как науки, то есть о более или менее систематизированной совокупности знаний, то справедливым будет считать родиной логики великую цивилизацию Древней Греции. Аристотель Стагирит (ριστοτέλης Σταγειρίτης), великий философ, основоположник силлогистики

И еще персоны: Буль Джордж; Гёдель (Гедель) Курт Фридрих; Лейбниц Готфрид Вильгельм; Лобачевский Николай Иванович; Мальцев Анатолий Иванович; Марков Андрей Андреевич; Пеано Джузеппе; Рассел Бертран; Тарский Альфред; Тьюринг Алан Матисон; Успенский Владимир Андреевич; Фреге Готтлоб; Чёрч (Черч) Алонзо Вы знакомы с их трудами и ролью в развитии логики? Вы знакомы с их трудами и ролью в развитии логики?

Один из них сказал: «Единственное средство улучшить наши умозаключения состоит в том, чтобы сделать их столь же наглядными, как и у математиков, - такими, что их ошибочность можно было бы увидеть глазами…» Кому принадлежит это высказывание?

Правильный ответ к предыдущему слайду: это говорил Правильный ответ к предыдущему слайду: это говорил Г.В. Лейбниц. А как соотносятся объемы понятий, «традиционная логика», «математическая логика», «символическая логика», «диалектическая логика», А как соотносятся объемы понятий, «традиционная логика», «математическая логика», «символическая логика», «диалектическая логика», «формальная логика» ? «формальная логика» ? Ответы на все эти вопросы мы найдем при изучении теоретический части курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ». Ответы на все эти вопросы мы найдем при изучении теоретический части курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ».

А как разобраться в том, правильно ли рассуждает телеведущий одной из популярных программ, профессиональный юрист, домработница и прочие персоны? Ответы на все эти вопросы мы найдем при изучении практической части курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ» Ответы на все эти вопросы мы найдем при изучении практической части курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ» «Рожденный ползать – летать не может!» «Рожденный ползать – летать не может!» И мыслить тоже. И мыслить тоже.

Вы получите… знания об истории и этапах развития традиционной формальной логики; о свойствах теоретико-множественных опера­ций; об отношениях между объемами понятий; о высказываниях, операциях над высказываниями, о предикатах, операциях над предикатами, позволяющих получить новые предикаты;

А главное… знания об основных правилах логики, позволяющих получать дедуктивные умозаключения из отдельных истинных суждений. У вас сформируются умения и навыки определять, является ли то или иное рассуждение правильным. У вас сформируются умения и навыки определять, является ли то или иное рассуждение правильным. Согласитесь, что такие умения нужны каждому, в любой области деятельности! Согласитесь, что такие умения нужны каждому, в любой области деятельности!