• 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

24.03.2023 Е.Л. Попова  Ридинг-семинар по статье Лаури Карттунена «Presuppositions of Compound Sentences» From the Logical Point of View
07.04.2023 И. Никитина Алгоритм Гейла-Шепли: стабильность брака и поступление в колледж From the Logical Point of View
14.04.2023 Т. Пшеницын  Фокус в естественных языках и исчисление Ламбека From the Logical Point of View
28.04.2023 К.В. Шишов Логика и “строительные леса” мира: философские поиски Е.Д. Смирновой и В.А. Смирнова From the Logical Point of View
12.05.2023 С.Л. Кузнецов Категориальные грамматики Ламбека (часть 1) Формальная философия
19.05.2023 С.Л. Кузнецов Категориальные грамматики Ламбека (часть 2) Формальная философия
16.06.2023 Д.Н. Федянин Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов From the Logical Point of View
15.09.2023 Н.А. Зевахина Избыточная спецификация количества и цвета в референциальный коммуникации From the Logical Point of View

 

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