Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Lorenzen, Paul
 
Bücher bei Amazon
Logik Berka I187
Operative Logik/dialogische/Lorenzen/Berka: Variante der konstruktivistischen Deutung des Intuitionismus.
Funktoren und Quantoren werden konstruktiv im Hinblick auf ein Dialogspiel definiert.
Wahrheitsfunktionen: können dann als Sätze über den dialogischen Gebrauch der Funktionen bewiesen werden. (s.u. VIII 3).
I 188
Pointe: die erfolgreiche Verteidigung einer Formel im Dialog ist nicht hinreichend für den Beweis der effektiv logischen Wahrheit (logischen Gültigkeit) dieser Formel. Für diesen Beweis muss gezeigt werden, dass die Formel gegen jede mögliche Strategie des Opponenten erfolgreich verteidigt werden kann.
- - -
Thiel I 103
Logik/Lorenzen: erst in den sechziger Jahren ist ein Aufbau der Logik entwickelt worden, der als Begründung auch im wissenschaftstheoretischen und philosophischen Sinn bezeichnet werden kann.
Er liefert nämlich eine bis dahin nicht gesehene Möglichkeit zur Begründung sowohl des klassischen wie des konstruktiven Begriffs der "Gültigkeit" logischer Sätze. (Lorenzens "dialogische Logik" mit Proponent und Kontrahent, auch "argumentationstheoretischer Aufbau der Logik").
Soll zeigen, dass das axiomatische Herleiten nicht den ganzen Sinn des Beweisens ausmacht, sondern dass ein Beweis Gründe für die Wahrheit oder Gültigkeit des bewiesenen Satzes liefern soll. ..+.. I 105.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995

> Gegenargumente gegen Lorenzen
> Gegenargumente zu Logik



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 25.04.2017