Логика

Логика - направление, исследующее обоснованность выводов и правила построения аргументов. Отдельные разделы логики различаются по степени формализации: от традиционной логики с анализом понятий до математической (символической) логики. Логические методы применяются для уточнения смысла высказываний и систематического анализа доказательств.