Paul Lorenzen

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Paul Lorenzen

Paul Lorenzen (Kiel, 24 marzo 1915 – Gottinga, 1º ottobre 1994) è stato un filosofo e matematico tedesco, cofondatore della Scuola costruttivista di Erlangen (insieme a Wilhelm Kamlah) e inventore della semantica dei giochi (insieme a Kuno Lorenz).

Biografia[modifica | modifica wikitesto]

Lorenzen nacque a Kiel nel 1915, figlio di Max Rosenkranz, che aveva un dottorato in giurisprudenza ed era di professione notaio, e Lisa Rosenkranz, nata Möhlmann.

Dopo essersi diplomato nella Pasqua del 1933 al Realgymnasium di Bad Pyrmont, lavorò per sei mesi e poi ha studiò matematica, fisica, chimica e filosofia a Kiel, Berlino e Gottinga. Nel 1933 si unì alla SA e all'Unione studentesca tedesca nazionalsocialista e nel '37 al Partito Nazionalsocialista.[1] Dall'autunno 1934 al 1935 svolse un anno di servizio militare attivo.

A Gottinga rimase finché nel 1938 conseguì il dottorato sotto la supervisione di Helmut Hasse con una dissertazione intitolata Zur Abstrakten Begründung der multiplikativen Idealtheorie (Sulla giustificazione astratta della teoria dell'ideale moltiplicativo).[2] Nel 1939 divenne assistente di Wolfgang Krull all'Università di Bonn, dove rimase ufficialmente fino al '49[3], ma nel '40 fu arruolato come soldato.[4] A seguito della mediazione di Hasse, Lorenzen lavorò con Wilhelm Tranow dal luglio 1940 all'aprile 1941 al progetto di decodifica della Marina.[5] Dal 1942 fu impiegato come insegnante presso l'Accademia navale di Wesermünde e fu trasferito all'Accademia navale di Flensburg nel gennaio 1945. Tornato a Bonn, riuscì a conseguire l'abilitazione all'insegnamento universitario nel 1946 e divenne docente privato. Nel '48/'49 fu per breve tempo professore ospite a Cambridge. Nel 1949 divenne docente di storia della matematica a Bonn, dove divenne professore a contratto nel 1952.[3] Nel 1954 assunse la direzione del neonato Carl Schurz College, presso il quale andò a vivere.[6]

Nel 1956 fu nominato ordinario di filosofia a Kiel. Nel 1957/58 fu all'Institute for Advanced Studies di Princeton.[7] Nel 1962 Lorenzen giunse all'Università di Erlangen dove fondò la Scuola del costruttivismo epistemologico insieme a Wilhelm Kamlah.[8][9] Nell'anno accademico 1967/1968 fu lettore per le John Locke Lectures.

Nel 1980 Lorenzen fu insignito dell'Ordine al Merito della Repubblica Federale Tedesca. Dal suo pensionamento nel 1980, visse a Gottinga, dove morì nel 1994.

Fu membro dell'Accademia delle scienze di Gottinga, dell'Institut de philosophie di Parigi e dell'Académie Internationale de Philosophie des Sciences di Bruxelles.[10] Lorenzen ricevette un dottorato honoris causa dall'Università di Rio de Janeiro. Il suo patrimonio si trova nell'archivio filosofico dell'Università di Costanza. Lorenzen era sposato con Käthe Dalchow dal 1939.[11]

I suoi interessi di ricerca si focalizzarono sui fondamenti della matematica, sulla teoria della dimostrazione e sulla creazione e modifica del costruttivismo matematico.

Lorenzen insegnò alla Stanford University, all'Università del Texas e alla Boston University. Nel 1962 fu uno dei setti fondatori della Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (Associazione tedesca per la logica matematica e per i fondamenti delle scienze esatte).

Mentre era già in pensione[12], Lorenzen scrisse una geometria elementare. Oltre all'elaborazione della protogeometria e della geometria, ha progettato una fondazione per la geometria analitica. Nel 2009 la figlia Jutta Reinhardt diede vita alla Fondazione Paul Lorenzen che organizza regolarmente conferenze accademiche su temi filosofici e scientifici.[13]

Attività di ricerca[modifica | modifica wikitesto]

La stretta collaborazione con Kamlah portò alla pubblicazione del volume intitolato Logische Propädeutik, mentre con Kuno Lorenz lavorò alla semantica dei giochi. Con Peter Janich ha inventato la protofisica del tempo e dello spazio. Inoltre, contribuì allo sviliuppo della logica costruttiva, della teoria dei tipi costruttiva e dell'analisi costruttiva. Le ricerche sul calcolo differenziale e integrale furono dedicate a Hermann Weyl la cui tecnica permise di sviluppare un'analisi predicativa dalla quale si poteva rifondare l'analisi classica senza il principio del terzo escluso o l'assioma della scelta. Collaborò al Teorema di eliminazione del taglio di Gerhard Gentzen per trovare un modo per far progredire il Programma di Hilbert dopo i risultati di Kurt Gödel. Nel 1951[14] (indipendentemente da Wang Hao) eseguì una dimostrazione di consistenza per la teoria dei tipi ramificati (con assioma dell'infinito e senza assioma della riducibilità, cosicché l'analisi classica non vi era inclusa).[15]

Nella teoria della geometria e della fisica, Lorenzen fu influenzato da Hugo Dingler, che costruì queste due scienze a partire da operazioni primitive. Lorenzen derivò una prima interpretazione di Steven Weinberg (Gravitation and Cosmology, 1972) per argomentare a favore dei propri dubbi circa gli elementi geometrici della Relatività generale, ritenendo che le equazioni di Maxwell debbano essere modificate da questa teoria. Lorenzen fu anche influenzato dall'ermeneutica di Wilhelm Dilthey del quale amava citare l'affermazione secondo cui la conoscenza non può andare dietro la vita. La Lebensphilosophie di Dilthey consisteva nella descrizione del contesto dell'esperienza ordinaria all'interno della quale costruiamo le astrazioni della matematica e della fisica.

Come John Locke Lecturer fu il primo a utilizzare la logica normativa come base per l'etica e l'argomentazione politica. Lorenzen considerò l'etica "non capace di teoria". Invece, ascrisse alla cultura "post-tradizionale" moderna il compito di sviluppare una teoria politica per evitare le guerre civili. In contrasto con il Circolo di Vienna, Lorenzen , insieme ad altri filosofi come Friedrich Kambartel e Jürgen Habermas, sottolineò il primato della ragione etico-politica (ragion pratica) sulla ragione tecnico-teorica.

Insieme al filosofo della scienza Wolfgang Stegmüller, Lorenzen ha attirato l'attenzione sulla filosofia analitica anglo-americana nella Germania dopo post-bellica. Tuttavia, Stegmüller criticò il giustificazionismo costruttivista della scienze definendolo una "metafora seducente".[16] Carl Friedrich von Weizsäcker ha messo a confronto la combinazione di logica e democrazia di Lorenzen con il pensiero di Nietzsche.[17]

Opere principali[modifica | modifica wikitesto]

  • Paul Lorenzen, Frederick J. Crosson (traduttore), Formal Logic, Springer, New York, July 1964.
  • Paul Lorenzen, Normative Logic and Ethics, Mannheim/Zurigo, 1969.
  • Paul Lorenzen, John Bacon (traduttore), Differential and Integral: A constructive introduction to classical analysis, The University of Texas Press, Austin, 1971.
  • Paul Lorenzen, Lehrbuch der konstruktiven Wissenschaftstheorie, Mannheim/Zurigo, 1984.
  • Paul Lorenzen, Karl Richard Pavlovic (Translator), Constructive Philosophy, The University of Massachusetts Press, Amherst, 1987.

Note[modifica | modifica wikitesto]

  1. ^ Stefan Neuwirth: Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents. In: Gerhard Heinzmann, Gereon Wolters: Paul Lorenzen – Mathematician and Logician, Springer 2021, p. 244 sul rapporto di Lorenzen del 2 settembre 1945 sul suo atteggiamento politico nei confronti degli alleati.
  2. ^ Dottorato il 17 ottobre 1939 con lode. Gli iniziatori della dissertazione furono Hasse e Krull, i relatori Hasse e Carl Ludwig Siegel . Pubblicato in Mathematische Zeitung, volume 45, 1939, pp. 533–553. Si veda la voce "Paul Lorenzen" in: Renate Tobies, Biographisches Lexikon in Mathematik promovierter Personen, Rauner Verlag 2006
  3. ^ a b Voce "Paul Lorenzen" in: Renate Tobies, Biographisches Lexikon in Mathematik promovierter Personen, Rauner Verlag 2006
  4. ^ Stefan Neuwirth: Lorenzen’s Correspondence, 2021, p. 245: Panoramica in formato tabellare di varie località.
  5. ^ Stefan Neuwirth: Lorenzen’s Correspondence, 2021, pp. 212ff Tabella p. 245.
  6. ^ Studentischer Redaktionsausschuß des Carl-Schurz-Collegs (a cura di), Carl-Schurz-Colleg 1954–1964. Zum zehnjährigen Bestehen eines studentischen Wohnheimes, Bonn, Kaiserstraße 57, Bonn, 1964.
  7. ^ Libretto dei membri della IAS, 1980
  8. ^ Lorenzen, citato da: Carl Friedrich Gethmann: Lebenswelt und Wissenschaft: Studien zum Verhältnis von Phänomenologie Bouvier, Bonn 1991, p. 70
  9. ^ "unicamente allo scopo di poter lavorare con Kamlah". Citato da: Carl Friedrich Gethmann: Lebenswelt und Wissenschaft: Studien zum Verhältnis von Phänomenologie. Bouvier, Bonn 1991, p. 70.
  10. ^ Voce dedicata a Lorenzen in Bruno Jahn, Biographische Enzyklopädie deutschsprachiger Philosophen, K. G. Saur 2001
  11. ^ Who`s Who in Germany, International Book and Publishing Company 1974
  12. ^ Elementargeometrie. Das Fundament der Analytischen Geometrie. 1984.
  13. ^ « Fondation Paul Lorenzen » à l'Université de Constance., su profil.uni-konstanz.de (archiviato dall'url originale il 24 maggio 2011).
  14. ^ Lorenzen: Algebraische und Logistische Untersuchungen über freie Verbände. In: Journal of Symbolic Logic,vol. 16, 1951, pp. 81–106, traduzione in inglese in: Arxiv, mit Einführung: Thierry Coquand, Stefan Neuwirth: An introduction to Lorenzen’s “Algebraic and logistic investigations on free lattices” (1951), Arxiv.
  15. ^ Die Widerspruchsfreiheit der klassischen Analysis. In: Mathematische Zeitschrift 54 (1951), 1–24.
  16. ^ Wolfgang Stegmüller: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie. vol. I.
  17. ^ Carl Friedrich von Weizsäcker: Wahrnehmung der Neuzeit. Hanser, Monaco 1983, pp. 398.

Bibliografia[modifica | modifica wikitesto]

  • Wilhelm Kamlah, Paul Lorenzen, Logical Propaedeutic: Pre-School of Reasonable Discourse, Washington, D.C.: University Press of America, 1984.
  • Diane Loring Souvaine, Paul Lorenzen and Constructive Mathematics, 1980.
  • Christian Thiel: Paul Lorenzen (1915–1994). Bibliographie der Schriften von Paul Lorenzen. In: Journal for General Philosophy of Science. 27 (1996), 1–13/187–202.

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Controllo di autoritàVIAF (EN) 44375757 · ISNI (EN) 0000 0000 8122 8023 · SBN SBLV034906 · LCCN (EN) n83129384 · GND (DE) 11857437X · BNE (ES) XX1724101 (data) · BNF (FR) cb12362710x (data) · J9U (EN, HE) 987007274667105171 · CONOR.SI (SL) 89385571 · WorldCat Identities (EN) lccn-n83129384
Estratto da "https://it.wikipedia.org/w/index.php?title=Paul_Lorenzen&oldid=138145822"