Одной из ключевых задач логики является анализ рассуждений. Действительно, если мы вспомним стандартное определение логики как нормативной науки о формах, законах и приёмах интеллектуальной познавательной деятельности, то станет очевидно, что основной формой такой деятельности является рассуждение. Тем не менее, развитие логической науки со времен Античности шло по извилистому пути, что сделало предмет логики весьма неоднозначным в глазах метафизиков. Одной из целей современной формальной логики является исследование различных методов и типов формулировок (аксиоматизаций) логических систем. Бурное развитие этой дисциплины в начале XX века и появление неклассических логик послужили толчком к развитию методов аксиоматизации. Цели, которые преследуются при постро-ении неклассических логик (будь то релевантные, интуи-ционистские, модальные и т.д.) не могут быть достигнуты методами, используемыми для построения классической логики, поэтому были разработаны разнообразные ин-струменты для преодоления такого рода затруднений. Речь идет о таких понятиях как «секвенциальные формулировки», «гильбертовские формулировки», «натуральные исчисления», «аналитико-табличные исчисления» и другие методы построения логических систем, которые как раз и составляют формальный характер современной логической науки.