![XX2 ВЕК](/img/default-banner.jpg)
- 118
- 1 210 051
XX2 ВЕК
Russia
Приєднався 3 кві 2014
22 век. Научно-популярные видео научно-популярного проекта «XX2 век». XXII век
Проект «XX2 ВЕК» - 22century.ru
Мы в ВК - xx2vek
22 век в FB - xx2century/
Проект «XX2 ВЕК» - 22century.ru
Мы в ВК - xx2vek
22 век в FB - xx2century/
Безупречная логика при помощи Фотошопа
Вторая передача рассказывает о методе логического анализа, под условным названием «безупречная логика». Однако в этот раз тот же алгоритм применяется в графическом редакторе, а не в электронных таблицах.
Для понимания происходящего настоятельно рекомендуется посмотреть первую часть:
ua-cam.com/video/gZNhQsGSM0o/v-deo.html
Для понимания происходящего настоятельно рекомендуется посмотреть первую часть:
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. Политики больших компаний в области климата
Станислав Дробышевский. Что происходит с наукой в России
Переглядів 59 тис.4 роки тому
Станислав Дробышевский. Что происходит с наукой в России
Новостная лента refactored. Выпуск 6. Национальные политики в области ИИ
Переглядів 3894 роки тому
Новостная лента refactored. Выпуск 6. Национальные политики в области ИИ
Новостная лента refactored. Выпуск 5. Биомаркеры старения
Переглядів 6434 роки тому
Новостная лента refactored. Выпуск 5. Биомаркеры старения
Новостная лента refactored. Выпуск 4. Некоторые вопросы этики ИИ
Переглядів 4455 років тому
Новостная лента refactored. Выпуск 4. Некоторые вопросы этики ИИ
Станислав Дробышевский: Когда и как появилась культура?
Переглядів 51 тис.5 років тому
Станислав Дробышевский: Когда и как появилась культура?
Спасибо за лекцию, но с шарами в мешке есть странность. Вы не сказали, что все шары в мешке перемешаны, поэтому может быть сверху только красные, а потом только синие, а потом только зелёные.
С другой стороны, если у нас полная неизвестность, тогда правильные рассуждения. Сори
Спасибо за лекцию
Отличная лекция, спасибо.
Классная лекция, спасибо. Очень жаль, что вместо лекуиц смотрят какуюто дичь.
39:14 Не понял почему предпосылки "некоторые позвоночные - не длинные" и "некоторые хамелеоны - длинные" были внесены через существование, а не через невозможность как раньше.
32:11 Я не понял, почему "ни синие, ни не_синие рубашки не могут не существовать" - это проблема, из-за которой мы отказались от свойства "существует".
Продолжение ярких иллюстраций к моему комментарию под первой частью этой вполне "Упречной логики" =) Особенно комично выглядит ситуация с добавлением предпосылок "точно": Есть уже предпосылка с утверждением, но автор считает, что нужно вводить дополнительный дубль-предпосылку с добавлением "свойства" [точно]. Это такое волшебное слово? Иначе, следуя этой упречной логике, придётся во-первых ввести все дубль-предпосылки касательно каждого иного свойства/объекта, а во-вторых далее продолжать вводить их до бесконечности, потому что "А точно ли точно точно, что точно?". На ~23:32 автор честно сознаётся в абсурдности происходящего, говоря, что "глядя на отдельный круг медведей мы бы думали, что мы не можем точно сказать существуют ли медведи..." :D
Когда в ролике из двух посылок «все рубашки синие» и «это рубашка» делается вывод «еще что-то синее кроме рубашек тоже может быть», не очень понятно, каким, собственно, определением «вывода» автор пользуется. Это, в особенности интересно потому, что автор говорит «если же про какую-то комбинацию не сказано ни того ни другого, то объект с такой комбинацией считается возможным, но гарантии его существования предпосылки не дают». Я думаю, достаточно очевидно, что про объект с «комбинацией свойств» «это» и «синее» в предпосылках ничего не сказано - первая говорит об объектах с «комбинацией свойств» «рубашка» и «синяя», а вторая - про «это» и «рубашка». Аналогично в примере про топливо автор говорит, что «можно быть непросушенным и калорийным, но не быть топливом». Неясно, как «выведено», что вообще можно не быть топливом из имеющихся посылок. Соответственно, вопрос. Что же автор понимает под словом «возможно» / «можно» и их синонимами?
Пустота
Ну всё, осталось только построить гидравлический компьютер и точно разберемся в логике!
Зануда. Ничего дельного не услышал.
Неожиданное видео, которое выглядит в духе: "программист пытается отменить формальную логику". На деле же подобная попытка упрощения мыслительных процессов плодит сущности без необходимости ("суждения о существовании", "скрытые предпосылки") , охолащивает ум и уводит от сути и понимания Логики как таковой, чему на ~26:24 представлена яркая иллюстрация, где автор ролика трактует лингвистическую конструкцию "некоторые металлы не твёрды", как сомнительное доказательство истинности её содержания...
В итоге ничего толком не сделал . Зато название громкое .
Давайте, испытаем вашу иксил таблицу в условиях приближённых к боевым. 1) Если мэрам всех городов запрещено жить в своём городе, и разрешено жить только в «Городе мэров», то где, в таком случае, будет жить мэр этого города? 2) Сможет ли Бог сотворить такой камень, что сам не сможет поднять ?
У автора таблица исключительно для (небольшого фрагмента) монадической FOL. Поэтому очевидно, что двуместные предикаты (типа «х - мэр города у») выражаться не могут. Что, конечно же, автору не помешает попытаться применить таблицы к примерам, а потом не понять, где проблема.
У каждого города не обязательно должен быть мэр. Существование такого мэра невозможно. Опять парадокс лжеца. Скучно господа.
@@xpenxpen5814 конкретно это - не парадокс лжеца. Что, впрочем, не отменяет того, что в примере используются отношения, а не свойства. Соответственно, он неформализуем методом автора.
@@xpenxpen5814 "... не обязательно ... невозможно ... Скучно ..." Меня не интересует Ваше мнение. Меня интересует "мнение" представленной Чудо-машины. Что она скажет.
@@Rghusw 1) Если мэру города мэров запрещено жить в городе мэров и мэру города мэров разрешено жить в городе мэров, то ему запрещено или разрешено жить в городе мэров? 2) Если бог может то, чего не может, то он это может или не может? 3) Если ваза белая и эта же ваза не белая, то ваза белая или не белая? Таких внутренне противоречивых условий можно навыдумывать сколько угодно. Но как машине объяснить, что А есть Б и одновременно А не есть Б? никак, потомучто это очевидно не имеет смысла. Машина умнее людей, которые не видят прямого противоречия в этих так называемых "парадоксах", которые парадоксами не являются, поскольку условие парадокса по определению должно быть логично, то есть не нарушать законы логики, в том числе и закон противоречия.
59:05 Учёный археолог Олег Двуреченский любит свою науку, своё дело и очень интересно, эмоционально рассказывает . Превосходный рассказчик Двуреченский Олег.
1:12:48 Лично мне греет душу то обстоятельство, что замечательный русский учёный Археолог Олег Двуреченский по типажу похож на нашего дедушку Двуреченского Фрола Петровича (1884-1957/V/7.), ветерана русского-германской войны (Первой Мировой) 1914-1918 г.г. Вольного крестьянина Липецкой/Воронежской губерний, Грязевского района. И на его сыновей Ивана, Николая и Кузьму. (Двое первых погибли в июне 1941 г. при обороне Брестской крепости). Не исключено, что у нас общие родовые корни. *** Алексий-Стихолад Понедельченко А.В./53/СПб. Город-Герой Ленинград/Святага-Петра-Градъ. 7 Мая 2024, 2:00.
Так это же пролог на коленке
Какая практическая польза от вот этого вот? Напрашивается ролик о применении
Чото у меня мозг закипел
Благодарю, весьма наглядно! Жаль, что в своё время у Виноградова не было Excel-я.
А зачем вообще городить этот огород на естественном языке, когда есть формальные языки программирования со своими алгоритмами и структурами данных?
Отличная идея. Однако не могли бы вы привести пример и показать, как, скажем, на формальном языке программирования Java ответить на хотя бы один вопрос из числа приведённых в ролике? Ну, например, даны предпосылки: Ртуть - металл. Ртуть не тверда. Ртуть существует. Существует ли нетвёрдый металл?
@@KravetskiLex Для решения таких задач создаются базы данных.
@@mainbka Ну хоть не язык Пролог, и то хлеб
@@user-xf5ei2jg8o а чем плох пролог? он вроде для таких задач и создавался
@@KravetskiLexесли язык не принципиален, то, в целом, есть Vampire. Он, правда, на C++. Собственно, примерно такие задачи там и решаются. Можете написать Воронкову, он объяснит, как им пользоваться.
Ок. Свойство "Существует" порождает проблемы. Но что если использовать вместо таблицы существования поле "Не существует". Мне кажется, утверждение о невозможности "не существовать" для объектов не повлечёт проблем, описанных, для объектов, которым невозможно "существовать".
Прикинул, всё ровно так же. Нужна отдельная таблица.
Интересный метод! Но, быстро в уме его не особо применишь.
А можно ли как то с помощью этих таблиц показать, что суждение "Я не доказуемо" есть либо истинно, либо ложно, а не так как интерпретируют тролли открытие Гёделя, будто бы что оно однозначно истинное?
Я только что заглянул в википедию, и там написано, что гёделево утверждение истинно в стандартной модели арифметики. А в других моделях может быть ложно. Потому оно (и его отрицание) не выводятся из аксиом.
@@user-in5xz4hq4l ну это да, только я не про Гёделя, а про троллей, которые интерпретируют Гёделя так, как я показал.
Так проблема в том, что в арифметике, когда мы говорим "истинная формула", мы на самом деле говорим "истинная в стандартной модели формула". Просто стандартную модель мы знаем, и именно она нам интересна в первую очередь.
@@user-in5xz4hq4l зачем эта инфа?
@@user-rl7vz2er7d чтобы показать, что те, кто говорят, что геделево предложение истинно, не обязательно являются троллями. Они могут просто следовать устоявшейся конвенции.
Не очень понятно, почему фраза вида «все хамелеоны - пресмыкающиеся» не предполагает существование хамелеонов. Автор, вроде, нигде в видео не говорил об условиях истинности разных суждений. Более того, специально сказал, что не будет это оговаривать. Также не очень ясно, по каким правилам из «все хамелеоны - пресмыкающиеся» автор вывел, что нельзя одновременно быть хамелеоном, но не быть пресмыкающимся.
> Не очень понятно, почему фраза вида «все хамелеоны - пресмыкающиеся» не предполагает существование хамелеонов. На мой взгляд, такая фраза не должна предпологать существования хамелеонов. Собственно, поэтому я её так в ролике и не трактую. > Также не очень ясно, по каким правилам из «все хамелеоны - пресмыкающиеся» автор вывел, что нельзя одновременно быть хамелеоном, но не быть пресмыкающимся. Автор это вывел по очевидному правилу: если все хамелеоны пресмыкающиеся, то среди хамелеонов нет таких, которые не пресмыкающиеся. Поскольку «пресмыкающееся» тут рассматривается как свойство, которое может быть, а может не быть, а не как два отдельных свойства «пресмыкающиеся» и «не пресмыкающиеся», состоящие между собой в каких-то иных отношениях.
@@KravetskiLex >На мой взгляд, такая фраза не должна предпологать существования хамелеонов. Ну, вот и неясно, чем это обосновано, что такая фраза не предполагает существования хамелеонов. Обычно когда мы в нашей повседневной речи говорим что-то вроде «все хамелеоны зеленого цвета» или даже «все хамелеоны млекопитающие», мы подразумеваем, что они все-таки есть. >Автор это вывел по очевидному правилу: если все хамелеоны пресмыкающиеся, то среди хамелеонов нет таких, которые не пресмыкающиеся. Вообще неочевидное правило, честно сказать. Я же не знаю, при каких условиях истинно «все хамелеоны пресмыкающиеся» и когда истинно «среди хамелеонов нет таких, которые не пресмыкающиеся». Вы, вроде, не говорили, когда такого рода фразы истинны, а когда нет. Если говорили, то, видимо, я где-то упустил.
@@user-in5xz4hq4l > Ну, вот и неясно, чем это обосновано, что такая фраза не предполагает существования хамелеонов. Это обосновано почти пятиминутным рассуждением про скрытые предпосылки о существовании, которое идёт примерно с двадцать шестой минуты ролика. ua-cam.com/video/gZNhQsGSM0o/v-deo.html > Обычно когда мы в нашей повседневной речи говорим что-то вроде «все хамелеоны зеленого цвета» или даже «все хамелеоны млекопитающие», мы подразумеваем, что они все-таки есть. Если я скажу «все инопланетяне побоялись бы посещать нашу планету», то это будет означать, что инопланетяне есть? Или если я скажу, «все самолёты с такой формой крыла будут падать и разбиваться», то это будет означать, что существуют самолёты с такой формой крыла? > Вообще неочевидное правило, честно сказать. Слова «все хамелеоны» означает «каждый из хамелеонов». Вы знаете какое-то другое значение этих слов? > Вы, вроде, не говорили, когда такого рода фразы истинны, а когда нет. Они всегда истинны. И для любого свойства, про кои в определении сказано «свойство может только наличествовать или отсутствовать».
@@KravetskiLex спасибо. Но пока что я не понял, почему эта предпосылка («хамелеоны существуют») у «все хамелеоны пресмыкающиеся» каким-то образом скрыта. В чем ее скрытость проявляется? Вроде, вы сами говорите, что во фразе «хамелеоны существуют» слово «существуют» не рассматривается как свойство. Т.е., никаких новых свойств про хамелеонов мы при помощи «хамелеоны существуют» не утверждаем. Если бы мы, говоря «пресмыкающееся», подразумевали, что это то же самое, что «рептилия», то да, было бы понятно, что вывод «все хамелеоны рептилии» из «все хамелеоны пресмыкающиеся» каким-то образом получен из вот этой предпосылки «рептилии и пресмыкающиеся - одно и то же». Потому что про «рептилий» не было специально оговорено, что это не свойство. Никакой проблемы в примере с элементом я, честно сказать, не вижу. Например, вы говорите что-то вроде «№150 в периодической таблице - металл». То, что №150 не обнаружен, вроде как, нам ничем не мешает. Если же его нет (или не может быть вообще), ну что ж. Наверное, утверждение «№150 в периодической таблице существует» будет ложным. (Хотя я, честно сказать, не очень уверен, т.к. пока не понял, как вы определяете истинность и ложность фраз вида «Х существует».) И, видимо, если допустить, что по вашим правилам из истинных предпосылок не может получиться ложного вывода (а если вдруг получился, то какие-то предпосылки ложны), мы заключаем, что «№150 в периодической таблице - металл» тоже ложно.
@@KravetskiLex >Если я скажу «все инопланетяне побоялись бы посещать нашу планету», то это будет означать, что инопланетяне есть? Если «все инопланетяне побоялись бы посещать нашу планету» истинно, то да, будет означать. >Или если я скажу, «все самолёты с такой формой крыла будут падать и разбиваться», то это будет означать, что существуют самолёты с такой формой крыла? Аналогично. >Слова «все хамелеоны» означает «каждый из хамелеонов». Ок, хорошо. Правда, все равно непонятно >Вы знаете какое-то другое значение этих слов? Честно сказать, я не знаю значения слов «все» или «каждый» (а также «некоторые»). Вернее, я не уверен, что я понимаю их так же, как их понимаете вы. Ну, например, на мой взгляд, если я говорю «все Х являются Y» (1) истинно, то из этого должно как-то следовать, что «некоторые Х являются Y» (2) тоже истинно. Более того, это то же самое, что сказать, что «существуют такие объекты, которые и Х, и Y» (3). Но по-вашему, вроде бы, из (1) не следует (3). Видимо, мы понимаем эти слова как-то по-разному.
Интересно с помощью такого метода можно будет ( гипотетически) обучать нейроные сети?
это простейшие задачки на конъюнкцию. Любая нейросеть уже умеет их решать выстраивать таблицы истинности. Задачи на конъюнкцию самые простые.
@@user-rl7vz2er7d а по читать про это что нибудь посоветуете?
@@174aleksei если про логику - то почитать учебник логики Виноградова. Если про нейросеть - то можно пообщаться с бесплатной демо нейросетью DBRX Instruct. Эта демо нейросеть легко решает задачи из видео
попробуйте решить с помощью этих таблиц такую задачу: Допустим за истину следующие утверждения: 1) Некоторые вопры - это горпы. 2) У большинства горпов красные непы. 3) Все те, у кого непы красные, гавкают. Является ли истиной утверждение: из всех вышеперечисленных истин следует, что некоторые из тех, кто гавкает - это вопры?
Задача, во-первых, должна была формулироваться «следует ли из 1-3, что …?». Во-вторых, не следует.
@@user-in5xz4hq4l ответ верный. Но почему задача должна формулироваться именно так, если эта формулировка тождественна той, что и предоставлена?
@@user-rl7vz2er7d потому что истинность и следование - разные вещи. Истинность бывает в какой-то интерпретации, а следование - отношение на классе интерпретаций.
@@user-in5xz4hq4l из того что истинность и следование - разные вещи - не следует, что задача должна формулироваться именно так. Она должна формулироваться иначе только в том случае, если нельзя сказать, что "истинно, что А следует из Б" или "ложно, что А следует из Б". Но так увтерждать можно, потому что "А следует из Б" - это суждение. Оно может быть истинным, а может быть ложным.
@@user-rl7vz2er7d ах, ну да.
6:26 если мы наблюдаем медведя, то медведь не объект? че то я тут не понял. Вообщето медведь это объект, а "быть медведем" - это его свойство. Объект и свойство это не всегда взаимоисключающие понятия. Бывает такое, что и свойство может быть объектом, если рассматривается как абстрактный объект. При этом у такого свойства может быть и своё свойство в свою очередь.
В ролике давно определение терминов, которые в нём используются. Другие определения терминов, которые звучат так же, в ролике не используются.
@@KravetskiLex моё высказывание как-то не соответствует определению терминов в ролике? не понял
@@KravetskiLex я пересмотрел начало видео и остаюсь при своем мнении. Он дал определение "Объект - то, что каким угодно образом мы можем отличить от всего остального". Как это противоречит тому, что медведь - это объект? Медведь это разве не то, что каким угодно образом мы можем отличить от всего остального? ниче не понял.
@@user-rl7vz2er7d Объект может обладать свойством «медведь», «синий», «длинный», «этот» и вообще любым другим. То, что некоторые из этих свойств записаны существительными, никак не меняет положения вещей и никак не отличает такие свойства от тех, которые записаны прилагательными или даже местоимениями. Какому-то конкретному объекту вполне можно присвоить условное название «медведь», но точно с тем же успехом ему можно присвоить условное название «синий», «длинный» или «этот пушистый». Однако под «объектом» всё ещё понимается носитель произвольных свойств, а не данный носитель каких-то конкретных. Иными словами «объект» это всегда «вон та штука, которую я известным только мне способом отличаю от других штук», а все описательные слова, которые я могу использовать для «этой штуки» - свойства. Это не «исключающие понятия». Это - понятия из разных пространств, которые не сводимы друг к другу. Как «вода» и «температура», например: хотя у воды, сто пудов, всегда есть температура, нельзя сказать «иногда вода бывает температурой».
@@KravetskiLex чтобы лучше меня понять, вот рассуждение: 1) "Объект - это вон та штука, обладающая определёнными свойствами" (с) Автор видео 2) Вон та штука, обладающая определёнными свойствами - это медведь 3) Следовательно, этот объект медведь. 4) Следовательно, медведь может быть объектом. Для того чтобы данное рассуждение было неверным, пункт 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 » ВСЕМ - УСПЕХОВ!
Логично!
по ссылке пишет, что ничего нет
Ссылку поправил.
@@KravetskiLex все равно "Возможно, этот элемент отсутствует или недоступен" это у меня какие то проблемы что ли?
@@maksimlebedev58 Я прямо сейчас попробовал выйти из Майкрософтовского аккаунта и кликнуть по ссылке под роликом. Файл открылся. Быть может, вы пытаетесь скопировать сам текст ссылки из описания? Если так, то Ютюб урезает текст ссылок - так не получится.
@@maksimlebedev58 у меня доступно
Отличный ролик!
Про логику в фотошопе интересно. Не то чтобы это казалось чем-то невероятным, даже могу предположить сходу пару методов. Довелось в нем когда-то реализовывать экш0нами множество двумерных и ряд одномерных клеточных автоматов, используя свертки, кривые и режимы наложения слоев, так что примерно представляю, откуда плясать. Но хотелось бы увидеть ваше решение.
Спасибо большое!
3:45 4:58
Аристотель аплодирует стоя) Спасибо. Отличная модель 👍 Ждем продолжения!
Дяка, цікавий підхід
Спасибо за лекцию! Надеюсь, у этологии есть будущее
Нет продолжения -- нет лайка.
Спасибо, очень интересно!
Значит с помощью зеркала можно удалить гравитацию. Или создать антигравитацию.
Неандартальцы воровали женщин и они рожали от своих пленителей. Поэтому на востоке женщины из дома не выходили без сопровождения мужчин.
частота это ню, омега это циклическая частота равная 2пиню
Взял в руки: уже технология!!! А если ещё и два, то "капец" мат, сопромат!!!
учёные вгонее мочёные микрофон изобретите уже в 21-м веке
Где часть 2 ?????????
Евгений Алексеевич заставил смотреть
сколько же самоуверенных шариковых в комментах))
В нашей стране Вы, Владимир Семёнович, пожалуй единственный в своем роде объективный учёный. Не устаю, Вас слушать, спасибо за ум, честь и совесть нашей страны
я разобралась с изображениями в зеркале, но теперь пытаюсь понять, насколько индивидуальные особенности строения глаз и психики людей влияют на воспринимаемый образ других людей. опрашивая разных людей получаю разные ответы.