@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024},
author = {Lorenzen,Paul},
subject = {Decidability},
note = {Berka I 267
Decision problem/recursion/recursiveness/dialogical logic/Lorenzen: if R(x, y) is a decision-definite statement form, (Ex) R(x,y) no longer needs to be decision-definite.
Nevertheless, on the other hand, the assertion of such statements as
(1) (Ex) R(x,n)
does not need to trigger a senseless dispute!
It is obvious, then, to agree that the person who claims (1) is also obliged to give a number m, so that (2) R (m, n) is true. If he cannot do this, he has "lost" his claim.(1)
>Dialogical logic/Lorenzen.
1. P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, in: Infinitistic Methods, (1961), 193-200},
note = { Lorn I P. Lorenzen Constructive Philosophy Cambridge 1987
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 },
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=796630}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=796630}
}