 Here, “definite” refers to Lorenzen’s search for a concept which is both characteristic of propositions and decidable, which is one of the main reasons why he abandoned his operative logic and introduced dialogical logic (see Lorenz, 2001: 257–258). That a proposition is always “dialogue-definite” means that there is always a finite dialogue for this proposition ending with victory or loss for a player. On the other hand, a proposition is not in general “proof-” or “refutation-definite” since there is no decidable provability or unprovability predicate for arbitrary propositions.