Презентация на тему "Дедуктивное умозаключение"

Содержание

• 
  Слайд 1
  

  Дедуктивное умозаключение

• 
  Слайд 2
  

  Мышление - это процесс обобщенного и опосредованного отражения действительности в её

  существенных связях и отношениях.Мышление – открытие новых свойств и признаков объекта через включение его в новые связи.

  Логика- наука, изучающая законы и формы мышления, способы рассуждений и доказательств

• 
  Слайд 3

  Виды умозаключений

  • ДЕДУКТИВНЫЕ
  • ИНДУКТИВНЫЕ
  • ПОАНАЛОГИИ

  3

  Умозаключение – форма мышления, посредством которой из одного или нескольких суждений мы по определенным правилам вывода получаем суждение-умозаключение

• 
  Слайд 4
  

  Виды умозаключений

  ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ-умозаключение, логическая форма которого гарантирует получение истинного заключения при условии одновременной истинности посылок. В дедуктивном умозаключении между посылками и заключением имеет место отношение следования логического; логическое содержание заключения (т. е. его информация без учета значений нелогических терминов) составляет часть совокупного логического содержания посылок.

• 
  Слайд 5
  
• 
  Слайд 6
  

  Виды дедуктивного умозаключения

  .

  Все звёзды светят собственным светом. Ни одна звезда не планета.

• 
  Слайд 7
  

  Дедуктивное умозаключение А1, А2, ..., Аn ├ B правильно,

  если суждения А1, А2, ..., Аn и В находятся

  в отношении логического следования, т.е.

  А1 А2 ... Аn ╞ B

  Дедуктивные

  Силлогизмы

  Умозаключения логики суждений

  Классификация умозаключений

• 
  Слайд 8
  

  Умозаключения логики суждений

  (УЛС)

  • Прямые
  • Непрямые
  • Умозаключения логики суждений
• 
  Слайд 9
  

  • Прямые УЛС
  • Чисто условные умозаключения (ЧУУ)
  • Разделительно-категорические умозаключения (РКУ)
  • Условно-разделительные умозаключения (УРУ)
  • Условно-категорические умозаключения (УКУ)
  • Умозаключения логики суждений
• 
  Слайд 10
  

  Условно-категорическими называются умозаключения, в которых одна посылка – условное суждение, а вторая посылка и заключение – импликанты этого суждения или их отрицания. Условно-категорическими называются умозаключения, в которых одна посылка – условное суждение, а вторая посылка и заключение – импликанты этого суждения или их отрицания.

  • А→В
  • А – основание,
  • В – следствие,
  • А и В – импликанты.
  • А→В, А├ В

  Умозаключения, совершаемые по схеме А→В, А├ В назовем умозаключениями от утверждения основания к утверждению следствия

  modus ponendo ponens (modus ponens)

  • А→В, В├ А

  Умозаключения, совершаемые по схеме А→В, В├ А назовем умозаключениями от отрицания следствия к отрицанию основания.

  modus tollendo tollens (modus tollens)

• 
  Слайд 11
  

  Чисто условными называются умозаключения, в которых обе посылки и заключение представляют собой условные суждения.

  • А→В, B → C├ A →C

  Пример:

  • Если студент хорошо занимается в течение семестра, то он хорошо сдает сессию.
  • Если студент хорошо сдает сессию, то он получает стипендию.

  Следовательно:

  • если студент хорошо занимается во время семестра, то он получает стипендию.
• 
  Слайд 12
  

  Разделительно-категорическими умозаключениями называются умозаключения, в которых одна посылка – разделительное суждение, а другая посылка и заключение – альтернативы этого суждения.

  • А, В – альтернативы суждения

  AVB

  Пример:

  • «Либо мы победим, либо все пойдет ко всем чертям! Но мы победим!»
• 
  Слайд 13
  

  Условно-pазделительными

  называются умозаключения, одна из посылок которых разделительное суждение, а остальные — условные суждения.

  • Условно-разделительные умозаключения
  • Дилеммы (две альтернативы)
  • Полилеммы (более трех альтернатив)
  • Трилеммы (три альтернативы)