Аксиомы в логике

Вы можете запросить у меня видео, создав петицию на AbleBees: https://www.ablebees.com/team/atticph... Вы можете поддержать канал и помочь ему развиваться, опубликовав пост на моей странице Ko-fi: https://ko-fi.com/atticphilosophy 00:00 — Вступление 01:57 — Зачем использовать аксиомы? 03:56 - Типичные аксиомы 06:42 - Аксиомы против схем 08:03 - Аксиоматические системы 08:35 - Доказательства 09:18 - Различные аксиоматические системы 10:39 - Пример: аксиома тождества 15:04 - Решение примеров аксиом 15:34 - Пример: взрыв 19:25 - Сложный случай: перестановка 20:33 - Рецепты доказательств 21:25 - Теорема дедукции Если есть тема, которую вы хотели бы рассмотреть, оставьте комментарий ниже. Ссылки: Моя страница, посвящённая академической философии: http://markjago.net Моя книга «Что такое истина»: http://bit.ly/JagoTruth Большинство моих публикаций доступны бесплатно здесь: https://philpapers.org/s/Mark%20Jago Свяжитесь со мной в социальных сетях! Твиттер:   / philosophyattic   #логика