Большая Советская Энциклопедия (цитаты)

Редукция (в логике)

Редукция (далее Р) сведение, методологический прием, играющий, в частности, важнейшую роль в логике, математике и др. дедуктивных (см. Дедукция) науках. Р (в логике) состоит в некотором преобразовании данных (задач, предложений и т. п.) в наиболее удобный с какой-либо точки зрения вид, например в выражении их в форме логически более простой и легче поддающейся анализу. Р (в логике) какой-либо задачи к др. задаче играет двоякую роль: с одной стороны, решение второй задачи оказывается применимым и к первой; с др. стороны, невозможность (хотя бы с помощью некоторых фиксированных средств) решения первой задачи означает неразрешимость (теми же средствами) и второй. Т. о., Р (в логике) позволяет из положительного (отрицательного) решения некоторой задачи извлекать положительное (соответственно, отрицательное) решение целого класса задач. Термин "Р (в логике)" относят также в естественном смысле к умозаключениям, методам доказательства (например, reductio ad absurdum - см. Доказательство от противного), понятиям, концепциям, теориям и пр.

  В астрономии и геодезии под Р (в логике) понимают приведение результатов наблюдений и измерений из одной системы отсчета в другую путем введения в них некоторых поправок, обусловленных влиянием тех или иных причин. Часто Р (в логике) называют и сами эти поправки. Например, наблюдаемые в данный момент положения звезд из-за прецессии и нутации, а также их собственного движения и др. причин отличаются от их положений, указанных в звездных каталогах. Поэтому результаты астрономических наблюдений, выполненных в разные моменты времени, приводят (или, как говорят, редуцируют) к одной эпохе. Геодезические измерения, выполненные в какой-нибудь точке земной поверхности, путем расчета приводят к другой ближайшей точке или к соответственной точке поверхности референц-эллипсоида и т. п.

 


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 16.04.2024 20:56:30