«Введение в формальную логику (1-5 части)» [Стивен Гимбел]

Что мы узнаем благодаря данному курсу? Ознакомимся с распространенными логическими ошибками, такими как рассуждения, не выходящие за пределы логического круга, а также необоснованное преувеличение или чрезмерное упрощение причинно-следственных связей. Рассмотрим, что делает дедуктивные рассуждения неоспоримыми. Используем таблицы истинности, чтобы убедиться в обоснованности таких известных форм аргументации как модус поненс (правило отделения) и подтверждение консеквента. Проанализируем научные труды Гильберта, Кантора, Фреге, Рассела и Гёделя, чтобы доказать, что логическая непротиворечивость математики может быть сведена к основным арифметическим действиям.