Vryjdfkk

Paul Lorenzen (1967)

Paul Lorenzen^[1] (* 24. März 1915 in Kiel; † 1. Oktober 1994 in Göttingen) war ein deutscher Philosoph, Wissenschaftstheoretiker, Mathematiker und Logiker. Er ist neben Wilhelm Kamlah der Begründer der Erlanger Schule des methodischen Konstruktivismus.

Lorenzen begann als Logiker und Mathematiker und begründete dann eine Philosophie eines schrittweisen und dialogischen Aufbaus.

In der logischen Propädeutik gestaltete er einen Neuanfang des vernünftigen Redens und erarbeitete die dialogische Logik, ein Logikverfahren, das sich zum Argumentieren eignet.

Weiterhin leistete Lorenzen wichtige Beiträge zur Mathematik und zur Wissenschaftstheorie: So begründete er eine – Protophysik genannte – Variante des Operationalismus. Darüber hinaus entwickelte er aus einer normativen Modallogik Ansätze zu Fragen der Ethik und der politischen Philosophie.

Leben |

Lorenzen studierte Mathematik, Physik, Chemie und Philosophie in Kiel, Berlin und Göttingen. Hier promovierte er 1938 bei Helmut Hasse mit einer Arbeit zur Abstrakten Begründung der multiplikativen Idealtheorie. 1939 wurde er in Bonn Assistent von Wolfgang Krull, ein weiterer akademischer Lehrer Lorenzens war Oskar Becker. Er nahm am Zweiten Weltkrieg teil und war seit 1942 als Lehrer an der Marineschule Wesermünde eingesetzt. Zurück in Bonn konnte er sich 1946 habilitieren, war 1948/49 kurz Gastdozent in Cambridge und wurde 1952 Professor in Bonn.

In Kiel erhielt er 1956 eine ordentliche Professur für Philosophie. 1962 nahm er die auf Initiative von Wilhelm Kamlah zustande gekommene Berufung nach Erlangen an: „… allein zu dem Zweck, um mit Kamlah zusammenarbeiten zu können“.^[2] Hier lehrten beide zunächst in enger Kooperation, die als erstes die seinerzeit weithin bekannt gewordene „logische Propädeutik“ hervorbrachte. Dieser Ansatz war derart erfolgreich, dass daraus eine Schule entstand, die heute unter verschiedenen Bezeichnungen (z. B. Erlanger Konstruktivismus) firmiert. Von 1967 bis 1968 war Lorenzen John Locke Lecturer in Oxford. Seit 1967 versah er in der vorlesungsfreien Zeit Gastprofessuren in Austin (Texas) und Boston. 1980 wurde Lorenzen das Bundesverdienstkreuz am Bande verliehen. Seit seiner Emeritierung 1980 lebte er in Göttingen, wo er 1994 starb. Sein Nachlass befindet sich im Philosophischen Archiv der Universität Konstanz. Die Paul-Lorenzen-Stiftung führt regelmäßig wissenschaftliche Tagungen zur Philosophie und zu angrenzenden Wissenschaften durch.^[3]

Erlanger Schule |

Die Methodische Philosophie von Lorenzen und Kamlah, die Erlanger Schule, suchte eine aufklärerische Neubegründung der Vernunft zwischen dem kritischen Rationalismus Karl Poppers sowie der von der Transzendentalpragmatik Karl-Otto Apels intendierten Letztbegründung und fand durch die Gemeinsamkeiten der pragmatischen Begründungskonzeption mit der Universalpragmatik einen Koalitionspartner in der Frankfurter Schule („Große Koalition“) gegen den Szientismus und den logischen Empirismus. Es gab in den späten 1960er Jahren Kongresse, auf denen Jürgen Habermas und Lorenzen als Hauptredner auftraten. Die Erlanger Schule stand in ständiger Fehde mit dem wissenschaftstheoretischen Strukturalismus, wie ihn Wolfgang Stegmüller vertrat. Beide Richtungen wurden zu den Gründungsströmungen der Wissenschaftstheorie in Deutschland.

Zwar hat die Erlanger Schule etliche oberflächliche Gemeinsamkeiten mit der analytischen Philosophie, vor allem die Fokussierung auf die Logik und Wissenschaftsorientierung bei Lorenzen. Allerdings geht der Konstruktivismus dagegen von einem pragmatischen und operationalistischen Einbinden des Handelns im Alltag aus. Er lehnt ein Analysieren bloß vorgefundener Sprache ab und bindet die Behandlung normativer Probleme in die Philosophie ein. Hauptstränge der Erlanger Philosophie sind das zirkelfreie Prinzip der methodischen Ordnung, das die Reihenfolge im wissenschaftlichen Vorgehen thematisiert, und die dialogische und reflexive Vernunft. In diesem Zusammenhang standen auch die Debatten über das Vorgehen in der Sprachphilosophie, der Logik sowie der technischen und ethisch-politischen Wissenschaften:

• Aus der Alltagspraxis der Lebenswelt hochstilisierte Theorie soll eine disziplinübergreifende Grundlegung der Wissenschaften ermöglichen.

In den 1970er Jahren bereits erhielten die ersten Mitarbeiter aus dem Erlanger Umfeld Berufungen und entwickelten die Erlanger Philosophie weiter: Jürgen Mittelstraß, Friedrich Kambartel und andere gingen an die Reformuniversität in Konstanz („Konstanzer Schule“ oder „Erlangen-Konstanzer Schule“), Kuno Lorenz entwickelte in Saarbrücken eine dialogische Komponente der Erlanger Philosophie, Peter Janich gestaltete in Marburg einen methodischen Kulturalismus. Carl Friedrich Gethmann, Friedrich Kambartel und andere haben sich den Diskursen um die methodische Philosophie angeschlossen. Etwa 50 Hochschullehrer um Jürgen Mittelstraß, die der Erlanger Schule nahestehen,^[4] schreiben seit den 1970er Jahren an einer Enzyklopädie. Diese Enzyklopädie Philosophie und Wissenschaftstheorie,^[5] die inzwischen in der 2. Auflage von Mittelstraß herausgegeben wird, wurde eines der größten allgemeinen Nachschlagewerke zur Philosophie im deutschsprachigen Raum.

Logische Grundlagen |

Wie oben erwähnt, erscheint als erstes Produkt der Zusammenarbeit mit Kamlah 1967 die Logische Propädeutik. Vorschule des vernünftigen Redens. In ihr wird ein zirkelfreier Aufbau einer vernünftigen Sprache angestrebt. Dadurch wollten Lorenzen und Kamlah einer Ungenauigkeit der verwendeten Begriffe und Argumentationsstrukturen entgegentreten. Die Unausweichlichkeit eines hermeneutischen Zirkels oder ähnlich zirkelhaften Denkens wird durch Vorführung eines zirkelfreien, schrittweisen Aufbaus der jeweiligen Praxis zu widerlegen versucht.^[6]

Das Buch stellt einen handlungstheoretischen und sprachphilosophischen Neuansatz dar, in dem nicht voraussetzungslos von Gegenständen gesprochen, sondern eine Lehre des verständlichen und im Hinblick auf Geltungsansprüche kontrollierbaren Redens und Argumentierens entwickelt wird.^[7] Durch Prädikation wird nach Regeln das Sprechen über Gegenstände kontrolliert eingeführt, ohne diese vorsprachlich als gegeben vorzufinden: Die Sprache erschließt die Welt.^[8]

