Письмо деванагари

Ликбез по логике, курс И. Е. Толчельникова 2024-2025 г.

Ликбез по логике (02-01/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:04 — Введение и организационные вопросы
00:01:47 — Логические круги и предикаты
00:04:42 — Универсум и предикаты разных порядков
00:09:29 — Логические связки
00:10:45 — Пропозициональные и продицирующие связки
00:12:35 — Материальная импликация
00:14:24 — Пример с докладом
00:17:13 — Графическое представление
00:20:00 — Пустое множество
00:23:59 — Черная материя
00:26:08 — Теория истины
00:27:06 — Не эпидемические теории истины
00:28:06 — Символические отношения
00:29:30 — Пустое множество
00:31:13 — Логическое следование
00:33:06 — Противоречия и логика
00:35:09 — Практика с предложениями
00:39:43 — Ложные высказывания
00:42:47 — Поэты и санскрит
00:45:03 — Истина и ложь
00:46:13 — Формализация и задачи
00:47:26 — Пример с Набоковым
00:48:23 — Импликация и антицедент
00:53:28 — Пример с востоковедами
00:56:50 — Логика и импликация
00:57:39 — Логика и аксиомы
00:58:39 — Универсальность логики
01:00:36 — Коммуникация с животными
01:01:43 — Пустое множество и брахман
01:07:21 — Логика и восприятие мира
01:10:01 — Примеры и аналогии
01:13:04 — Адвайта и дуализм
01:15:57 — Эквиваленция
01:20:46 — Равенство
01:28:42 — Введение в экстенсионалы и интенсионалы
01:30:17 — Экстенсиональные и интенсиональные контексты
01:31:27 — Примеры интенсиональных контекстов
01:35:25 — Определение истинности предложений
01:38:52 — Пример с Пелевиным и «Дженерал П.»
01:42:51 — Заключение
01:45:50 — Смысло-зависимый контекст
01:47:00 — Равенство и замена
01:49:06 — Интенсиональные и экстенсиональные контексты
01:50:07 — Логические законы и замена терминов
01:52:23 — Примеры и обсуждение
01:57:33 — Четные и нечетные числа
02:02:01 — Введение в тему
02:03:44 — Введение единицы
02:06:36 — Пример с нечетными числами
02:08:13 — Решение примеров
02:11:02 — Пример с живым существом
02:18:29 — Заключение и вопросы
02:22:59 — Логические заключения
02:24:08 — Логические символы и модальная логика
02:25:51 — Силлогистика и логика предикатов
02:27:41 — Логика и адвайта
02:29:53 — Религиозная философия и логика

Ликбез по логике (02-02/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:01 — Введение
00:00:33 — История о филологической радости
00:01:19 — Вопросы и начало лекции
00:01:47 — Логическая семантика и треугольник Фреге
00:03:42 — Коннотация и значение нелогических терминов
00:04:05 — Введение в семантику
00:06:07 — Знак по Фреге
00:08:40 — Треугольник Фреге
00:12:08 — Значение и смысл знака
00:16:26 — Определение и примеры
00:17:24 — Вопросы и ответы
00:20:18 — Традиции и терминология
00:21:07 — Устойчивость терминов
00:22:06 — Философская традиция
00:22:35 — Варианты терминов
00:23:33 — Пример с холостяком
00:23:58 — Смысл и коннотация
00:25:53 — Различие между смыслом и коннотацией
00:27:55 — Логические и нелогические термины
00:30:22 — Примеры нелогических терминов
00:34:10 — Визуализация нелогических терминов
00:37:14 — Смысл нелогических терминов
00:40:20 — Значение предложения
00:41:10 — Смысл и значение предложения
00:43:22 — Истина и ложь предложений
00:44:01 — Примеры ложных предложений
00:45:08 — Смысл и значение в логике
00:48:31 — Артха в индийской логике
00:54:06 — Практическое применение
00:56:55 — Различие между смыслом и значением
00:59:11 — Пример с математиком
01:00:26 — Пример с испанским математиком
01:03:22 — Пример с математиком в кавычках
01:10:28 — Пример с текстом
01:12:40 — Пример с «Битлз»
01:14:26 — Пример с числом 14
01:15:07 — Значение и смысл числа
01:16:27 — Возраст и его значение
01:20:48 — Житель Москвы и его значение
01:23:57 — Родитель и его значение
01:29:43 — Значение и смысл предложений
01:32:45 — Каждый индиец — индуист
01:33:37 — Логические знания и примеры
01:34:06 — Различие между истинными и ложными утверждениями
01:35:15 — Примеры и пояснения
01:40:01 — Контекст и его влияние
01:43:00 — Значение и смысл
01:45:22 — Словари и переводы
01:49:25 — Заключение

Ликбез по логике (02-03/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:47 — Введение
00:02:18 — Начало обсуждения
00:03:06 — Иерархия нелогических терминов
00:06:18 — Предикаты первого и второго порядка
00:09:20 — Практика и примеры
00:17:45 — Заключение
00:19:05 — Введение в понятия первого и второго порядка
00:20:04 — Примеры и пояснения
00:21:52 — Логическое представление
00:26:09 — Семейства и их классификация
00:30:15 — Порядки классификации
00:34:01 — Практическое применение
00:34:42 — Логические термины
00:36:11 — Переменные
00:37:54 — Логика первого и второго порядка
00:40:33 — Ограничения и примеры
00:42:34 — Предикаты по местности
00:46:39 — Примеры и функции
00:51:02 — Функции и истинностные значения
00:53:03 — Заключение
00:54:07 — Обсуждение предикатов и индивидуумов
00:56:24 — Функторы и их примеры
00:58:56 — Применение функторов
01:03:19 — Сравнение с санскритскими формулами
01:05:13 — Введение в логические термины
01:06:13 — Продицирующие связки
01:09:09 — Пропозициональные связки
01:10:26 — Логические операции
01:14:31 — Примеры использования логических связок
01:17:19 — Практика и примеры
01:21:25 — Заключение
01:23:02 — Введение в формальный язык
01:25:11 — Примеры формальных предложений
01:30:45 — Логические связки и их применение
01:42:16 — Заключение и домашнее задание

Ликбез по логике (02-04/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:04 — Введение и организационные вопросы
00:01:47 — Логические круги и предикаты
00:04:42 — Универсум и предикаты разных порядков
00:09:29 — Логические связки
00:10:45 — Пропозициональные и продицирующие связки
00:12:35 — Материальная импликация
00:14:24 — Пример с докладом
00:17:13 — Графическое представление
00:20:00 — Пустое множество
00:23:59 — Черная материя
00:26:08 — Теория истины
00:27:06 — Не эпидемические теории истины
00:28:06 — Символические отношения
00:29:30 — Пустое множество
00:31:13 — Логическое следование
00:33:06 — Противоречия и логика
00:35:09 — Практика с предложениями
00:39:43 — Ложные высказывания
00:42:47 — Поэты и санскрит
00:45:03 — Истина и ложь
00:46:13 — Формализация и задачи
00:47:26 — Пример с Набоковым
00:48:23 — Импликация и антицедент
00:53:28 — Пример с востоковедами
00:56:50 — Логика и импликация
00:57:39 — Логика и аксиомы
00:58:39 — Универсальность логики
01:00:36 — Коммуникация с животными
01:01:43 — Пустое множество и брахман
01:07:21 — Логика и восприятие мира
01:10:01 — Примеры и аналогии
01:13:04 — Адвайта и дуализм
01:15:57 — Эквиваленция
01:20:46 — Равенство
01:28:42 — Введение в экстенсионалы и интенсионалы
01:30:17 — Экстенсиональные и интенсиональные контексты
01:31:27 — Примеры интенсиональных контекстов
01:35:25 — Определение истинности предложений
01:38:52 — Пример с Пелевиным и «Дженерал П.»
01:42:51 — Заключение
01:45:50 — Смысло-зависимый контекст
01:47:00 — Равенство и замена
01:49:06 — Интенсиональные и экстенсиональные контексты
01:50:07 — Логические законы и замена терминов
01:52:23 — Примеры и обсуждение
01:57:33 — Четные и нечетные числа
02:02:01 — Введение в тему
02:03:44 — Введение единицы
02:06:36 — Пример с нечетными числами
02:08:13 — Решение примеров
02:11:02 — Пример с живым существом
02:18:29 — Заключение и вопросы
02:22:59 — Логические заключения
02:24:08 — Логические символы и модальная логика
02:25:51 — Силлогистика и логика предикатов
02:27:41 — Логика и адвайта
02:29:53 — Религиозная философия и логика

Ликбез по логике (02-05/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:05 — Введение и приветствие
00:00:30 — Доклад и его восприятие
00:01:44 — История философии и формальные методы
00:02:39 — Вопросы по курсу
00:03:48 — Логика и дискрипции
00:05:18 — Примеры дискрипций
00:09:06 — Определенные и неопределенные дискрипции
00:11:16 — Примеры и практика
00:16:51 — Заключение
00:18:06 — Практика с артиклями
00:19:47 — Автор и произведение
00:22:03 — Предикаторы и функторы
00:25:11 — Пример с другом и его отцом
00:27:08 — Пример с песней и автором
00:28:41 — Пример с романом и его главным героем
00:33:36 — Пример с женой главного героя
00:36:28 — Пример с музыкантами
00:37:24 — Предикаты первого порядка
00:38:00 — Отчисление студентов
00:39:59 — Предикаты и их истинность
00:40:57 — Предложения и их структура
00:44:01 — Функции и их значение
00:47:10 — Искусственный интеллект и кодирование
00:52:28 — Заключение и домашнее задание
00:53:59 — Введение в кванторы
00:57:25 — Философский вопрос о существовании
00:58:12 — Кант о существовании как предикате
01:03:25 — Пустые множества
01:09:00 — Кванторы общности и существования
01:11:03 — Квант существования и импликация
01:12:37 — Практика и примеры
01:17:03 — Проблемы с подключением и логическая запись
01:20:24 — Пример с собаками и кошками
01:27:26 — Заключение и вопросы
01:29:07 — Объяснение кванторов
01:30:29 — Программистское объяснение
01:32:11 — Пример с владельцами собак
01:37:28 — Пример с любовью
01:41:10 — Пример с математическим образованием
01:47:41 — Пример с группой и отличниками
01:50:16 — Отрицание и кванторы
01:51:08 — Конъюнкция и отрицание
01:52:00 — Запись предложения
01:55:02 — Помощь в понимании
01:57:30 — Алгоритм действий
02:00:37 — Видео для закрепления
02:03:04 — Введение тайм-кодов
02:04:55 — Критическая масса символов
02:06:03 — Практическое занятие
02:08:08 — Логическое разложение предложения
02:13:10 — Дополнительные материалы
02:16:17 — Индийская логика и формальный язык
02:18:14 — Семантика и теория множеств
02:19:27 — Джайнская логика и категорические суждения
02:21:24 — Логические знаки и отрицание
02:23:34 — Планы на будущие занятия
02:24:46 — Организация занятий и тайм-коды
02:26:33 — Завершение занятия

Ликбез по логике (02-06/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:07 — Введение
00:01:57 — Определение выражения
00:02:59 — Категорические и синтактические выражения
00:05:11 — Предложения
00:07:11 — Предикаторы и функторы
00:16:27 — Индивиды и их описание
00:18:39 — Способы указания на индивида
00:20:47 — Примеры и различия
00:22:04 — Вопросы и ответы
00:24:06 — Определение дискрипции
00:25:53 — Натуральные числа и функторы
00:29:24 — Образование предложений
00:31:05 — Сложные предложения и кванторы
00:34:34 — Высказывания и их смысл
00:38:19 — Значение и смысл знака
00:42:53 — Значение и смысл предложений
00:43:39 — Примеры истинности и ложности предложений
00:45:47 — Теории истины
00:48:48 — Логика времени
00:51:30 — Значение и смысл имен
00:56:12 — Примеры бессмысленных выражений
00:59:13 — Значение и смысл слов
01:00:47 — Формализация и семантика
01:03:29 — Неопределенные выражения
01:05:36 — Квадрат числа
01:08:26 — Сумма чисел
01:12:15 — Значение и смысл знака
01:15:12 — Функторы и их виды
01:16:44 — Понятие «жены»
01:20:36 — Формализация и предикаты
01:21:28 — Смысл и значение
01:22:54 — Пример с императором
01:23:58 — Жена кого-то
01:30:39 — Предикат и функтор
01:32:26 — Предикат «выше чем»
01:35:57 — Пример с Аристотелем
01:36:53 — Значение ложного предложения
01:38:10 — Формализация и семантика предложений
01:41:44 — Пример с Аристотелем
01:43:52 — Уточнение и смысл предложений
01:45:19 — Пример с Тургеневым
01:46:01 — Обсуждение индивидного имени
01:46:48 — Простое или сложное предложение
01:48:02 — Предикаторы и функторы
01:53:08 — Семантические категории
01:55:02 — Семантика и синтаксис
01:59:37 — Пример с учителем Шанкары
02:01:49 — Преподаватели МГУ
02:03:09 — Обсуждение значения и смысла
02:04:38 — Пример с Барсиком
02:06:00 — Логические операции и предикаты
02:08:29 — Семантика и истина
02:10:26 — Предикаты и их роль
02:11:57 — Завершение и планы на будущее
02:12:59 — Вопросы и ответы
02:14:07 — Завершение встречи

Ликбез по логике (02-07/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:02 — Введение и организационные вопросы
00:01:43 — Планы на курс
00:04:17 — Функциональный анализ языка
00:07:15 — Виды функций
00:09:14 — Примеры функций
00:12:28 — Заключение и задание
00:14:32 — Квадрат числа
00:15:39 — Логический оператор отрицание
00:17:47 — Отец кого-то
00:20:28 — Писатель
00:22:04 — Импликация если то
00:23:12 — Выше чем
00:25:00 — Имеется у кого-то
00:30:02 — Длина в сантиметрах
00:30:32 — Длина в сантиметрах
00:31:52 — Функции и индивиды
00:34:05 — Логические операторы
00:37:08 — Сравнение индивидов
00:39:04 — Типология индивидов
00:41:32 — Проблемы типизации индивидов
00:43:41 — Логическое типизирование и его актуальность
00:45:25 — Повторение формального языка
00:50:06 — Пример с романами Вирджинии Вулф
00:58:02 — Пример с трехцветными котами
01:00:59 — Пример с книгами Керуака
01:02:26 — Введение в отрицание
01:03:19 — Библиотека и книги
01:06:48 — Квантор общности
01:08:00 — Отрицание существования
01:10:03 — Формализация предложения
01:11:39 — Причинно-следственные отношения
01:13:37 — Причинно-следственная связь
01:15:12 — Логические термины и импликация
01:20:12 — Логические законы и скобки
01:27:24 — Пример с Барсиком и мышами
01:29:17 — Заключение и подготовка к следующему примеру
01:30:18 — Приятные и неприятные объекты
01:31:32 — Формальное выражение
01:35:48 — Желаемое и отторгаемое
01:39:05 — Действия и их последствия
01:43:31 — Закон сансары
01:46:28 — Эквиваленция и сансара
01:48:36 — Рассуждение о действии и брахмане
01:50:04 — Противоречие и отказ от посылок
01:51:08 — Ложность сансары
01:52:32 — Аргументы против адвайты
01:53:27 — Критика и ответы
01:55:40 — Финальная практика и планы
01:57:02 — Заключение и вопросы

Ликбез по логике (02-08/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:00 — Введение
00:01:06 — Формулы и их значение
00:04:26 — Константы и их роль
00:06:32 — Примеры интерпретаций
00:11:13 — Дополнительные примеры
00:19:12 — Заключение
00:20:34 — Логические отношения
00:22:49 — Логические операции
00:24:57 — Импликация и эквиваленция
00:29:17 — Логические формулы
00:34:24 — Универсальные формы рассуждения
00:36:08 — Обсуждение импликации и эквивалентности
00:38:11 — Общезначимые формулы и логические законы
00:43:04 — Таблицы истинности и примеры
00:50:36 — Противоречие и его примеры
00:54:11 — Существование и его примеры
00:55:54 — Логические рассуждения
00:57:18 — Пример с гандхарвами
00:58:15 — Логические законы
01:04:10 — Теоремы и аксиомы
01:07:14 — Эквиваленция и синонимы
01:11:01 — Потеря связи и импликация
01:13:54 — Примеры и абстрагирование
01:18:07 — Таблицы истинности и их значение
01:21:34 — Независимость предложений
01:22:34 — Применение таблиц истинности
01:25:41 — Завершение занятия

Ликбез по логике (02-09/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:01 — Введение
00:01:19 — Вопросы и повторение
00:02:00 — Логика предикатов
00:03:33 — Таблицы истинности
00:05:36 — Применение таблиц истинности
00:06:36 — Отношения между формулами
00:08:06 — Примеры интерпретаций
00:10:05 — Введение в логику
00:10:52 — Дедуктивное рассуждение
00:12:35 — Исследование отношений между высказываниями
00:14:10 — Совместимость и несовместимость формул
00:16:21 — Пример с отрицанием качеств
00:18:45 — Практическое применение
00:23:31 — Принципы остановки
00:25:30 — Совместимость по истинности
00:28:43 — Импликация и следование
00:30:27 — Проверка следования
00:32:03 — Совместимость и проверка
00:33:18 — Пример с преподавателем
00:39:46 — Совместимость и проверка следования
00:41:20 — Обсуждение следования
00:44:00 — Пример с баллотировкой в президенты
00:46:14 — Противоречие
00:48:17 — Противоположность
00:49:31 — Эквивалентность и независимость
00:50:58 — Субконтрарность
00:52:39 — Истина и ложь
00:54:06 — Совместимость и несовместимость
00:55:42 — Под противоположность
00:56:57 — Расстановка истинности
01:00:05 — Противоречие и совместимость
01:03:02 — Фундаментальные отношения
01:10:02 — Заключение
01:10:56 — Введение в анватера
01:12:16 — Три отношения в анватере
01:13:05 — Примеры и аргументы
01:16:59 — Независимость и примеры
01:26:55 — Заключение и дальнейшие шаги

Ликбез по логике (02-10/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:10 — Введение
00:00:32 — Вопрос о перерождениях
00:02:30 — Теория деяния
00:04:07 — Адвайта и карма
00:06:27 — Освобождение и критерии
00:09:04 — Логистика и курс
00:10:45 — Введение в курс
00:12:21 — Логистика и высказывания
00:13:50 — Атрибутивные и модальные высказывания
00:16:42 — Категорические высказывания
00:18:45 — Виды категорических высказываний
00:20:30 — Сведение высказываний к четырем видам
00:23:43 — Заключение
00:25:51 — Введение в традиционную логистику
00:26:58 — Истоки и развитие логики
00:28:33 — Язык логики
00:31:47 — Сложные предложения
00:34:36 — Практика перевода
00:42:18 — Заключение
00:44:33 — Страсти и дурные поступки
00:46:37 — Логика и высказывания
00:49:37 — Противоположность и противоречие
00:52:29 — Примеры совместимости и несовместимости
01:03:11 — Логический квадрат
01:04:02 — Применение логического квадрата
01:07:07 — Переход по логическому квадрату
01:13:24 — Сильные и слабые утверждения
01:15:36 — Проверка истинности высказываний
01:20:56 — Заключение
01:22:23 — Логические рассуждения
01:23:47 — Пример с буддистами
01:25:10 — Логические выводы
01:27:40 — Примеры и рассуждения
01:29:48 — Спор о Шанкаре
01:32:41 — Заключение и планы
01:37:39 — Завершение занятия

Ликбез по логике (02-11/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:01 — Введение и организационные моменты
00:01:41 — Вопросы и обсуждение прошлого занятия
00:04:06 — Выводы через обращение
00:06:28 — Пример с вайшнавами и индуистами
00:12:21 — Вопросы и ответы по логическому квадрату
00:15:22 — Пример с джайнами и индуистами
00:17:22 — Обращение высказываний
00:19:03 — Буддисты и авторитетные стандарты
00:24:08 — Силлогизм
00:30:11 — Практика силлогизмов
00:34:52 — Введение в силлогизмы
00:35:51 — Силлогизмы и их структура
00:36:52 — Примеры силлогизмов
00:45:46 — Фигуры силлогизмов
00:50:56 — Модусы силлогизмов
00:52:08 — Неверные силлогизмы
00:54:43 — Неверные формы рассуждений
00:55:58 — Модусы силлогизма
00:56:55 — Примеры и важность модуса барбара
00:57:52 — Индукция и абдукция
01:00:15 — Другие модусы силлогизма
01:01:59 — Запоминание модусов
01:04:36 — Энтимемы
01:05:42 — Переход к индийской логике
01:07:16 — Планы на будущее

Ликбез по логике (02-12/16), курс И. Е. Толчельникова 2024-2025 г.

00:04:53 — Введение и проверка присутствия
00:05:43 — Обзор темы занятия
00:06:10 — Повторение пройденного материала
00:07:48 — Структура силлогизма
00:09:22 — Фигуры и модусы силлогизма
00:11:49 — Вопросы и ответы
00:14:22 — Переход к новой теории
00:17:29 — Распределенность терминов
00:18:56 — Проверка истинности высказываний
00:21:48 — Примеры распределенности терминов
00:24:53 — Требования к правильному силлогизму
00:27:49 — Уточнение по распределенности терминов
00:33:55 — Распределенность и проверка высказываний
00:35:49 — Правила силлогизма
00:37:58 — Пример силлогизма
00:41:05 — Проверка силлогизма на правильность
00:45:02 — Пример неправильного силлогизма
00:49:52 — Пример силлогизма с перестановкой терминов
00:53:40 — Распределенность терминов
00:56:20 — Пример с вайшнавами и индуистами
00:59:35 — Пример с котами и растениями
01:04:00 — Пример с Ведой и сказанным человеком
01:11:38 — Сомнения в авторитетности
01:16:09 — Истинность ведических текстов
01:19:52 — Логические выводы и антиномии
01:24:39 — Практическое применение логики
01:25:38 — Восстановление антимема
01:27:32 — Правила силлогизма
01:29:32 — Проверка правильности силлогизма
01:32:03 — Осмысленные предложения
01:38:11 — Историко-философский дискурс
01:40:31 — Практическая польза упанишад
01:42:03 — Высказывание Шанкары
01:43:50 — Единичное и распределение
01:45:05 — Результат устранения неведения
01:46:19 — Истина и познание
01:47:25 — Практическое и метафизическое знание
01:49:05 — Беспричинная милость
01:50:18 — Обсуждение предложений
01:53:01 — Логические аспекты
01:57:04 — Переход к следующей теме
02:00:19 — Китайская логика
02:02:31 — Обсуждение китайских логик
02:03:29 — Завершение обсуждения

Ликбез по логике (02-13/16), курс И. Е. Толчельникова 2024-2025 г.

00:00:02 — Введение
00:01:19 — Логика в индийской философии
00:03:18 — Логика в индуистской философии
00:04:55 — История ньяи
00:09:42 — Новая ньяя
00:11:35 — Категории в ньяе
00:16:40 — Категории и предикаты
00:18:30 — Категории вайшешиков
00:20:29 — Темы ньяи
00:21:52 — Логика в ньяе
00:25:36 — Познаваемое и сомнение
00:27:49 — Цель и пример
00:30:09 — Предмет веры
00:32:27 — Теория познания и логика
00:34:25 — Диспутология и споры
00:36:28 — Искажение смысла и аналогия
00:39:42 — Поражение в споре
00:42:00 — Иерархия и порядок
00:44:37 — Школа логики
00:46:31 — Макс Мюллер и индийская философия
00:47:15 — Перевод и значение слова «романы»
00:49:35 — Верификация и способы проверки истинности
00:50:59 — Количество и виды романов
00:52:32 — Буддизм и свидетельство авторитета
00:53:59 — Сравнение и другие виды романов
00:56:09 — Требования к романам
00:57:52 — Познание через отсутствие
01:01:07 — Джайнская система романов
01:02:43 — Введение в роман
01:05:44 — Примеры и гипотезы
01:10:02 — Допущения и артхапатии
01:13:13 — Силлогизм ньяи
01:20:22 — Повторение о дымящих и горящих
01:24:13 — Отрицательная формулировка
01:27:48 — Логическое рассуждение и единичные термины
01:29:58 — Модус силлогизма и индийская логика
01:32:10 — Терминное и пропозициональное отрицание
01:34:02 — Модусы силлогизмов
01:35:10 — Примеры модусов
01:37:06 — Существование объектов
01:38:53 — Достоверное знание
01:40:45 — Математика и наука в Индии
01:43:01 — Реализм свойств
01:46:14 — Проблема универсалий
01:48:52 — Силлогизм и его структура
01:49:55 — Проверка силлогизмов на истинность
01:50:54 — Критерий правильности силлогизма
01:51:52 — Пример неправильного силлогизма
01:53:33 — Корреляция с европейскими способами
01:56:37 — Заключение и планы на будущее

Ликбез по логике (02-14/16), курс И. Е. Толчельникова 2024-2025

00:00:00 — Введение
00:04:36 — Буддистские школы и логика
00:05:36 — Дигнага и буддистская логика
00:07:55 — Школы буддизма
00:09:51 — Йогачара и её направления
00:12:03 — Исследования на русском языке
00:13:30 — Источники и переводы
00:14:54 — Соответствие между санскритскими и тибетскими терминами
00:16:08 — Логика в буддизме и её распространение
00:17:49 — Параманы и их критерии
00:19:44 — Шабда и её роль в буддизме
00:21:31 — Буддийская реальность и дхармы
00:23:03 — Иллюзия «я» и метафизика
00:26:42 — Восприятие и общие понятия
00:29:27 — Логический вывод и его роль
00:31:23 — Введение в Махаяну и йогачару
00:33:39 — Основные положения Махаяны
00:34:53 — Дигнага и его вклад в йогачару
00:37:12 — Силлогизмы Дигнаги
00:40:36 — Критерии оценки силлогизмов
00:42:44 — Критерии среднего термина
00:43:45 — Хету чакра и подбор среднего термина
00:45:27 — Комбинации среднего и большего терминов
00:47:13 — Универсальный термин и его ограничения
00:48:50 — Совпадение среднего и большего терминов
00:51:05 — Третий случай и его ограничения
00:52:18 — Вторая колонка и её случаи
00:55:58 — Третий случай и его примеры
00:57:55 — Хету чакра и её структура
01:00:14 — Введение в дигнагу
01:01:52 — Проблемы с пониманием без картинок
01:03:18 — Вопросы и ответы
01:04:24 — Графическое изображение хету чакры
01:05:25 — Работа с антимимами
01:07:20 — Анализ антимимы
01:08:54 — Пример с вечным и познаваемым
01:13:32 — Пример с результатом усилия
01:21:41 — Пример с богом и физическим телом
01:22:50 — Мозг и мысли
01:23:49 — Наука и метафизика
01:25:08 — Буддизм и физическое тело
01:27:03 — Силлогизмы и их истинность
01:30:27 — Примеры и рассуждения
01:35:03 — Брахманы и огнеходство
01:39:16 — Заключение и планы

Ликбез по логике (02-15/16), курс И. Е. Толчельникова 2024-2025

00:00:10 — Введение
00:00:32 — Вопрос о перерождениях
00:02:30 — Теория деяния
00:04:07 — Адвайта и карма
00:06:27 — Освобождение и критерии
00:09:04 — Логистика и курс
00:10:45 — Введение в курс
00:12:21 — Логистика и высказывания
00:13:50 — Атрибутивные и модальные высказывания
00:16:42 — Категорические высказывания
00:18:45 — Виды категорических высказываний
00:20:30 — Сведение высказываний к четырем видам
00:23:43 — Заключение
00:25:51 — Введение в традиционную логистику
00:26:58 — Истоки и развитие логики
00:28:33 — Язык логики
00:31:47 — Сложные предложения
00:34:36 — Практика перевода
00:42:18 — Заключение
00:44:33 — Страсти и дурные поступки
00:46:37 — Логика и высказывания
00:49:37 — Противоположность и противоречие
00:52:29 — Примеры совместимости и несовместимости
01:03:11 — Логический квадрат
01:04:02 — Применение логического квадрата
01:07:07 — Переход по логическому квадрату
01:13:24 — Сильные и слабые утверждения
01:15:36 — Проверка истинности высказываний
01:20:56 — Заключение
01:22:23 — Логические рассуждения
01:23:47 — Пример с буддистами
01:25:10 — Логические выводы
01:27:40 — Примеры и рассуждения
01:29:48 — Спор о Шанкаре
01:32:41 — Заключение и планы
01:37:39 — Завершение занятия

Ликбез по логике (02-16/16), курс И. Е. Толчельникова 2024-2025

00:00:05 — Введение
00:03:16 — Структура индийского силлогизма
00:05:57 — Отрицание в индийской логике
00:10:44 — Оценка правильности силлогизма
00:12:45 — Практическое занятие
00:19:55 — Поздравление и обсуждение хинди
00:20:37 — Логика рассуждений и отрицание
00:21:20 — Силлогизм и его структура
00:23:05 — Пример с телом и атманом
00:28:09 — Анализ силлогизма
00:30:12 — Хету чакра и анализ рассуждений
00:33:02 — Пример с видимым телом
00:41:05 — Заключение и обсуждение
00:41:36 — Обсуждение логики и терминов
00:44:58 — Понятие «я» и его свойства
00:47:02 — Логика и сложные термины
00:50:11 — Восприятие и тонкость
00:52:09 — Исчезновение и свойства
00:57:26 — Познание и реальность
01:00:19 — Логика и отрицания
01:03:34 — Обсуждение философской прозы
01:05:53 — Ухищрения и теория множеств
01:07:29 — Силлогизмы и анти-мема
01:09:30 — Наблюдение и атман
01:13:09 — Даршана и наблюдение
01:17:38 — Силлогизм и рассуждения
01:19:25 — Примеры и силлогизмы
01:20:40 — Средний термин и наблюдение
01:21:52 — Наблюдатель и объект наблюдения
01:23:09 — Признак и наблюдающий атман
01:27:12 — Логический вывод и признаки
01:32:29 — Наблюдатель и наблюдаемое
01:36:03 — Заключение и вопросы
01:37:44 — Обсуждение сложной ситуации
01:38:58 — Подготовка к мероприятию
01:39:28 — Обсуждение второго ведущего
01:41:52 — Погруженность в культуру
01:44:33 — Курс «Фагавагид»
01:46:39 — Организация ретрита
01:47:04 — Завершение обсуждения
01:47:48 — Обсуждение интерфейса и обучения
01:49:49 — Исследование и логика
01:50:52 — Экспериментальный курс по логике
01:51:42 — История создания курса
01:54:00 — Впечатления от курса
01:56:18 — Оценка участия и планы на будущее
01:58:39 — Завершение и пожелания

Ом

Готовы начать?

Нажмите кнопку и перейдите в Telegram-чат вводного занятия.

Курсы логики онлайн

Ликбез по логике

Курсы логики онлайн по программе МГУ.

Оглавление

Лекция 1

Ликбез по логике (02-01/16)
1. Введение в логику
   1. Определение логики
   2. Классификация рассуждений

2. Основные типы умозаключений
   1. Дедуктивные
   2. Индуктивные

3. Логические ошибки (семантические)
   1. Аффирмация следствия
   2. Отрицание предпосылки
   3. Нечеткая обоснованность классификаций

4. Логические ошибки (синтаксические)
   1. Круговая аргументация
   2. Ложный дилемма
   3. Неправильное обобщение

Лекция 2

Ликбез по логике (02-02/16)

1. История логики
   1. Античная логика (Аристотель)
   2. Средневековая логика (ф. Аквинский)
   3. Новая логика (Кантор, Готлоб Фреге)

2. Предложения и высказывания
   1. Простые и сложные высказывания
   2. Понятие истины

3. Логические операции
   1. «И», «ИЛИ», «НЕ»
   2. Таблицы истинности

4. Упражнения и примеры

Лекция 3

Ликбез по логике (02-03/16)

1. Методы формализации
   1. Преобразование естественного языка
   2. Логические символы

2. Порядок операций
   1. Отрицание имеет приоритет
   2. И, ИЛИ, иные

3. Импликация и эквиваленция
   1. Материальная импликация
   2. Истинностные таблицы

4. Связь форм и смысла

Лекция 4

Ликбез по логике (02-04/16)

1. Методы дедукции
   1. Силлогизмы
   2. Прямые и косвенные доказательства

2. Индуктивные умозаключения
   1. Аналогия
   2. Общие закономерности

3. Корректность и полнота
   1. Формальная полнота
   2. Семантическая непротиворечивость

4. Логические парадоксы

Лекция 5

Ликбез по логике (02-05/16)

1. Числовые высказывания
   1. Обозначение сущностей
   2. Кванторы «все», «существует»

2. Предикатная логика
   1. Порядок кванторов
   2. Экстенсиональные модели

3. Свободные и связанные переменные
   1. Область определения
   2. Подстановки

4. Формализация дедукции

Лекция 6

Ликбез по логике (02-06/16)

1. Индуцированное определение
   1. Определение по характеристикам
   2. Примеры

2. Дизъюнкция и конъюнкция
   1. Разложение по законам
   2. Силлогизмы с конъюнкцией

3. Рефлексия и связь с философией
   1. Мышление о мышлении
   2. Критическая аргументация

Лекция 7

Ликбез по логике (02-07/16)

1. Лемма о замене
   1. Принцип подстановки равнозначного
   2. Примеры использования

2. Закон двойного отрицания
   1. Эквивалентность
   2. Применение в доказательствах

3. Формы нормализации
   1. Конъюнктивная нормальная форма
   2. Дизъюнктивная нормальная форма

Лекция 8

Ликбез по логике (02-08/16)

1. Существование и единственность
   1. Квантор «существует»
   2. Уникальность

2. Системы предикатов
   1. Интерпретации
   2. Модели

3. Связь с математикой
   1. Линейные множества
   2. Структуры

Лекция 9

Ликбез по логике (02-09/16)

1. Математическая индукция
   1. Базовый шаг
   2. Шаг индукции

2. Комбинаторика логики
   1. Бином Ньютона
   2. Примеры

Лекция 10

Ликбез по логике (02-10/16)

1. Критерии выводимости
   1. Модели и семантика
   2. Корректность систем аксиом

2. Задачи доказуемости
   1. Построение контрпримера
   2. Неполнота теории

Лекция 11

Ликбез по логике (02-11/16)

1. Степень невыполнимости
   1. Невыполнимые формулы
   2. Парадокс Рассела

2. Аксиоматика множеств
   1. ZF-аксиомы
   2. Базовые модели

Лекция 12

Ликбез по логике (02-12/16)

1. Алгоритмы вывода
   1. Прямые логические цепочки
   2. Обратное доказательство

2. Предикаты и функции
   1. Различие
   2. Примеры из математики

Лекция 13

Ликбез по логике (02-13/16)

1. Формализация теории множеств
   1. Элементарные множества
   2. Кардинальность

Лекция 14

Ликбез по логике (02-14/16)

1. Логические алгоритмы
   1. Разрешение в булевой алгебре
   2. Примеры применения

Лекция 15

Ликбез по логике (02-15/16)

1. Логические формулы в программировании
   1. Условные выражения
   2. Булевы функции

Лекция 16

Ликбез по логике (02-16/16)

1. Итоги курса
   1. Повторение пройденного
   2. Рекомендации по дальнейшему изучению