https://courses.digitable.life/tags/%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/ Recent content in Логика on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:19:38 +0300 https://courses.digitable.life/post/logic/12-practice-cases-and-checklists/ Tue, 28 Jul 2026 12:00:00 +0300 https://courses.digitable.life/post/logic/12-practice-cases-and-checklists/ Единая карточка анализа, дерево диагностики, инженерные и бытовые кейсы, задания с решениями и формат, на котором будет построен интерактивный тренажёр. https://courses.digitable.life/post/logic/11-scientific-and-engineering-reasoning/ Tue, 28 Jul 2026 11:50:00 +0300 https://courses.digitable.life/post/logic/11-scientific-and-engineering-reasoning/ Дедукция, индукция и абдукция, гипотетико-дедуктивный цикл, методы Милля, причинные проверки, качество свидетельств, SDD, RFC, code review и расследование инцидентов. https://courses.digitable.life/post/logic/10-cognitive-biases-and-information-environment/ Tue, 28 Jul 2026 11:40:00 +0300 https://courses.digitable.life/post/logic/10-cognitive-biases-and-information-environment/ Чем bias отличается от fallacy, как работают подтверждение, доступность, якорение, framing, sunk cost, hindsight, groupthink и какие процессы действительно уменьшают их влияние. https://courses.digitable.life/post/logic/09-causal-probabilistic-statistical-fallacies/ Tue, 28 Jul 2026 11:30:00 +0300 https://courses.digitable.life/post/logic/09-causal-probabilistic-statistical-fallacies/ Корреляция и причинность, смешивающие факторы, base rate, ошибка обвинителя, выжившие, регрессия к среднему, малые выборки, p-hacking, парадокс Симпсона и честная работа с неопределённостью. https://courses.digitable.life/post/logic/08-presumption-and-ambiguity-fallacies/ Tue, 28 Jul 2026 11:20:00 +0300 https://courses.digitable.life/post/logic/08-presumption-and-ambiguity-fallacies/ Круг, сложный вопрос, бремя доказательства, ложная дилемма, special pleading, moving goalposts, slippery slope, equivocation, composition, division и категориальные ошибки. https://courses.digitable.life/post/logic/07-relevance-and-position-fallacies/ Tue, 28 Jul 2026 11:10:00 +0300 https://courses.digitable.life/post/logic/07-relevance-and-position-fallacies/ Ad hominem, straw man, red herring, whataboutism, ложный авторитет, популярность, традиция, эмоции и последствия: когда реплика не поддерживает заявленный тезис. https://courses.digitable.life/post/logic/06-modern-formal-fallacies/ Tue, 28 Jul 2026 11:00:00 +0300 https://courses.digitable.life/post/logic/06-modern-formal-fallacies/ Невалидные схемы, которые обнаруживаются независимо от темы: утверждение следствия, отрицание основания, неверная дизъюнкция, перестановка кванторов, экзистенциальный и модальный скачок. https://courses.digitable.life/post/logic/05-aristotle-sophistical-refutations/ Tue, 28 Jul 2026 10:50:00 +0300 https://courses.digitable.life/post/logic/05-aristotle-sophistical-refutations/ Шесть языковых и семь внеязыковых источников мнимого опровержения в «О софистических опровержениях»: от омонимии и амфиболии до ложной причины, сложного вопроса и подмены тезиса. https://courses.digitable.life/post/logic/04-enthymeme-and-rhetorical-proof/ Tue, 28 Jul 2026 10:40:00 +0300 https://courses.digitable.life/post/logic/04-enthymeme-and-rhetorical-proof/ Почему реальные аргументы сокращены, как Аристотель и Челпанов понимали энтимему, как достраивать скрытые посылки, работать с примерами, знаками, максимами, этосом и пафосом. https://courses.digitable.life/post/logic/03-categorical-syllogisms/ Tue, 28 Jul 2026 10:30:00 +0300 https://courses.digitable.life/post/logic/03-categorical-syllogisms/ Как устроена аристотелевская силлогистика: большой, меньший и средний термины, четыре фигуры, валидные модусы, распределённость, диаграммы и типовые ошибки. https://courses.digitable.life/post/logic/02-propositions-and-opposition/ Tue, 28 Jul 2026 10:20:00 +0300 https://courses.digitable.life/post/logic/02-propositions-and-opposition/ Как из понятий строятся утверждения: A/E/I/O, качество и количество, распределённость, квадрат оппозиции, преобразования, кванторы и область действия отрицания. https://courses.digitable.life/post/logic/01-concepts-definitions-classification/ Tue, 28 Jul 2026 10:10:00 +0300 https://courses.digitable.life/post/logic/01-concepts-definitions-classification/ Термин и понятие, содержание и объём, род и вид, правила определения и деления; круг, подмена основания, слишком широкая граница и другие ошибки моделирования. https://courses.digitable.life/post/logic/00a-history-and-levels-of-abstraction/ Tue, 28 Jul 2026 10:05:00 +0300 https://courses.digitable.life/post/logic/00a-history-and-levels-of-abstraction/ Две полноценные редакции одной истории: человеческий путь от убеждения к доказательству и инженерный путь от требования к типам, политикам, тестам и архитектуре. https://courses.digitable.life/post/logic/00-overview/ Tue, 28 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/logic/00-overview/ Как устроено хорошее рассуждение, почему каталог названий не заменяет анализа и по какому маршруту пройти от понятий и силлогизмов к причинности, статистике и аргументации в разработке. https://courses.digitable.life/post/lambda-calculus/04-booleans/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/04-booleans/ В лямбда-исчислении нет true, false и if — и они не нужны: булево значение оказывается функцией выбора из двух аргументов, а весь набор логических операций собирается из неё за десяток символов. https://courses.digitable.life/post/mathematics/02-logic-and-proofs/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/02-logic-and-proofs/ Пропозициональная логика, кванторы, правила вывода и методы доказательств — от таблиц истинности и SAT-солверов до инвариантов цикла, соответствия Карри–Ховарда и теорем Гёделя.