[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]

UNIVERSITY OF CALIFORNIA IRVINE

DEPARTMENT OF LOGIC AND PHILOSOPHY OF SCIENCE

COLLOQUIUM

"Creation and Completeness"


     Abstract: "In the first half of the nineteenth century, freedom became an important motif among foundational thinkers. Mathematicians were seen as being free to create mathematics to suit their own purposes, provided only that their creations were consistent and fruitful (i.e. they served the purpose for which they were created). In the late nineteenth and early twentieth centuries, Hilbert and other leading thinkers (e.g. Dedekind) transferred this idea to an axiomatic setting. These axiomatic creativists departed from the views of the earlier creativists by adding conditions that went beyond the traditional constraints of consistency and fruitfulness. One such constraint was a completeness condition, which Hilbert introduced as a kind of ideal or norm for creativist theorizing. This proposal is our focal concern as we consider the general question of fit between a completeness condition and the creativist outlook. Our general finding is that the fit is not very good."

Michael Detlefsen

Department of Philosophy

Notre Dame University

Friday, June 7, 2002

3 pm

SST 777


Michael Detlefsen

A Bibliography
Compiled by
Eddie Yeghiayan


1976

1977

1979

1980

1981

1983

1986

1987

1988

1989

1990

1992

1993

1994

1995

1996

1998

1999

2000

2001

Reviews of Michael Detlefsen's Books

Michael Detlefsen's Hilbert's Program: An Essay on Mathematical Instrumentalism (1986)
Auerbach, David D. Journal of Symbolic Logic (June 1989), 54(2):620-622.
Cortois, P. Tijdschrift voor Filosofie (December 1988), 50(4):730-731.
Irvine, A.D. Canadian Philosophical Reviews (April 1989), 9:145-148.
Largeault, J. Archiv für Geschichte der Philosophie (April-June 1989), 52(2):304.
Steiner, Mark. Journal of Philosophy (June 1991), 88(6):331-336.

Michael Detlefsen's Proof and Knowledge in Mathematics (1992)
Engel, P. Revue Philosophie Francaise et Etranger (January-March 1995), 120(1):133-134.
Folina, Janet. Philosophical Quarterly (January 1996), 46(182):125-127.
Larvor, Brendan. International Journal of Philosophical Studies (March 1994), 2(1):149-151.

Michael Detlefsen, ed., Proof, Logic and Formalization (1992)
Engel, P. Revue Philosophie Francaise et Etranger (January-March 1995), 120(1):133-134.
Heinzmann, Gerhard. History and Philosophy of Logic (1994), 15(1):138-142.
Larvor, Brendan. International Journal of Philosophical Studies (March 1994), 2(1):149-151.
Steiner, Mark. Journal of Symbolic Logic (December 1993), 58(4):1459-1462.

Discussions of Detlefsen
Ignjatovic, Aleksandar. "Hilbert's Program and the Omega-Rule." Journal of Symbolic Logic (March 1994), 59(1):322-343.


[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]

Copyright © All rights reserved. Regents of the University of California.