ФОРМАЛЬНАЯ ЛОГИКА

раздел науки логики, изучающий формы мыслей и их сочетаний безотносительно к содержанию рассматриваемых суждений, умозаключений, понятий.