Comments by "Владислав Масликов" (@Syllogist) on "МЦМУ МИАН" channel.

  1. Вопрос № 1 «НА ЗАСЫПКУ» ПРЕПОДАВАТЕЛЮ ЛОГИКИ (Отрицание, частица «НЕ»): https://youtu.be/YGoRqLZUBLE
    1
  2. 07-10. ЛОГИЧЕСКАЯ СПЕЦОПЕРАЦИЯ-2: ПРЕДИКАТЫ и КВАНТОРЫ - их диаграммы и формулы: https://youtu.be/DaGxSQW_wj0 Ну и немного о множествах в виде описания силлогизмов: 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ – 3 / «SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics – 3»: https://youtu.be/w1Lm4OCoMdU :-)
    1
  3. По интуиционистской логике... Запишем (c учётом символьных ограничений для комментариев) представленную на доске формулу как [НЕ-Ф = (Ф --> Ложь)] т.е. (1:02:20 «В данном случае отрицание можно выразить через импликацию и ложь...) ВОПРОС: В этой формуле используется только ОДНА логическая переменная (Ф), но ведь операция импликации подразумевает обязательное наличие ДВУХ логических переменных (известно, что Ф --> A = Ф’+A). Где же в этой формуле скрыта вторая переменная (A) в приведённой на доске формуле? Неужели её место занимает константа «ложь»? Ведь если Ф=0, то формула [НЕ-Фи = (Фи --> Ложь)] = [1 = 0+Ложь] А если Ф=1, то [НЕ-Фи = (Фи --> Ложь)] = [0 = 1+Ложь] То же самое и с формулой (1:03:50 «[Истина» = «Ложь --> «Ложь»] ...«это допустимо»...). Можно ли связывать ДВЕ ОДИНАКОВЫЕ КОНСТАНТЫ импликативным отношением, однозначно подразумевающем ДВЕ РАЗЛИЧНЫЕ ПЕРЕМЕННЫЕ? Здесь всё логически обосновано? Или то, что (0=1) = (1=0) просто отражает тот научно обоснованный факт, что 01:05:08 «Интуционистские формулы могут пониматься в разной семантике по-разному...»? :-)
    1
  4.  @tensorix  Да, в самом деле... О какой логике можно вести речь, если в ней что-то неизвестно или не определено, или в ней просто «нет эквивалентности»? Тогда это - только гипотеза, требующая однозначно логичного доказательства :-). Л.Д., несомненно, прекрасно понимает это, потому очень осторожен и максимально точен в формулировках. :-)
    1
  5. Да, по сравнению с многострочным, но убедительным доказательством (23:10-27:00) первого упражнения, любое традиционное доказательство ([где, например, можно обозначить переменные x – пси, y – фи] вроде x>y = x’+y = y+x’ = y’>x’) выглядит, действительно, менее академично... Большой же плюс модели Крипке состоит в том, что она способна весьма точно представить процессы взаимодействия членов плюралистического общества, каждый из которых характеризуется своим, персональным набором истинных заблуждений (миров). При этом конструкты интуиционистской логики высказываний легко позволяют просчитать будущее мнение (принятие или непринятие точки зрения, научной гипотезы и т.п.) любого члена этого общества. Это - очень удобная схема достаточно точного просчёта, например, результатов голосования членов различных комиссий и даже принятия электоратом конкретных предвыборных обещаний кандидатов. Здесь пока есть только один недостаток – трудоёмкость сбора исходной информации, содержащаяся в головках голосующих членов... Но можно не сомневаться, что в наш цифровой век и этот недостаток очень скоро будет успешно преодолён :-).
    1
  6.  @deminidze  Давать самому себе оценки - дело пустое... Но интересно, какую-бы Вы дали оценку для универсумной логики, хотя бы в разделе силлогистики... Подробнее - см. например, тут: 1) Расчёт силлогизмов модусов ААА, AAI (All-All…) /РАЗГАДКА «Бермyдских треугoльников» ЛОГИКИ – 1 / Сalculation of syllogisms of modes AAA, AAI (All-All...) / SOLVING THE "Bermuda Triangles" OF LOGIC – 1 https://youtu.be/NMDlodgZYfc 2) 09-02. Расчёт силлогизмов модусов АIх, AOx, IAx, OAx… / РАЗГАДКА «Бермyдских треугoльников» ЛОГИКИ-2 / Calculation of syllogisms of modes АIх, AOx, IAx, OAx... / SOLVING THE "Bermuda Triangles" OF LOGIC-2: https://youtu.be/9-aWMfCIgk4 3) 09-03. Расчёт силлогизмов модусов AEE, EАE, EAO, EEE… / РАЗГАДКА «Бермyдских треугoльников» ЛОГИКИ-3 / Calculation of syllogisms of modes AEE, EАE, EAO, EEE... / SOLVING THE "Bermuda Triangles" OF LOGIC-3: https://youtu.be/E0-41sQwqjY 4) 09-04. Расчёт силлогизмов модусов EIx, IEx, EOx… / РАЗГАДКА «Бермyдских треугoльников» ЛОГИКИ-4 / Calculation of syllogisms of modes EIx, IEx, EOx... / SOLVING THE "Bermuda Triangles" OF LOGIC-4: https://youtu.be/9EaQ1O0puho 5) 09-05. Расчёт силлогизмов модусов IIx, IOx, OIx… / РАЗГАДКА «Бермyдских треугoльников» ЛОГИКИ-5 / Calculation of syllogisms of modes IIx, IOx, OIx... / SOLVING THE "Bermuda Triangles" OF LOGIC-5: https://youtu.be/UGXT1CZok8c Итак, Ваша оценка?
    1