### Abstract

I review Nagel’s model of theory reduction, with its projection of a collapse of two discourses into one, and then Jeremy Butterfield’s critique of it. He argues that in physics, definitional extension is both too strong and two weak to conform to Nagel’s strict criteria, and so blocks the collapse. I then argue that the same holds true for attempts at theory reduction in mathematics, by tracking the expositions of alleged reductions in a logic textbook by H. B. Enderton. I also review the proofs of a few of Fermat’s conjectures by means of the alliance of number theory with complex analysis, and show that these truly ampliative and explanatory proofs open up the study of the rational numbers to the study of algebraic number fields, an extension of number theory that is once too strong and too weak to look like Nagelian theory reduction, which is precisely why it turns out to be so fruitful.

Original language | English (US) |
---|---|

Title of host publication | Studies in Applied Philosophy, Epistemology and Rational Ethics |

Publisher | Springer International Publishing |

Pages | 59-80 |

Number of pages | 22 |

DOIs | |

State | Published - Jan 1 2016 |

### Publication series

Name | Studies in Applied Philosophy, Epistemology and Rational Ethics |
---|---|

Volume | 30 |

ISSN (Print) | 2192-6255 |

ISSN (Electronic) | 2192-6263 |

### Fingerprint

### All Science Journal Classification (ASJC) codes

- Philosophy

### Cite this

*Studies in Applied Philosophy, Epistemology and Rational Ethics*(pp. 59-80). (Studies in Applied Philosophy, Epistemology and Rational Ethics; Vol. 30). Springer International Publishing. https://doi.org/10.1007/978-3-319-46690-3_4

}

*Studies in Applied Philosophy, Epistemology and Rational Ethics.*Studies in Applied Philosophy, Epistemology and Rational Ethics, vol. 30, Springer International Publishing, pp. 59-80. https://doi.org/10.1007/978-3-319-46690-3_4

**Algebraic number theory and the complex plane.** / Grosholz, Emily Rolfe.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Algebraic number theory and the complex plane

AU - Grosholz, Emily Rolfe

PY - 2016/1/1

Y1 - 2016/1/1

N2 - I review Nagel’s model of theory reduction, with its projection of a collapse of two discourses into one, and then Jeremy Butterfield’s critique of it. He argues that in physics, definitional extension is both too strong and two weak to conform to Nagel’s strict criteria, and so blocks the collapse. I then argue that the same holds true for attempts at theory reduction in mathematics, by tracking the expositions of alleged reductions in a logic textbook by H. B. Enderton. I also review the proofs of a few of Fermat’s conjectures by means of the alliance of number theory with complex analysis, and show that these truly ampliative and explanatory proofs open up the study of the rational numbers to the study of algebraic number fields, an extension of number theory that is once too strong and too weak to look like Nagelian theory reduction, which is precisely why it turns out to be so fruitful.

AB - I review Nagel’s model of theory reduction, with its projection of a collapse of two discourses into one, and then Jeremy Butterfield’s critique of it. He argues that in physics, definitional extension is both too strong and two weak to conform to Nagel’s strict criteria, and so blocks the collapse. I then argue that the same holds true for attempts at theory reduction in mathematics, by tracking the expositions of alleged reductions in a logic textbook by H. B. Enderton. I also review the proofs of a few of Fermat’s conjectures by means of the alliance of number theory with complex analysis, and show that these truly ampliative and explanatory proofs open up the study of the rational numbers to the study of algebraic number fields, an extension of number theory that is once too strong and too weak to look like Nagelian theory reduction, which is precisely why it turns out to be so fruitful.

UR - http://www.scopus.com/inward/record.url?scp=85019699077&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85019699077&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-46690-3_4

DO - 10.1007/978-3-319-46690-3_4

M3 - Chapter

AN - SCOPUS:85019699077

T3 - Studies in Applied Philosophy, Epistemology and Rational Ethics

SP - 59

EP - 80

BT - Studies in Applied Philosophy, Epistemology and Rational Ethics

PB - Springer International Publishing

ER -