Наши коллеги из Международной лаборатории логики, лингвистики и формальной философии ВШЭ уже в 7-ой раз организуют замечательную Международную конференцию «Формальная философия 2024». В этом году она пройдёт 7-9 ноября, сбор заявок открыт до 30 октября. Планируются интересные приглашённые докладчики и постерная секция. Ознакомиться с подробной информацией можно в анонсе конференции на сайте ВШЭ, там же размещена ссылка на форму регистрации.
Логика принимает множество форм, от формальной до символической. Что такое логика и существует ли определение, которое охватывает все её формы? Логика определяется как система, направленная на получение разумных выводов на основе имеющейся информации. Это означает, что целью логики является использование данных для создания выводов. Например, если человек вошёл в комнату и увидел детей, держащих в руках фломастеры, а затем увидел каракули на всех стенах, логика подсказала бы, что на основании представленной информации дети рисовали фломастерами на стенах...