М. Пентус, 'Неклассическая математическая логика'

preview_player
Показать описание
Лекция проф. Мати Рейновича Пентуса в Антропологическом Кафе, 12.05.

начали с обсуждения первых задач в презентации.

Лекция посвящена системам неклассической математической логики: модальной логике, интуиционистской, моделям Крипке.
  1. Antropological Cafe
  2. Математика
  3. Логика
  4. Лекция
  5. М. Пентус
  6. Mathematics
Рекомендации по теме
М. Пентус, 'Неклассическая 2:21:33

М. Пентус, 'Неклассическая математическая логика'

Лекция 1. М.Р. 1:32:57

Лекция 1. М.Р. Пентус. Синтаксическое исчисление Ламбека...

М.Р. Пентус. Синтаксическое 1:44:16

М.Р. Пентус. Синтаксическое исчисление Ламбека

Дедуктивные умозаключения. Понятие 0:04:07

Дедуктивные умозаключения. Понятие об умозаключении

Встреча со студентами 1:31:23

Встреча со студентами - Кафедра математической логики и теории алгоритмов (19.03.2021)...

Продуктивная теория абстракции 0:11:30

Продуктивная теория абстракции

Игровая семантика логических 1:50:16

Игровая семантика логических формул при ограничениях на сложность стратегий. С.Соловьев (25.03.2021)...

Введение в неклассические 1:16:50

Введение в неклассические логики, лекция 7. Субструктурные логики...

Гиперграфовые грамматики Ламбека, 1:44:31

Гиперграфовые грамматики Ламбека, часть 2. Тихон Пшеницын (25.02.2021)...

Есть ли логика 0:44:47

Есть ли логика в логике?

Обращение 0:04:55

Обращение

Nuclear implicative semilattices: 1:04:54

Nuclear implicative semilattices: a finitarity result – Silvio Ghilardi (20.05.2021)

ВИА Пентус 0:02:33

ВИА Пентус

Лекция 3. А.В. 2:11:52

Лекция 3. А.В. Комлов, С.П. Суетин. Основы теории аппроксимаций Паде и их обобщений...

Александр Запрягаев // 1:21:36

Александр Запрягаев // Гипотеза Виссера об арифметике Пресбургера (14.02.2020)...

Развенчиваем мифы о 1:19:56

Развенчиваем мифы о науке и философии || Философский стрим...

В.Л.Васюков (ЛогЛинФФ), Кантианские 1:02:31

В.Л.Васюков (ЛогЛинФФ), Кантианские мотивы в интуиционистской логике, ФФ-45...

«Big Data в 1:06:17

«Big Data в политическом анализе» Междисциплинарный семинар...

1# Истина в 0:24:18

1# Истина в Истине Заповеди Законы логики

Семинар «НПММвЯ» памяти 1:40:16

Семинар «НПММвЯ» памяти А. А. Зализняка

Комментарии
Автор

Наличие множества логик – точная калька с притчи о слепых мудрецах (или об исследователях с завязанными глазами), ощупывающих слона. Один мудрец будет кричать о модальной логике, другой – о философской, третий – о трансцедентальной и т.д. – об иллокутивной, непрерывной, неформальной, содержательной и т.п. Однако, всё богатство их плюралистических мнений порождено архаичной, ошибочной аксиоматикой именно классической логики, 23 века назад принятой за неукоснительную научную истину. Просто современная наука ещё не осознала, что у логиков в работе уже новое, современное и правильное (признанное госэкспертами) описание силлогистики. См:

Syllogist