Reals by Abstractiont

@article{Hale2000RealsBA,
  title={Reals by Abstractiont},
  author={B. Hale},
  journal={Philosophia Mathematica},
  year={2000},
  volume={8},
  pages={100-123}
}
  • B. Hale
  • Published 2000
  • Mathematics
  • Philosophia Mathematica
ions like the Direction equivalence and Hume’s principle and that it is reasonable to regard it as one. We might bring EM into line with the characterisation of abstraction principles with which I began by first defining an equivalence relation on ordered pairs of quantities: E[(a,b), (c,d)] ↔ ∀m,n (ma nb ↔ mc ⇔ nd), and then setting: Ratio(a,b) = Ratio(c,d) ↔ E[(a,b), (c,d)]. Alternatively, if it were felt desirable to avoid reliance on the notion of an ordered pair, we could introduce an… Expand
A General Theory of Abstraction Operators
Possible predicates and actual properties
  • R. Cook
  • Mathematics, Computer Science
  • Synthese
  • 2014
Abstraction Principles and the Classification of Second-Order Equivalence Relations
Some Criteria for Acceptable Abstraction
Iteration One More Time
  • R. Cook
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • 2003
What is Neologicism?
Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility
  • S. Shapiro
  • Mathematics
  • The British Journal for the Philosophy of Science
  • 2003
Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters
  • M. Schirn
  • Philosophy, Computer Science
  • Synthese
  • 2004
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 11 REFERENCES
BASIC LAW (V)
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik
Is Hume's Principle Analytic?
  • C. Wright
  • Computer Science
  • Notre Dame J. Formal Log.
  • 1999
IX—Saving Frege from Contradiction
Foundations of measurement
What is Science
...
1
2
...