Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

178 johannes hafner and paolo mancosuFriedman, Michael (1974), ‘Explanation and scientific understanding’, Journal of Philosophy,71, 5–19.Hafner, Johannes and Mancosu,Paolo(2005), ‘The varieties of mathematical explanation’,in P. Mancosu, K. Jørgensen, and S. Pedersen (eds.), Visualization, Explanationand Reasoning Styles in Mathematics (Dordrecht: Springer), 215–250.Kitcher, Philip(1981), ‘Explanatory unification’, Philosophy of Science, 48, 507–531.(1984), The Nature of Mathematical Knowledge (Oxford: OUP).(1989), ‘Explanatory unification and the causal structure of the world’, inP. Kitcher and W. Salmon (eds.), Scientific Explanation, vol. XIII of Minnesota Studiesin the Philosophy of Science (Minneapolis: University of Minnesota Press), 410–505.Resnik, MichaelD.andKushner, David (1987), ‘Explanation, independence, andrealism in mathematics’, British Journal for the Philosophy of Science, 38, 141–158.Seidenberg, A.(1954), ‘A new decision method for elementary algebra’, Annals ofMathematics, 60, 365–374.(1958), ‘Comments on Lefschetz’s principle’, The American Mathematical Monthly,65, 685–690.Steiner, Mark(1978), ‘Mathematical explanation’, Philosophical Studies, 34, 135–151.Tappenden, Jamie (2005), ‘Proof-style and understanding in mathematics I: visualization,unification and axiom choice’, in P. Mancosu, K. Jørgensen, and S. Pedersen(eds.), Visualization, Explanation and Reasoning Styles in Mathematics (Dordrecht:Springer), 147–214.Tarski, Alfred(1951), A Decision Method for Elementary Algebra and Geometry, 2nd edn(Berkeley: University of California Press).Weber,ErikandVerhoeven,Liza(2002), ‘Explanatory proofs in mathematics’, Logiqueet Analyse, 45(179–180), 299–307 [appeared 2004].