Philosophisches Seminar

Prof. Dr. Reinhard Kahle
Universität Tübingen
Keplerstraße 2
72074 Tübingen

Raum 108
Tel.: +49-7071-29-75333
Email: reinhard.kahlespam prevention@uni-tuebingen.de
Sprechstunde: nach Vereinbarung

Website: https://uni-tuebingen.de/de/143985

Reinhard Kahle kommt von der mathematischen Logik und hat sich zunehmend mit Fragen der Grundlagen und Geschichte der Mathematik befaßt. Daneben bearbeitet er Themen der analytischen Philosophie, besonders zur Sprachphilosophie. Der Lehrstuhl für Theorie und Geschichte der Wissenschaften beschäftigt sich in der Tradition des wissenschaftlichen Werkes von Carl Friedrich von Weizsäcker zudem besonders mit philosophischen und gesellschaftlichen Fragen, die sich aus der modernen Wissenschaft ergeben.

Forschungsschwerpunkte

  • Mathematische und philosophische Logik
  • Philosophie der Mathematik
  • Sprachphilosophie
  • Logikgeschichte
  • Gesellschaftliche Relevanz von Wissenschaft.

Publikationen

Herausgegebene Veröffentlichungen

Zeitschriftenartikel

Referierte Buchbeiträge

Eingeladene Beiträge

  • Reinhard Kahle: Dual Axiomatics. In Michael Matthews (editor): Mario Bunge: A Centenary Festschrift. Springer, in preparation.
  • Reinhard Kahle: Belief Revision Revisited. In Ana Pato and Olga Pombo (editors): Epistemologia, Lógica e Linguagem. Colecção Documenta, Centro de Filosofia das Ciências da Universidade de Lisboa, to appear.
  • Reinhard Kahle: Die Gödelschen Unvollständigkeitssätze. In Jörn Steuding and Klaus Volkert (editors): Facetten der Mathematik. pages 235-246. Springer, 2018. Reprint of the paper published in the Mathematische Semesterberichte in 2007.
  • Reinhard Kahle: Dialoge als Semantik. In Jürgen Mittelstraß and Christopher von Bülow (editors): Dialogische Logik. pages 43-54. Mentis, 2015.
  • Reinhard Kahle: Hilbert and Poincaré and the paradoxes. In Hassan Tahiri (editor): Poincaré's Philosophy of Mathematics: Intuition, Experience, Creativity. Cadernos de Filosofia das Ciências, vol. 11, pages 79-93. Centro de Filosofia das Ciências da Universidade de Lisboa, 2011.
  • Reinhard Kahle and Anton Setzer: An extended predicative definition of the Mahlo universe. In Ralf Schindler (editor): Ways of Proof Theory. Mathematical Logic, pages 315-340. Ontos Verlag, 2010.
  • Reinhard Kahle: The Universal Set - A (never fought) Battle between Philosophy and Mathematics. In Olga Pombo and Ángel Nepomuceno (editors): Lógica e Filosofia da Ciência. Colecção Documenta, vol. 2, pages 53-65. Centro de Filosofia das Ciências da Universidade de Lisboa, 2009.
  • Reinhard Kahle: Against possible worlds. In C. Degremont, L. Keiff, and H. Rückert (editors): Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman. Tributes, vol. 7, pages 235-253. College Publications, 2008.
  • Reinhard Kahle: Konstruktivismus und Semantik. In J. Mittelstraß (editor): Der Konstruktivismus im Ausgang der Philosophie von Wilhelm Kamlah und Paul Lorenzen. pages 197-212. Mentis, 2008.
  • Reinhard Kahle: Os teoremas de incompletude de Kurt Gödel. Boletim da Sociedade Portuguesa de Matemática, 55:63-76, 2006.
  • Reinhard Kahle: Unendlichkeit. In W. Spohn, P. Schroeder-Heister, and E. Olsson (editors): Logik in der Philosophie. Philosophische Impulse, vol. 6, pages 337-348. Synchron, 2005.

Elektronische Artikel (referiert)

Abschlußarbeiten

  • Reinhard Kahle: The applicative realm. Habilitationsschrift, Fakultät für Informations- und Kommunikationswissenschaften, Universität Tübingen, 2007. Volume 40 Textos de Matemática, Departamento de Matemática, Universidade de Coimbra.
  • Reinhard Kahle: Applikative Theorien und Frege-Strukturen. PhD thesis, Institut für Informatik und angewandte Mathematik, Universität Bern, 1997.
  • Reinhard Kahle: Einbettung des Beweissystems LAMBDA in eine Theorie von Operationen und Klassen. Master thesis, Universität München, 1992.

