8 research outputs found

    Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen

    Get PDF

    An den Grenzen des Endlichen

    Get PDF
    Die Arbeit widmet sich der philosophischen Diskussion des Hilbertprogramms (HP), und zwar in einem methodischen Dreischritt aus Erötertung seiner Konzeption, Analyse seiner Durchführung und Reflexion philosophischer Fragen. Zur Konzeption dieses mathematischen Grundlegungsprogramms gehören Axiomatik, Formalismus und Finitismus, sowie die Beziehung des HP zum Intuitionismus und zum Logizismus. Es wird kritisch von instrumentalistischen Auslegungen abgegrenzt. Durchgeführt wurde das Programm zuerst in den einschlägigen Arbeiten von Hilbert, Bernays, Ackermann und Gentzen. Die darin gegebenen (Ansätze zu) Widerspruchsfreiheitsbeweise(n) werden analysiert und ihre Argumentationsstruktur herausgearbeitet. Die Reflexion beschäftigt sich mit drei Problemkreisen: Poincarés Zirkularitätskritik, Gödels Unvollständigkeitssätze und Kreisels Frage nach der Rolle transfiniter Ordinalzahlen in einer finitistischen Theorie. Ein Resümee fragt, was das HP eigentlich leistet, und versucht eine differenzierte Antwort auf die Frage, ob es gescheitert ist

    Vom Menschen. Handbuch Historische Anthropologie

    Full text link
    Wenn im Kontext dieses Buches von historischer Anthropologie die Rede ist, dann geschieht dies auf dem Hintergrund der in Deutschland entwickelten philosophischen Anthropologie, der in der angelsächsischen Tradition stehenden Kulturanthropologie und der von der französischen Geschichtswissenschaft initiierten Mentalitätsgeschichte. Auf dieser Basis zielt historische Anthropologie darauf, menschliche Lebens-, Ausdrucks- und Darstellungsformen zu beschreiben, Gemeinsamkeiten und Differenzen herauszuarbeiten, Ähnlichkeiten und Unterschiede in Einstellungen und Deutungen, Imaginationen und Handlungen zu analysieren und so ihre Vielfalt und Komplexität zu erforschen. Sie untersucht Fremdes und Vertrautes in bekannten und in fremden Kulturen in Vergangenheit und Gegenwart. Historische Anthropologie dient als Bezeichnung für vielfältige transdisziplinäre Bemühungen nach dem Ende der Verbindlichkeit einer abstrakten anthropologischen Norm, weiterhin Phänomene des Menschlichen zu erforschen. (DIPF/Orig.
    corecore