Corpus ID: 220302993

Rescuing Implicit Definition from Abstractionism

@inproceedings{2020RescuingID,
  title={Rescuing Implicit Definition from Abstractionism},
  author={},
  year={2020}
}
  • Published 2020
Neo-Fregeans in the philosophy of mathematics hold that the key to a correct understanding of mathematics is the implicit definition of mathematical terms. In this paper, I discuss and advocate the rejection of abstractionism, the putative constraint (latent within the recent neo-Fregean tradition) according to which all acceptable implicit definitions take the form of abstraction principles. I argue that there is reason to think that neo-Fregean aims would be better served by construing the… Expand

References

SHOWING 1-10 OF 31 REFERENCES
Double vision: two questions about the neo-Fregean program
TLDR
The semantic and epistemological principles Hale and Wright offer in defense of the claim that simply by stipulating an abstraction principle for the “number-of” functor, the authors can simultaneously fix a meaning for this functor and acquire epistemic entitlement to the stipulated principle may be too strong for their purposes. Expand
The logical basis of metaphysics
TLDR
Michael Dummett's new book is the greatly expanded and recently revised version of his distinguished William James Lectures, delivered in 1976, and shows how the choice between different logics arises at the level of the theory of meaning and depends upon the choice of one or another general form of meaning-theory. Expand
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
  • C. Wright
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • 2000
TLDR
The meaning of and motivation for Frege's Constraint are concerned with and the basic formal prerequisite for a successful neo-Fregean—or as I shall sometimes say: abstractionist—foundation for a mathematical theory is to devise presumptively consistent abstraction principles strong enough to ensure the existence of a range of objects having the structure of the objects of the intended theory. Expand
Mathematics without Numbers: Towards a Modal-Structural Interpretation
Part 1 The natural numbers and analysis: the modal-structural framework - the hypothetical component the categorical component - an axiom of infinity and a derivation (inspired by Dedekind with helpExpand
On Quantifying into Predicate Position: Steps towards a new(tralist) perspective
ionist programme? We need answers to these questions, but clear answers will take some digging out. Of course, issues about impredicativity have long been regarded as pivotal in the debates about theExpand
Philosophy of mathematics : structure and ontology
Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted livelyExpand
Focus restored: Comments on John MacFarlane
TLDR
This paper argues that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former can be explained, but the latter cannot. Expand
Reason's Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics
I. ONTOLOGY AND ABSTRACTION PRINCIPLES II. RESPONSES TO CRITICS III. HUME'S PRINCIPLE IV. ON THE DIFFERENTIATION OF ABSTRACTA V. BEYOND NUMBER-THEORY
Is Hume's Principle Analytic?
  • C. Wright
  • Computer Science
  • Notre Dame J. Formal Log.
  • 1999
TLDR
The present paper reviews five misgivings that developed in various of George Boolos’s writings and observes that each of them really concerns not ‘analyticity’ but either the truth of Hume's Principle or the authors' entitlement to accept it and reviews possible neologicist replies. Expand
The British Journal for the Philosophy of Science
Well-being, health and freedom are some of the many phenomena of interest to science whose definition relies on a normative standard. Empirical generalizations about them thus present a special caseExpand
...
1
2
3
4
...