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

Вы можете запросить у меня видео, создав петицию на 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  

#логика