Lexikon der Argumente

 

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".⁽¹⁾
>Dialogische Logik/Lorenzen.


1. P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, in: Infinitistic Methods, (1961), 193-200