Логика и смысл: определяем типы высказываний