XX2 ВЕК
XX2 ВЕК
  • 118
  • 1 210 051
Безупречная логика при помощи Фотошопа
Вторая передача рассказывает о методе логического анализа, под условным названием «безупречная логика». Однако в этот раз тот же алгоритм применяется в графическом редакторе, а не в электронных таблицах.
Для понимания происходящего настоятельно рекомендуется посмотреть первую часть:
ua-cam.com/video/gZNhQsGSM0o/v-deo.html
Переглядів: 551

Відео

Безупречная логика при помощи электронных таблиц
Переглядів 1,4 тис.2 місяці тому
Передача рассказывает о методе логического анализа, который не требует прочтения двухсотраничных «введений в формальную логику», запоминания целой кучи терминов и частных случаев, и месяцев тренировки. Вместо этого при помощи любого аналога Экселя, ознакомившись в весьма лаконичными «правилами игры» менее чем за час, вы можете получать полный набор выводов из любого набора предпосылок - по край...
Как управлять синтезаторами 3: Частотные модуляции, шумы и спецэффекты
Переглядів 2334 місяці тому
Данное видео повествует о том, как добиваться от синтезаторов музыкальных и не очень музыкальных звуков. Его целевая аудитория - люди с нулевым или малым опытом в музыке и синтезе звука, однако интересующиеся технической стороной данного вопроса. Третья часть описывает последнюю порцию наиболее частых приёмов синтеза звука: модуляция одного осциллятора другим, использование шумов в синтезе и та...
Как управлять синтезаторами 2: Более хитрые осцилляторы
Переглядів 5555 місяців тому
Данное видео повествует о том, как добиваться от синтезаторов музыкальных и не очень музыкальных звуков. Его целевая аудитория - люди с нулевым или малым опытом в музыке и синтезе звука, однако интересующиеся технической стороной данного вопроса. Вторая часть описывает более нетривиальные версии осцилляторов, нежели условно «аналоговые» - волновые таблицы, сэмплы, гранулярный синтез и осциллято...
Как управлять синтезаторами 1: Классический набор
Переглядів 7206 місяців тому
Данное видео повествует о том, как добиваться от синтезаторов музыкальных и не очень музыкальных звуков. Его целевая аудитория - люди с нулевым или малым опытом в музыке и синтезе звука, однако интересующиеся технической стороной данного вопроса. Первая часть описывает исторически самый старый набор элементов управления, который, впрочем, не потерял актуальность до сих пор.
Владимир Фридман: Урбанизация диких видов
Переглядів 1,6 тис.3 роки тому
Действительно ли рост городов только вредит животному миру? Правда ли, что лишь некоторые виды диких животных способны, подобно людям, жить в городах? Чем одомашнивание похоже на урбанизацию и чем отличается?
Борис Юлин и Лекс Кравецкий: Что преподавать в школе и как это правильно делать
Переглядів 1,4 тис.3 роки тому
В чём проблема со школьными учебниками и как её исправить? Чем в современности следует заменить бумажные учебники и школьные доски? Как модифицировать набор школьных предметов и сами предметы? В чём разница между заучиванием фактов по «традиционной» программе и кругозором? В чём вообще смысл образования?
Краткий дайджест новостей от ‎‎‎«XX2 века» и SberDevices. Выпуск 20.12.2020
Переглядів 6923 роки тому
Подробнее: Центр вирусологии «Вектор» заявил об эффективности своей вакцины против ВИЧ - 22century.ru/medicine-and-health/94214 Телепортационные системы для квантового интернета - journals.aps.org/prxquantum/abstract/10.1103/PRXQuantum.1.020317 Китайский космический аппарат «Чанъэ-5» доставил на Землю образцы пород с Луны - 22century.ru/space/94074
Дайджест научных новостей. Выпуск 06.12.2020
Переглядів 4523 роки тому
Подробнее: Здесь можно пообщаться с ruGPT-3 - sbercloud.ru/ru/warp/gpt-3 Пара слов об AlphaFold2 - 22century.ru/popular-science-publications/couple-of-words-on-alphafold2 Японский космический аппарат «Хаябуса-2» доставил на Землю образцы пород с астероида - 22century.ru/space/93705
Дайджест 26 ноября 2020 года. Космические новости
Переглядів 3713 роки тому
Подробности: Rocket Lab вернула первую ступень с парашютом www.gazeta.ru/science/2020/11/25_a_13374481.shtml SpaceX вывела на орбиту спутник Sentinel-6 для наблюдения за океаном 22century.ru/space/93344 Доставка грунта с Луны: всё о миссии Chang’e-5 22century.ru/popular-science-publications/chang-e-5-moon-sample-return-mission
Дайджест. Слух. Осязание. Обоняние.
Переглядів 3513 роки тому
Подробнее: Аудиоустройство посылает звук точно в ваши уши без наушников 22century.ru/gizmos/93237 Умная скатерть распознаёт поставленные на неё предметы 22century.ru/lebensformen/92931 «Электронный нос» на базе искусственного интеллекта распознаёт свежесть мяса 22century.ru/chemistry-physics-matter/93230
Дайджест. Генетические исследования
Переглядів 4323 роки тому
Подробнее: Денисовцы населяли Тибет в течение 100 тысяч лет - 22century.ru/popular-science-publications/the-first-denisovan-dna-outside-siberia Они повсюду. Тысячи новых видов бактерий и архей - 22century.ru/biology-and-biotechnology/93059 Полногеномный синтез и перспективы клеточной инженерии - www.scientificamerican.com/article/whole-genome-synthesis-will-transform-cell-engineering/
Дайджест новостей науки
Переглядів 4893 роки тому
Подробнее: одинокая планета - 22century.ru/space/92863 ИИ и ковидный кашель - 22century.ru/medicine-and-health/92913 «Почётный академик ВРАЛ» - 22century.ru/society/92834
Дайджест за 28.10.2020. Автономное движение
Переглядів 3043 роки тому
Более подробно: Автономный транспорт в Великобритании. Планы на год вперёд и на две пятилетки - 22century.ru/transportation/92479 Сама организация Zenzic - zenzic.io/ Яндекс-доставка роботами - 22century.ru/commerce/92505 По территории Первой градской больницы им. Н.И. Пирогова грузы будет доставлять беспилотник - t.me/DtRoad/4796.
Микродайджест новостей науки за 21 октября 2020 года
Переглядів 3683 роки тому
Подробнее о перечисленных в дайджесте событиях можно почитать на сайте: Учёные заставили спинной мозг взрослого млекопитающего регенерировать без трансплантации донорских клеток - 22century.ru/biology-and-biotechnology/92013 Новые модели глубокого обучения: меньше нейронов, высокая эффективность, интерпретируемость - 22century.ru/transportation/92335 Сверхпроводимость при комнатной температуре ...
Дайджест с виртуальной ведущей. Итоги Нобелевской недели
Переглядів 4273 роки тому
Дайджест с виртуальной ведущей. Итоги Нобелевской недели
Краткий дайджест новостей науки от ‎‎‎«XX2 века» и SberDevices. Выпуск 07.10.2020
Переглядів 4333 роки тому
Краткий дайджест новостей науки от ‎‎‎«XX2 века» и SberDevices. Выпуск 07.10.2020
Дайджест новостей науки от XX2 ВЕКА и SberDevices с виртуальной ведущей Еленой. Выпуск 30.09.2020
Переглядів 4613 роки тому
Дайджест новостей науки от XX2 ВЕКА и SberDevices с виртуальной ведущей Еленой. Выпуск 30.09.2020
Краткий дайджест новостей науки от XX2 века и SberDevices. Выпуск 23.09.2020
Переглядів 5343 роки тому
Краткий дайджест новостей науки от XX2 века и SberDevices. Выпуск 23.09.2020
Новости науки с «‎XX2 веком» и SberDevices. Выпуск 27 августа. Пилотный‎
Переглядів 8763 роки тому
Новости науки с «‎XX2 веком» и SberDevices. Выпуск 27 августа. Пилотный‎
Владимир Фридман: Есть ли инстинкты, и у кого они есть?
Переглядів 6 тис.4 роки тому
Владимир Фридман: Есть ли инстинкты, и у кого они есть?
Владимир Фридман. Модели полового отбора и конкуренции полов
Переглядів 1,8 тис.4 роки тому
Владимир Фридман. Модели полового отбора и конкуренции полов
Новостная лента refactored. Выпуск 8. Политики больших компаний в области климата
Переглядів 4954 роки тому
Новостная лента refactored. Выпуск 8. Политики больших компаний в области климата
Новости интерфейсов «Компьютер-мозг»
Переглядів 6044 роки тому
Новости интерфейсов «Компьютер-мозг»
Станислав Дробышевский. Что происходит с наукой в России
Переглядів 59 тис.4 роки тому
Станислав Дробышевский. Что происходит с наукой в России
Новостная лента refactored. Выпуск 6. Национальные политики в области ИИ
Переглядів 3894 роки тому
Новостная лента refactored. Выпуск 6. Национальные политики в области ИИ
Новостная лента refactored. Выпуск 5. Биомаркеры старения
Переглядів 6434 роки тому
Новостная лента refactored. Выпуск 5. Биомаркеры старения
Новостная лента refactored. Выпуск 4. Некоторые вопросы этики ИИ
Переглядів 4455 років тому
Новостная лента refactored. Выпуск 4. Некоторые вопросы этики ИИ
Станислав Дробышевский: Когда и как появилась культура?
Переглядів 51 тис.5 років тому
Станислав Дробышевский: Когда и как появилась культура?
Новостная лента refactored. Выпуск 3
Переглядів 5295 років тому
Новостная лента refactored. Выпуск 3

