Abstract
This paper is a logical study of valid uses of symmetry in deductive reasoning, of what underlying principles make some appeals to symmetry legitimate but others illegitimate. The issue is first motivated informally. A framework is then given covering a fairly broad range of symmetry arguments, and the formulation of symmetry provided is shown to be a valid principle of reasoning, as is a slightly stronger principle of reasoning, one that is shown to be in some sense as strong as possible. The relationship between symmetry and isomorphism is discussed, and finally the framework is extended to a more general model-theoretic setting.
Similar content being viewed by others
References
Jon Barwise and John Etchemendy. Visual Information and Valid Reasoning. In Zimmerman and Cunningham (eds), Visulization in Mathematics. Mathematical Association of America, 1990.
Jon Barwise and John Etchemendy. Hyperproof, CSLI, 1994.
Solomon Feferman. Toward Useful Type-Free Theories I. Journal of Symbolic Logic, 49, 1984.
Tore Langholm. Partiality, Truth, and Persistence. CSLI, 1988.
R. G. Wolf. A Survey of Many-Valued Logic. In Dunn and Epstein (eds), Modern Uses of Multiple-Valued Logic. Reidel Publishing Company, 1977.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hammer, E. Symmetry as a method of proof. J Philos Logic 25, 523–543 (1996). https://doi.org/10.1007/BF00257384
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00257384