Explanatory Circles, Induction, and Recursive Structures

Thought: A Journal of Philosophy 6 (1):13-16 (2016)
  Copy   BIBTEX

Abstract

Lange offers an argument that, according to him, “does not show merely that some proofs by mathematical induction are not explanatory. It shows that none are […]”. The aim here is to present a counterexample to his argument.

Categories

Keywords

Reprint years

2017

DOI

10.1002/tht3.229

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Explanation by induction?Miguel Hoeltje, Benjamin Schnieder & Alex Steinberg - 2013 - Synthese 190 (3):509-524.
Why proofs by mathematical induction are generally not explanatory.Marc Lange - 2009 - Analysis 69 (2):203-211.
Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.
A Recursive Nonstandard Model Of Normal Open Induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (3):1228-1241.
L i D Z λ as a basis for PRA.Uwe Petersen - 2003 - Archive for Mathematical Logic 42 (7):665-694.
Intuitionistically provable recursive well-orderings.Harvey M. Friedman & Andre Scedrov - 1986 - Annals of Pure and Applied Logic 30 (2):165-171.
A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
Science-Driven Mathematical Explanation.Alan Baker - 2012 - Mind 121 (482):243-267.
0-1 laws for recursive structures.E. Grädel & A. Malmström - 1999 - Archive for Mathematical Logic 38 (4-5):205-215.
On the ‘Indispensable Explanatory Role’ of Mathematics.Juha Saatsi - 2016 - Mind 125 (500):1045-1070.
Outlines of a theory of structural explanations.Philippe Huneman - 2018 - Philosophical Studies 175 (3):665-702.
On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
Against Mathematical Explanation.Mark Zelcer - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):173-192.
Remarks on Recursive Definitions of Truth.Philippe de Rouilhan - unknown

Analytics

Added to PP
2016-12-15

Downloads
53 (#294,453)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tom Wysocki
Georg-August-Universität Göttingen

Citations of this work

Add more citations

References found in this work

Mathematical Induction and Explanation.Alan Baker - 2010 - Analysis 70 (4):681-689.

Add more references