More Related Content
What's hot (12)
Viewers also liked (11)
Similar to Основы формальной и математической логи (9)
More from Evgeny Smirnov (20)
Основы формальной и математической логи
- 1. Логика Формальная логика Силлогизм Операции в логике Основы формальной и математической логик 31 января 2013 г. Основы формальной и математической логик
- 2. Логика Формальная логика Силлогизм Операции в логике Спасибо, КЭП Основы формальной и математической логик
- 3. Логика Формальная логика Силлогизм Операции в логике Логика Логика — наука о законах и формах правильного рассуждения. Главная задача логики — прийти к выводу цепочкой последовательных рассуждений. Везде, в жизни, в образовании, в науке, в работе логика является основным инструментом. Основы формальной и математической логик
- 4. Логика Формальная логика Силлогизм Операции в логике Логика в информатике Составление алгоритмов и принципов работы устройств и программ. Программирование. Современные базы данных (к примеру, банковские операции). Вычисления и вычислительная математика. Искусственный интеллект и др. Основы формальной и математической логик
- 5. Логика Формальная логика Силлогизм Операции в логике Формальная логика конструирование цепочек последовательных истинных высказываний, следующих друг за другом. Основы формальной и математической логик
- 6. Логика Формальная логика Силлогизм Операции в логике Неопределяемые понятия Истина, ложь, высказывание (утверждение, суждение), равно (тождественно), и др. Основы формальной и математической логик
- 7. Логика Формальная логика Силлогизм Операции в логике Законы формальной логики Основы формальной и математической логик
- 8. Логика Формальная логика Силлогизм Операции в логике Закон тождества Высказывание равно самому себе Основы формальной и математической логик
- 9. Логика Формальная логика Силлогизм Операции в логике Закон тождества Закон утверждает, что высказывание должно быть ясным, точным, простым и определённым. Закон также требует определённости высказывания. Пример: Из-за рассеянности на турнирах шахматист неоднократно терял очки. Гестаповцы ставили машину на попа. “Бедный пастор,” — подумал Штирлиц. Штирлиц бежал скачками. Скоро качки отстали. Штирлиц знал наверняка. Но Наверняк не знал Штирлица. Основы формальной и математической логик
- 10. Логика Формальная логика Силлогизм Операции в логике Закон противоречия Высказывание не может быть одновременно истинным и ложным. Основы формальной и математической логик
- 11. Логика Формальная логика Силлогизм Операции в логике Закон противоречия Закон противоречия запрещает одновременную истинность суждений, одно из которых что-то утверждает, а другое — утверждает обратное. Закон, однако, не запрещает одновременную ложность обоих высказываний. Это не полезно, но и не вредно — оба утверждения (это полезно и это вредно) могут быть ложными одновременно. Основы формальной и математической логик
- 12. Логика Формальная логика Силлогизм Операции в логике Закон исключённого третьего Высказывание либо истинно, либо ложно. Основы формальной и математической логик
- 13. Логика Формальная логика Силлогизм Операции в логике Закон исключённого третьего Формальная логика этим законом требует, чтобы высказывание обязательно было либо истинным, либо ложным. При этом следует различать противоречивые суждения и противоположные. Вася — дурак и Вася — умный — противоположные суждения. Вася — дурак и Вася — не дурак — противоречивые суждения. Среди двух противоречивых утверждений одно обязано быть истинным, а одно — ложным. Основы формальной и математической логик
- 14. Логика Формальная логика Силлогизм Операции в логике Силлогизм Основы формальной и математической логик
- 15. Логика Формальная логика Силлогизм Операции в логике Принцип тождества Основы формальной и математической логик
- 16. Логика Формальная логика Силлогизм Операции в логике Силлогизм Силлогизм — это традиционная логическая аргументация. 1 Все бобры имеют хвост. 2 Вася — бобёр. 3 Следовательно, Вася имеет хвост. Основы формальной и математической логик
- 17. Логика Формальная логика Силлогизм Операции в логике Ошибки: нераспределённый средний термин Все бобры имеют хвост. Все коты имеют хвост. Поэтому все коты — бобры. Неверно, так как существуют коты необязательно должны быть бобрами, так как это нигде не утверждается. Основы формальной и математической логик
- 18. Логика Формальная логика Силлогизм Операции в логике Ошибки: аргумент из заблуждения Все коты — животные. Вася — животное. Следовательно, Вася — кот. Основы формальной и математической логик
- 19. Логика Формальная логика Силлогизм Операции в логике Ошибки в причинно-следственной связи 1 Если маленькие дети спят с включенным светом, то у них часто потом развивается близорукость. 2 Следовательно, сон с включенным светом приводит к близорукости. Фактически, в первом утверждении не сказано ничего о том, именно включенный свет является причиной близорукости. Поэтому силлогизм неверен. На самом деле, близорукость передаётся по наследству, а родители, страдающие близорукостью, чаще оставляют свет включенным ночью. Основы формальной и математической логик
- 20. Логика Формальная логика Силлогизм Операции в логике Фальшивая дилемма 1 Ты за нас или за партию казнокрадов? В данном случае не рассматривается вариант, когда человек может быть против обеих сторон. Аналогичный принцип: солгал в одном — солгал во всём. Основы формальной и математической логик
- 21. Логика Формальная логика Силлогизм Операции в логике Возможные причины 1 Если я очень стараюсь, то добиваюсь успеха. 2 Сегодня я добился успеха. 3 Следовательно, я очень старался. В данном случае предполагается (и напрасно), что успех — результат старания. При этом не указано, что за успех человек получил сегодня (мог ведь, к примеру, выиграть в лотерею). Основы формальной и математической логик
- 22. Логика Формальная логика Силлогизм Операции в логике Отрицание 1 Если я закончу университет, то я получу высокооплачиваемую работу. 2 Поэтому если я не закончу университет, то я не получу высокооплачиваемую работу. Классическая ошибка в отрицании высказывания. Нигде не сказано, что только университет является единственной причиной хорошей работы. Основы формальной и математической логик
- 23. Логика Формальная логика Силлогизм Операции в логике Операции в логике Основы формальной и математической логик
- 24. Логика Формальная логика Силлогизм Операции в логике Операции в логике В логике существуют операции, позволяющие связывать высказывания. Аналогия: сложение, умножение, отрицание. Логическое сложение называется дизъюнкцией (логическое или), логическое умножение — конъюнкцией (логическое и) и отрицание (логическое не). Помимо этих операций есть и другие: импликация — “следовательно”, эквиваленция — “равенство” и другие. Основы формальной и математической логик
- 25. Логика Формальная логика Силлогизм Операции в логике Примеры Конъюнкция (и): Вася — бобёр и Вася строит плотину. Дизъюнкция (или): Вася — бобёр или Вася — журавль. Импликация (следовательно): Вася — бобёр, следовательно, Вася имеет хвост. Эквиваленция (равносильно): Вася — бобёр равносильно тому, что Вася имеет хвост. Основы формальной и математической логик
- 26. Логика Формальная логика Силлогизм Операции в логике Опасное отрицание Все бобры имеют хвост Основы формальной и математической логик
- 27. Логика Формальная логика Силлогизм Операции в логике Отрицание Не все бобры имеют хвост Основы формальной и математической логик
- 28. Логика Формальная логика Силлогизм Операции в логике Итоговые высказывания Как и в случае с математикой, операции соединяют несколько высказываний в одно. В зависимости истинности составных частей и применяемой операции результат может быть разным. Вася — мальчик или Вася — девочка — истинное высказывание, ведь для или достаточно истинности одной из частей. Вася — мальчик и Вася — девочка — ложное высказывание, так как для и необходима истинность всех частей. Основы формальной и математической логик
- 29. Логика Формальная логика Силлогизм Операции в логике Задание Задание. Рассмотрите все возможные варианты из двух высказывание (когда оба истинны, когда оба ложны и по одной истине/лжи) и их соединения с помощью конъюнкции и дизъюнкции. Каков будет результат в каждом из случаев? Приведите пример. Основы формальной и математической логик
- 30. Логика Формальная логика Силлогизм Операции в логике Парадокс брадобрея В некотором городе все мужчины либо бреются сами, либо бреются у единственного в городе брадобрея. В этом же городе есть закон, согласно которому брадобрей бреет только тех людей, кто не бреется сам. Вопрос: бреет ли брадобрей сам себя? Основы формальной и математической логик