Логика и разум: Понимание типов суждений