Презентация на тему "Основы формальной логики"

• 1 слайд

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

• 2 слайд

  Логика – одна из древнейших наук.
  Слово «логика» происходит от греческого «logos» и означает «мысль, мышление, речь, разум, смысл…». Основоположником логики считают древнегреческого философа Аристотеля, жившего в 384- 322 г.г. до н.э Он впервые систематизировал формы и правила мышления, обстоятельно исследовал категории «понятие»
  Историческая справка
  и «суждение», подробно разработал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления.
  Аристотель
  

• 3 слайд

  Формы человеческого мышления
  В логике выделяют следующие формы мышления:
  понятие,
  суждение,
  умозаключение.
  

• 4 слайд

  Понятие – это форма мышления, в которой отражаются основные, наиболее существенные признаки предмета, отличающие его от других предметов.
  Примеры понятий: шапка, цветок, река Обь, Сократ.
  Понятие имеет две логические характеристики :
  содержание и объём
  Понятие
  

• 5 слайд

  Содержание понятия – совокупность существенных признаков предмета.
  Например: понятие «компьютер» объединяет множество электронных устройств, предназначенных для обработки информации куда входят монитор и клавиатура.
  Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия.
  Например: объем понятия ученики 9 г класса – это множество учеников {Иванов Михаил, Петров Артём и т.д.}
  

• 6 слайд

  Между множествами (объёмами понятий)
  могут быть следующие виды отношений:
  
  А, В
  В
  В
  В
  А
  А
  А
  Диаграммы Эйлера- Венна
  &
  I
  

• 7 слайд

  
  Отобразите с помощью кругов Эйлера- Венна соотношение между объемами понятий:
  D – ученики вашего класса;
  А – ученики вашего класса, которые занимаются спортом;
  В – ученики вашего класса, которые любят математику;
  С – ученики вашего класса, которые учатся без троек
  Задание
  Возможное решение:
  

• 8 слайд

  Суждение – форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях между ними.
  Примеры суждений:
  Сейчас идёт урок информатики.
  Все школьники отличники.
  Суждения могут быть только повествовательными предложениями.
  Суждения бывают простыми и сложными, истинными и ложными.
  Например, Петя отличник – простое суждение, а Петя отличник и спортсмен – сложное, состоящее из двух простых.
  Суждение (высказывание, утверждение)
  

• 9 слайд

  Высказывание состоит из понятий и его можно сравнить с арифметическим выражением, в котором все числа заданы. В математической логике рассматриваются предикаты – функциональные зависимости от неопределенных понятий (терминов), которые можно сравнить с переменными в уравнении.
  Например.
  Х- человек (предикат 1-го порядка т.к. один из терминов является неопределенным понятием);
  У любит Z (предикат 2-го порядка т.к. не определены 2 термина);
  В предикатах третьего порядка не определены 3 термина.
  

• 10 слайд

  В аристотелевской логике
  рассматривались четыре вида суждений:
  

• 11 слайд

  Умозаключения
  Умозаключение – это форма мышления,
  с помощью которой из одного или несколько
  суждений (посылок) может быть получено
  новое высказывание (вывод).
  
  Например.
  Все металлы проводники.
  Железо – металл.
  Вывод – железо проводит электрический ток.
  

• 12 слайд

  Умозаключения бывают
  Дедуктивные (от общего к частному),
  индуктивные (от частного к общему),
  по аналогии (из общности одних свойств, процессов и отношений у сравниваемых объектах следует общность других свойств и отношений ).
  Пример1. Все металлы – проводники. Ртуть – металл. Ртуть – проводник.
  Пример2. Ртуть – проводник, железо – проводник ит.д. Все металлы – проводники.
  Пример3. Химический состав Солнца и Земли схожи. На Земле обнаружен гелий. Значит и на Солнце есть гелий.
  

• 13 слайд

  Домашнее задание
  1. Постройте диаграмму Эйлера- Венна для множеств:
  А- множество животных,
  В- множество хищников,
  С- множество тигров,
  D- множество косуль,
  E- множество китов.
  
  

• 14 слайд

  А
  D
  C
  B
  Е