Наши партнеры
- уточнение понятий и утверждений естественного и научного языка с помощью средств символической логики. Содержание понятий естественного языка чаще всего не вполне ясно и определенно. Обычно это не мешает нам в общении и рассуждениях. Однако в некоторых сложных и тонких случаях неясность и неточность понятий способна приводить к ошибочным или парадоксальным заключениям. Напр., теория множеств опирается на интуитивное понимание множества как совокупности любых объектов, объединяемых нашей мыслью. В большинстве случаев нам достаточно такого интуитивного понимания. Но когда мы сталкиваемся с парадоксальными множествами (типа множества всех множеств, не содержащих себя в качестве собственного элемента), неясность интуитивного понятия становится очевидной и требует устранения. В таких случаях мы прибегаем к Э.
Замена неясных, неточных понятий точными не только оберегает нас от ошибок в рассуждениях, но и служит средством более глубокого проникновения в содержание эксплицируемых понятий, позволяет отделить существенное от второстепенного, лучше понять собственные утверждения. Напр., в повседневной речи и в науке часто используются понятия «теория», «аксиома», «доказательство», «объяснение» и т. п. Но только благодаря Э. этих понятий мы осознаем, что в теорию должна включаться явно фиксированная логика, что факты или практика «доказать» в строгом смысле ничего не могут, что объяснение обязательно опирается на закон и т. п.
Следует, правда, иметь в виду, что вводимое в процессе Э. более точное понятие обладает, как правило, гораздо более бедным содержанием, чем уточняемое интуитивное понятие, поэтому стремление полностью заменить интуитивное понятие его формальным экспликатом может стать препятствием для развития познания. Э. содействует более глубокому пониманию и стимулирует новые исследования. Но более глубокое понимание или изменение содержания в результате исследований может потребовать новой Э.