Определение (логико-методологические проблемы)

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