ConcCalcINF050409

ConcCalcINF050409 - 1 CONCEPT CALCULUS: MUCH BETTER THAN...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 1 CONCEPT CALCULUS: MUCH BETTER THAN Harvey M. Friedman friedman@math.ohio-state.edu http://www.math.ohio-state.edu/~friedman/ May 4, 2009 ABSTRACT. This is the initial publication on Concept Calculus, which establishes mutual interpretability between formal systems based on informal commonsense concepts and formal systems for mathematics through abstract set theory. Here we work with axioms for "better than" and "much better than", and the Zermelo and Zermelo Frankel axioms for set theory. 1. Introduction. 2. Interpretation Power. 3. Basic Facts About Interpretation Power. 4. Better Than, Much Better Than. 5. Interpretation in ZF. 6. Interpretation in Z. 7. An Interpretation of Z. 8. An interpretation of ZF. 9. Some Further Results. 1. INTRODUCTION. We have discovered an unexpectedly close connection between the logic of mathematical concepts and the logic of informal concepts from common sense thinking. Our results indicate that they are, in a certain precise sense, equivalent. This connection is new and there is the promise of establishing similar connections involving a very wide range of informal concepts. We call this development the Concept Calculus. In this paper, we focus on just one context for Concept Calculus. We use two particular informal concepts from common sense thinking. These are the informal binary relations BETTER THAN. MUCH BETTER THAN. 2 As discussed in section 9, these relations can be looked at mereologically, using the part/whole and the infinitesimal part/whole relation. Sections 2,3 contain background information about interpretability between theories, which should be informative for readers not familiar with this fundamentally important concept credited to Alfred Tarski. We are now preparing a book on this topic (see [FVxx]). In section 4, we present some basic axioms involving "better than", "much better than", and identity. These axioms are of a simple character, and range from obvious to intriguingly plausible. We anticipate that Concept Calculus is extremely flexible, so that axioms can be chosen to accommodate many diverse points of view - while still maintaining the mutual interpretability with systems such as Z and ZF that we establish here. For instance, the axioms investigated here preclude there being a best object. There are important viewpoints where a best object is an essential component. We anticipate a formulation accommodating a best object that stands in relation to the system here as does class theory to set theory. In section 5, we give an interpretation of the system MBT (much better than) presented in section 4, in ZF (Zermelo Frankel set theory). In section 6, we give an interpretation of the important fragment MBT of MBT in Z (Zermelo set theory)....
View Full Document

Page1 / 42

ConcCalcINF050409 - 1 CONCEPT CALCULUS: MUCH BETTER THAN...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online