почему Шульман слаба на логику? +
Пост больше о том, почему в постсовке гуманитарии слабы на логику. Не только Шульман. Шульман мне просто под руку попалась и я её много разбирал, чтоб разбираться в её косяках. А так пример на видео, английского гуманитарного образования - в рамках философии разбирают модальную логику, которую в постсовке скорее будут разбирать на курсе мат.логики для программистов и математиков, а никак не для гуманитариев. Подозреваю, что у Маргинала в UCLA было что-то подобное, только он плохо учился и застрял на классической логике, а модальная ему "не нравилась" (он не понимал, где и как её применить).
В Яндекс-браузере можно включить синхронный перевод на русский и слушать на русском:
https://www.youtube.com/watch?v=zvIlicepUBE&list=PLwSlKSRwxX0qXTZKnIT7l4_YAIWpJcZJ9&index=5
15:33
How to Build Models for Modal Logic | Logic Tutorial | Attic Philosophy
Attic Philosophy, 2 тыщ просмотров, 30 янв. 2021 г. What is Logic? - 10 тыс. подписчиков
[Spoiler (click to open)]
Modal logic is all about relational models, in which possible worlds are related together in order to say which are possible relative to which. In this video, we'll find out how to build models which make a sentence true, and how to construct counter-models to a given argument in modal logic.
00:00 - Intro
00:53 - Relational Structures
02:31 - The Connectives
03:00 - Box and Diamond
03:33 - Models
04:48 - The Accessibility Relation
05:41 - Truth in a Model
08:46 - Entailment
10:04 - Validity
10:39 - The Necessitation Principle
12:57 - The Distribution Principle
14:40 - Wrap-up
If there’s a topic you’d like to see covered, leave me a comment below.
Links:
My academic philosophy page: http://markjago.net
My book What Truth Is: http://bit.ly/JagoTruth
Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago
Может быть, ошибаюсь и сейчас что-то изменилось в высшем гуманитарном образовании РФ? Как минимум на сайте Института Философии РАН довольно хороший словарь терминологии к подобной логике (как минимум одна статья, которую я посмотрел - по сравнению с Википедией она очень хорошая).
Моя мысль тут такая - что в постсовке (в РФ в т.ч.) в гуманитарном образовании больше идут не от логики, которая общая для всех и всех уравнивающая (можно поспекулировать: что это уравнивание позиций даёт шанс демократии - у англосаксов), а от авторитетов (продолжив спекуляцию: утверждает поклонение авторитетам и авторитатизм). Например, та же Шульман со своими "Отцами" (рубрика в Статусе) - она в политологии творит кумиров для своей аудитории. От того, что эти Отцы умнее Путина - они не перестают быть при такой подаче ЕШ кумирами, авторитетами, кого надо беспрекословно слушаться. Чего я как "природный демократ" не принимаю и жажду поспорить и с Отцами. А вот с логикой у Шульман проблема. Она настолько в ней не разбирается, что лепит очень грубые ошибки - когда путает контекст применимости тех или иных терминов и моделей реальности, смешивает их в одну кучу и в упор не замечает возникающих противоречий, потому что Отцы Заповедали Истину!
А у либерды мозгами пожиже вообще отсутствует всякое понимание о логике. Для них вообще всё состоит из аксиом, которые выдают в Вашингтонском обкоме (откуда идёт мессианская пропаганда "демократии" и "прогрессизма"). Противоречий такой аксиоматики они не видят, потому что не умеют делать логических выводов и доходить до противоречий.
+) Сравнение. [Spoiler (click to open)]
Для сравнения приведу подачу примерно того же материала, но в других странах, для другой целевой аудитории, с другой подачей.
+а) РФ. Мехмат МГУ (не для гуманитариев). Курс лекций Плиске - автора учебника по интуиционистской логике (скачать).
[Spoiler (click to open)]Преподаватель, может быть, уважаемый, но старенький, говорит тихо и часто в сторону от камеры, петличку ему прицепить не догадались. Кроме того - в некоторых сложных местах, где неподготовленный мозг врывается от непонимания - не даёт примеров для понимания, не проясняет все шаги из его же иллюстраций. И при этом - это всё даётся не гуманитариям, а математикам. Можно сказать, что не будь ковида - никто бы не заморочился с записыванием таких лекций, так что хорошо, что хоть что-то как-то записали. Но даже не в записи, а живьём - как мне представляется, это всё скучно и непонятно. Никаких "отступов в жизнь", чтоб понимать, где и как это работает. Ну или хотя бы с чем это ассоциировать. Мне от лекций ещё в студенчестве было интересно именно то, чего нет в учебнике.
https://www.youtube.com/watch?v=XzuRPJiAlvk&list=PL1JJ1jVZ9z5DDAlZoGofx6mZ1roIHGI0L&index=13
13:07
12 Модели Крипке
Vanechki: математика, биология и многое другое, 0,4 тыщи просмотров, 4 нояб. 2018 - 13,3 тыс. подписчиков
[Spoiler (click to open)]МЕХАНИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ МГУ
Избранный плейлист
17 видео
Конструктивная логика. Плиско
+б) ПостНаука. Научпоп ролик с академиком РАН Беклемишевым - про аксиоматический метод, [Spoiler (click to open)]что это, история, надежды и неудачи, теорема Гёделя о неполноте, формальные системы, компьютерные языки.
Очень хороший ролик, который в кратком виде перечисляет самое важно, что нужно знать по этой теме. Но, подозреваю, что, чтоб понимать сказанное - надо углубляться в подробности. Чем я сейчас и занимаюсь. Как введение в тему - не уверен, что поможет, но как подведение итога и напоминание основных моментов - очхорошо.
https://www.youtube.com/watch?v=QfDtuDjDHG8
10:55
Беклемишев Лев - Аксиоматический метод
ПостНаука, 8 тыщ просмотров, 4 июн. 2013 - 1,3 млн подписчиков
ПостНаука - http://postnauka.ru
+в) ещё в РФ есть такой формат: летние школы. Беклемишев с лекцией про основания математики и с ответами на вопросы на свежем воздухе. [Spoiler (click to open)]Петличку лектору пристегнули - потому его на видео слышно. Лекция не формальная, а больше дилетантское философствование математика про матеиматику. В РФ у философов с логикой, видимо, большие проблемы. Философствовать приходится спецам-предметникам, т.к. философы ни в чём не разбираются.
===
https://www.mathnet.ru/conf2045
Летняя школа «Современная математика» имени Виталия Арнольда, 2022
(19-30 июля 2022 г., Московская область, г. Дубна, дом отдыха «Ратмино»)
===
https://www.youtube.com/playlist?list=PLUbD59ZHv1GQMe1eIItfSY84udVSvX1L5
плейлист, 93 видео
2022 г. Летняя школа «Современная математика» имени Виталия Арнольда, г. Дубна
МЦМУ МИАН
===
https://www.youtube.com/watch?v=kX_wqLMb660
1:32:20
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1
МЦМУ МИАН, 12 тыщ просмотров, 29 авг. 2022 - 7,03 тыс. подписчиков
Летняя школа «Современная математика» имени Виталия Арнольда, 2022
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1
26 июля 2022 г. 18:45-20:00, Московская область, г. Дубна, дом отдыха «Ратмино»
https://www.youtube.com/watch?v=Qyee_ZgxT4U
2:01:02
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 2
МЦМУ МИАН, 5 тыщ просмотров, 29 авг. 2022 - 7,03 тыс. подписчиков
Летняя школа «Современная математика» имени Виталия Арнольда, 2022
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 2
27 июля 2022 г. 18:45-20:00, Московская область, г. Дубна, дом отдыха «Ратмино»
+г) индусы - 2 вида лекций: с мелом и доской, с презентацией. [Spoiler (click to open)]Если что - Яндекс-браузер переведёт речь на русский.
https://www.youtube.com/watch?v=8o5LndVL7tQ&list=PLPHX0JKJbx2aNMH41OWPhLoVfyBQ6JAu9&index=22
29:11
Kripke Semantics for Modal Logic : Examples
Basic Concepts of Modal Logic, 2 тыщ просмотров, 11 авг. 2016 - 260 подписчиков
https://www.youtube.com/watch?v=qWHuyudzm9I&list=PLyqSpQzTE6M-t-Qr2Z0Gf_KP5RC97uOKC&index=106&pp=iAQB
23:55
Kripke Structures: Possible Worlds Semantics
NPTEL-NOC IITM, 1 тыщ просмотров, 27 апр. 2022 - 385 тыс. подписчиков
[Spoiler (click to open)]
Artificial Intelligence:Knowledge Representation and Reasoning
Kripke Structures: Possible Worlds Semantics
Prof. Deepak Khemani,
Department of Computer Science & Engineering,
Indian Institute of Technology Madras,
Artificial Intelligence:Knowledge Representation and Reasoning
В Яндекс-браузере можно включить синхронный перевод на русский и слушать на русском:
https://www.youtube.com/watch?v=zvIlicepUBE&list=PLwSlKSRwxX0qXTZKnIT7l4_YAIWpJcZJ9&index=5
15:33
How to Build Models for Modal Logic | Logic Tutorial | Attic Philosophy
Attic Philosophy, 2 тыщ просмотров, 30 янв. 2021 г. What is Logic? - 10 тыс. подписчиков
[Spoiler (click to open)]
Modal logic is all about relational models, in which possible worlds are related together in order to say which are possible relative to which. In this video, we'll find out how to build models which make a sentence true, and how to construct counter-models to a given argument in modal logic.
00:00 - Intro
00:53 - Relational Structures
02:31 - The Connectives
03:00 - Box and Diamond
03:33 - Models
04:48 - The Accessibility Relation
05:41 - Truth in a Model
08:46 - Entailment
10:04 - Validity
10:39 - The Necessitation Principle
12:57 - The Distribution Principle
14:40 - Wrap-up
If there’s a topic you’d like to see covered, leave me a comment below.
Links:
My academic philosophy page: http://markjago.net
My book What Truth Is: http://bit.ly/JagoTruth
Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago
Может быть, ошибаюсь и сейчас что-то изменилось в высшем гуманитарном образовании РФ? Как минимум на сайте Института Философии РАН довольно хороший словарь терминологии к подобной логике (как минимум одна статья, которую я посмотрел - по сравнению с Википедией она очень хорошая).
Моя мысль тут такая - что в постсовке (в РФ в т.ч.) в гуманитарном образовании больше идут не от логики, которая общая для всех и всех уравнивающая (можно поспекулировать: что это уравнивание позиций даёт шанс демократии - у англосаксов), а от авторитетов (продолжив спекуляцию: утверждает поклонение авторитетам и авторитатизм). Например, та же Шульман со своими "Отцами" (рубрика в Статусе) - она в политологии творит кумиров для своей аудитории. От того, что эти Отцы умнее Путина - они не перестают быть при такой подаче ЕШ кумирами, авторитетами, кого надо беспрекословно слушаться. Чего я как "природный демократ" не принимаю и жажду поспорить и с Отцами. А вот с логикой у Шульман проблема. Она настолько в ней не разбирается, что лепит очень грубые ошибки - когда путает контекст применимости тех или иных терминов и моделей реальности, смешивает их в одну кучу и в упор не замечает возникающих противоречий, потому что Отцы Заповедали Истину!
А у либерды мозгами пожиже вообще отсутствует всякое понимание о логике. Для них вообще всё состоит из аксиом, которые выдают в Вашингтонском обкоме (откуда идёт мессианская пропаганда "демократии" и "прогрессизма"). Противоречий такой аксиоматики они не видят, потому что не умеют делать логических выводов и доходить до противоречий.
+) Сравнение. [Spoiler (click to open)]
Для сравнения приведу подачу примерно того же материала, но в других странах, для другой целевой аудитории, с другой подачей.
+а) РФ. Мехмат МГУ (не для гуманитариев). Курс лекций Плиске - автора учебника по интуиционистской логике (скачать).
[Spoiler (click to open)]Преподаватель, может быть, уважаемый, но старенький, говорит тихо и часто в сторону от камеры, петличку ему прицепить не догадались. Кроме того - в некоторых сложных местах, где неподготовленный мозг врывается от непонимания - не даёт примеров для понимания, не проясняет все шаги из его же иллюстраций. И при этом - это всё даётся не гуманитариям, а математикам. Можно сказать, что не будь ковида - никто бы не заморочился с записыванием таких лекций, так что хорошо, что хоть что-то как-то записали. Но даже не в записи, а живьём - как мне представляется, это всё скучно и непонятно. Никаких "отступов в жизнь", чтоб понимать, где и как это работает. Ну или хотя бы с чем это ассоциировать. Мне от лекций ещё в студенчестве было интересно именно то, чего нет в учебнике.
https://www.youtube.com/watch?v=XzuRPJiAlvk&list=PL1JJ1jVZ9z5DDAlZoGofx6mZ1roIHGI0L&index=13
13:07
12 Модели Крипке
Vanechki: математика, биология и многое другое, 0,4 тыщи просмотров, 4 нояб. 2018 - 13,3 тыс. подписчиков
[Spoiler (click to open)]МЕХАНИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ МГУ
Избранный плейлист
17 видео
Конструктивная логика. Плиско
+б) ПостНаука. Научпоп ролик с академиком РАН Беклемишевым - про аксиоматический метод, [Spoiler (click to open)]что это, история, надежды и неудачи, теорема Гёделя о неполноте, формальные системы, компьютерные языки.
Очень хороший ролик, который в кратком виде перечисляет самое важно, что нужно знать по этой теме. Но, подозреваю, что, чтоб понимать сказанное - надо углубляться в подробности. Чем я сейчас и занимаюсь. Как введение в тему - не уверен, что поможет, но как подведение итога и напоминание основных моментов - очхорошо.
https://www.youtube.com/watch?v=QfDtuDjDHG8
10:55
Беклемишев Лев - Аксиоматический метод
ПостНаука, 8 тыщ просмотров, 4 июн. 2013 - 1,3 млн подписчиков
ПостНаука - http://postnauka.ru
+в) ещё в РФ есть такой формат: летние школы. Беклемишев с лекцией про основания математики и с ответами на вопросы на свежем воздухе. [Spoiler (click to open)]Петличку лектору пристегнули - потому его на видео слышно. Лекция не формальная, а больше дилетантское философствование математика про матеиматику. В РФ у философов с логикой, видимо, большие проблемы. Философствовать приходится спецам-предметникам, т.к. философы ни в чём не разбираются.
===
https://www.mathnet.ru/conf2045
Летняя школа «Современная математика» имени Виталия Арнольда, 2022
(19-30 июля 2022 г., Московская область, г. Дубна, дом отдыха «Ратмино»)
===
https://www.youtube.com/playlist?list=PLUbD59ZHv1GQMe1eIItfSY84udVSvX1L5
плейлист, 93 видео
2022 г. Летняя школа «Современная математика» имени Виталия Арнольда, г. Дубна
МЦМУ МИАН
===
https://www.youtube.com/watch?v=kX_wqLMb660
1:32:20
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1
МЦМУ МИАН, 12 тыщ просмотров, 29 авг. 2022 - 7,03 тыс. подписчиков
Летняя школа «Современная математика» имени Виталия Арнольда, 2022
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1
26 июля 2022 г. 18:45-20:00, Московская область, г. Дубна, дом отдыха «Ратмино»
https://www.youtube.com/watch?v=Qyee_ZgxT4U
2:01:02
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 2
МЦМУ МИАН, 5 тыщ просмотров, 29 авг. 2022 - 7,03 тыс. подписчиков
Летняя школа «Современная математика» имени Виталия Арнольда, 2022
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 2
27 июля 2022 г. 18:45-20:00, Московская область, г. Дубна, дом отдыха «Ратмино»
+г) индусы - 2 вида лекций: с мелом и доской, с презентацией. [Spoiler (click to open)]Если что - Яндекс-браузер переведёт речь на русский.
https://www.youtube.com/watch?v=8o5LndVL7tQ&list=PLPHX0JKJbx2aNMH41OWPhLoVfyBQ6JAu9&index=22
29:11
Kripke Semantics for Modal Logic : Examples
Basic Concepts of Modal Logic, 2 тыщ просмотров, 11 авг. 2016 - 260 подписчиков
https://www.youtube.com/watch?v=qWHuyudzm9I&list=PLyqSpQzTE6M-t-Qr2Z0Gf_KP5RC97uOKC&index=106&pp=iAQB
23:55
Kripke Structures: Possible Worlds Semantics
NPTEL-NOC IITM, 1 тыщ просмотров, 27 апр. 2022 - 385 тыс. подписчиков
[Spoiler (click to open)]
Artificial Intelligence:Knowledge Representation and Reasoning
Kripke Structures: Possible Worlds Semantics
Prof. Deepak Khemani,
Department of Computer Science & Engineering,
Indian Institute of Technology Madras,
Artificial Intelligence:Knowledge Representation and Reasoning