Lexikon der Argumente

 Philosophische Themen und wissenschaftliche Debatten
 
[englisch]


Inhaltliche Beanstandungen

Tabelle
Begriffe
Versus
Lager
Thesen I
Thesen II

Begriff/Autor  

Was ist falsch?
Seitenangabe
Übrige Metadaten
Übersetzung
Excerpt, Inhalt
Sonstiges

Richtig: Jahr / Ort / Seite
/ /

Richtigstellung
(max 500 Zeichen)

Einsender*
oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*
Captcha Code
 
Bitte Captcha Code hier eingeben

 
Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 


 
X 121
Verzweigte Quantoren/Quine: normal: Bsp "(x)(Ey)"/alltagssprachliche Übersetzung: "für jede Wahl von x kann ein y gewählt werden, sodass der folgende Satz wahr wird." Verschiedene x erfordern möglicherweise verschiedene y.
D.h. die Wahl von y hängt im Allgemeinen von der Wahl des x ab.
Problem: Bsp der Satz "Fxyzw": Angenommen, wir wollen sagen: zu jedem x gibt es ein y und zu jedem z gibt es ein w, sodass Fxyzw - die Wahl von y soll nur von dem x abhängen und die Wahl von w nur von z.
(1) (x)(Ey)(z)(Ew) Fxyzw
- so hängt die Wahl von w auch von x ab.
Lösung: verzweigte Quantoren:
(x)(Ey)
Fxyzw
(z)(Ew)
- so braucht man keine Funktionen als Werte von Variablen (Logik 2. Stufe).
>Variablen/Quine, >Logik 2. Stufe.

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.