Philosophy Lexicon of Arguments

Author Item Excerpt Meta data

Books on Amazon
P. Lorenzen Ein dialogisches Konstruktivitätskriterium (1959) in Karel Berka/L. Kreiser Logik Texte Berlin, 1983

Berka I 266
"Over-countable"/infinite/LorenzenVsSet theory: fable realm of the "Over-Countable". ((s) is not constructible, > constructivism).
Berka I 272
Infinite/premisses/dialogical logic/Lorenzen: one can state a step number l
e0 = ω exp ω exp ω exp...

P can thus first calculate an ordinal number I The statement forms that are used in the consistency proof are generally not recursive.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Counter arguments against Lorenzen

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-05-26