• Ziel ist, aus der Logik eine Einleitung in das Argumentieren anzubieten, um das vernünftige Begründen grundzulegen. Lorenzen setzte sich für begrifflich deutliches Denken und methodisch geordnetes Vorgehen im philosophischen Diskurs ein.^[9] Dabei wird die prinzipielle Bereitschaft hervorgehoben, alle Vororientierungen kritisch in Frage stellen zu lassen. Eine kritische konstruktive Wissenschaftstheorie als Teil des linguistic turn soll durch die Logik vorbereitet werden.

Neben der Konstruktion wird von Lorenzen der Vorgang der Abstraktion eingeführt: Wenn Äquivalenzrelationen vorliegen, kann ein Oberbegriff dadurch gebildet werden, dass man von den Unterschieden absieht.^[10] Über sogenannte abstrakte Gegenstände kann und soll nicht unabhängig von diesem Vorgang geredet werden.^[11] Die üblichen Definitionszeichen „:=“ werden von Lorenzen durch das Zeichen „⇋{displaystyle leftrightharpoons }“ ersetzt, um der empraktisch lebensweltlich eingeführten Sprache beim Definieren gerecht zu werden.

Lorenzen war zur Zeit der Logischen Propädeutik zeitgenössischer Anhänger des logischen Atomismus: Ein atomarer Elementarsatz hat eine Struktur aus Subjekt, Kopula (ε) und Prädikat. Dies für die Mathematik übliche Vorgehen reichte Lorenzen Anfang der 1970er Jahre für den Aufbau einer Ethik nicht mehr aus und er entwickelte, zusammen mit Oswald Schwemmer, stattdessen ausgedehnte Elementarsätze mit mehreren Prädikatoren und zwei zusätzlichen Kopulaarten.

Statt zwei eigenständige logisch verknüpfte Elementarsätze wie Fido ε Hund und Fido ε braun vorzuschreiben, wird die gemeinsame Elementaraussage Fido ε ein brauner Hund erlaubt. Lorenzen richtet sich gleichzeitig dagegen, von einem hündischen Braun zu sprechen.^[12] „Hund“ wird als selbständige Eigenprädikation, „braun“ dagegen als abhängige Apprädikation eingeführt. Der Datenbankexperte und Informatikpionier Hartmut Wedekind sieht in der Benutzung mehrerer Prädikatoren in einem Elementarsatz bei Lorenzen eine Parallele zu Edgar F. Codds Einführung der relationalen Datenbanken.^[13]

Das Reden über Handlungen wird empraktisch eingeführt, etwa die Aufforderung: (Peter)(Wirf)(Stein). Lorenzen sieht eine Tatkopula π{displaystyle pi } (tut) und eine Geschehenskopula κ zusätzlich zur üblichen Ist-Kopula ε vor. Der Satz: „Tilman π{displaystyle pi } tragen mit Eimern Wasser ins Haus.“ gilt also als Elementarsatz. Die Kopula π{displaystyle pi } ist kein Prädikator, die Tätigkeit „tragen“ ist dagegen ein Eigenprädikator. Eigenprädikatoren sind die wesentlichen Prädikatoren (hier: Substantive und Verben), die rechts von der Kopula (notfalls) allein stehen können.

Diese Lorenzensche Revision des Vorgehens der Logischen Propädeutik ist in der konstruktiven Wissenschaftstheorie umstritten. Sie kann als Abkehr vom sprachphilosophischen Ansatz in der Spätphilosophie Wittgensteins^[14] gedeutet werden. Kuno Lorenz hält es nicht für angemessen, eine Tatkopula einzuführen und auch Tätigkeiten als Eigenprädikatoren zuzulassen: Durch „Der Vogel π{displaystyle pi } singen“' wird „singen“ nicht mehr als Artikulator des Schemas „singen“ konstruiert. Der unmittelbare Geltungszusammenhang zwischen einer Elementaraussage und ihrer Prädikationseinführung gehe verloren.^[15]

Der Aufbau der einzelnen Elemente des so erweiterten Elementarsatzes wird von Lorenzen sehr detailliert ausgearbeitet: Es gibt neben 216 symbolisierten Lokalpräpositionen drei Kasusmorpheme:^[16]

• Der Mittelfall („mit Eimern“) wird bei für Handlungen erforderlichen Geräten verwendet.


• Der Werkfall („zu Asche“) wird für das Ergebnis einer Handlung verwendet.


• Der Gebefall („an Hans“) wird in Handlungszusammenhängen des Tauschens verwendet.

Dialogische Logik |

Lorenzen war der Auffassung, dass sich eine intuitionistische Logik zunächst einfacher begründen lässt als die übliche klassische zweiwertige Logik, die darauf aufbaue. Der Satz vom ausgeschlossenen Dritten dürfe für unendliche Bereiche oder zukünftige Sachverhalte nicht einfach als logisch richtig vorausgesetzt werden. Die Antinomien der reinen Vernunft seien nicht selbstverständlich logisch wahr: Die Antinomie „Die Welt hat einen Anfang in der Zeit oder die Welt hat keinen Anfang in der Zeit“ ist, laut Lorenzen, keine logisch als richtig vorauszusetzende alternative Aussage. Sie würde nur logisch stimmen, wenn einer der beiden Teilsätze aus sich heraus als wahr erwiesen ist.

Lorenzen entwickelte zusammen mit Kuno Lorenz eine dialogische Logik, bei der die logischen Operatoren (statt mit der Wahrheitstafel) mithilfe von formal strukturierten Dialogen durch Angriff und Verteidigung von Proponent und Opponent im Dialogspiel bestimmt werden. Diese dialogische Logik ist auch als Vorbild des Argumentierens konzipiert worden, weil es Gesprächssituationen eher entspricht als das übliche Ableiten von Aussagen in Logikkalkülen. Ein Argument erhält zuweilen seine Geltung (wird wahr), wenn man ein Argument des Gesprächspartners übernimmt, oder wenn kein Einwand mehr sinnvoll ist.

Der Subjunktor („wenn …, dann …“: →{displaystyle rightarrow }) wird dabei als auf verschiedene Arten interpretierbar aufgefasst, je nachdem, welche Angriffs- und Verteidigungsregeln angesetzt werden. Bei einem nichtklassischen Regelsatz sind während des Dialogs auch nicht wahrheitsdefinite Aussagen erlaubt, obwohl am Ende eines abgeschlossenen Dialogs der Wahrheitswert der Gesamtaussage feststeht.

Die Subjunktion enthält als einziger Junktor zwei Dialoge. Beispiel eines formalen Dialogs zur Aussage a→a{displaystyle arightarrow a} (wenn a, dann a):

O{displaystyle O}	P{displaystyle P}	Kommentar
	a→a{displaystyle arightarrow a}
a?{displaystyle a?}		Die Subjunktionsbehauptung wird nach der Subjunktionsregel angegriffen, indem die voranstehende Primaussage behauptet wird.
	a{displaystyle a}	Als Verteidigung wird die nachstehende Primaussage genannt, dies ist gleichzeitig auch eine Übernahme des a{displaystyle a} der vorigen Zeile.

Ob man zuerst die eigene Belegpflicht erfüllen muss oder ob man vorher den Gesprächspartner verpflichten kann, seine Teilaussage zu beweisen, ist abhängig von den Rahmenregeln.

