Reinhard Kahle (kahle)

Contributi a Philosophie.ch

Bibliography

Alama, Jesse and Kahle, Reinhard. 2013. “Computing with Mathematical Arguments.” in New Challenges to the Philosophy of Science, edited by Hanne Andersen, Dennis Dieks, Wenceslao J. González, Thomas E. Uebel, and Gregory R. Wheeler, pp. 9–22. The Philosophy of Science in a European Perspective n. 4. Berlin: Springer.
Buldt, Bernd W., Halbach, Volker and Kahle, Reinhard. 2005. “Reflections on Frege and Hilbert.” Synthese 147(1): 1–2.
Jäger, Gerhard, Kahle, Reinhard, Setzer, Anton and Strahm, Thomas. 1999. “The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.” The Journal of Symbolic Logic 64.
Jäger, Gerhard, Kahle, Reinhard and Strahm, Thomas. 1999. “On Applicative Theories.” in Logic and Foundation of Mathematics, edited by Andrea Cantini, Ettore Casari, and Pierluigi Minari, pp. 83–92. Synthese Library n. 280. Dordrecht: Kluwer Academic Publishers.
Jäger, Gerhard, Kahle, Reinhard and Studer, Thomas. 2001. “Universes in Explicit Mathematics.” Annals of Pure and Applied Logic 109.
Kahle, Reinhard. 1999. “A Proof Theoretic View of Intensionality.” in ILLC. Proceedings of the Twelfth Amsterdam Colloquium, edited by Paul J. E. Dekker and Martin B. J. Stokhof, pp. 163–168. University of Amsterdam, Holland, Institute for Logic, Language; Computation: ILLC Publications.
Kahle, Reinhard. 2001a. “Truth in Applicative Theories.” Studia Logica: An International Journal for Symbolic Logic 68(1): 103–128.
Kahle, Reinhard. 2001b. “Besprechung von Mancosu (1998).” in Grundlagen der Analytischen Philosophie, edited by Uwe Meixner and Albert Newen, pp. 213–219. Logical Analysis and History of Philosophy n. 4. Paderborn: Mentis Verlag.
Kahle, Reinhard. 2002. “Structured Belief Bases.” Logic and Logical Philosophy 10: 45–58.
Kahle, Reinhard. 2003. “Review of Hendricks, Pedersen and Jørgensen (2000).” in Geschichte der Ethik, edited by Uwe Meixner and Albert Newen, pp. 245–254. Logical Analysis and History of Philosophy n. 6. Paderborn: Mentis Verlag.
Kahle, Reinhard. 2006. “A Proof-Theoretic View of Necessity.” Synthese 148(3): 659–673.
Kahle, Reinhard. 2011. “The Universal Set and Diagonalization in Frege Structures.” The Review of Symbolic Logic 4(2): 205–218.
Kahle, Reinhard. 2013. “David Hilbert and Principia Mathematica.” in The Palgrave Centenary Companion to Principia Mathematica, edited by Nicholas Griffin and Bernard Linsky, pp. 21–34. History of Analytic Philosophy. Basingstoke, Hampshire: Palgrave Macmillan.
Kahle, Reinhard. 2014. “Poincaré in Göttingen.” in Poincaré, Philosopher of Science. Problems and Perspectives, edited by Marı́a De Paz and Robert DiSalle, pp. 83–100. The University of Western Ontario Series in Philosophy of Science n. 79. Dordrecht: Springer.
Kahle, Reinhard. 2015a. “Sets, Truth, and Recursion.” in Unifying the Philosophy of Truth, edited by Theodora Achourioti, Henri Galinon, José Martı́nez Fernández, and Kentaro Fujimoto, pp. 143–152. Logic, Epistemology, and the Unity of Science n. 36. Cham: Springer.
Kahle, Reinhard. 2015b. “What is a Proof?” Axiomathes 25(1): 79–91.
Kahle, Reinhard. 2017. “Mathematical Truth Revisited: Mathematics as a Toolbox.” in Varieties of Scientific Realism. Objectivity and Truth in Science, edited by Evandro Agazzi, pp. 395–406. Berlin: Springer.
Kahle, Reinhard and Pulcini, Gabriele. 2018. “Toward an Operational View of Purity.” in The Logica Yearbook 2017, edited by Pavel Arazim and Tomáš Lávička, pp. 125–138. London: College Publications.

Further References

Hendricks, Vincent F., Pedersen, Stig Andur and Jørgensen, Klaus Frovin, eds. 2000. Proof Theory: History and Philosophical Significance. Synthese Library n. 292. Dordrecht: Kluwer Academic Publishers.
Mancosu, Paolo, ed. 1998. From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford: Oxford University Press.