@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Lorenzen,Paul}, subject = {Beweise}, note = {Berka I 267 Def Beweis/Dialogische Logik/Lorenzen: Bsp die Behauptung solcher Aussagen wie (1) (Ex) R(x,n) keinen sinnlosen Wortstreit auszulösen! Es liegt ja nahe zu vereinbaren, dass derjenige, der (1) behauptet, auch verpflichtet ist, eine Zahl m anzugeben, so dass (2) R(m,n) wahr ist. Kann er das nicht, hat er seine Behauptung "verloren". (1) wird durch (2) "bewiesen", falls diese letztere Aussage wahr ist. Da (2) entscheidungsdefinit ist, ist hier also definiert, wie darüber zu entscheiden ist, ob die Aussage, die als "Beweis" vorgelegt wird, wirklich ein "Beweis" ist. Def beweisdefinit/Lorenzen: sind Aussagen, deren Gebrauch im Dialog so festgelegt ist, dass klar ist, wie darüber zu entscheiden ist, ob eine Aussage ein Beweis ist. Dazu gehören in der Mathematik vor allem Bsp Behauptungen über die Ableitbarkeit einer Figur in einem Kalkül.(1) >Ableitbarkeit, >Kalkül. 1. P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, in: Infinitistic Methods, (1961), 193-200 - - - Thiel I 256 ff Beweis/Lorenzen: Dialogisches Beweisverfahren nach Lorenzen(Proponent/Opponent) ...+...in einer bestimmten Situation gewinnt der Proponent ganz unabhängig davon, ob der Opponent seine Position begründen kann oder nicht. >Dialogische Logik. Er gewinnt gegen jeden Opponenten unabhängig vom Wahrheitswert, aber nicht unabhängig von der Kenntnis des Wahrheitswertes! >Intuitionistisch. Weil er zur richtigen Wahl diese Kenntnis braucht. Das trennt die effektiv allgemeingültigen Thesen von den nur klassisch allgemeingültigen. Die klassischen sind die, die er aufgrund der Kenntnis der Wahrheitswerte per Gewinnstrategie finden kann, die effektiven sind diejenigen, um die ein Dialog ohne Kenntnis der Wahrheitswerte gewonnen werden kann. >Wahrheitswert.}, 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=911738} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=911738} }