Symmetry as a method of proof

zbMATH Open0887.03001MaRDI QIDQ1815409FDOQ1815409

Authors: Eric M. Hammer 

Publication date: 1996

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Recommendations

• Symmetry in polyadic inductive logic
• Invariance, symmetry and rationality
• scientific article; zbMATH DE number 1985673
• Symmetry's end?
• scientific article; zbMATH DE number 1290308

zbMATH Keywords

isomorphismvalid uses of symmetry in deductive reasoning

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07)

Cited In (8)

• A one-line proof for complementary symmetry
• Symmetry as an epistemic notion (twice over)
• Symmetry of evidence without evidence of symmetry
• Perfect symmetries
• The asymmetry of formal logic
• Without Loss of Generality
• A scheme for symmetrization verification
• Symbol system for symmetry of physical systems

This page was built for publication: Symmetry as a method of proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815409)