Lorenz und Lorenzen entwickelten eine sogenannte effektive Dialogregel: „Der Proponent greift eine vom anderen gesetzte Aussage an oder verteidigt sich gegen den zuletzt erfolgten Angriff des anderen.“^[17] Für den Opponenten gilt weiter die sogenannte strenge Dialogregel, nur in Bezug auf die letzte Aussage des Proponenten angreifen oder verteidigen zu dürfen. Die effektive Logik entspricht der intuitionistischen Logik.

Steht eine Aussage später nicht mehr zur Verfügung, so kann man aus der dialogischen Logik eine zeitliche Logik entwickeln. Carl Friedrich von Weizsäcker und Peter Mittelstaedt haben dies für die Interpretation der Quantenphysik durch zeitliche Logik (Quantenlogik) genutzt, obwohl Lorenzen diese Interpretation nicht teilte. Für ihn gibt es zeitliche Logik ausschließlich in der Modallogik und nicht in der formalen Logik.

Die verschiedenen Logiksysteme lassen sich durch Zusatz oder Wegnahme von Dialogregeln ineinander überführen.

Logische Wahrheiten sind in der dialogischen Logik teilweise dadurch ausgezeichnet, dass sich im Verlaufe eines Dialoges der eine Gesprächspartner verteidigen kann, indem er einen Beweis des anderen übernimmt, sodass dieser nichts mehr entgegnen kann.

Lorenzen verwendete die Quantorzeichen ⋁{displaystyle bigvee } (Einsquantor: „für einige“) und ⋀{displaystyle bigwedge } (Allquantor: „für alle“), um die Verbindung zu den entsprechenden Junktoren zu erläutern und die Interpretation zu erleichtern, damit nicht immer der Fehler gemacht wird, aus der Formulierung der Quantoren auf die „Existenz“ von etwas zu schließen.

⋀xA(x){displaystyle bigwedge xA(x)}	entspricht:	A(0)∧A(1)∧A(2)∧…{displaystyle A(0)land A(1)land A(2)land dots }
⋁xA(x){displaystyle bigvee xA(x)}	entspricht:	A(0)∨A(1)∨A(2)∨…{displaystyle A(0)lor A(1)lor A(2)lor dots }

Die Regeln für die Quantoren lauten in der dialogischen Logik folgendermaßen:

Quantoren	Angriff	Verteidigung
⋀xA(x){displaystyle bigwedge x;A(x)}	n?{displaystyle n?}	A(n){displaystyle A(n)}
⋁xA(x){displaystyle bigvee x;A(x)}	?{displaystyle ?}	A(n){displaystyle A(n)}

Konstruktive Mathematik |

Lorenzen erarbeitete schon in den 1950er Jahren eine operative Mathematik, die statt mit Vorgefundenem mit einer Handlungsweise, nämlich dem kalkulatorischen Zählen beginnt.

Dazu wird ein Zähl- oder Strichkalkül der Grundzahlen (wie Lorenzen statt natürliche Zahlen sagt, um das konstruierende Handeln vom Vorgefundenen abzugrenzen) verwendet:

⇒ |

n ⇒ n|

Auf diese Weise werden „von uns“ Zahlen hergestellt: Sie sind Produkte von Zähloperationen. Logik und Mathematik werden pragmatisch als eine Lehre vom Operieren nach bestimmten Regeln verstanden. Auf dieser zunächst auch „operativ“, erst in den 1960er Jahren „konstruktiv“ genannten Grundlage rekonstruierte Lorenzen die Mathematik bis zur klassischen Analysis, eine Mathematik, die nur mit dem auskommt, was man nachvollziehbar konstruieren kann.

Lorenzen beteiligte sich am Hilbertprogramm und führte 1951^[18] (unabhängig von Wang Hao) einen Widerspruchsfreiheitsbeweis für die verzweigte Typentheorie durch. Lorenzen war 1962 einer der sieben Gründungsmitglieder der Deutschen Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften. In seinem im selben Jahr veröffentlichten Buch Metamathematik fasst er die Metamathematik als „Mathematik der Metatheorien“ auf, wobei eine Metatheorie eine (konstruktive oder axiomatische) Theorie über axiomatische Theorien darstellt. Lorenzen führte den Terminus „zulässige Regel“ im Sinne der Eliminierbarkeit ein: Ist eine Kalkülregel eliminierbar, dann ist sie in diesem Kalkül gültig. Die Verwendung des Gentzenschen Hauptsatzes, der die Gültigkeit der Schnittregel besagt, ist die metalogische Haupttechnik der Widerspruchsfreiheitsbeweise für die Arithmetik und Analysis. Das Ziel der Metamathematik Lorenzens war es zunächst, durch den Beweis der Widerspruchsfreiheit der konstruktiven Mathematik auch den Beweis der Widerspruchsfreiheit der axiomatischen Mathematik zu führen, der in der axiomatischen Mathematik allein nach dem Gödelschen Unvollständigkeitssatz (den Lorenzen „Unableitbarkeitssatz“ nannte) nicht zu erhalten war.

Der Gentzensche Hauptsatz beweist die Widerspruchsfreiheit der Logik bestimmter Kalküle. Lorenzen sieht darin keinen Widerspruch zu den Ergebnissen Kurt Gödels:

Lorenzen vervollständigte 1965 das Programm der konstruktiven Mathematik mit einer Rekonstruktion der klassischen Analysis.^[19] Dabei werden nicht alle üblichen Beweise übernommen, aber die klassischen Beweise so umgearbeitet, dass die meisten Resultate erhalten bleiben. Aus Termen werden Folgen abstrahiert. Irrationale Zahlen sind als Abstraktion aus Cauchy-konvergenten^[20]Folgen rationaler Zahlen bestimmbar, deren Differenz eine Nullfolge ist.^[21] Spezielle Sätze wie etwa der Satz von Bolzano-Weierstraß werden so umformuliert, dass sie nur für konstruierbare Folgen gelten. Für die entsprechenden Beweise wird deshalb das Auswahlaxiom nicht benötigt.

Lorenzen hatte sich mit der konstruktiven Mathematik ab den späten 1960er Jahren in eine Außenseiterposition unter Mathematikern manövriert. Für die große Mehrheit der Mathematiker war nicht einzusehen, warum man sich auf die philosophisch motivierten Einschränkungen der Mathematik einlassen sollte.

Noch im Ruhestand schrieb Lorenzen eine Elementargeometrie.^[22] Neben der Ausarbeitung der Protogeometrie und Geometrie entwirft er ein Fundament für die analytische Geometrie. Lorenzen lehnt Unendlichkeitsvorstellungen ab. Unendlichkeit ist für ihn nur ein Ignorieren (Abstraktion, Absehen von) der Endlichkeit. Benutzte Lorenzen in der Rekonstruktion der Analysis 1965 noch indefinite Quantoren für überabzählbare Mengen, so spricht er später^[23] von jeweils einer Menge R{displaystyle mathbb {R} } der reellen Zahlen, die gerade als Basis notwendig ist (z. B. auch algebraische Körpererweiterungen mit transzendenten Zahlen) und nicht von der Menge R{displaystyle mathbb {R} } „aller“ reellen Zahlen. Statt von vorgefundenen überabzählbaren Mengen auszugehen, werden nur konstruierbare Listen von Zahlen und Funktionen verwendet. Man erhält so jeweils eine abzählbare Menge der für praktische Anwendungen nötigen reellen Zahlen. Die üblichen Cantor-Diagonalisierungen zum Beweis der Überabzählbarkeit werden in konstruktiver Form als Techniken interpretiert, um R{displaystyle mathbb {R} } zu erweitern.^[24] Auf überabzählbare Mengen wird also verzichtet, gibt es Zahlen, die nicht zu R{displaystyle mathbb {R} } dazugehören und gebraucht werden, so werden sie konstruiert und in einer algebraischen Hülle abzählbar dazugenommen.

