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.

 


 
I 150f
Barcan-Formel/BF/Stalnaker: Die Barcan-Formel involviert die Wechselwirkung des Allquantors mit dem Notwendigkeitsoperator:
(BF) "x^NF > N"x^F Ã"
(CBF) N"x^F > "x^NF (Konverse)
Kripke (1963)(1): Kripkes Semantik zeigte, welche semantischen Annahmen zusätzlich gebraucht werden. Er zeigte einen Fehlschluss in den Beweisen, die sie angeblich herleiteten, in denen diese Annahmen fehlten - sie ist gültig wenn wRu, Du < Dw.
D.h. wenn der Gegenstandsbereich der zugänglichen möglichen Welt eine Teilmenge des Bereichs der Ausgangswelt ist. Bei der Konverse ist dies umgekehrt.
>Bereiche, >Konverse.
Qualifizierte Konverse der Barcan-Formel/Stalnaker: Eine qualifizierte Konverse der Barcan-Formel erfolgt mit Existenzannahme:
(QCBF) N"x^F > "x^N Ex > F)
Existenzprädikat E: Ey^(x = y).

>Existenzprädikat, >Barcan-Formel.

1. S. A. Kripke, 1963. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi. Mathematical Logic Quarterly Volume 9, Issue 5‐6

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.