[論文レビュー] Kinematics, Dynamics, and the Structure of Physical Theory

Erik Curiel|PhilSci-Archive (University of Pittsburgh)|Mar 9, 2016

Philosophy and History of Science参考文献 16被引用数 7

ひとこと要約

この論文は、物理的量の間の固定された、変化しない関係である運動論的制約——理論の構造、意味論、および実験的適用可能性を決定する上で、運動方程式よりも根本的であると主張する。力学的理論とは異なり、運動論的制約は相互作用に依存せず、理論が表現できる系の種類を定義し、力学的方程式の適切な定式化を保証し、動的検証が行われる前から理論的用語の意味を規定する。

ABSTRACT

Every physical theory has (at least) two different forms of mathematical equations to represent its target systems: the dynamical (equations of motion) and the kinematical (kinematical constraints). Kinematical constraints are differentiated from equations of motion by the fact that their particular form is fixed once and for all, irrespective of the interactions the system enters into. By contrast, the particular form of a system's equations of motion depends essentially on the particular interaction the system enters into. All contemporary accounts of the structure and semantics of physical theory treat dynamics, i.e., the equations of motion, as the most important feature of a theory for the purposes of its philosophical analysis. I argue to the contrary that it is the kinematical constraints that determine the structure and empirical content of a physical theory in the most important ways: they function as necessary preconditions for the appropriate application of the theory; they differentiate types of physical systems; they are necessary for the equations of motion to be well posed or even just cogent; and they guide the experimentalist in the design of tools for measurement and observation. It is thus satisfaction of the kinematical constraints that renders meaning to those terms representing a system's physical quantities in the first place, even before one can ask whether or not the system satisfies the theory's equations of motion.

研究の動機と目的

• 物理理論の構造と意味論における運動方程式の優位性を挑戦すること。
• 運動論的制約が理論の適用可能性と実験的内容の主たる決定要因であると主張すること。
• 物理的系の意味的な表現が可能であるためには、運動論的制約の満たしが前提条件であることを示すこと。
• 運動論的制約が成立する条件に基づいて物理理論の意味論を再構築すること。
• 運動論的制約が実験設計および測定ツール開発をどのように導くかを明確にすること。

提案手法

• 運動論的制約（物理的量の間の固定関係）と力学的方程式（運動方程式）を区別すること。
• 運動論的制約が、特定の相互作用とは独立して理論適用の前提条件として機能する仕組みを分析すること。
• 力学的方程式の適切な定式化が、運動論的制約の事前満たしに依存することを示すこと。
• 運動論的制約をネオ＝カント的「相対化された先天的」原則と比較し、その形式的および実証的内容を強調すること。
• 運動論的制約が成立する条件に基づく物理理論の意味論を提唱すること。
• 古典力学および相対性理論の例を用いて、整合的な理論的表現のための運動論的制約の必要性を説明すること。

実験結果

リサーチクエスチョン

• RQ1 物理理論における運動論的制約と運動方程式の違いは何か？
• RQ2 なぜ運動論的制約が理論の適用可能性と意味論において力学的理論よりも根本的であるのか？
• RQ3 運動論的制約はどのようにして力学的方程式の適切な定式化を保証するのか？
• RQ4 運動論的制約は測定ツールおよび実験的観測の設計をどのような形で導くのか？
• RQ5 運動論的制約の満たしが、力学的法則の検証が行われる前段階で理論的用語の意味的基盤をどのように提供するのか？

主な発見

• 運動論的制約は、物理的量の間の固定された、変化しない関係であり、理論が表現できる系の種類を定義する。
• いかなる物理理論の意味的な適用においても、運動論的制約の満たしが不可欠な前提条件である。
• 運動論的制約が満たされない限り、理論における系の状態の概念は、いかなる力学的方程式に関しても意味的に不整合となる。
• 運動論的制約は、力学における初期値問題の適切な定式化を保証し、力学的方程式が意味を持ち、実際に使用可能であることを可能にする。
• 運動論的制約は、何が測定可能か、そしてどのように測定可能かを定義することで、実験設計を導き、理論的用語の実証的意味を根拠づける。
• 物理理論の意味論は、力学的解が定義する可能な世界の集合に基づくべきではなく、運動論的制約が成立する条件に基づくべきである。