@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Lorenzen,Paul}, subject = {Logik}, note = {Berka I 187 Operative Logik/Dialogische Logik/Lorenzen/Berka: Variante der konstruktivistischen Deutung des Intuitionismus. >Intuitionismus, >Dialogische Logik. Funktoren und Quantoren werden konstruktiv im Hinblick auf ein Dialogspiel definiert. >Funktoren, >Quantoren. Wahrheitsfunktionen: Wahrheitsfunktionen können dann als Sätze über den dialogischen Gebrauch der Funktionen bewiesen werden. >Wahrheitsfunktionen. 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. >Beweise, >Beweisbarkeit, >Gültigkeit, >Allgemeingültigkeit, >Logische Formel. - - - 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"). Die Dialogische 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 >Axiome, >Axiomensysteme, >Herleitung.}, note = {Paul Lorenzen Berka I P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, in: Infinitistic Methods, (1961), 193-200; nachgedruckt in: Karel Berka/L. Kreiser Logik Texte Berlin 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=912063} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=912063} }