Rezensionen

Abstracts

  • Nuno Jerónimo and Reinhard Kahle: Alguns destaques da correspondência de Hugo Baptista Ribeiro. Boletim da Sociedade Portuguesa de Matemática, (Suplemento) to appear. Resumo alargado do Seminário Nacional de História da Matemática 2016.
  • Reinhard Kahle: Some historical considerations concerning Hilbert's 24th Problem. Boletim da Sociedade Portuguesa de Matemática, (Suplemento) to appear. Resumo alargado do Seminário Nacional de História da Matemática 2016.
  • Reinhard Kahle: O fim da Grundlagenkrise. Boletim da Sociedade Portuguesa de Matemática, Número especial 2016. Resumo alargado do Encontro Nacional da Sociedade Portuguesa de Matemática 2014.
  • Reinhard Kahle and Isabel Oitavem: Towards recursion schemata for the probabilistic class PP. Boletim da Sociedade Portuguesa de Matemática, Número especial 2016. Resumo alargado do Encontro Nacional da Sociedade Portuguesa de Matemática 2014.
  • Reinhard Kahle: Hilbert vindicated. Bulletin of Symbolic Logic, 21(1):103, 2015. Abstract (given by title) for the Logic Colloquium 2014.
  • Reinhard Kahle: Classifying proofs. Bulletin of Symbolic Logic, 20(2):214, 2014. Abstract of an invited talks in the Special Session on Logical Analysis of Mathematical Proofs at the Logic Colloquium 2013.
  • Reinhard Kahle: Os interlocutores científicos de Hugo Ribeiro. Boletim da Sociedade Portuguesa de Matemática, 69 (Suplemento) 2013. Resumo alargado do Seminário Nacional de História da Matemática 2013.
  • Reinhard Kahle: A correspondência de Hugo Ribeiro com lógicos estrangeiros - uma primeira leitura. Boletim da Sociedade Portuguesa de Matemática, 67 (Suplemento) 2012. Resumo alargado do Seminário Nacional de História da Matemática 2012.
  • Reinhard Kahle: A Herança de David Hilbert na Filosofia da Matemática. Boletim da Sociedade Portuguesa de Matemática, 65 (Suplemento) 2011. Resumo alargado do Seminário Nacional de História da Matemática 2011.
  • Reinhard Kahle: Understanding functional self-application. Bulletin of Symbolic Logic, 15(1):118-119, 2009. Abstract for the Logic Colloquium 2008.
  • Reinhard Kahle: David Hilbert and the paradoxes. Bulletin of Symbolic Logic, 12(2):354-355, 2006. Abstract given by title for the Logic Colloquium 2005.
  • Reinhard Kahle and Thomas Studer: Least fixed points in applicative theories. Bulletin of Symbolic Logic, 9(1):94, 2003. Abstract for the Logic Colloquium 2002.
  • Reinhard Kahle and Anton Setzer: Extended predicative universes. Bulletin of Symbolic Logic, 8(1):141, 2002. Abstract for the Logic Colloquium 2001.
  • Reinhard Kahle: Name induction in explicit mathematics. Bulletin of Symbolic Logic, 7(1):121, 2001. Abstract for the Logic Colloquium 2000.
  • Reinhard Kahle and Volker Peckhaus: Hilbert's Paradox. Bulletin of Symbolic Logic, 7(1):122, 2001. Abstract for the Logic Colloquium 2000.
  • Reinhard Kahle: A proof-theoretic view of intensionality. In Paul Dekker (editor): Proceedings of the 12th Amsterdam Colloquium. pages 163-168, Amsterdam University, 2000. Extended Abstract.
  • Reinhard Kahle: A proof-theoretic view of necessity. Bulletin of Symbolic Logic, 6(1):115, 2000. Abstract for the Logic Colloquium '99.
  • Reinhard Kahle: Supervaluation in applicative theories. Bulletin of Symbolic Logic, 5(1):114-115, 1999. Abstract for the Logic Colloquium '98.
  • Reinhard Kahle: Uniform limit in explicit mathematics with universes. Bulletin of Symbolic Logic, 4(1):91-92, 1998. Abstract for the Logic Colloquium '97.
  • Reinhard Kahle: Frege structures over applicative theories. Bulletin of Symbolic Logic, 3(2):264-265, 1997. Abstract for the Logic Colloquium '96.

