Giora Hon

Hermann Weyl succeeded in presenting a consistent overarching analysis that accounts for symmetry in material artifacts, natural phenomena, and physical theories. Weyl showed that group theory is the underlying mathematical structure for symmetry in all three domains. But in this study Weyl did not include appeals to symmetry arguments which, for example, Einstein expressed as “for reasons of symmetry”. An argument typically takes the form of a set of premises and rules of inference that lead to a conclusion. Symmetry may enter an argument both in the premises and the rules of inference, and the resulting conclusion may also exhibit symmetrical properties. Taking our cue from Pierre Curie, we distinguish two categories of symmetry arguments, axiomatic and heuristic; they will be defined and then illustrated by historical cases.

Can a theory turn back, as it were, upon itselfand vouch for its own features? That is, canthe derived elements of a theory be the veryprimitive terms that provide thepresuppositions of the theory? This form of anall-embracing feature assumes a totality inwhich there occurs quantification over thattotality, quantification that is defined bythis very totality. I argue that the Machprinciple exhibits such a feature ofall-embracing nature. To clarify the argument,I distinguish between on the one handcompleteness and on the other wholeness andtotality, as different all-embracing features:the former being epistemic while the latter –ontological.I propose an analogy between the Mach principleas a possible selection principle in generalrelativity, and the vicious-circle principle infoundations of mathematics. I finally concludewith a consequence of this analogyvis-à-vis completeness and totality,viz., both should be constrained if they wereto be valid concepts for a physical theory.