Министерство образования и наукиМинистерство образования и науки Российской ФедерацииРоссийской Федерации

ФГБОУ ВПО «Тульский государственный педагогический университет ФГБОУ ВПО «Тульский государственный педагогический университет им. Л.Н.Толстого»им. Л.Н.Толстого»

Презентация Презентация курса по выборукурса по выбору

«МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ

СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ»

Кафедра педагогики, методики и дисциплин Кафедра педагогики, методики и дисциплин начального образованияначального образования

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

Область научной специализации:

математическая логика, алгебра и теория чисел.

Область научных интересов: вопросы

качества математической подготовки студентов в

вузах, методика преподавания

математических дисциплин; методология и методика студенческих научных исследований,

управление научно-исследовательской

работой студентов в вузе и др.

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

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

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

Аристотель Стагирит (Ἀριστοτέλης Σταγειρίτης),великий философ,

основоположник силлогистики

И еще персоны:И еще персоны:

Буль Джордж; Гёдель (Гедель) Курт Фридрих; Лейбниц Готфрид Вильгельм;

Лобачевский Николай Иванович; Мальцев Анатолий Иванович; Марков Андрей Андреевич; Пеано Джузеппе; Рассел

Бертран; Тарский Альфред; Тьюринг Алан Матисон; Успенский Владимир Андреевич;

Фреге Готтлоб; Чёрч (Черч) Алонзо

Вы знакомы с их трудами и ролью в Вы знакомы с их трудами и ролью в развитии логики?развитии логики?

Один из них сказал:Один из них сказал:

«Единственное средство улучшить наши умозаключения состоит в том, чтобы сделать их столь же

наглядными, как и у математиков, - такими, что их ошибочность

можно было бы увидеть глазами…»

Кому принадлежит это высказывание?Кому принадлежит это высказывание?

Правильный ответ к предыдущему слайду:Правильный ответ к предыдущему слайду:это говорил это говорил Г.В. Лейбниц.

А как соотносятся объемы понятий, А как соотносятся объемы понятий, «традиционная логика», «традиционная логика», «математическая логика», «математическая логика», «символическая логика», «символическая логика», «диалектическая логика»,«диалектическая логика»,

«формальная логика» ?«формальная логика» ?

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

А как разобраться в том, правильно ли А как разобраться в том, правильно ли рассуждает телеведущий одной из популярных рассуждает телеведущий одной из популярных

программ, профессиональный юрист, программ, профессиональный юрист, домработница и прочие персоны?домработница и прочие персоны?

Ответы на все эти вопросы мы найдем при Ответы на все эти вопросы мы найдем при изучении практической части курса по выбору изучении практической части курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ»СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ»

«Рожденный ползать – летать не может!» «Рожденный ползать – летать не может!» И мыслить тоже.И мыслить тоже.

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

А главное…знания об основных правилах логики,

позволяющих получать дедуктивные умозаключения из отдельных истинных

суждений.

У вас сформируются умения и У вас сформируются умения и навыки определять, является ли то навыки определять, является ли то или иное рассуждение правильным.или иное рассуждение правильным.

Согласитесь, что такие умения нужны Согласитесь, что такие умения нужны каждому, в любой области деятельности!каждому, в любой области деятельности!