Weitere Veröffentlichungen

  • Reinhard Kahle: Is there a “Hilbert Thesis”?. In Thomas Piecha and Peter Schroeder-Heister (editors): General Proof Theory. Celebrating 50 Years of Dag Prawitz's Natural Deduction. Proceedings of the Conference held in Tübingen, 27-29 November 2015. pages 8, 183-190. University of Tübingen, Tübingen, 2016.
  • Reinhard Kahle: Axioms as Hypotheses. In Thomas Piecha and Peter Schroeder-Heister (editors): Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen. pages 47-54. University of Tübingen, Tübingen, 2015.
  • Arnold Beckmann, Ulrich Berger, Birgit Elbl, Reinhard Kahle, Karl-Heinz Niggl, Oliver Kullmann, Monika Seisenberger, and Anton Setzer (editors): PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13--14 April, 2007. Computer Science Report Series, CSR 3-2007, University of Wales Swansea, 2007.
  • Reinhard Kahle: David Hilbert über Paradoxien. Pré-Publicações, Preprint Number 06-17,Departamento de Matemática, Universidade de Coimbra, 2006.
  • Karl-Heinz Niggl, Reinhard Kahle, and Birgit Elbl (editors): 5th International Workshop on Proof, Computation, Complexity, PCC '06. Universitätsverlag Ilmenau, 2006.
  • Birgit Elbl, Reinhard Kahle, and Isabel Oitavem (editors): 4th International Workshop on Proof, Computation, Complexity, PCC '05. Conference Reports, Departamento de Matemática, Universidade Nova de Lisboa, 2005.
  • Reinhard Kahle, Isabel Oitavem, and Helena Rocha: A correspondência de Hugo Ribeiro. In Jaime Silva (editor): CiEMeLP 2015, Conferência Internacional do Espaço Matemático em Língua Portugesa, Conferência Regional da ICMI; Grupos de Discussão. pages 2. 2015.
  • Reinhard Kahle: Towards Reverse Proofs-as-Programs. In Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (editors): Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Local Proceedings. pages 224-233. University of Athens, 2008.
  • Jeannette Bohg, Reinhard Kahle, and Alexandre Miguel Pinto: International Tele-Teaching, A Progress Report. In Volker Dötsch, Klaus Hering, and Florian Schaar (editors): Auf dem Weg vom Hype in die Konsolidierung?, Proceedings of the Workshop on e-Learning 2005, HTWK Leipzig, 11.-12. Juli 2005. Hochschule für Technik, Wirtschaft und Kultur Leipzig (FH), Fachbereich Informatik, Mathematik und Naturwissenschaften, Leipzig, 2005.
  • Reinhard Kahle: Estudo da Matemática na Alemanha. O Ábaco, 10:8-9, 2005.
  • Reinhard Kahle: Uniform limit in explicit mathematics with universes. Technical Report, IAM-97-002,IAM, Universität Bern, 1997.
  • Luís Moniz Pereira and Reinhard Kahle: Cooperation of Universidade Nova de Lisboa and Technische Universität at Dresden in the field of Computational Logic. Computational Logic Newsletter, 3:26, 2003.
  • Reinhard Kahle: Bologna at the basis. In Reinhard Kahle: Governance and Management Models is Higher Education - A Global Perspective. Conference CD, Coimbra Centre for Innovative Management and Faculty of Economics of the University of Coimbra, 2008.

Themenvorschläge für Abschlussarbeiten

  • Mathematische Logik
    Beweistheorie; Berechenbarkeitstheorie
  • Philosophische Logik
    Grundlagen der Logik; Modallogik
  • Logik in der Informatik
    λ-Kalkül; Komplexitätstheorie; interaktives Beweisen
  • Philosophie der Mathematik
    David Hilbert; Kurt Gödel; Grundlagenkrise; Strukturen
  • Wissenschaftstheorie
    Wiener Kreis; Paul Feyerabend
  • Sprachphilosophie / Linguistik
    Intensionalität; Modalitäten
  • Mathematikgeschichte
    insbesondere: Logikgeschichte; antike Mathematik
  • Gesellschaftliche Relevanz von Wissenschaft
    Carl Friedrich von Weizsäcker
  • Reichweite und Grenzen des maschinellen Lernens
    Mathematische Herausforderungen für das maschinelle Lernen

Spezielle Themen

  • Rechtsinformatik: deutsches Zivilrecht (BGB)
  • Ironie
  • "Hannah Arendt analytisch"
  • Stenographische Dokumente aus Mathematikernachlässen