Виды логики

Выделяют разные виды логики, которые отличаются предметом исследования и особенностями подхода. Некоторые из них: формальная, символическая, математическая и неформальная.

Изучает формы, структуры и правила построения и преобразования высказываний, умозаключений и доказательств. Некоторые особенности:

Концептуальный анализ — исследование процедур определения языковых терминов (понятий) и формулировка принципов отношений между ними.

Теория вывода — анализ рассуждений, формализация законов и принципов связи высказываний (суждений) в умозаключениях.