Lexicon of Arguments


Philosophical and Scientific Issues in Dispute
 
[german]

Screenshot Tabelle Begriffes Help us establish new Lexicons of Arguments
Psychology - Economics
History - Politics
Law - Social Sciences
Art Theory - Others

 

Find counter arguments by entering NameVs… or …VsName.

Enhanced Search:
Search term 1: Author or Term Search term 2: Author or Term


together with


The author or concept searched is found in the following 2 entries.
Disputed term/author/ism Author
Entry
Reference
Impredicativeness Lorenzen
 
Books on Amazon
P. Lorenzen Ein dialogisches Konstruktivitätskriterium (1959) in Karel Berka/L. Kreiser Logik Texte Berlin, 1983

Berka I 266
LorenzenVsHerbrand/ConstructivismVs"Impredicativeness": fable realm of the "Impredicative". ---
Berka I 269
LorenzenVsImpredicativeness: this condition is the one that excludes the impredicative definitions in the analysis, thus requiring the branching of the types.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987


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

Berka I 269
Inductive Definition/Set Theory/LorenzenVsSet Theory: For example, an inductive definition of a set M by
a(y) > y ε M, x ε M u b(x,y) > y ε M

whereby a (x) and b(x,y) are already defined formulas in which M does not occur, is "explained" set theoretically that M should be the average of all sets N satisfying these implications with N instead of M.
Lorenzen: whoever wants to defend a claim n ε M (sic) will hardly attempt all these sets N. As P, he will rather defend O against either directly a(n), or he will first give an m which he will defend b (m, n) and m ∈ M.
Step number/Lorenzen: in order to determine this procedure as the the dialogical sense of the inductive definition of M, we must also require of P to indicate the number of steps required for complete proof for each assertion of the form x ∈ M.
E.g. suppose, for example, he traces n ε M back to the assertion m ∈ M and has stated the step number v for n ε M...
---
I 270
...so he must specify a step number μ 0 < y for positive numbers y

x < y _> x +/ 1 < y +/ 1

e.g. 1 < 0, and begin a "proof" with the aid of 0 < 1, 1 < 2, 2 < 3 .... Of course, the proof could not be finished, but O could not prove this.
Dialogical logic/Lorenzen: in these dialogues, it is never permitted to intervene suddenly in the "free speech" of the opponent. If, on the other hand, P has to specify a step number v, he will have lost his assertion at the latest after v steps.
Step number: the steps are, of course, natural numbers. If one wants to give infinite inductive definitions, i.e. such with an infinite number of premisses, a dialogical meaning, one must allow transfinite ordinal numbers as the step numbers.
Inductive Definition/LorenzenVsHerbrand: For example, a function sequence f1, f2 ... is already defined and the induction scheme

a(y) > y ε M (x)fx(y) ε M > y ε M

is adressed. This definition is by no means "impredicative". But it is also not really constructive either. We have infinitely many premises here
f1 (y) ∈ M, f2 (y) ε M ... which are necessary to prove y ∈ M.
Infinite: in dialogue one cannot defend every premise, one will therefore allow O to select an fm(y) e M. This must then be claimed and defended by P. In addition, P must specify a generally transfinite ordinal number as the step number.
Step number: the step number of a premise must always be specified as less than the step number of the conclusion.
Winning strategy: of P: must provide the step numbers for all opponent's elections.
II. Number-class/second/Lorenzen: set-theoretically one can prove easily the existence of suitable ordinal numbers of the II. number class. One can define transfinite recursion through this:

y ε M0 <> a(y) y ε Mλ <> (x)fx(y) ε Ux x < λ Mx. .

Then M = Ul l> μ Ml for a suitable μ and if M is to be a set of natural numbers, μ can be taken from the II. number class.
Constructively, if the inductive definition is to be constructive, the ordinal numbers used must also be "constructive". Here it is obvious to limit oneself to the recursive ordinal numbers of Church and Kleene.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987


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

The author or concept searched is found in the following controversies.
Disputed term/author/ism Author Vs Author
Entry
Reference
Various Authors Lorenzen Vs Various Authors
 
Books on Amazon
Berka I 266
überabzählbar/unendlich/LorenzenVsMengenlehre: Fabelreich des "Überabzählbaren". ((s) gar nicht konstruierbar, >Konstruktivismus).
LorenzenVsHerbrand/KonstruktivismusVs"imprädikativ": Fabelreich des "Imprädikativen".

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987

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

The author or concept searched is found in the following disputes of scientific camps.
Disputed term/author/ism Pro/Versus
Entry
Reference
Constructivism Pro Berka I 266
Constructivism: Lorenzen per - LorenzenVsHerbrand - LorenzenVsChurch (too narrow conception of constructiveness as recursivity) - LorenzenVsImpredicativity

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