Protophysik |

Mit Peter Janich und Rüdiger Inhetveen entwickelte Lorenzen die sogenannte Protophysik, eine umstrittene Vorphysik der Messinstrumente, in der man sich (vor den Messungen) Rechenschaft über die Bestimmung von Messinstrumenten verschafft und diese Bestimmungen später nicht revidiert. Im Anschluss an Ansätze von Kant und Dingler wurde dies zunächst für die Geometrie und die Zeitrechnung (Chronometrie) ausgearbeitet. Ebene Oberflächen, rechte Winkel oder gleichmäßig tickende Taktgeber (Uhren) sind nicht empirische Forschungsgegenstände, sondern Artefakte (das heißt: Produkte menschlicher Kulturtechnik). Die Normen für Messgeräte übernehmen in etwa die Rolle, die die transzendentalen Erkenntnisformen a priori (Raum und Zeit) bei Kant haben. Allerdings wird dies in der Protophysik operationalisiert, die Messgerätenormen sind Teil einer pragmatischen Handlungstheorie.

Die ersten Arbeiten und Diskussionen zur Protophysik entstanden in den 1930er Jahren im Münchner Dingler-Kreis, der mit der Deutschen Physik in Verbindung gebracht wird, weil die Arbeiten Albert Einsteins und anderer zur Relativitätstheorie teilweise antisemitisch motiviert abgelehnt und angefeindet wurden.

Das Prinzip der methodischen (deshalb: methodischer Konstruktivismus) Ordnung schreibt Folgendes über Messinstrumente vor: Die normierten Bestimmungen, die die Herstellung von Messgeräten ermöglichen, können nicht durch Messungen widerlegt werden, die erst mit Hilfe dieser Messgeräte erhalten werden.

Lorenzen erarbeitete zusätzlich zur Geometrie und Chronometrie eine Wahrscheinlichkeitstheorie als dritte Säule der Protophysik. Zufallsgeneratoren sind als Messgeräte normiert definierbar.

Anfangs hatte Lorenzen die Protophysik mit sogenannten Homogenitätsprinzipien begründet: Die Punkte auf einer ebenen Oberfläche oder die Takte einer Uhr sollen nicht zu unterscheiden sein. Später entwickelte er mit Rüdiger Inhetveen eine Protogeometrie mit Formprinzip, in der eine Ebene über frei klappsymmetrisches Aneinanderpassen eingeführt wird: Das wechselseitige Aneinanderpassen von Werkstücken mit ihren Abdrücken und Kopien (Klappsymmetrie) ist das Kriterium, ob eine Ebnung (zum Beispiel nach dem Dinglerschen Dreiplatten-Schleifverfahren) erreicht wurde. Daraus folgt dann auch eine Drehsymmetrie ebener Gegenstände. Hinweise, inwiefern übliche Ebnungsverfahren, wie etwa das Laserpolieren, tatsächlich ebnen, fehlen in der protophysikalischen Literatur, die Äquivalenz von verschiedenen geeigneten Ebnungsverfahren wird nicht bewiesen. Stattdessen gibt es sogenannte Eindeutigkeitsbeweise für schon erreichte geometrische Formen.^[25] In der Chronometrie gibt es einen Beweis von Janich, dass die Gangverhältnisse von je zwei Uhren beliebigen Typs konstant sind.^[26] Durch die Einbindung von Digitaluhren wird in der Chronometrie das Problem des korrekten Nachweises üblicher Verfahren von Lorenzen gelöst.^[27]

Lorenzen benutzte für das Anstreben eines Ziels, das man nie vollständig erreichen kann, terminologisch (auch in der politischen Theorie) das Adjektiv ideal. Eine Ebnung von idealen Gegenständen kann (etwa beim manuellen Schleifen von Linsen) sinnvoll generisch angestrebt werden, obwohl das Ziel nie ganz erreicht wird. Dies anstrebende Handeln kann über einen Dialog eingeführt werden, in dem abhängig von der strenger werdenden Genauigkeitsmarge (Stekeler) ein fortgeschritteneres Realisat angegeben werden soll, bei dem das Kriterium (bei der Ebnung die Klappsymmetrie, die durch Färbung von Richtplatten kontrolliert werden kann) erfüllt ist: Ebnet man genügend lange, so wird das Werkstück beliebig eben.^[28]

In der anschließenden Geometrie argumentiert Lorenzen für das Formprinzip beim Konstruieren. Dies bedeutet, dass es für die Form einer geometrischen Figur nur auf die Konstruktionsidee ankommt. Als solche Konstruktionspläne interpretiert Lorenzen die platonischen Ideen, ohne aber den nichtoperativen Platonismus der Ideenlehre zu übernehmen. Die Größe der ursprünglichen Ausgangsstrecke geht nicht in die geometrische Konstruktion ein.

Beide Tätigkeiten – das anzustrebende Herstellen der Grundformen in der Protogeometrie und das Konstruieren geometrischer Figuren in der Geometrie – sind bei Lorenzen Operationen. Von seinem früheren Schüler Peter Janich wird Lorenzen dahingehend interpretiert, dass er das operative Konzept verlassen und sich stattdessen einem Formprinzip platonischer Form zugewandt habe.^[29]

Die Ausgangsstrecke einer geometrischen Konstruktion mit Zirkel und Lineal kann ein Vielfaches einer anderen Ausgangsstrecke sein, also können konstruktionsgleiche Dreiecke verschieden groß sein. Sie haben aber gleiche Winkel. Dieser Ansatz, von verschieden großen und formgleichen Figuren auszugehen, entspricht (gemäß John Wallis) genau der Verwendung des Parallelenaxioms und dies führt also zu einer Euklidischen Geometrie. Durch Vergleich von elastischen Stößen mit inelastischen arbeitet Lorenzen daraufhin den klassischen Impulssatz und das Coulombsche Ladungsverhältnis zu einer klassischen Physik der Masse^[30] und der Ladung aus.^[31]

Dies legt nahe, dass Lorenzen in der Nachfolge von Hugo Dingler ein Gegner der Relativitätstheorie wäre. Tatsächlich besteht er auf dem Primat der philosophischen Begründungen gegenüber der empirischen Physik in Grundlagenfragen. Lorenzen ignoriert allerdings seit 1977 nicht mehr die empirisch bestätigten^[32] Ergebnisse der allgemeinen Relativitätstheorie, sondern vertritt nur nicht die Mehrheitsmeinung der Physiker, dass die Konsequenz der allgemeinen Relativitätstheorie eine tatsächliche Krümmung des Raums sei.^[33] Dies ist eine Interpretation der konventionalistischen Aspekte des frühen Standardwerkes Gravitation and Cosmology von Steven Weinberg.^[34] Lorenzen sieht im metrischen Tensor gμν{displaystyle g_{mu nu }} der Feldgleichungen von Einstein und Hilbert nur eine mathematische Beschreibung für die Umrechnung der pseudoeuklidischen Maßverhältnisse in Inertialsystemen auf ungleichförmig bewegte Bezugssysteme. Nicht der Raum wird als gekrümmt angesehen, sondern im Vergleich zur euklidischen Geometrie als Basis fließt beispielsweise das Licht in starken Gravitationsfeldern (gemäß der allgemeinen Relativitätstheorie) krumm.

