Координационная определение является постулатом , который присваивает частичное значение для теоретических терминов научной теории путем сопоставления математических объектов в чистых или формальных / синтаксических аспектах теории с физическими объектами в мире. Идея была сформулирована логическими позитивистами и возникла из формалистического видения математики как чистой символьной манипуляции.
Формализм [ править ]
Чтобы понять мотивы, которые вдохновили развитие идеи согласованных определений, важно понять доктрину формализма, как она задумана в философии математики . Для формалистов математика и особенно геометрия делятся на две части: чистую и прикладную . Первая часть представляет собой неинтерпретируемую аксиоматическую систему или синтаксическое исчисление, в котором такие термины, как точка , прямая линия и между(так называемые примитивные термины) имеют значение, неявно приписываемое аксиомам, в которых они фигурируют. На основе вечно определенных заранее дедуктивных правил чистая геометрия предоставляет набор теорем, выведенных чисто логическим образом из аксиом. Таким образом, эта часть математики априори, но лишена какого-либо эмпирического смысла, а не синтетической в смысле Канта.
Только путем соединения этих примитивных терминов и теорем с физическими объектами, такими как линейки или лучи света, согласно формалисту, чистая математика становится прикладной математикой и приобретает эмпирический смысл. Метод соотнесения абстрактных математических объектов чистой части теорий с физическими объектами состоит в согласованных определениях.
Для логического позитивизма было характерно рассматривать научную теорию как не более чем набор предложений, разделенных на класс теоретических предложений, класс наблюдательных предложений и класс смешанных предложений. Первый класс содержит термины, которые относятся к теоретическим объектам, то есть к объектам, не наблюдаемым напрямую, таким как электроны, атомы и молекулы; второй класс содержит термины, обозначающие количества или наблюдаемые объекты, а третий класс состоит именно из согласованных определений, содержащих оба типа терминов, поскольку они связывают теоретические термины с эмпирическими процедурами измерения или с наблюдаемыми объектами. Например, трактовка « геодезическаямежду двумя точками "как соответствующий" пути светового луча в вакууме "обеспечивает координационное определение. Это очень похоже на рабочее определение , но отличается от него . Разница в том, что координационные определения не обязательно определяют теоретические термины в терминах лабораторных процедур или экспериментов, как это делает операционализм, но может также определять их в терминах наблюдаемых или эмпирических сущностей .
В любом случае такие определения (также называемые мостовыми законами или правилами соответствия) служили трем важным целям. Во-первых, связывая неинтерпретированный формализм с языком наблюдения, они позволяют приписывать теориям синтетическое содержание. Во втором случае, в зависимости от того, выражают ли они фактическое или чисто условное содержание, они позволяют разделить науку на две части: одну фактическую и независимую от человеческих условностей, а другую - неэмпирическую и условную. Это различие напоминает кантовское деление знания на содержание и форму. Наконец, они позволяют избежать определенных порочных кругов, возникающих в отношении таких вопросов, как измерение скорости света в одном направлении. Как было указано Джоном Нортоном в отношении Ганса Райхенбахааргументы о природе геометрии: с одной стороны, мы не можем знать, существуют ли универсальные силы, пока не узнаем истинную геометрию пространства-времени, но, с другой стороны, мы не можем знать истинную геометрию пространства-времени, пока не узнаем, существуют ли универсальные силы. Такой круг можно разорвать путем координационного определения (Norton 1992).
С точки зрения логического эмпирика, на самом деле, вопрос об «истинной геометрии» пространства-времени не возникает, учитывая, что сохранение, например, евклидовой геометрии путем введения универсальных сил, которые заставляют правителей сжиматься в определенных направлениях, или постулирования то, что такие силы равны нулю, не означает сохранения евклидовой геометрии реальныхпробел, но изменяя только определения соответствующих терминов. На самом деле у эмпирика нет двух несовместимых теорий, из которых можно выбирать в случае истинной геометрии пространства-времени (евклидова геометрия с универсальными силами, не равными нулю, или неевклидова геометрия с универсальными силами, равными нулю), а только одна теория сформулирована двумя разными способами, с разными значениями, которые можно отнести к фундаментальным терминам на основе согласованных определений. Однако, учитывая , что, согласно формализму, интерпретируются или прикладная геометрия делает имеют эмпирическое содержание, проблема не решается на основе чисто конвенционалистских соображений, и именно координационные определения, которые несут бремя нахождения соответствий между математическими и физическими объектами, обеспечивают основу для эмпирического выбора.
Возражение [ править ]
Проблема в том, что согласованные определения, похоже, не вызывают ответа. Поскольку они определены в общепринятых, неэмпирических терминах, трудно понять, как они могут разрешить эмпирические вопросы. Казалось бы, результатом использования координационных определений является просто смещение проблемы геометрического описания мира, например, в необходимость объяснения загадочных «изоморфных совпадений» между соглашениями, данными определениями, и структурой самого мира. Физический мир. Даже в простом случае определения «геодезической между двумя точками» как эмпирической фразы «луч света в вакууме» соответствие между математическим и эмпирическим остается необъяснимым.
Ссылки [ править ]
- Нортон, Дж . Аргумент дыры в материалах двухгодичного собрания 1988 г. Ассоциации философии науки . Т. 2. С. 55–56.
Дальнейшее чтение [ править ]
- Бониоло, Джованни и Дорато, Мауро. Dalla Relatività galileiana alla relatività generale («От теории относительности Галилея к общей теории относительности») в Filosofia della Fisica ed. Джованни Бониоло.
- Райхенбах, Ганс. Философия пространства и времени , тр. Итальянский как La Filosofia dello Spazio e del Tempo . Фельтринелли. Милан. 1977 г.
