Как логика изменила мир

00:40:29 Математическая логика Буля • Булева алгебра стала основой для работы компьютеров и информатики. • Логические связки: отрицание, конъюнкция, дизъюнкция, импликация. • Аристотелевская логика имела ограничения, которые Буль не смог преодолеть. 00:41:28 Вклад Готлоба Фреге • Фреге создал первую формальную систему логики предикатов первого порядка. • Ввёл кванторы общности и существования. • Логика предикатов стала основой для работы с базами данных. 00:42:22 Пример умозаключения • Пример силогизма: «Все люди умные, Вася человек, следовательно, Вася умный». • Формализация логики Аристотеля в булевой алгебре. • Введение универсального квантора для обобщения высказываний. 00:44:17 Правила вывода • Пример применения модуса поненс: «Если Вася человек, то Вася умный». • Логика Фреге предоставила более широкие возможности для выводов. 00:45:08 Вклад Бертрана Рассела • Рассел развивал идею логицизма и аксиоматическую логику. • Совместно с Уайтхедом построил аксиоматическую систему математической логики. • Признал, что сводить математику к логике не имеет смысла. 00:46:53 Парадокс Рассела • Рассел выявил противоречие наивной теории множеств и сформулировал парадокс Рассела. • Парадокс касается множества, которое содержит само себя. • Пример парадокса бродобрея иллюстрирует проблему. 00:47:20 Парадокс бродобрея • Вопрос: бреет ли бродобрей самого себя? • Если бреет, то не должен брить себя по правилу. • Если не бреет, то обязан брить себя по правилу. • Противоречие: такого бродобрея не может существовать. 00:47:20 Парадокс лжеца • Утверждение: «Это утверждение ложно». • Если утверждение истинно, оно говорит правду, но тогда оно ложно. • Если ложно, сказанное в нём неверно, но тогда оно истинно. • Замкнутый круг: истина, следовательно, ложна; ложно, следовательно, истина. 00:48:19 Влияние парадокса Рассела • Парадокс подорвал математическую основу, на которой строились многие математические наработки. • Фрейге выразил недовольство из-за поколебленного основания своей работы. • В XX веке логика открыла новые возможности для философии, математики и информатики. 00:49:13 Модальная логика • Модальность выражает необходимость и возможность. • Модальная логика добавляет новую связку — модальность. • Примеры модальностей: доказуемость, неопровержимость, темпоральность. • Аристотель предложил идею модальной логики. 00:50:08 Модели Крипке • Сол Крипке разработал модели Крипке для модальной логики. • Модели Крипке позволяют строго рассуждать о возможных мирах и истинности высказываний. • Активно используются в информатике, математике и философии. 00:50:08 Заключение • Анонс следующих видео о развитии логики и криптографии. • Упоминание о развитии искусственного интеллекта и трансгуманизма. • Прощание и призыв к сомнениям.

00:25:16 Учебники по логике • Специализированные учебники для юристов не подходят для общего изучения логики. • Устаревшие учебники, такие как учебник Челпанова и Виноградова, не отражают современную логику. • Логика должна изучать формальную структуру и способы формализации языка. 00:27:06 Законы логики • Второй закон логики: «Два противоположных суждения об одном и том же предмете не могут быть истинными в одно и то же время и в одном и том же отношении». • Закон исключённого третьего: «Из двух противоречащих друг другу суждений одно обязательно истинно, а другое ложно». • Четвёртый закон достаточного обоснования: «У всего есть какая-то причина, если мы что-то утверждаем, это должно иметь основание». 00:29:00 Применение законов логики • Законы логики полезны для юристов, адвокатов и политиков как практические правила здравого смысла. • Ограничение логики только интерпретацией законов может привести к путанице. • Формальная и неформальная логики имеют разные подходы и историю развития. 00:30:00 Связь формальной и неформальной логик • Связь между формальной и неформальной логиками появилась благодаря истории развития университетов. • Аристотель видел чёткую грань между диалектикой и аналитикой. 00:30:30 Логика в средневековье • В конце V века БСИ перевёл и систематизировал логические сочинения Аристотеля на латинский язык. • В VIII веке Иоанн Дамаскин создал первый учебник по логике и предложил использовать её для защиты богословия от ересей. • Изучение логики не было обязательным, существовали аргументы от разума и веры. 00:31:30 Влияние Аристотеля • Схоластические философы вспомнили об Аристотеле благодаря исламскому миру. • Ибн Руш Авероес ставил философию Аристотеля выше религиозных догм, рискуя своей репутацией. • Латинские философы пытались повторить этот подход, но часто подвергались преследованиям. 00:32:23 Фома Аквинский и семь свободных искусств • Фома Аквинский интегрировал аристотелевскую логику в университетское образование. • Семь свободных искусств включали грамматику, диалектику, риторику, музыку, арифметику, геометрию и астрономию. • Диалектика была одним из свободных искусств. 00:33:22 Тривиум и квадривиум • Тривиум состоял из грамматики, логики и риторики, которые были базовыми науками для дальнейшего обучения. • Пьер Абеляр разработал диалектический метод логического анализа для разрешения философских споров. 00:34:19 Критика логики Аристотеля • В эпоху модерна некоторые учёные критиковали устаревшую логику Аристотеля. • Фрэнсис Бэкон пытался придумать новую логику, подходящую для развития науки. 00:35:18 Рене Декарт и новая логика • Рене Декарт заметил ограничения логики Аристотеля и задумался о создании универсальной системы для всех наук. • Декарт критиковал логику Аристотеля за ограниченность и отсутствие возможности работы с новыми понятиями. • Он стремился создать систему, которая была бы универсальна и позволяла создавать новые смыслы. 00:36:48 Идея Матезис Универсалис • Готфрид Лейбниц предложил метод работы с фактами в науке, как с числами. • Он стремился создать универсальный язык символов для проверки гипотез и вывода новых фактов. • Цель — формализовать споры и прийти к объективному выводу. 00:37:48 Проблема смыслового сдвига • В спорах между людьми возникают разные интерпретации из-за индивидуальных представлений. • Лейбниц хотел избавиться от смыслового сдвига с помощью универсального формального языка. • Философские проблемы могут быть логическими или нефилософскими. 00:38:45 Вклад Джорджа Буля • Джордж Буль в 1847 году описал принципы логики как символического исчисления. • Он создал алгебру для вещей, которые не являются числами. • Переход к формальному языку позволил делать выводы без размышлений.

