Символическая логика, или Безупречная бессмыслица

Льюис Кэрролл, хорошо известный как автор книг о приключениях Алисы, опубликовал немало математических работ, с некоторыми из которых мы хотим познакомить нашего читателя. Многие его достижения в области математической логики намного опередили свое время. Способность Кэрролла решать так называемые сориты (сорит по-гречески «куча») – логические задачи, представленные цепочкой силлогизмов, у которых заключение одного силлогизма служит … Продолжить