Im Erlanger Konstruktivismus und im methodischen Kulturalismus wird disziplinübergreifend eine Reihe weiterer Prototheorien entwickelt (Protochemie, Protobiologie, Protopsychologie). Carl Friedrich Gethmann entwarf eine Protologik und eine Protoethik.

Modallogik |

Lorenzen systematisierte die Modalworte „kann“, „darf“, „muss“ usw. Aus der ontischen und deontisch-normativen Modallogik entwickelte Lorenzen die Grundlagen für die sogenannte Hauptschule der Vernunft als Weiterführung der Logischen Propädeutik, die als konstruktive Wissenschaftstheorie die technischen und politischen Wissenschaften begründen sollte. Dafür wird eigens eine Orthosprache entworfen.^[35]

Die verschiedenen Formen der Modallogik beinhalten technisch-naturwissenschaftliche, handlungsbezogene, ethisch-praktische und biologisch-medizinische Kurzfassungen von Verlaufsformulierungen:

Lorenzen unterscheidet drei Arten von Modalitäten:

1. Die ontischen Modalitäten der Verlaufshypothesen: (Das Haus kann zusammenfallen.) Symbol: ∇{displaystyle nabla }
   


2. Die deontischen Modalitäten der normativen Logik mit Gebotenheit und Erlaubnis. Symbol: ∇!{displaystyle nabla !} und


3. Die „praktischen“ Modalitäten der Erreichbarkeit und der Unvermeidbarkeit. Symbol ist ERR (Erreichbarkeit)

Hinzukommt eine Ausarbeitung der biologischen Potentialität:

• Biologisch-medizinisches Werden (potentiell): Aus einem Kirschkern kann ein Baum entstehen.^[36]
  

„Notwendig p“ wird wie üblich definiert durch „nicht möglich nicht p“; in der modallogischen Notation Lorenzens:

Δp⇋¬∇¬p{displaystyle Delta pleftrightharpoons neg nabla neg p}

Entsprechend wird die Unvermeidbarkeit UNV definiert. Die Gebotenheit Δ!{displaystyle Delta !} (geboten relativ zu einem Zweckesystem) wird in der deontisch-normativen Logik vor dem genannten Dürfen (erlaubt: ∇!⇋¬Δ!¬{displaystyle nabla !leftrightharpoons neg Delta !neg }) eingeführt.

Die Modallogik Lorenzens ist zunächst zwanglos wissensbedingt, das heißt, dass die in der Modallogik gemachten Aussagen relativ zu einem vermeintlichen, auf zeitliche Veränderungen bezogenen, Wissen gelten. Für die Imperative in der deontisch-normativen Logik benutzt Lorenzen zusätzliche Ausrufezeichen.

Die verschiedenen Typen von Modalitäten spielen auch zusammen. Etwa in dem Satz: Erreichbarkeit (menschliches Vermögen) impliziert Möglichkeit (Verlaufshypothese).

Eine modallogische Dialogstellung ist genau dann für jedes zugrundeliegende Wissen zu gewinnen, wenn sie beim Streichen aller modallogischen Zeichen gewonnen wird.^[37] Dies folge aus dem Gentzenschen Hauptsatz. Für Lorenzen besteht darin eine Pointe, die Modallogik einfach zu fundieren.

Von der Ethik zur Politik |

Unter anderem für die Tätigkeit als John Locke Lecturer in Oxford entwickelte Lorenzen eine normative Logik, um in den folgenden Jahren (anfangs mit Oswald Schwemmer) eine vernünftige Begründung der Ethik anzustreben, ein Ziel, das er allerdings verwarf. Er hielt später die Ethik für „nicht theoriefähig“. Stattdessen sieht er in unserer „posttraditionalen“ Kultur die Aufgabe, eine politische Theorie zu entwickeln, um Bürgerkriege zu vermeiden.

Lorenzen kritisierte die Rede vom Willen als ungenau. Die personenbezogenen Zuschreibungen (starker Wille, freier Wille, böser Wille) sollten für die ethisch-politische Beurteilung einer Wollung nicht berücksichtigt werden, sondern die Zwecke sollen mit Bedürfnissen (konstruktive Soziologie) abgleichbar sein. Menschen bilden jedenfalls mittels Verlaufshypothesen aus Wünschen Zwecke ihres Handelns (und aus Vermutungen technische Behauptungen, wie diese Ziele zu erreichen sind). Gemeinsam mit anderen Philosophen wie etwa Friedrich Kambartel und Jürgen Habermas betonte Lorenzen im Gegensatz zum Wiener Kreis den Primat der ethisch-politischen (praktischen) vor der technischen (theoretischen) Vernunft.

Die gewählten Ziele können einander widersprechen. Bei einer Planung, etwa in einer Gruppe, schließen sich Vorgehensweisen gegeneinander aus. Lorenzen zitiert dazu das kantsche Beispiel, dass nicht sowohl Franz I. als auch Karl V. Mailand bekommen können. Die Zwecke sind inkompossibel (unverträglich). Aber auch wenn man sich über die Zwecke, Aufgaben und Ziele einig ist, sind die Mittel manchmal umstritten. Wenn die Vorgehensweisen verträglich gemacht werden, überwindet sich jeder der Beteiligten für das gemeinsame Ziel. Wenn es klappt, wird „Transsubjektivität“ erreicht.

Lorenzen schrieb Arbeiten zum demokratischen Sozialismus und zum Republikbegriff: Friedenspolitiker erarbeiten ein System von verträglichen Lebensformen (oberste Zwecke) mit dem Ziel des Wohlstands und Friedens.

Rezeption |

Wie oben erwähnt hatte Lorenzen eine breite Schülerschaft. Manche Kollegen führten eine Weiterentwicklung des Ansatzes durch und grenzten sich dennoch auch teilweise seit 1970 davon ab. Außerschulische Kritik am Ansatz von Lorenzen kam insbesondere von Vertretern des strukturalistischen Theorienkonzepts und des kritischen Rationalismus. Gleichwohl übernahmen manche Philosophen und Wissenschaftler Anregungen.

Jürgen Habermas und Paul Lorenzen hielten während des Höhepunkts der Studentenbewegung in Westdeutschland 1969 Hauptvorträge auf dem IX. Deutschen Kongreß für Philosophie in Düsseldorf, die den Positivismusstreit neu aufnahmen und neue Perspektiven auf dem Gebiet der Ethik und Diskurstheorie eröffneten.^[38]Friedrich Kambartel entwickelte aus dem pragmatischen Begründungskonzept Lorenzens und der Universalpragmatik von Habermas Kriterien für einen rationalen Dialog. Kambartel kritisierte später die praktische Philosophie Lorenzens im Detail: Die Vernunft sei nicht so exakt zu fassen, wie Lorenzen sie gestalte. Vernunft sei vielmehr eine Kultur, in die man hineinwächst, eine soziale Praxis, in der man seine Urteilskraft bildet.

