Н. Н. Непейвода предоставляет коллегам возможность в течение учебного года прослушать и обсудить цикл лекций «Прикладная логика».
- История логики
- Формализация и деформализация. Высказывания и квазивысказывания. Преобразования высказываний.
- Различные интерпретации логики. Истинность, возможные миры, реализуемость.
- Идеальные объекты. Парадокс изобретателя. Теореме Геделя. Иерархия знаний и умений.
- Неформализуемость и концептуальные противоречия.
- Логика и информатика, логика и психология, логика и лингвистика.
Лекции состоятся 5, 12, 19, 26 ноября с 18.00 ч. до 20.50 ч. в конференц-зале УдГУ (1 корп., к. 003).
Возможно изменение тематики и порядка лекции (по усмотрению Н. Н. Непейводы).