СПИДРАН на всю логику за 40 минут

00:19:35 Умозаключение • Умозаключение — форма мышления, вывод нового суждения из имеющихся. • Элементы умозаключения: посылки, заключение, логическая связь. • Пример силогизма: «все люди смертны», «Сократ — человек», «следовательно, Сократ смертен». 00:20:40 Типы умозаключений • Дедукция: от общего к частному, применение общего правила к частному случаю. Пример: «Все объекты в мире имеют массу», «Атом — объект», вывод: «Атом имеет массу». • Индукция: от частного к общему, формулирование общего правила на основе наблюдения нескольких частных случаев. Пример: «Мы видим 99 белых лебедей», вывод: «Все лебеди белые», который может быть опровергнут одним противоречащим случаем. • Аналогия: от частного к частному, перенос свойств одного объекта на другой, похожий. Пример: «Земля имеет атмосферу, воду и жизнь», «Марс имеет атмосферу и воду», вывод: «Вероятно, на Марсе тоже есть жизнь». 00:22:23 Дедуктивные умозаключения • Простой категорический силлогизм: дедуктивное умозаключение из двух категорических суждений с общим термином. Структура силлогизма: две посылки, средний термин и заключение. Пример: «Все планеты круглые», «Юпитер — планета», вывод: «Юпитер круглый». 00:23:22 Фигуры категорического силлогизма • Первая фигура: M — субъект в большей посылке и предикат в меньшей, вывод частных случаев из общих правил. Пример: «Все растения растут вверх», «Ромашка — растение», вывод: «Ромашка растёт вверх». • Вторая фигура: M — предикат обеих посылок, вывод отрицательных суждений. Пример: «Все рыбы дышат жабрами», «Кит не дышит жабрами», вывод: «Кит не является рыбой». • Третья фигура: M — субъект в обеих посылках, вывод частных заключений. Пример: «Этот металл электропроводен», «Этот металл лёгкий», вывод: «Некоторые лёгкие вещества электропроводны». • Четвёртая фигура: M — предикат в большей посылке и субъект в меньшей, вывод логической возможности. Пример: «Все люди имеют разум», «Все имеющие разум живут на Земле», вывод: «Некоторые имеющие разум на Земле — люди». 00:26:16 Модусы простого категорического силлогизма • Модус отвечает за содержательное наполнение силогизма, обозначается буквами из квадрата. Теоретически существует 256 модусов, но после проверки остаются 19 правильных. • Первая фигура: AAA, EAE, AII, EIO. • Вторая фигура: AEE, EAЕ, AOO, EIO. • Третья фигура: AAI, EAO, IAI, AII, OAI, EIO. • Четвёртая фигура: AAI, AEE, EAO, IAI. 00:29:30 Ошибки терминов в силогизме • В силогизме должно быть только три термина. • Средний термин должен быть распределён хотя бы в одной из посылок. • Нераспределённый термин в посылке не может быть распределён в заключении. 00:30:25 Примеры ошибок • Пример с китами и млекопитающими показывает, что средний термин не распределён. • Пример с тиграми и хищниками иллюстрирует ошибку с нераспределённым термином. 00:31:23 Правила посылок • Из двух отрицательных посылок заключение сделать нельзя. • Из двух частных посылок заключение не следует. • Если одна из посылок частное суждение, то и заключение должно быть частным. 00:32:23 Формы силогизмов • Энтимема: сокращённый силогизм с пропущенной посылкой или заключением. • Эпихейрема: сложносокращённый силогизм, состоящий из интимем. 00:33:22 Полисилогизм • Полисилогизм — цепь простых силогизмов, где заключение предыдущего становится посылкой следующего. • Регрессивный полисилогизм: расширение предиката исходной большей посылки. • Прогрессивный полисилогизм: сужение субъекта исходной большей посылки. 00:34:20 Сарит • Сарит — сокращённый полисилогизм, где посылка последующего силогизма является выводом предыдущего. • Прогрессивный сорит: пропущена большая посылка каждого последующего силогизма. • Регрессивный сорит: пропущена меньшая посылка каждого последующего силогизма. 00:36:18 Условные умозаключения • Утверждающая форма: если А, то Б; А есть; следовательно, Б есть. • Отрицающая форма: если А, то Б; не Б; следовательно, не А. 00:36:50 Индуктивные умозаключения • Полная индукция: вывод на основании изучения всех объектов класса. • Неполная индукция: вывод на основании изучения части объектов класса. • Индукция через простое перечисление: вывод основан на повторении признака без глубокого анализа. • Научная индукция: вывод основан на знании причинно-следственных связей и закономерностей. 00:38:47 Умозаключение по аналогии • Аналогия свойств: переносимым признаком является свойство предмета. • Аналогия отношений: переносимым признаком является отношение между предметами. • Строгая аналогия: сходство основывается на необходимых существенных связках. • Нестрогая аналогия: сходство не является необходимым для вывода. • Ложная аналогия: поверхностное и нерелевантное сходство. • Факторы повышения надёжности аналогии: количество исходных признаков, существенность признаков, знание причинно-следственной связи.