In den 1970er Jahren stand der Ansatz Lorenzens in einem Gegensatz zu den historischen Beobachtungen von Thomas S. Kuhn, der behauptet, Rationalität gäbe es nur innerhalb voneinander abwechselnden Paradigmen. Jürgen Mittelstraß versuchte daraufhin eine historische Wissenschaftstheorie mit dem konstruktiven Ansatz Lorenzens zu verbinden.^[39] Durch Arbeiten von Carl Friedrich Gethmann, Jürgen Mittelstraß und Christian Thiel unter anderem zur Technikfolgenabschätzung und Wissenschaftsgeschichte ist der Lorenzensche Ansatz weiter entfaltet worden.

Kuno Lorenz entwickelte am Zusammenhang von Semiotik und Pragmatik den Lorenzenschen Ansatz zu einem dialogischen Konstruktivismus weiter. Er teilt dabei nicht den von Lorenzen mit Apprädikatoren erweiterten Elementarsatzbegriff samt Einführung einer eigenen Tatkopula, weil der sprachphilosophische Zusammenhang zwischen Prädikation und Elementarsatz dadurch teilweise verloren ginge. Peter Janich hat die Protowissenschaften weiter ausgeformt und setzt sich mit dem methodischen Kulturalismus pointiert von Lorenzen ab, dem er vorwirft, das ursprüngliche operative Konzept verlassen zu haben.

Zusammen mit dem Wissenschaftstheoretiker Wolfgang Stegmüller hatte Lorenzen nach dem Zweiten Weltkrieg in Deutschland auf die analytische und angloamerikanische Philosophie aufmerksam gemacht. Stegmüller kritisierte allerdings die konstruktivistische Wissenschaftsbegründung Lorenzens als eine „verführerische Metapher“.^[40]Carl Friedrich von Weizsäcker setzt Lorenzens Zusammengehen von Logik und Demokratie in einen Gegensatz zu Nietzsches Denken.^[41]

In der Mathematik wird Lorenzen für seine frühen Arbeiten zur operativen Logik und Mathematik sowie zur Metamathematik hoch geschätzt, seine spätere konstruktive Mathematik und die Protophysik (die noch in den 1970er Jahren breit diskutiert wurde)^[42] gelten dagegen wissenschaftlich als Außenseiterpositionen.^[43]

Hans Albert behauptet, dass Lorenzen, indem er vom Handeln ausgeht, dem Begründungsabbruch unterliege, wie jede Philosophie, die etwas Evidentes zum Ausgang nimmt.^[44] Hans Albert und Helmut F. Spinner kritisieren die Ablehnung eines Theorienpluralismus bei Lorenzen.

Der Wirtschaftswissenschaftler Horst Steinmann, der Informatiker Hartmut Wedekind, der Mathematiker Peter Zahn und andere Wissenschaftler nahmen Anregungen Lorenzens auf und entwickelten sie weiter.

Robert Brandom knüpft mit seinem Inferentialismus an den sprachpragmatischen Ansatz Ludwig Wittgensteins an und steht dadurch der Erlanger Schule nahe. In diesem Zusammenhang kommt es zu Vergleichen zwischen Brandom und Lorenzen^[45] und zu wissenschaftlichen Kooperationen und Diskussionen zwischen Brandom, Kambartel und Pirmin Stekeler-Weithofer.

Bibliographie |

• 
  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.

Werke (Auswahl) |

• 1949 Über halbgeordnete Gruppen. Springer, Berlin u. a.


• 1951 Die Widerspruchsfreiheit der klassischen Analysis. Mathematische Zeitung 54: 1–24.
  


• 1951 Maß und Integral in der konstruktiven Analysis. Mathematische Zeitung 54: 275.
  


• 1951 Algebraische und logistische Untersuchungen über freie Verbände. The Journal of Symbolic Logic 16: 81–106.


• 1955 Einführung in die operative Logik und Mathematik. Springer, Berlin u. a., ²1969, weitere Nachdrucke 1994.


• 1958 Formale Logik. de Gruyter, Berlin (Sammlung Göschen Bd. 1176/1176a); verb. Aufl. ²1962, durchgesehen und erweitert ³1967, verb. 4/1970; engl. Formal Logic. Reidel, Dordrecht 1965; Formal Logic. (transl. by Frederick J. Crosson) Kluwer Academic Publishers 2004.


• 1960 Die Entstehung der exakten Wissenschaften. Springer, Berlin u. a., Nachdrucke 1985.


• 1960 Das Begründungsproblem der Geometrie als Wissenschaft der räumlichen Ordnung. In: Philosophia Naturalis. 6, 1961.


• 1962 Metamathematik. Bibliographisches Institut, Mannheim (BI-HTB 25) ²1980; engl. Metamathematique. (transl. by J. B. Grize) Mouton de Gruyter, Berlin New York 1967; franz. 1967, span. 1971.


• 1965 Differential und Integral. Eine konstruktive Einführung in die klassische Analysis. Akademische Verlagsgesellschaft, Frankfurt; engl. Differential and Integral: A Constructive Introduction to Classical Analysis. University of Texas Press, Austin 1971.


• 1967 mit Wilhelm Kamlah: Logische Propädeutik oder Vorschule des vernünftigen Redens. Bibliographisches Institut, Mannheim (BI-HTB 227/227a); 2., verb. u. erw. Aufl. 1973 u. d. T.: Logische Propädeutik. Vorschule des vernünftigen Redens, ISBN 3-411-05227-9, Nachdruck 1990, 1992; seit 1996 Metzler, Stuttgart; engl.: Logical Propaedeutic. Pre-School of Reasonable Discourse. (Trans. H. Robinson) University Press of America, Lanham 1984.


• 1968 Methodisches Denken. Suhrkamp, Frankfurt 1968, ²1974 ff. (stw 73).
  


• 1969 Normative Logic and Ethics. Bibliographisches Institut, Mannheim (BI-HTB 236).
  


• 1973 mit Oswald Schwemmer: Konstruktive Logik, Ethik und Wissenschaftstheorie. Bibliographisches Institut, Mannheim u. a., verbess. Aufl. ²1975, unveränd. Nachdruck 1982 (BI-HTB 700).
  


• 1974 Konstruktive Wissenschaftstheorie. Suhrkamp, Frankfurt (stw 93).
  


• 1977 Relativistische Mechanik mit klassischer Geometrie und Kinematik. In: Mathematische Zeitschrift. Berlin 1977.


• 1978 Theorie der technischen und politischen Vernunft. Reclam, Stuttgart.


• 1978 mit Kuno Lorenz: Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt.


• 1984 Elementargeometrie. Das Fundament der Analytischen Geometrie. Bibliographisches Institut, Mannheim u. a., ISBN 3-411-00400-2.


• 1985 Grundbegriffe technischer und politischer Kultur. Zwölf Beiträge. Suhrkamp, Frankfurt (stw 494)
  


• 1987 Lehrbuch der konstruktiven Wissenschaftstheorie. Bibliographisches Institut, Mannheim 1987; Metzler, Stuttgart ²2000, ISBN 3-476-01784-2.


• 1987 Constructive Philosophy. Transl. by Karl Richard Pavlovic. University of Massachusetts Press, Amherst, USA 1987, ISBN 0-87023-564-8 / ISBN 978-0-87023-564-1. Enthält vor allem Übersetzungen von den Aufsatzsammlungen Methodisches Denken 1968 und Konstruktive Wissenschaftstheorie 1974.