КОМЕНТАРІ

  • @Cyneprepou
    @Cyneprepou 2 дні тому

    Спасибо за лекцию, но с шарами в мешке есть странность. Вы не сказали, что все шары в мешке перемешаны, поэтому может быть сверху только красные, а потом только синие, а потом только зелёные.

    • @Cyneprepou
      @Cyneprepou 2 дні тому

      С другой стороны, если у нас полная неизвестность, тогда правильные рассуждения. Сори

  • @Cyneprepou
    @Cyneprepou 3 дні тому

    Спасибо за лекцию

  • @Cyneprepou
    @Cyneprepou 3 дні тому

    Отличная лекция, спасибо.

  • @Cyneprepou
    @Cyneprepou 5 днів тому

    Классная лекция, спасибо. Очень жаль, что вместо лекуиц смотрят какуюто дичь.

  • @DenisSvistoplasov
    @DenisSvistoplasov 7 днів тому

    39:14 Не понял почему предпосылки "некоторые позвоночные - не длинные" и "некоторые хамелеоны - длинные" были внесены через существование, а не через невозможность как раньше.

  • @DenisSvistoplasov
    @DenisSvistoplasov 7 днів тому

    32:11 Я не понял, почему "ни синие, ни не_синие рубашки не могут не существовать" - это проблема, из-за которой мы отказались от свойства "существует".

  • @mtxm
    @mtxm 15 днів тому

    Продолжение ярких иллюстраций к моему комментарию под первой частью этой вполне "Упречной логики" =) Особенно комично выглядит ситуация с добавлением предпосылок "точно": Есть уже предпосылка с утверждением, но автор считает, что нужно вводить дополнительный дубль-предпосылку с добавлением "свойства" [точно]. Это такое волшебное слово? Иначе, следуя этой упречной логике, придётся во-первых ввести все дубль-предпосылки касательно каждого иного свойства/объекта, а во-вторых далее продолжать вводить их до бесконечности, потому что "А точно ли точно точно, что точно?". На ~23:32 автор честно сознаётся в абсурдности происходящего, говоря, что "глядя на отдельный круг медведей мы бы думали, что мы не можем точно сказать существуют ли медведи..." :D

  • @user-in5xz4hq4l
    @user-in5xz4hq4l 16 днів тому

    Когда в ролике из двух посылок «все рубашки синие» и «это рубашка» делается вывод «еще что-то синее кроме рубашек тоже может быть», не очень понятно, каким, собственно, определением «вывода» автор пользуется. Это, в особенности интересно потому, что автор говорит «если же про какую-то комбинацию не сказано ни того ни другого, то объект с такой комбинацией считается возможным, но гарантии его существования предпосылки не дают». Я думаю, достаточно очевидно, что про объект с «комбинацией свойств» «это» и «синее» в предпосылках ничего не сказано - первая говорит об объектах с «комбинацией свойств» «рубашка» и «синяя», а вторая - про «это» и «рубашка». Аналогично в примере про топливо автор говорит, что «можно быть непросушенным и калорийным, но не быть топливом». Неясно, как «выведено», что вообще можно не быть топливом из имеющихся посылок. Соответственно, вопрос. Что же автор понимает под словом «возможно» / «можно» и их синонимами?

  • @deropsimop5266
    @deropsimop5266 17 днів тому

    Пустота

  • @TechLogicMWO
    @TechLogicMWO 25 днів тому

    Ну всё, осталось только построить гидравлический компьютер и точно разберемся в логике!

  • @Halleluyah83
    @Halleluyah83 26 днів тому

    Зануда. Ничего дельного не услышал.

  • @mtxm
    @mtxm 27 днів тому

    Неожиданное видео, которое выглядит в духе: "программист пытается отменить формальную логику". На деле же подобная попытка упрощения мыслительных процессов плодит сущности без необходимости ("суждения о существовании", "скрытые предпосылки") , охолащивает ум и уводит от сути и понимания Логики как таковой, чему на ~26:24 представлена яркая иллюстрация, где автор ролика трактует лингвистическую конструкцию "некоторые металлы не твёрды", как сомнительное доказательство истинности её содержания...

  • @tag3283
    @tag3283 Місяць тому

    В итоге ничего толком не сделал . Зато название громкое .

  • @Rghusw
    @Rghusw Місяць тому

    Давайте, испытаем вашу иксил таблицу в условиях приближённых к боевым. 1) Если мэрам всех городов запрещено жить в своём городе, и разрешено жить только в «Городе мэров», то где, в таком случае, будет жить мэр этого города? 2) Сможет ли Бог сотворить такой камень, что сам не сможет поднять ?

    • @user-in5xz4hq4l
      @user-in5xz4hq4l Місяць тому

      У автора таблица исключительно для (небольшого фрагмента) монадической FOL. Поэтому очевидно, что двуместные предикаты (типа «х - мэр города у») выражаться не могут. Что, конечно же, автору не помешает попытаться применить таблицы к примерам, а потом не понять, где проблема.

    • @xpenxpen5814
      @xpenxpen5814 Місяць тому

      У каждого города не обязательно должен быть мэр. Существование такого мэра невозможно. Опять парадокс лжеца. Скучно господа.

    • @user-in5xz4hq4l
      @user-in5xz4hq4l Місяць тому

      @@xpenxpen5814 конкретно это - не парадокс лжеца. Что, впрочем, не отменяет того, что в примере используются отношения, а не свойства. Соответственно, он неформализуем методом автора.

    • @Rghusw
      @Rghusw Місяць тому

      ​@@xpenxpen5814 "... не обязательно ... невозможно ... Скучно ..." Меня не интересует Ваше мнение. Меня интересует "мнение" представленной Чудо-машины. Что она скажет.

    • @user-rl7vz2er7d
      @user-rl7vz2er7d Місяць тому

      @@Rghusw 1) Если мэру города мэров запрещено жить в городе мэров и мэру города мэров разрешено жить в городе мэров, то ему запрещено или разрешено жить в городе мэров? 2) Если бог может то, чего не может, то он это может или не может? 3) Если ваза белая и эта же ваза не белая, то ваза белая или не белая? Таких внутренне противоречивых условий можно навыдумывать сколько угодно. Но как машине объяснить, что А есть Б и одновременно А не есть Б? никак, потомучто это очевидно не имеет смысла. Машина умнее людей, которые не видят прямого противоречия в этих так называемых "парадоксах", которые парадоксами не являются, поскольку условие парадокса по определению должно быть логично, то есть не нарушать законы логики, в том числе и закон противоречия.

  • @user-id9zt6tc4g
    @user-id9zt6tc4g Місяць тому

    59:05 Учёный археолог Олег Двуреченский любит свою науку, своё дело и очень интересно, эмоционально рассказывает . Превосходный рассказчик Двуреченский Олег.

  • @user-id9zt6tc4g
    @user-id9zt6tc4g Місяць тому

    1:12:48 Лично мне греет душу то обстоятельство, что замечательный русский учёный Археолог Олег Двуреченский по типажу похож на нашего дедушку Двуреченского Фрола Петровича (1884-1957/V/7.), ветерана русского-германской войны (Первой Мировой) 1914-1918 г.г. Вольного крестьянина Липецкой/Воронежской губерний, Грязевского района. И на его сыновей Ивана, Николая и Кузьму. (Двое первых погибли в июне 1941 г. при обороне Брестской крепости). Не исключено, что у нас общие родовые корни. *** Алексий-Стихолад Понедельченко А.В./53/СПб. Город-Герой Ленинград/Святага-Петра-Градъ. 7 Мая 2024, 2:00.

  • @alexveremeenko
    @alexveremeenko Місяць тому

    Так это же пролог на коленке

  • @olayak4086
    @olayak4086 Місяць тому

    Какая практическая польза от вот этого вот? Напрашивается ролик о применении

  • @olayak4086
    @olayak4086 2 місяці тому

    Чото у меня мозг закипел

  • @PanzerschrekCN
    @PanzerschrekCN 2 місяці тому

    Благодарю, весьма наглядно! Жаль, что в своё время у Виноградова не было Excel-я.

  • @mainbka
    @mainbka 2 місяці тому

    А зачем вообще городить этот огород на естественном языке, когда есть формальные языки программирования со своими алгоритмами и структурами данных?

    • @KravetskiLex
      @KravetskiLex 2 місяці тому

      Отличная идея. Однако не могли бы вы привести пример и показать, как, скажем, на формальном языке программирования Java ответить на хотя бы один вопрос из числа приведённых в ролике? Ну, например, даны предпосылки: Ртуть - металл. Ртуть не тверда. Ртуть существует. Существует ли нетвёрдый металл?

    • @mainbka
      @mainbka 2 місяці тому

      @@KravetskiLex Для решения таких задач создаются базы данных.

    • @user-xf5ei2jg8o
      @user-xf5ei2jg8o 2 місяці тому

      @@mainbka Ну хоть не язык Пролог, и то хлеб

    • @mainbka
      @mainbka 2 місяці тому

      @@user-xf5ei2jg8o а чем плох пролог? он вроде для таких задач и создавался

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      ​@@KravetskiLexесли язык не принципиален, то, в целом, есть Vampire. Он, правда, на C++. Собственно, примерно такие задачи там и решаются. Можете написать Воронкову, он объяснит, как им пользоваться.

  • @user-xf5ei2jg8o
    @user-xf5ei2jg8o 2 місяці тому

    Ок. Свойство "Существует" порождает проблемы. Но что если использовать вместо таблицы существования поле "Не существует". Мне кажется, утверждение о невозможности "не существовать" для объектов не повлечёт проблем, описанных, для объектов, которым невозможно "существовать".

    • @user-xf5ei2jg8o
      @user-xf5ei2jg8o 2 місяці тому

      Прикинул, всё ровно так же. Нужна отдельная таблица.

  • @user-fg7hf4qo8m
    @user-fg7hf4qo8m 2 місяці тому

    Интересный метод! Но, быстро в уме его не особо применишь.

  • @user-rl7vz2er7d
    @user-rl7vz2er7d 2 місяці тому

    А можно ли как то с помощью этих таблиц показать, что суждение "Я не доказуемо" есть либо истинно, либо ложно, а не так как интерпретируют тролли открытие Гёделя, будто бы что оно однозначно истинное?

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      Я только что заглянул в википедию, и там написано, что гёделево утверждение истинно в стандартной модели арифметики. А в других моделях может быть ложно. Потому оно (и его отрицание) не выводятся из аксиом.

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      @@user-in5xz4hq4l ну это да, только я не про Гёделя, а про троллей, которые интерпретируют Гёделя так, как я показал.

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      Так проблема в том, что в арифметике, когда мы говорим "истинная формула", мы на самом деле говорим "истинная в стандартной модели формула". Просто стандартную модель мы знаем, и именно она нам интересна в первую очередь.

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      @@user-in5xz4hq4l зачем эта инфа?

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      @@user-rl7vz2er7d чтобы показать, что те, кто говорят, что геделево предложение истинно, не обязательно являются троллями. Они могут просто следовать устоявшейся конвенции.

  • @user-in5xz4hq4l
    @user-in5xz4hq4l 2 місяці тому

    Не очень понятно, почему фраза вида «все хамелеоны - пресмыкающиеся» не предполагает существование хамелеонов. Автор, вроде, нигде в видео не говорил об условиях истинности разных суждений. Более того, специально сказал, что не будет это оговаривать. Также не очень ясно, по каким правилам из «все хамелеоны - пресмыкающиеся» автор вывел, что нельзя одновременно быть хамелеоном, но не быть пресмыкающимся.

    • @KravetskiLex
      @KravetskiLex 2 місяці тому

      > Не очень понятно, почему фраза вида «все хамелеоны - пресмыкающиеся» не предполагает существование хамелеонов. На мой взгляд, такая фраза не должна предпологать существования хамелеонов. Собственно, поэтому я её так в ролике и не трактую. > Также не очень ясно, по каким правилам из «все хамелеоны - пресмыкающиеся» автор вывел, что нельзя одновременно быть хамелеоном, но не быть пресмыкающимся. Автор это вывел по очевидному правилу: если все хамелеоны пресмыкающиеся, то среди хамелеонов нет таких, которые не пресмыкающиеся. Поскольку «пресмыкающееся» тут рассматривается как свойство, которое может быть, а может не быть, а не как два отдельных свойства «пресмыкающиеся» и «не пресмыкающиеся», состоящие между собой в каких-то иных отношениях.

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      @@KravetskiLex >На мой взгляд, такая фраза не должна предпологать существования хамелеонов. Ну, вот и неясно, чем это обосновано, что такая фраза не предполагает существования хамелеонов. Обычно когда мы в нашей повседневной речи говорим что-то вроде «все хамелеоны зеленого цвета» или даже «все хамелеоны млекопитающие», мы подразумеваем, что они все-таки есть. >Автор это вывел по очевидному правилу: если все хамелеоны пресмыкающиеся, то среди хамелеонов нет таких, которые не пресмыкающиеся. Вообще неочевидное правило, честно сказать. Я же не знаю, при каких условиях истинно «все хамелеоны пресмыкающиеся» и когда истинно «среди хамелеонов нет таких, которые не пресмыкающиеся». Вы, вроде, не говорили, когда такого рода фразы истинны, а когда нет. Если говорили, то, видимо, я где-то упустил.

    • @KravetskiLex
      @KravetskiLex 2 місяці тому

      @@user-in5xz4hq4l > Ну, вот и неясно, чем это обосновано, что такая фраза не предполагает существования хамелеонов. Это обосновано почти пятиминутным рассуждением про скрытые предпосылки о существовании, которое идёт примерно с двадцать шестой минуты ролика. ua-cam.com/video/gZNhQsGSM0o/v-deo.html > Обычно когда мы в нашей повседневной речи говорим что-то вроде «все хамелеоны зеленого цвета» или даже «все хамелеоны млекопитающие», мы подразумеваем, что они все-таки есть. Если я скажу «все инопланетяне побоялись бы посещать нашу планету», то это будет означать, что инопланетяне есть? Или если я скажу, «все самолёты с такой формой крыла будут падать и разбиваться», то это будет означать, что существуют самолёты с такой формой крыла? > Вообще неочевидное правило, честно сказать. Слова «все хамелеоны» означает «каждый из хамелеонов». Вы знаете какое-то другое значение этих слов? > Вы, вроде, не говорили, когда такого рода фразы истинны, а когда нет. Они всегда истинны. И для любого свойства, про кои в определении сказано «свойство может только наличествовать или отсутствовать».

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      @@KravetskiLex спасибо. Но пока что я не понял, почему эта предпосылка («хамелеоны существуют») у «все хамелеоны пресмыкающиеся» каким-то образом скрыта. В чем ее скрытость проявляется? Вроде, вы сами говорите, что во фразе «хамелеоны существуют» слово «существуют» не рассматривается как свойство. Т.е., никаких новых свойств про хамелеонов мы при помощи «хамелеоны существуют» не утверждаем. Если бы мы, говоря «пресмыкающееся», подразумевали, что это то же самое, что «рептилия», то да, было бы понятно, что вывод «все хамелеоны рептилии» из «все хамелеоны пресмыкающиеся» каким-то образом получен из вот этой предпосылки «рептилии и пресмыкающиеся - одно и то же». Потому что про «рептилий» не было специально оговорено, что это не свойство. Никакой проблемы в примере с элементом я, честно сказать, не вижу. Например, вы говорите что-то вроде «№150 в периодической таблице - металл». То, что №150 не обнаружен, вроде как, нам ничем не мешает. Если же его нет (или не может быть вообще), ну что ж. Наверное, утверждение «№150 в периодической таблице существует» будет ложным. (Хотя я, честно сказать, не очень уверен, т.к. пока не понял, как вы определяете истинность и ложность фраз вида «Х существует».) И, видимо, если допустить, что по вашим правилам из истинных предпосылок не может получиться ложного вывода (а если вдруг получился, то какие-то предпосылки ложны), мы заключаем, что «№150 в периодической таблице - металл» тоже ложно.

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      @@KravetskiLex >Если я скажу «все инопланетяне побоялись бы посещать нашу планету», то это будет означать, что инопланетяне есть? Если «все инопланетяне побоялись бы посещать нашу планету» истинно, то да, будет означать. >Или если я скажу, «все самолёты с такой формой крыла будут падать и разбиваться», то это будет означать, что существуют самолёты с такой формой крыла? Аналогично. >Слова «все хамелеоны» означает «каждый из хамелеонов». Ок, хорошо. Правда, все равно непонятно >Вы знаете какое-то другое значение этих слов? Честно сказать, я не знаю значения слов «все» или «каждый» (а также «некоторые»). Вернее, я не уверен, что я понимаю их так же, как их понимаете вы. Ну, например, на мой взгляд, если я говорю «все Х являются Y» (1) истинно, то из этого должно как-то следовать, что «некоторые Х являются Y» (2) тоже истинно. Более того, это то же самое, что сказать, что «существуют такие объекты, которые и Х, и Y» (3). Но по-вашему, вроде бы, из (1) не следует (3). Видимо, мы понимаем эти слова как-то по-разному.

  • @174aleksei
    @174aleksei 2 місяці тому

    Интересно с помощью такого метода можно будет ( гипотетически) обучать нейроные сети?

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      это простейшие задачки на конъюнкцию. Любая нейросеть уже умеет их решать выстраивать таблицы истинности. Задачи на конъюнкцию самые простые.

    • @174aleksei
      @174aleksei 2 місяці тому

      @@user-rl7vz2er7d а по читать про это что нибудь посоветуете?

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      @@174aleksei если про логику - то почитать учебник логики Виноградова. Если про нейросеть - то можно пообщаться с бесплатной демо нейросетью DBRX Instruct. Эта демо нейросеть легко решает задачи из видео

  • @user-rl7vz2er7d
    @user-rl7vz2er7d 2 місяці тому

    попробуйте решить с помощью этих таблиц такую задачу: Допустим за истину следующие утверждения: 1) Некоторые вопры - это горпы. 2) У большинства горпов красные непы. 3) Все те, у кого непы красные, гавкают. Является ли истиной утверждение: из всех вышеперечисленных истин следует, что некоторые из тех, кто гавкает - это вопры?

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      Задача, во-первых, должна была формулироваться «следует ли из 1-3, что …?». Во-вторых, не следует.

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      @@user-in5xz4hq4l ответ верный. Но почему задача должна формулироваться именно так, если эта формулировка тождественна той, что и предоставлена?

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      @@user-rl7vz2er7d потому что истинность и следование - разные вещи. Истинность бывает в какой-то интерпретации, а следование - отношение на классе интерпретаций.

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      @@user-in5xz4hq4l из того что истинность и следование - разные вещи - не следует, что задача должна формулироваться именно так. Она должна формулироваться иначе только в том случае, если нельзя сказать, что "истинно, что А следует из Б" или "ложно, что А следует из Б". Но так увтерждать можно, потому что "А следует из Б" - это суждение. Оно может быть истинным, а может быть ложным.

    • @user-in5xz4hq4l
      @user-in5xz4hq4l 2 місяці тому

      @@user-rl7vz2er7d ах, ну да.

  • @user-rl7vz2er7d
    @user-rl7vz2er7d 2 місяці тому

    6:26 если мы наблюдаем медведя, то медведь не объект? че то я тут не понял. Вообщето медведь это объект, а "быть медведем" - это его свойство. Объект и свойство это не всегда взаимоисключающие понятия. Бывает такое, что и свойство может быть объектом, если рассматривается как абстрактный объект. При этом у такого свойства может быть и своё свойство в свою очередь.

    • @KravetskiLex
      @KravetskiLex 2 місяці тому

      В ролике давно определение терминов, которые в нём используются. Другие определения терминов, которые звучат так же, в ролике не используются.

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      @@KravetskiLex моё высказывание как-то не соответствует определению терминов в ролике? не понял

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      ​@@KravetskiLex я пересмотрел начало видео и остаюсь при своем мнении. Он дал определение "Объект - то, что каким угодно образом мы можем отличить от всего остального". Как это противоречит тому, что медведь - это объект? Медведь это разве не то, что каким угодно образом мы можем отличить от всего остального? ниче не понял.

    • @KravetskiLex
      @KravetskiLex 2 місяці тому

      @@user-rl7vz2er7d Объект может обладать свойством «медведь», «синий», «длинный», «этот» и вообще любым другим. То, что некоторые из этих свойств записаны существительными, никак не меняет положения вещей и никак не отличает такие свойства от тех, которые записаны прилагательными или даже местоимениями. Какому-то конкретному объекту вполне можно присвоить условное название «медведь», но точно с тем же успехом ему можно присвоить условное название «синий», «длинный» или «этот пушистый». Однако под «объектом» всё ещё понимается носитель произвольных свойств, а не данный носитель каких-то конкретных. Иными словами «объект» это всегда «вон та штука, которую я известным только мне способом отличаю от других штук», а все описательные слова, которые я могу использовать для «этой штуки» - свойства. Это не «исключающие понятия». Это - понятия из разных пространств, которые не сводимы друг к другу. Как «вода» и «температура», например: хотя у воды, сто пудов, всегда есть температура, нельзя сказать «иногда вода бывает температурой».

    • @user-rl7vz2er7d
      @user-rl7vz2er7d 2 місяці тому

      ​@@KravetskiLex чтобы лучше меня понять, вот рассуждение: 1) "Объект - это вон та штука, обладающая определёнными свойствами" (с) Автор видео 2) Вон та штука, обладающая определёнными свойствами - это медведь 3) Следовательно, этот объект медведь. 4) Следовательно, медведь может быть объектом. Для того чтобы данное рассуждение было неверным, пункт 2 должен быть неверным. Но он не может быть неверным, поскольку мы говорим о свойстве "быть медведем", которое может быть только у медведя.

  • @Syllogist
    @Syllogist 2 місяці тому

    Великолепный подход! Наконец-то кто-то из современных (цифрового века!) логиков, понявших суть т.наз. «классической силлогистики» смог предложить что-то, отличающееся от архаичных аристотелевских гипотез, за 23 века существования превращённых в святое логическое писание... УРА! Это - редкий пример чёткого, системного мышления, способного легко оперировать казалось-бы никак не связанными друг с другом конструктами в виде Excel-таблиц и силлогистических выводов. Однако, по моему (патентовано-экстремистскому) мнению, ЛЮБОЕ УМОЗАКЛЮЧЕНИЕ ЛЮБОГО СИЛЛОГИЗМА ЛЕГКО РАССЧИТЫВАЕТСЯ АЛГЕБРАИЧЕСКИ (а теперь его можно рассчитать и в Excel-е, и - обещано - даже в Photoshop-e!), А НЕ ВЫСАСЫВАЕТСЯ ИЗ ФИЛОСОФСКОГО ПАЛЬЦА! Основы этого утверждения я привожу здесь: - 08-04.ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ-1 / Valid syllogisms for children and academics-1: ua-cam.com/video/Q0S3xI7f0so/v-deo.html - 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ua-cam.com/video/w1Lm4OCoMdU/v-deo.html - 06-09. АЛГЕБРАИЧЕСКИЙ РАСЧЁТ СИЛЛОГИЗМОВ - ЭТО ПРОСТО! (суждения, кванторы, модусы): ua-cam.com/video/a8A3DI9qUYY/v-deo.html - и т.д. Теперь о представленных здесь Excel-примерах... Пример (17:42) расчёта стандартного СИЛЛОГИЗМА конъюнктивного типа: ПЕРЕМЕННЫЕ: x - рубашки, y - длинные, z - синяя 1: Все рубашки длинные (xy) 2: Эта рубашка - синяя (xz) - - - РАСЧЁТ: (xy)*(xz) = xyz; если исключаем средний термин xyz/x =yz - - - 3а: Есть рубашки, которые длинные и синие (xyz) - полный вывод 3б: Есть длинные, которое синие (yz) - вывод, в котором в объёме вывода ПО УМОЛЧАНИЮ обязательно подразумевается наличие «рубашек». Пример (21:38) расчёта стандартного ПОЛИСИЛЛОГИЗМА конъюнктивного типа: ПЕРЕМЕННЫЕ: x - хамелеоны, y - ящерицы, z - пресмыкающиеся, v - позвоночные 1: Все хамелеоны - ящерицы (xy) 2: Все ящерицы - пресмыкающиеся (yz) 3: Все пресмыкающиеся - позвоночные (zv) - - - РАСЧЁТ: (xy)*(yz)*(zv) = xyzv - - - 4: Хамелеоны - суть ящерицы, являющиеся пресмыкающимися позвоночными (xyzv) Вывод (xyzv) - это не Excel-таблица «невозможности», а просто АЛГЕБРАИЧЕСКАЯ ФОРМУЛА (22:18 «с полным набором выводов коих оказывается больше чем тот один, который предлагает Виноградов»), то есть, включающая в себя вложенные составные части в виде, например, конъюнктов: xz, yv, (x’+v’)’ и т.д. Та же алгоритмика будет присуща поли/силлогизмам с любым количеством суждений любого (но ТОЛЬКО алгебраически правильно представленного!) типа - условного, эквивалентного, неравнозначного и т.д. (Прим: об этих пока неизвестных науке типах трилогизмов, кстати, я сейчас и готовлю видео 10-06 «Основа ЛОГИКИ ИНТЕЛЛЕКУТАЛЬНЫХ СИСТЕМ»). ВЕЖЛИВАЯ КРИТИКА уважаемым автором данного видео некоторых примеров умозаключений в учебниках логики - вполне обоснована! Я также занимался этой темой и могу провести достаточно длинный список (диапазон - более 100 лет) трудов, подтверждающих суждения логика Кравецкого: 02-01. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Челпанова Г.И.: ua-cam.com/video/RBvuOM-Zggw/v-deo.html 02-02. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Виноградова С.Н.: ua-cam.com/video/95FMU7r6nlE/v-deo.html 02-03. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Чупахина И.Я. - Бродского И.Н. (1977 г.): ua-cam.com/video/UCF4BSOKJBY/v-deo.html 02-04. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Маслова Н.А. (2008 г.): ua-cam.com/video/defHf0Ey-2U/v-deo.html 02-05. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Гусева Д.А. (2015 г.): ua-cam.com/video/H8po44V2asI/v-deo.html 02-06. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Кириллова В.И. - Старченко А.А. (2018 г.) ua-cam.com/video/ZM07qG3v0Vg/v-deo.html 02-07. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И СБОРНИК СПбГУ «УПРАЖНЕНИЯ ПО ЛОГИКЕ» Тоноян Л.Г. (2018 г.): ua-cam.com/video/qUI1wHd5aMs/v-deo.html 02-08. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И ПОСОБИЕ МГУ «ЛОГИКА. КРАТКИЙ КУРС» Ивлева Ю.В. (2018 г.) ua-cam.com/video/kEfB-TOw2hg/v-deo.html 02-09. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ЛОГИКА ДЛЯ ЮРИСТОВ» Ивлева Ю.В. (2019 г.) ua-cam.com/video/VeAC-DiA5eQ/v-deo.html 02-10. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ПРАКТИКУМ ПО ЛОГИКЕ» Ивлева Ю.В. (2019 г.) ua-cam.com/video/9Q7GoQNOSX8/v-deo.html ПРАКТИЧЕСКИЙ СОВЕТ: Для точной проверки правильности расчёта силлогизмов более современную версию калькулятора силлогизмов («ДЛЯ СТУДЕНТОВ») можно БЕСПЛАТНО скачать здесь: www.syllogism.pro/ Ну, а для интересующихся ЛОГИКОЙ в связке с системами ИИ (ИС) есть серия 10, начинающаяся с ролика «10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ua-cam.com/video/6JzxRFJ6C4I/v-deo.html » ВСЕМ - УСПЕХОВ!

  • @grebenga-7153
    @grebenga-7153 2 місяці тому

    Логично!

  • @maksimlebedev58
    @maksimlebedev58 2 місяці тому

    по ссылке пишет, что ничего нет

    • @KravetskiLex
      @KravetskiLex 2 місяці тому

      Ссылку поправил.

    • @maksimlebedev58
      @maksimlebedev58 2 місяці тому

      @@KravetskiLex все равно "Возможно, этот элемент отсутствует или недоступен" это у меня какие то проблемы что ли?

    • @KravetskiLex
      @KravetskiLex 2 місяці тому

      @@maksimlebedev58 Я прямо сейчас попробовал выйти из Майкрософтовского аккаунта и кликнуть по ссылке под роликом. Файл открылся. Быть может, вы пытаетесь скопировать сам текст ссылки из описания? Если так, то Ютюб урезает текст ссылок - так не получится.

    • @user-fg7hf4qo8m
      @user-fg7hf4qo8m 2 місяці тому

      @@maksimlebedev58 у меня доступно

  • @user-qj6wq2jp9l
    @user-qj6wq2jp9l 2 місяці тому

    Отличный ролик!

  • @wugu42
    @wugu42 2 місяці тому

    Про логику в фотошопе интересно. Не то чтобы это казалось чем-то невероятным, даже могу предположить сходу пару методов. Довелось в нем когда-то реализовывать экш0нами множество двумерных и ряд одномерных клеточных автоматов, используя свертки, кривые и режимы наложения слоев, так что примерно представляю, откуда плясать. Но хотелось бы увидеть ваше решение.

  • @user-iz9sj1nn5q
    @user-iz9sj1nn5q 2 місяці тому

    Спасибо большое!

  • @user-iz9sj1nn5q
    @user-iz9sj1nn5q 2 місяці тому

    3:45 4:58

  • @denisbubnov383
    @denisbubnov383 2 місяці тому

    Аристотель аплодирует стоя) Спасибо. Отличная модель 👍 Ждем продолжения!

  • @pro100SOm
    @pro100SOm 2 місяці тому

    Дяка, цікавий підхід

  • @user-xv1yy3ws6z
    @user-xv1yy3ws6z 2 місяці тому

    Спасибо за лекцию! Надеюсь, у этологии есть будущее

  • @asev1969
    @asev1969 2 місяці тому

    Нет продолжения -- нет лайка.

  • @user-xv1yy3ws6z
    @user-xv1yy3ws6z 2 місяці тому

    Спасибо, очень интересно!

  • @user-of7ee7yp2r
    @user-of7ee7yp2r 2 місяці тому

    Значит с помощью зеркала можно удалить гравитацию. Или создать антигравитацию.

  • @user-bl7ci1cx8l
    @user-bl7ci1cx8l 3 місяці тому

    Неандартальцы воровали женщин и они рожали от своих пленителей. Поэтому на востоке женщины из дома не выходили без сопровождения мужчин.

  • @janboleila
    @janboleila 3 місяці тому

    частота это ню, омега это циклическая частота равная 2пиню

  • @user-uf4ni8de9h
    @user-uf4ni8de9h 3 місяці тому

    Взял в руки: уже технология!!! А если ещё и два, то "капец" мат, сопромат!!!

  • @wildbarberart2616
    @wildbarberart2616 3 місяці тому

    учёные вгонее мочёные микрофон изобретите уже в 21-м веке

  • @user-id1sv3gh1l
    @user-id1sv3gh1l 3 місяці тому

    Где часть 2 ?????????

  • @maxmeyer7833
    @maxmeyer7833 4 місяці тому

    Евгений Алексеевич заставил смотреть

  • @user-wv7lz3ew2m
    @user-wv7lz3ew2m 4 місяці тому

    сколько же самоуверенных шариковых в комментах))

  • @annasabadash3706
    @annasabadash3706 4 місяці тому

    В нашей стране Вы, Владимир Семёнович, пожалуй единственный в своем роде объективный учёный. Не устаю, Вас слушать, спасибо за ум, честь и совесть нашей страны

  • @jelenaberardinelli730
    @jelenaberardinelli730 4 місяці тому

    я разобралась с изображениями в зеркале, но теперь пытаюсь понять, насколько индивидуальные особенности строения глаз и психики людей влияют на воспринимаемый образ других людей. опрашивая разных людей получаю разные ответы.