Координационное определение
 | Эта статья в значительной степени или полностью опирается на один источник . ( октябрь 2023 г. ) |
 | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Октябрь 2023 г. ) |
Координационное определение — это постулат, который придает частичное значение теоретическим терминам научной теории путем соотнесения математических объектов чистых или формально-синтаксических аспектов теории с физическими объектами в мире. Идея была сформулирована логическими позитивистами и вытекает из формалистского видения математики как чистой манипуляции символами.
Формализм
[ редактировать ]Чтобы понять мотивы, вдохновившие развитие идеи координационных определений, важно понять учение формализма, как оно понимается в философии математики . Для формалистов математика и особенно геометрия разделяются на две части: чистую и прикладную . Первая часть состоит из неинтерпретируемой аксиоматической системы, или синтаксического исчисления, в которой такие термины, как точка , прямая линия и между (так называемые примитивные термины), имеют значения, неявно приписываемые им аксиомами, в которых они появляются. На основе вечно заданных заранее правил дедукции чистая геометрия дает набор теорем, выведенных чисто логическим путем из аксиом. Поэтому эта часть математики априорна , но лишена всякого эмпирического значения, а не синтетическа в смысле Канта.
Только соединив эти примитивные термины и теоремы с физическими объектами, такими как линейки или лучи света, чистая математика, по мнению формалиста, становится прикладной математикой и приобретает эмпирическое значение. Метод соотнесения абстрактных математических объектов чистой части теорий с физическими объектами состоит в сочинительных определениях.
Для логического позитивизма было характерно рассматривать научную теорию как не что иное, как совокупность предложений, подразделяющихся на класс теоретических предложений, класс наблюдательных предложений и класс смешанных предложений. Первый класс содержит термины, которые относятся к теоретическим объектам, то есть к объектам, не наблюдаемым напрямую, таким как электроны, атомы и молекулы; второй класс содержит термины, обозначающие количества или наблюдаемые сущности, а третий класс состоит именно из координационных определений, которые содержат оба типа терминов, поскольку они связывают теоретические термины с эмпирическими процедурами измерения или с наблюдаемыми объектами. Например, интерпретация «геодезической между двумя точками» как соответствующей «пути светового луча в вакууме» дает координационное определение. Это очень похоже на рабочее определение , но отличается от него . Разница в том, что координационные определения не обязательно определяют теоретические термины с точки зрения лабораторных процедур или экспериментов, как это делает операционализм, но могут также определять их с точки зрения наблюдаемых или эмпирических данных. сущности .
В любом случае , что такие определения (также называемые мостовыми законами или правилами переписки считалось ) служат трем важным целям. Во-первых, соединяя неинтерпретируемый формализм с языком наблюдения, они позволяют придавать теориям синтетическое содержание. Во-вторых, в зависимости от того, выражают ли они фактическое или чисто условное содержание, они допускают подразделение науки на две части: одну фактическую и независимую от человеческих условностей, другую — неэмпирическую и конвенциональную. Это различие напоминает кантовское разделение знания на содержание и форму. Наконец, они дают возможность избежать определенных порочных кругов, возникающих в таких вопросах, как измерение скорости света в одном направлении. Как отметил Джон Нортон в отношении аргументов Ганса Райхенбаха о природе геометрии: с одной стороны, мы не можем знать, существуют ли универсальные силы, пока не узнаем истинную геометрию пространства-времени, но с другой стороны, мы не можем знать, существуют ли универсальные силы, пока не узнаем истинную геометрию пространства-времени. не может знать истинную геометрию пространства-времени, пока не узнаем, существуют ли универсальные силы. Такой круг можно разорвать посредством координационного определения (Нортон, 1992).
С точки зрения логического эмпирика, в действительности, вопрос об «истинной геометрии» пространства-времени не возникает, если учесть, что сохранение, например, евклидовой геометрии путем введения универсальных сил, которые заставляют линейки сжиматься в определенных направлениях, или постулирование то, что такие силы равны нулю, не означает сохранения евклидовой геометрии реального пространства, а лишь изменение определений соответствующих терминов. В случае истинной геометрии пространства-времени эмпирику на самом деле не приходится выбирать между двумя несовместимыми теориями (евклидова геометрия с универсальными силами, не равными нулю, или неевклидова геометрия с универсальными силами, равными нулю), а только одна теория сформулирована двумя разными способами, придавая разное значение фундаментальным терминам на основе координационных определений. Однако, учитывая, что, согласно формализму, интерпретируемая или прикладная геометрия действительно имеет эмпирическое содержание, проблема не решается на основе чисто конвенционалистских соображений и именно на координационные определения ложится бремя поиска соответствий между математическими и физическими. объекты, которые обеспечивают основу для эмпирического выбора.
Возражение
[ редактировать ]Проблема в том, что координационные определения, похоже, вызывают вопросы. Поскольку они определяются в традиционных, неэмпирических терминах, трудно понять, как они могут решать эмпирические вопросы. Казалось бы, результатом использования координационных определений является просто смещение проблемы геометрического описания мира, например, к необходимости объяснения загадочных «изоморфных совпадений» между условностями, задаваемыми определениями, и структурой физический мир.Даже в простом случае определения «геодезической между двумя точками» как эмпирической фразы «луч света в вакууме» соответствие между математическим и эмпирическим остается необъяснимым.
Ссылки
[ редактировать ]- Нортон, Дж. Аргумент о дырке в материалах состоявшегося раз в два года собрания Ассоциации философии науки 1988 года . том 2. С. 55–56.
Дальнейшее чтение
[ редактировать ]- Бониоло, Джованни и Дорато, Мауро. От теории относительности Галилея к общей теории относительности («От теории относительности Галилея к общей теории относительности») в «Философии физики» под ред. Джованни Бониоло.
- Райхенбах, Ганс. Философия пространства и времени , тр. Итальянский как философия пространства и времени . Фельтринелли. Милан. 1977.