• 1990 Philosophische Fundierungsprobleme einer Wirtschafts- und Unternehmensethik. In: Horst Steinmann, Peter Löhr (Hrsg.): Unternehmensethik. Poeschel, 2. Aufl. Stuttgart 1991, 35–68.


• 1992 Diesseits von Idealismus und Realismus. In: Peter Janich (Hrsg.): Entwicklungen der methodischen Philosophie. Suhrkamp, Frankfurt S. 207–217 (stw 979).
  

Literatur |

• Carl Friedrich Gethmann, Jürgen Mittelstraß (Hrsg.): Paul Lorenzen zu Ehren. Konstanzer Universitätsreden 241. UVK, Konstanz 2011.


• Bruno Jahn: Biographische Enzyklopädie deutschsprachiger Philosophen. de Gruyter, München 2001, S. 257.


• Peter Janich (Hrsg.): Entwicklungen der methodischen Philosophie. Suhrkamp, Frankfurt 1992.


• Rudolf Kötter, Rüdiger Inhetveen: Paul Lorenzen. Philosophia Naturalis 32 (1995), 319–330.


• Kuno Lorenz (Hrsg.): Konstruktionen versus Positionen. (2 Bde.) Paul Lorenzen zum 60. Geburtstag. de Gruyter, Berlin, New York 1979.


• Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. Bd. 1–2, Bibliographisches Institut, Mannheim 1980 und 1984, Bd. 3–4, Metzler, Stuttgart 1995 und 1996; komplett broschiert ebd. 2004; 2., neubearbeitete und wesentlich ergänzte Auflage gebunden ebd. seit 2005.


• Jürgen Mittelstraß (Hrsg.): Der Konstruktivismus in der Philosophie im Ausgang von Wilhelm Kamlah und Paul Lorenzen. mentis, Paderborn 2008 (Weit. Inf.).


• Florian Rötzer: Paul Lorenzen. Gespräch. In: ds. (Hrsg.): Denken, das an der Zeit ist. Gespräche mit deutschen Philosophen. Suhrkamp, Frankfurt 1987 (es 1406).
  


• Paul T. Sagal: Paul Lorenzen’s constructivism and the recovery of philosophy. In: Synthetic Philosophy. 2, 1987, S. 173–178.


• Burkhard Schafer: Paul Lorenzen. In: Julian Nida-Rümelin, Elif Özmen (Hrsg.): Philosophie der Gegenwart in Einzeldarstellungen (= Kröners Taschenausgabe. Band 423). 3., neu bearbeitete und aktualisierte Auflage. Kröner, Stuttgart 2007, ISBN 978-3-520-42303-0, S. 392–394.


• Eberhard Scheibe: Nachruf Paul Lorenzen. Jahrbuch der Akademie der Wissenschaften in Göttingen, 1996, S. 251–259.


• Christian Thiel (Hrsg.): Akademische Gedenkfeier für Paul Lorenzen am 10. November 1995. Universitätsbibliothek Erlangen-Nürnberg, Nürnberg 1998.


• Christian Thiel: Lorenzen, Paul. In: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. Zweite Auflage. Band 5, Metzler 2013, S. 112–115.


• Frédérick Tremblay: La rationalité d’un point de vue logique : entre dialogique et inférentialisme, étude comparative de Lorenzen et Brandom. Nancy 2008.


• 
  Harald Wohlrapp: Paul Lorenzen. In: Bernd Lutz (Hrsg.): Metzler Philosophen Lexikon. Metzler, Stuttgart 3. Auflage, 2003, S. 420–424.

Einzelnachweise |

1. 
   ↑ Der Name Lorenzen wird auf der zweiten Silbe betont.
   


2. 
   ↑ Lorenzen, zitiert nach: Carl Friedrich Gethmann: Lebenswelt und Wissenschaft: Studien zum Verhältnis von Phänomenologie. Bouvier, Bonn 1991, S. 70.
   


3. 
   ↑ „Paul-Lorenzen-Stiftung“ an der Universität Konstanz.@1@2Vorlage:Toter Link/www.profil.uni-konstanz.de (Seite nicht mehr abrufbar, Suche in Webarchiven)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis.
   


4. 
   ↑ Unter ständiger Mitwirkung von Gottfried Gabriel, Matthias Gatzemeier, Carl Friedrich Gethmann, Peter Janich, Friedrich Kambartel, Kuno Lorenz, Klaus Mainzer, Peter Schröder-Heister, Christian Thiel, Reiner Wimmer in Verbindung mit Martin Carrier herausgegeben von Jürgen Mittelstraß
   


5. 
   ↑ In der Erstauflage 4 Bände, 1980–1996. Seit 2005 ist eine auf acht Bände ausgelegte zweite, neubearbeitete und wesentlich ergänzte Auflage im Erscheinen.
   


6. 
   ↑ Christian Thiel: Lorenzen, Paul. In: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. Zweite Auflage. Band 5, S. 113.
   


7. 
   ↑ Harald Wohlrapp: Paul Lorenzen. In: Bernd Lutz (Hrsg.): Metzler Philosophen Lexikon. Metzler, Stuttgart 3. Auflage, 2003, S. 423.
   


8. 
   ↑ Logische Propädeutik 1967, 44–69.
   


9. 
   ↑ Charakterisierung Lorenzens im Philosophischen Archiv Konstanz
   


10. 
    ↑ Exemplarisch etwa bei Mengen bzw. Klassen oder bei Farben in verschiedenen Sprachen (rot, red, rouge). Logische Propädeutik S. 93 f.
    


11. 
    ↑ Ganz anders sieht es Wolfgang Künne: Abstrakte Gegenstände. Semantik und Ontologie. Suhrkamp, Frankfurt 1983, Neuauflage: Klostermann, Frankfurt 2007.
    


12. 
    ↑ Vgl. auch: Rainer Hegselmann: Klassische und konstruktive Theorie des Elementarsatzes. Zeitschrift für philosophische Forschung 33 (1979) 89–107.
    


13. 
    ↑ Hartmut Wedekind: Das Springen in der Informatik. In: Jürgen Mittelstraß (Hrsg.): Zur Philosophie Paul Lorenzens. mentis, Münster 2013, ISBN 978-3-89785-775-9, S. 114 f.
    


14. 
    ↑ Logische Propädeutik S. 44.
    


15. 
    ↑ Kuno Lorenz: Elementaraussage. In: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. Zweite Auflage, Band 2. Stuttgart Metzler 2005, ISBN 978-3-476-02101-4, S. 310.
    


16. 
    ↑ Lehrbuch der konstruktiven Wissenschaftstheorie. 1987, ²2000 S. 46 ff.
    


17. 
    ↑ Paul Lorenzen: Lehrbuch der konstruktiven Wissenschaftstheorie. Stuttgart Weimar 1987, ²2000 Seite 75.
    


18. 
    ↑ Lorenzen, Algebraische und Logistische Untersuchungen über freie Verbände, Journal of Symbolic Logic, Band 16, 1951, S. 81–106, englische Übersetzung in: Arxiv, mit Einführung: Thierry Coquand, Stefan Neuwirth: An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951), Arxiv
    


19. 
    ↑ Differential und Integral. 1965. Erste Ansätze zur konstruktiven Mathematik stammen aus dem Intuitionismus von L. E. J. Brouwer, Hermann Weyl und Andrei Nikolajewitsch Kolmogorow.
    


20. 
    ↑ Die Cauchy-Konvergenz benutzt in der Definition nicht schon den Grenzwert der Folge.
    