СПИДРАН на всю логику за 40 минут 00:00:00 Введение в логику • Логика — наука о правильном мышлении. • Изучает законы, принципы и методы, позволяющие отличать верные рассуждения от неверных. • Полезен для развития мышления и подготовки к экзаменам. 00:00:44 Аристотель и основы логики • Аристотель заложил основы логики в IV веке до н. э. • Философы Древней Греции считали, что мир работает по неизменным законам. • Аристотель сформулировал три из четырёх основных законов логики. 00:01:12 Четыре закона логики • Закон тождества: мысль должна быть тождественной самой себе. • Закон противоречия: две противоположные мысли об одном и том же предмете не могут быть истинными одновременно. • Закон исключённого третьего: либо А, либо не А, третьего не дано. • Закон достаточного основания: всякая истинная мысль должна быть обоснована другими мыслями, истинность которых уже доказана. 00:02:51 Понятие и его структура • Понятие — мысль, выделяющая существенные признаки предмета. • Содержание понятия — совокупность существенных признаков. • Объём понятия — круг предметов, подходящих под эти признаки. 00:03:50 Виды понятий и их отношения • Общие, единичные, конкретные, абстрактные, положительные и отрицательные понятия. • Совместимые понятия: тождественные, пересекающиеся, подчинение. • Несовместимые понятия: соподчинение, противоположность, противоречие. 00:05:36 Операции с понятиями • Ограничение: переход от общего к частному. • Обобщение: расширение объёма понятия. • Определение: раскрытие содержания понятия. • Деление: ответ на вопрос о формах данного предмета. 00:07:33 Суждение и его структура • Суждение — мысль, в которой что-то утверждается или отрицается о предмете. • Логическая структура суждения: S есть P. • Виды суждений: атрибутивные, с отношениями, экзистенциальные. 00:08:32 Виды простых суждений • Общеутвердительные: все S есть P. • Частноутвердительные: некоторые S есть P. • Общеотрицательные: все S не есть P. • Частноотрицательные: некоторые S не есть P. 00:09:26 Распределённость терминов • Термин распределён, если его объём полностью включается в объём другого термина. • Термин нераспределён, если его объём частично включается или частично исключается из объёма другого термина. • Примеры распределённости и нераспределённости в общеутвердительных и частноутвердительных суждениях. 00:10:20 Общеотрицательные и частноотрицательные суждения • В общеотрицательных суждениях субъект и предикат распределены, например, «кошки не являются собаками». • В частноотрицательных суждениях субъект не распределён, а предикат распределён, например, «некоторые кошки не являются рыжими». 00:11:14 Логические операции с суждениями • Обращение: перестановка субъекта и предиката без изменения смысла, например, «все акулы являются рыбами» → «некоторые рыбы являются акулами». • Превращение: изменение качества связки и замена предиката на противоположный, например, «все люди смертны» → «все люди не являются бессмертными». • Противопоставление предикату: предикат становится субъектом, а субъект с отрицанием — предикатом, например, «все кошки млекопитающие» → «никто, кто не является млекопитающим, не является кошкой». 00:12:08 Виды суждений • Сравнимые суждения: можно сравнить по истинности, например, «стол деревянный» и «этот стол не деревянный». • Несравнимые суждения: о разном, например, «небо синее», «сахар сладкий». • Совместимые суждения: могут быть истинными одновременно, например, «некоторые люди спортсмены, а некоторые программисты». • Несовместимые суждения: не могут быть истинными одновременно, например, «эта дверь открыта и эта дверь закрыта». 00:13:06 Отношения между суждениями • Подчинение: из общего следует частное, но не наоборот, например, «все вороны чёрные» → «некоторые вороны чёрные». • Частичная совместимость: два частных утверждения могут сосуществовать, например, «некоторые вороны чёрные» и «некоторые вороны не чёрные». • Противоречие: одно утверждение всегда ложно, другое всегда истинно, например, «все караси рыбы» и «некоторые караси не рыбы». • Контрарность: два общих утверждения не могут быть правдой вместе, но оба могут быть ложными, например, «все ученики отличники» и «ни один ученик в классе не отличник». 00:15:39 Сложные суждения и логические связки • Сложные суждения состоят из простых суждений, соединённых логическими связками: «и», «или», «если то», «тогда и только тогда», «отрицание». • Конъюнкция: «P и Q» истинно, если оба простых суждения истинны. • Дизъюнкция: «P или Q» истинно, если истинно хотя бы одно простое суждение. • Импликация: «если P, то Q» ложно, если условие P истинно, а следствие Q ложно. • Эквивалентность: «P тогда и только тогда, когда Q» истинно, когда оба простых суждения имеют одинаковое значение. • Отрицание: «не P» меняет значение истинности простого суждения на противоположное.