Координационное определение - Википедия - Coordinative definition

А координационное определение постулат, придающий частичный смысл теоретическим терминам научной теории путем соотнесения математических объектов чистый или формальные / синтаксические аспекты теории с физическими объектами в мире. Идею сформулировал логические позитивисты и возникает из формалист видение математики как чистой символьной манипуляции.

Формализм

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

Только связав эти примитивные термины и теоремы с физическими объектами, такими как линейки или лучи света, согласно формалисту, чистая математика становится прикладной математикой и приобретает эмпирический смысл. Метод соотнесения абстрактных математических объектов чистой части теорий с физическими объектами состоит в согласованных определениях.

Для логического позитивизма было характерно рассматривать научную теорию как не более чем набор предложений, подразделяемых на класс теоретических предложений, класс наблюдательных предложений и класс смешанных предложений. Первый класс содержит термины, которые относятся к теоретическим объектам, то есть к объектам, не наблюдаемым напрямую, таким как электроны, атомы и молекулы; второй класс содержит термины, которые обозначают количества или наблюдаемые объекты, а третий класс состоит именно из согласованных определений, содержащих оба типа терминов, поскольку они связывают теоретические термины с эмпирическими процедурами измерения или с наблюдаемыми объектами. Например, интерпретация из геодезический между двумя точками "как соответствующий" пути светового луча в вакууме "дает координационное определение. Это очень похоже на, но отличается от Рабочее определение. Разница в том, что координационные определения не обязательно определять теоретические термины в терминах лабораторных процедур или экспериментов, как это делает операционализм, но может также определять их в терминах наблюдаемых или эмпирических сущности.

В любом случае такие определения (также называемые законы моста или же правила переписки) служили трем важным целям. Во-первых, связывая неинтерпретированный формализм с языком наблюдения, они позволяют приписывать синтетическое содержание теориям. Во втором случае, в зависимости от того, выражают ли они фактическое или чисто условное содержание, они позволяют разделить науку на две части: одну фактическую и независимую от человеческих условностей, а другую - неэмпирическую и условную. Это различие напоминает кантовское деление знания на содержание и форму. Наконец, они позволяют избежать определенных порочных кругов, возникающих в отношении таких вопросов, как измерение скорости света в одном направлении. Как было указано Джоном Нортоном в отношении Ганс Райхенбах аргументы о природе геометрии: с одной стороны, мы не можем знать, существуют ли универсальные силы, пока не узнаем истинную геометрию пространства-времени, но, с другой стороны, мы не можем знать истинную геометрию пространства-времени, пока не узнаем, существуют ли универсальные силы. Такой круг можно разорвать путем координационного определения (Norton 1992).

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

Возражение

Проблема в том, что согласованные определения, похоже, не вызывают ответа. Поскольку они определены в общепринятых, неэмпирических терминах, трудно понять, как они могут разрешить эмпирические вопросы. Казалось бы, результатом использования координационных определений является просто смещение проблемы геометрического описания мира, например, в необходимость объяснения загадочных «изоморфных совпадений» между соглашениями, данными определениями, и структурой мира. физический мир. Даже в простом случае определения «геодезической между двумя точками» как эмпирической фразы «луч света в вакууме», соответствие между математическим и эмпирическим остается необъяснимым.

Рекомендации

• Нортон, Дж. Аргумент дыры в Материалы двухгодичного собрания Ассоциации философии науки 1988 г.. Vol 2. С. 55-56.

дальнейшее чтение

• Бониоло, Джованни и Дорато, Мауро. Dalla Relatività galileiana alla relatività generale («От теории относительности Галилея к общей теории относительности») в Filosofia della Fisica изд. Джованни Бониоло.
• Райхенбах, Ганс. Философия пространства и времени, тр. Итальянский как La Filosofia dello Spazio e del Tempo. Фельтринелли. Милан. 1977 г.