Разработанный математической (символической) логикой аппарат дедуктивных способов рассуждения не применяется, как правило, в явной форме не только на уровне повседневных рассуждений, но даже в такой строгой науке, какой является математика. Это, однако, не означает, что теория дедукции (в том числе и такой ее раздел, как метаматематика) имеет чисто теоретический интерес. Она широко применяется в основаниях математики, при решении некоторых математических задач, в технике. Идеи и методы символической логики стали широко использоваться и при анализе отдельных фрагментов и компонентов научного знания вообще (логика научного познания).