Как логика изменила мир 00:00:00 Введение в логику • Логика воспринимается как разумное мышление или гениальное решение. • В современном языке логика имеет загадочное и иногда сверхъестественное значение. • Интуитивное понимание логики неправильно, лучше использовать слово «интуиция». 00:01:46 История логики в Древней Греции • В Древней Греции между VIII и IV веками до н. э. произошёл скачок в развитии философии, литературы, искусства и математики. • Возник новый тип общества — независимый город-государство Полис. • Греки активно участвовали в делах города, собирались на Агоре для обсуждения важных тем. 00:02:45 Прямая демократия и Сократ • Греки могли изгнать человека из города, написав его имя на кусочке керамики. • Пример прямой демократии: голосование на суде присяжных с помощью камешков. • Сократ был казнён из-за голосования против него. 00:03:39 Развитие философии и логики • Греки искали истину в мировом порядке и природе. • Философия становилась более математической и рациональной. • Аристотель систематизировал мышление и создал первую логическую теорию. 00:04:38 Вклад Аристотеля в логику • Аристотель считал логику единственным способом к научному познанию мира. • Он выделил логическую структуру языка и принципы правильных утверждений. • Логика работает универсально, независимо от содержания. 00:05:33 Универсальность логики • Логика не отвечает на философские вопросы о реальности и существовании Бога. • Правила логики универсальны и не зависят от содержания высказываний. • Пример универсальности логики: правила игры в шахматы. 00:07:26 Арганон и диалектика • Последователи Аристотеля назвали его труды «Арганон». • Для Аристотеля логика значила неточное вероятное рассуждение, относящееся к диалектике. • Аналитика у Аристотеля — умение свести рассуждение к фигурам и модусам правильного умозаключения. 00:08:25 Субъект и предикат • Субъект — это подлежащее, а предикат — сказуемое. • Пример: в предложении «Кот съел сметану» кот — субъект, а съел сметану — предикат. 00:08:34 Аристотелевская теория истинности • Предложение истинно, если оно соединяет вещи, которые соединены в реальности. • Пример: «Сократ — философ». • Не все предложения являются высказываниями, например, просьбы или мольбы не содержат структуры субъекта и предиката. 00:09:30 Структура высказывания • Высказывание должно содержать связку субъекта и предиката. • Утвердительное суждение: «Аристотель является философом». • Отрицательное суждение: «Аристотель не является философом». 00:10:27 Противоречие и квантификаторы • Если «Аристотель является философом» истинно, то «Аристотель не является философом» ложно. • Квантификаторы позволяют различать суждения обо всех объектах или о части из них. • Пример: «Все помидоры красные» против «Некоторые помидоры красные». 00:12:23 Квадрат противоположностей • Четыре типа высказываний: «Все S есть P», «Все S не P», «Некоторые S есть P», «Некоторые S не P». • Обозначения: A, E, I, O. • Принцип работы квадрата: зная истинность одного высказывания, можно предсказать истинность остальных. 00:14:15 Отношения в квадрате • Противоположность: если A истинно, то O ложно. • Подчинение: если I истинно, то A истинно. • Субконтрарность: оба высказывания не могут быть одновременно ложными. 00:19:23 Логические операции и силогизмы • Логические операции: конверсия, обверсия, контрапозиция. • Силогизм состоит из трёх терминов: субъекта, предиката и среднего термина. • Первая фигура силогизма: большая посылка, малая посылка, вывод. 00:20:17 Пример первой фигуры силогизма • Пример: «Все люди смертны», «Все греки люди», вывод: «Все греки смертны». • Средний термин «люди» связывает «греков» со «смертными». • Форма записи силогизма: S, P, M. 00:21:36 Структура силогизма • Силогизм можно записать в виде структуры, используя буквы для обозначения утверждений. • Пример силогизма: «Все обезьяны лохматые», «Все гориллы — обезьяны», «Все гориллы лохматые». • Структура силогизма применима к любым высказываниям при соблюдении правил. 00:22:36 Теория силогизма Аристотеля • Силогизм — ключевой инструмент в логике Аристотеля. • Первая и Вторая аналитики Аристотеля посвящены рассуждениям и научному силогизму. • Пример силогизма: «Все люди смертны», «Все греки — люди», «Все греки смертны». 00:23:28 Логическая структура силогизма • Истинность посылок не гарантирует истинности вывода. • Логическая структура силогизма остаётся неизменной при замене слов на буквы. • Пример неправильного силогизма: «Все кошки — животные», «Некоторые животные чёрные», «Некоторые кошки чёрные». 00:24:22 Правила силогизма • Существуют правила для определения правильности силогизма. • Нарушение правил делает умозаключение бессмысленным. • Примеры неправильных умозаключений: «лай собак», «звуки кипящего чайника».