суббота 12.04 в 18.00 SmArtMaster - лекции от экспертов.
ВХОД СВОБОДНЫЙ

Наш первый спикер -
ЛЕВ ЛОБСКИЙ, магистр наук в области логики, аспирант Университетского Колледжа Лондона.
ТЕМА: Введение в логику, часть 1: Классическая логика.
Логика - наука о правильном мышлении. Формальная логика, в отличие от неформальной, изучает истинность вывода одного утверждения из другого, зависящую лишь от структуры суждений, невзирая на их содержание или значение. Например, суждение "Все гулики зелёные, и Яшик является гуликом, следовательно Яшик зелёный" истинно - вне зависимости от того, кто такие (или что такое) "гулики" или кто такой (или что такое) "Яшик". Напротив, суждение "Если две картофелины в мешке гнилые, то все картофелины в мешке гнилые" ложно - вне зависимости от того, что такое "картофелина" и что значит "гнилая". Я приглашаю вас кратко ознакомиться с историей логики и современным подходом к формализации доводов и суждений, а также обсудить некоторые философские вопросы, которые поднимает данная формализация.


Наш второй спикер -
ЕКАТЕРИНА ПИОТРОВСКАЯ, магистр наук в области информатики, аспирант Университетского Колледжа Лондона.
ТЕМА: Введение в логику, часть 2: Неклассическая логика.
В логике, вывод - это процесс перехода от определенных предпосылок к неким заключениям. Например, начав с "На улице идёт дождь", мы можем прийти к заключению "Нужно взять с собой зонтик". Вывод называется обоснованным если, начав с истинных предпосылок, он заканчивается истинными суждениями. В таком случае можно сказать, что заключения логически следуют из предпосылок. То, каким именно образом они "логически следуют", диктуется надлежащей логикой. В современной лингвистике, философии и математике чаще всего используется классическая логика. Однако, как мы увидим, у классической логики довольно мало ограничений, из-за чего обоснованные в ней выводы могут казаться нам совершенно "нелогичными". Эту проблему легко решить - достаточно просто ввести те самые ограничения! Именно так подумали учёные в конце ХХ века и представили понятие "субструктурной" логики, о чём и будет данный доклад.


Ждём вас в "Арт-Мастере" (Laikuttajantie 2)
Две лекции, каждая по 20-25 минут плюс вопросы, чай/кофе.
Выходной со смыслом!