• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинары МЛ ЛогЛинФФ

2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012

В международной лаборатории логики, лингвистики и формальной философии действуют три семинара:

Теоретический семинар «Формальная философия»

Научно-исследовательский семинар «From the Logical Point of View»

Научно-учебный семинар «Логическая семантика»

Дата

Докладчики/

Модераторы

 

Тема

Семинар

 

13.01.2023

Э. Дзардини

Paradox and Substructurality

Формальная философия

13.01.2023 В.В.Долгоруков Аксиоматическое построение классической логики высказываний: теорема о дедукции, решение задач Логическая семантика
20.01.2023 А.А. Запрягаев  Интерпретации в слабых арифметических теориях From the Logical Point of View
20.01.2023 В.В.Долгоруков Аксиоматическое построение классической логики высказываний: решение задач Логическая семантика
23.01.2023 В.В.Долгоруков Аксиоматическое построение классической логики высказываний: решение задач Логическая семантика
27.01.2023 М. А. Смирнов Семантика незнания: о некоторых аспектах ситуационной семантики и семантики событий From the Logical Point of View
30.01.2023 В.В. Долгоруков Аксиоматическое построение классической логики высказываний: решение задач Логическая семантика
03.02.2023 В.В. Долгоруков "Структуры знания": альтернативная семантика для эпистемической логики From the Logical Point of View
06.02.2023 В.В. Долгоруков Аксиоматическое построение классической логики высказываний: решение задач Логическая семантика

10.02.2023

А.В. Кудинов Логика пространств подмножеств с публичными высказываниями Формальная философия
13.02.2023 В.В. Долгоруков Теорема об эквивалентной замене Логическая семантика
17.02.2023 И. Никитина Формальные теории коллективной ответственности в stit-моделях и деонтических играх From the Logical Point of View
20.02.2023 В.В. Долгоруков Теорема о полноте для пропозициональной логики (часть 1) Логическая семантика
03.03.2023 А.А. Оноприенко Совместная логика задач и высказываний Формальная философия
06.03.2023 И. Пыльцын Метод математической индукции и его применение Логическая семантика
10.03.2023

Е. Н. Лисанюк,
А. С. Боброва,
Г. В.Карпов,
И. Б. Микиртумов,
К. Г. Фролов

Презентация книги «Формальная философия аргументации» Формальная философия
13.03.2023 В.В. Долгоруков Теорема о полноте для пропозициональной логики (часть 2) Логическая семантика
17.03.2023 Д. Васильев  Формальная семантика падежных форм в русском языке From the Logical Point of View

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.