Наука о формах и законах правильного мышления, изучает структуру аргументации и правила отличия обоснованных выводов. Определение и развитие математической логики