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
Church thesis/Lorenzen: the thesis is an equation of "constructive" with "recursive".
LorenzenVsChurch: too narrow view: thus it no longer permits the free use of the quantification over the natural numbers.
---
I 267
Decision-making problem/ChurchVsLorenzen: (according to Lorenzen): Advantage: greater clarity: when limiting to recursive statements, there can never be a dispute as to whether one of the admitted statements is true or false. The definition of recursiveness guarantees precisely the decision-definition, that is, the existence of a decision-making process. > Decisibility, decision-making problem.

_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

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-06-25