Philosophy Lexicon of Arguments

Search  
 
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