Мы рассуждаем каждый день. Наши знания о мире рождаются в процессе рассуждений. Да и вся наша жизнь — следствие тех решений, которые мы принимаем в результате рассуждений. Важность рассуждений верна на всех уровнях человеческой деятельности: начиная от того, как ученые строят сложнейшие научные теории или экономисты оценивают выгоду и риски потенциальных инвестиций — и заканчивая расследованием, с кем по ночам переписывается ваша бывшая девушка. Но что значит «рассуждать правильно»? Для ответа на этот вопрос существует специальная наука — логика...

Символическая логика прошла долгий путь от своих древнегреческих корней до современной формальной системы, которая используется для анализа логических рассуждений во многих областях. Она продолжает оставаться важным инструментом для понимания и продвижения человеческого знания. Истоки символической логики можно проследить до древнегреческих философов, таких как Аристотель, которые разработали формальные системы для анализа силлогизмов. Однако современная символическая логика возникла в 19 веке. Джордж...