@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Lorenzen,Paul}, subject = {Entscheidbarkeit}, note = {Berka I 267 Entscheidungsproblem/Rekursion/Rekursivität/dialogische Logik/Lorenzen: ist R(x,y) eine entscheidungsdefinite Aussageform, so braucht aber schon (Ex) R(x,y) nicht mehr entscheidungsdefinit zu sein. Trotzdem braucht aber andererseits die Behauptung solcher Aussagen wie (1) (Ex) R(x,n) keine 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) >Dialogische Logik/Lorenzen. 1. P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, in: Infinitistic Methods, (1961), 193-200}, 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 }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=911814} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=911814} }