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.

 


 
VII (f) 116
Gültigkeit/Quine: sogar Gültigkeit und Extension von Prädikaten können eliminiert werden zugunsten von Wahrheitswert-Tabellen - Gültigkeit in der Quantorentheorie ist durch Beweistheorie eliminierbar.
>Beweistheorie.
- - -
VII (i) 161
Gültigkeit/Quine: Sätze, die für ein Universum gültig sind, sind es auch für ein kleineres Universum - außer für ein leeres Universum. - Daher sollten Gesetze für große Universen auch mögliche kleinere Universen berücksichtigen! - Test, ob Theoreme auch für leere Universen gültig sind: alle Allquantoren als wahr und alle Existenzquantoren als falsch setzen.
- - -
X 77
Gültigkeit/gültig/Quine: es gibt zwei Definitionen der Gültigkeit,
a) (bisher) als Eigenschaft von Schemata, die sich auf Einsetzen bezieht.
b) macht von der Mengenlehre Gebrauch: dazu zwei Hilfsbegriffe:
1. Hilfsbegriff: "mengentheoretisches Analogon": ein logisches Schema, offener Satz der Mengenlehre: anstelle der Prädikationen "Fx", "Fy", "Gx" usw. schreiben wir
"x ε a", "y ε α", "x ε β" usw. die Werte der Variablen “α”, “β” usw. sind Mengen.
Zwei stellige Prädikatbuchstaben. Für "Hxy" verwenden wir geordnete Paare " ε γ".
Existenzquantifikation: Bsp (Ex)(Fx . Gx): mengentheoretisches Analogon: der offene Satz "Ex(x ε α. x ε β)".
Pointe: dieser Satz spricht über Mengen und lässt Quantifikation über sie zu. Bsp "(α)".
Schemabuchstaben: “F” usw. dagegen vertreten nur Prädikate und sind keine Variablen, die Werte annehmen.
mengentheoretisches Analogon: während das Schema nur die logische Form von Sätzen darstellt, ist sein mengentheoretisches Analogon dagegen tatsächlich ein Satz von dieser Form.
2. Hilfsbegriff für die neue Definition der Gültigkeit: Modell.
>Modelle.

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.