Розроблений за допомогою математичної (символічної) логіки апарат дедуктивних способів міркування зазвичай не застосовується у явній формі ні в повсякденних роздумах, ні навіть у такій строгої науці, як математика. Однак це не означає, що теорія дедукції (у тому числі й її розділ — метаматематика) має лише теоретичний інтерес. Вона широко використовується у фундаменті математики, при розв’язанні окремих математичних задач, а також у техніці. Ідеї та методи символічної логіки знайшли широке застосування й у аналізі окремих фрагментів і компонентів наукового знання загалом — у логіці наукового пізнання. Водночас у логіці існує такий її розділ, як теорія визначення, що досліджує компоненти, які присутні у явній формі (або передбачені) в будь-якому більш-менш завершеному міркуванні — як у повсякденному, так і в науковому, у будь-якій концепції чи теорії.