Содержание
- 2. ЗНАЧЕНИЕ И ПРИМЕНЕНИЕ ТЕРМИНА «ЛОГИКА» Термин «Логика» (от греч. logos – «слово», «мысль», «разум», «закономерность») используется:
- 3. В истории логики выделяют два основных этапа: древнегреческая логика – вторая половина XIX в. (традиционная логика);
- 4. Древнегреческая логика: Демокрит, Сократ, Платон, Аристотель. Изложение логики Аристотеля включает в себя: - понятие; - суждение;
- 5. I этап - традиционная логика. Представители: Кант; Лейбниц. Кант (немецкий философ) утверждал, что логика – завершенная
- 6. МАТЕМАТИЧЕСКАЯ ПОСТАНОВКА ЗАДАЧИ ПО ЛЕЙБНИЦУ Возьмем категорический силлогизм: +70, -33 +10, -3 всякий мудрый есть благочестивый
- 7. ДОКАЗАТЕЛЬСТВО ИСТИННОСТИ Истинность общеутвердительного суждения «Все S есть P» (первая посылка) выражается тем, что 1) обе
- 8. Чтобы воспользоваться исчислением Лейбница, люди должны были свое рассуждение облечь в форму силлогизма и посмотреть, правильный
- 9. II ЭТАП РАЗВИТИЯ ЛОГИКИ Логицизм – идея сведения всей чистой математики и логики. Основоположники логицизма: Фреге
- 10. ИСТОРИЯ ВОЗНИКНОВЕНИЯ ЛОГИКИ Россия XIX – XX вв.: господствует «академическая логика» - основатель Порецкий.
- 11. ИСТОРИЯ ВОЗНИКНОВЕНИЯ ЛОГИКИ Конструктивная логика считает не правомерным перенос ряда логических принципов, применяемых в рассуждениях о
- 12. П.Эренфест (русский физик) первым высказал гипотезу о возможности применения современной логики в технике: «Символическая формулировка дает
- 13. Математическая логика – наука, занимающаяся исследованием правильных способов рассуждения, использующая при этом математические методы. Характерная черта
- 14. СВЯЗЬ СОВРЕМЕННОЙ ЛОГИКИ С ДРУГИМИ НАУКАМИ С момента возникновения логика была тесно связана с философией и
- 15. СВЯЗЬ СОВРЕМЕННОЙ ЛОГИКИ С ДРУГИМИ НАУКАМИ Мат. логика связана с кибернетикой – наукой о закономерностях управления
- 16. С логикой связана теория алгоритмов. Понятие алгоритма введено Лейбницем, развивает его Чёрч, в 1936 г. показавший,
- 17. РАЗДЕЛЫ СОВРЕМЕННОЙ МАТЕМАТИЧЕСКОЙ ЛОГИКИ теория множеств; теория рекурсии; теория доказательств; теория моделей.
- 18. Теория доказательств – изучение синтаксического понятия доказательства в тех или иных исчислениях. Теория моделей – семантическое
- 19. НАПРАВЛЕНИЯ РАЗВИТИЯ СОВРЕМЕННОЙ ЛОГИКИ
- 21. Скачать презентацию