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

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

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

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

Джакомо Андреолетти изучал философию в Миланском государственном университете (Италия). Будучи студентом бакалавриата и магистратуры, он занимался исследованиями в области философии языка, в первую очередь – проблемой сообщений о пропозициональных установках. В мае 2017 г. под руководством д-ра Джулиано Торренго Джакомо защитил докторскую диссертацию по философии и гуманитарным наукам. Затем в качестве приглашённого исследователя Джакомо провёл два месяца в Колумбийском университете (США), работая под руководством профессора Акилле Варци. Диссертационное исследование Джакомо о метафизике времени и фатализме посвящено вопросам, связанным со временем, свободой воли, путешествиями во времени и (не)возможностью изменения прошлого и будущего. Джакомо является членом Центра по изучению философии времени.

Интервью с Джакомо Андреолетти.