21. 
    ↑ Differential und Integral. 1965, S. 54 f.
    


22. 
    ↑ Elementargeometrie. Das Fundament der Analytischen Geometrie. 1948.
    


23. 
    ↑ Seit der Elementargeometrie 1984.
    


24. 
    ↑ Dort wo in den Beweisen zur Überabzählbarkeit eine Ordnung der abzählbaren Menge nur fingiert wird, wird in der Konstruktion einer neuen reellen Zahl eine Ordnung explizit angegeben.
    


25. 
    ↑ Bei: Lucas Amiras: Protogeometrica. Systematisch-kritische Untersuchungen zur protophysikalischen Geometriebegründung. Dissertation, Konstanz 1998 wird die Eindeutigkeit dieser Formen Gestalteindeutigkeit genannt.
    


26. 
    ↑ Lorenzen: Theorie der technischen und politischen Vernunft. S. 78.
    


27. 
    ↑ Lehrbuch, a. a. O, 1987, ²2000, S. 203 f.
    


28. 
    ↑ Lorenzen benutzte 1987 das Beispiel, dass Linsenschleifer nichts Unsinniges tun, obwohl sie ihr Ziel nie erreichen, sondern nur unvollkommene Realisationen. Lehrbuch der konstruktiven Wissenschaftstheorie. 1987, ²2000, S. 193. Seit Leibniz wird das ursprünglich mathematische Problem, dass man bei unbegrenzter Annäherung ein unerreichbares Ziel nicht über die Zielerreichung definieren kann (durch genaue Formulierung verbessert durch Weierstraß und Cauchy) durch dieses Dialogspiel zwischen tolerierender Marge und Herstellungsphase gelöst.
    


29. 
    ↑ Beispielsweise: Peter Janich: Dingler und der Apriorismus. In ders. Wissenschaft und Leben. Bielefeld 2006, S. 62.
    


30. 
    ↑ Bei Peter Janich gehört dagegen diese sogenannte Hylometrie neben der Geometrie und der Chronometrie als dritter Bereich (statt der Stochastik bei Lorenzen) zur grundlegenden primären Protophysik. Janich nimmt die homogene Stoffdichte als Ausgangspunkt für eine operative Massendefinition.
    


31. 
    ↑ Lehrbuch der konstruktiven Wissenschaftstheorie. Bibliographisches Institut, Mannheim 1987; Metzler, Stuttgart ²2000, S. 206–213.
    


32. 
    ↑ Etwa die relativistische Mechanik, die relativistische Periheldrehung des Merkur oder anderer Planeten oder die bei Sonnenfinsternis oder im Shapiro-Experiment zu beobachtende Lichtablenkung durch das Gravitationsfeld großer Sterne wie der Sonne.
    


33. 
    ↑ Paul Lorenzen: Relativistische Mechanik mit klassischer Geometrie und Kinematik. In: Mathematische Zeitschrift. Berlin 1977.
    


34. 
    ↑ Steven Weinberg: Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity. Wiley, New York 1972, S. 147: „It simply doesn’t matter whether we ascribe these predictions to the physical effect of gravitational fields on the motion of planets and photons or to a curvature of space and time.“
    


35. 
    ↑ Siehe das 1969 erschienene Buch Normative Logic and Ethics, das Lorenzens John-Locke-Vorlesungen in Oxford zusammenfasst und die mit Oswald Schwemmer 1973 geschriebene Konstruktive Logik, Ethik und Wissenschaftstheorie, die innerhalb der Erlanger Schule BI 700 (Verlagsnummer des Buches) genannt wurde.
    


36. 
    ↑ Aus einem Katzenembryo kann eine Katze werden, aber kein Hund. Diesseits von Idealismus und Realismus. In: Peter Janich (Hrsg.): Entwicklungen der methodischen Philosophie. S. 215 f.
    


37. 
    ↑ Lehrbuch der konstruktiven Wissenschaftstheorie. Bibliographisches Institut, Mannheim 1987; Metzler, Stuttgart ²2000, S. 112.
    


38. 
    ↑ Martina Plümacher: Philosophie nach 1945 in der Bundesrepublik Deutschland. Reinbek 1996, S. 220.
    


39. 
    ↑ Carl Friedrich Gethmann: Kuhn In: Jürgen Mittelstraß: Enzyklopädie Philosophie und Wissenschaftstheorie. Zweite Auflage. Band 4, Metzler 2010, ISBN 978-3-476-02103-8, S. 401
    


40. 
    ↑ Wolfgang Stegmüller: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie. Band I.
    


41. 
    ↑ Er schreibt über Lorenzen in Abgrenzung zu Friedrich Nietzsche: Paul Lorenzen, der bedeutende Logiker unserer Zeit, sagte mir im Gespräch über seine dialogische Begründung der Logik: Die Logik entstammt der athenischen Demokratie. Auf dem Markt in Athen stellt Einer eine Behauptung auf. Der Andere sagt: »Das glaube ich nicht.« Der Erste: »Du musst es mir aber glauben.« Der Zweite: »Du bist nicht der Perserkönig. Du darfst mir nicht befehlen, was ich glauben muss.« Der Erste: »Ich kann es dir aber beweisen.« Der Zweite: »Bitte, beweise es!« »Und dann« so fuhr Lorenzen fort »brauchen sie Logik.« Lorenzen will nicht sagen, dass sie dann die Logik erfinden, sondern dass sie dann, durch ihre Freiheit genötigt, die wahre Logik entdecken. Lorenzen ist wie die Griechen von der Mathematik fasziniert, und er befürwortet die Demokratie. Beides gilt nicht von Nietzsche. Carl Friedrich von Weizsäcker: Wahrnehmung der Neuzeit. S. 398.
    


42. 
    ↑ Gernot Böhme (Hrsg.): Protophysik. Für und wider eine konstruktive Wissenschaftstheorie der Physik. Suhrkamp, Frankfurt 1976.
    J. Pfarr (Hrsg.): Protophysik und Relativitätstheorie. Beiträge zur Diskussion über eine konstruktive Wissenschaftstheorie der Physik. BI, Mannheim 1981 (Grundlagen der exakten Naturwissenschaften Band 4).
    


43. 
    ↑ Herbert Meschkowski: Problemgeschichte der neueren Mathematik (1800–1950) Bibliographisches Institut, Mannheim/Wien/Zürich 1978, S. 286.
    


44. 
    ↑ Vgl. Hans Albert: Traktat über die Kritische Vernunft. 5. Aufl. Mohr, Tübingen 1991. Dort wird die Diskussion mit den Erlanger Konstruktivisten im Anhang aus der Sicht Alberts dargestellt.
    


45. 
    ↑ Vgl.: Frédérick Tremblay: La rationalité d’un point de vue logique : entre dialogique et inférentialisme, étude comparative de Lorenzen et Brandom. 2008.
    

Weblinks |

 Commons: Paul Lorenzen – Sammlung von Bildern, Videos und Audiodateien

• 
  Literatur von und über Paul Lorenzen im Katalog der Deutschen Nationalbibliothek
  


• Paul Lorenzen: Das Aktual-Unendliche in der Mathematik.
  


• 
  Eintrag im philosophischen archiv der Universität Konstanz.


• Paul-Lorenzen-Stiftung.


• Porträtaufnahme.

Dieser Artikel wurde am 4. Dezember 2009 in dieser Version in die Liste der lesenswerten Artikel aufgenommen.