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

Видео

Безупречная логика при помощи электронных таблиц
Просмотров 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 4 дня назад

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

    • @Cyneprepou
      @Cyneprepou 3 дня назад

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

  • @Cyneprepou
    @Cyneprepou 4 дня назад

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

  • @Cyneprepou
    @Cyneprepou 4 дня назад

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

  • @Cyneprepou
    @Cyneprepou 6 дней назад

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

  • @DenisSvistoplasov
    @DenisSvistoplasov 8 дней назад

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

  • @DenisSvistoplasov
    @DenisSvistoplasov 8 дней назад

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

  • @mtxm
    @mtxm 17 дней назад

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

  • @user-in5xz4hq4l
    @user-in5xz4hq4l 18 дней назад

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

  • @deropsimop5266
    @deropsimop5266 19 дней назад

    Пустота

  • @TechLogicMWO
    @TechLogicMWO 26 дней назад

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

  • @Halleluyah83
    @Halleluyah83 28 дней назад

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

  • @mtxm
    @mtxm 29 дней назад

    Неожиданное видео, которое выглядит в духе: "программист пытается отменить формальную логику". На деле же подобная попытка упрощения мыслительных процессов плодит сущности без необходимости ("суждения о существовании", "скрытые предпосылки") , охолащивает ум и уводит от сути и понимания Логики как таковой, чему на ~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 > Ну, вот и неясно, чем это обосновано, что такая фраза не предполагает существования хамелеонов. Это обосновано почти пятиминутным рассуждением про скрытые предпосылки о существовании, которое идёт примерно с двадцать шестой минуты ролика. ruclips.net/video/gZNhQsGSM0o/видео.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: ruclips.net/video/Q0S3xI7f0so/видео.html - 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html - 06-09. АЛГЕБРАИЧЕСКИЙ РАСЧЁТ СИЛЛОГИЗМОВ - ЭТО ПРОСТО! (суждения, кванторы, модусы): ruclips.net/video/a8A3DI9qUYY/видео.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 И УЧЕБНИК ЛОГИКИ Челпанова Г.И.: ruclips.net/video/RBvuOM-Zggw/видео.html 02-02. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Виноградова С.Н.: ruclips.net/video/95FMU7r6nlE/видео.html 02-03. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Чупахина И.Я. - Бродского И.Н. (1977 г.): ruclips.net/video/UCF4BSOKJBY/видео.html 02-04. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Маслова Н.А. (2008 г.): ruclips.net/video/defHf0Ey-2U/видео.html 02-05. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Гусева Д.А. (2015 г.): ruclips.net/video/H8po44V2asI/видео.html 02-06. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Кириллова В.И. - Старченко А.А. (2018 г.) ruclips.net/video/ZM07qG3v0Vg/видео.html 02-07. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И СБОРНИК СПбГУ «УПРАЖНЕНИЯ ПО ЛОГИКЕ» Тоноян Л.Г. (2018 г.): ruclips.net/video/qUI1wHd5aMs/видео.html 02-08. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И ПОСОБИЕ МГУ «ЛОГИКА. КРАТКИЙ КУРС» Ивлева Ю.В. (2018 г.) ruclips.net/video/kEfB-TOw2hg/видео.html 02-09. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ЛОГИКА ДЛЯ ЮРИСТОВ» Ивлева Ю.В. (2019 г.) ruclips.net/video/VeAC-DiA5eQ/видео.html 02-10. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ПРАКТИКУМ ПО ЛОГИКЕ» Ивлева Ю.В. (2019 г.) ruclips.net/video/9Q7GoQNOSX8/видео.html ПРАКТИЧЕСКИЙ СОВЕТ: Для точной проверки правильности расчёта силлогизмов более современную версию калькулятора силлогизмов («ДЛЯ СТУДЕНТОВ») можно БЕСПЛАТНО скачать здесь: www.syllogism.pro/ Ну, а для интересующихся ЛОГИКОЙ в связке с системами ИИ (ИС) есть серия 10, начинающаяся с ролика «10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.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 месяца назад

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