Формальная логика

Джакомо Андреолетти

Формальная логика
  • Метафизика времени
  • Свобода воли
  • Путешествие во времени
  • Случайностные события
  • Фатализм

    Логика состоит в последовательном рассуждении. Мы все рассуждаем. Рассуждаем, когда пытаемся принять решение или когда изучаем что-либо, будь то математика, законодательство, философия или любая другая научная дисциплина. Логика помогает  понять, какое рассуждение убедительно, а какое – нет. Большинство из нас уже умеют грамотно рассуждать в различных ситуациях, хотя и не изучали логику. Тем не менее, изучение логики совершенствует наше врождённое умение рассуждать, что особенно полезно в случаях, когда в процессе рассуждений мы сталкиваемся с абстрактными и каверзными вопросами.

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

    Джакомо Андреолетти — узнать больше