Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Barcan-Formel: besagt, dass daraus, dass es möglich ist, dass ein Gegenstand eine gewisse Eigenschaft hat folgt, dass dieser Gegenstand existiert. Die Formel ist nur in wenigen Systemen gültig. Siehe auch Modallogik, Systeme S4, S5.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor Begriff Zusammenfassung/Zitate Quellen

Robert Stalnaker über Barcan-Formel – Lexikon der Argumente

I 150
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) Seine 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.
Qualifizierte Konverse der Barcan-Formel/Stalnaker: Eine qualifizierte Konverse erfolgt mit der Existenzannahme:
(QCBF) N"x^F > "x^N Ex > F)
Existenzprädikat E: Ey^(x = y)
I 151
Barcan-Formel/qualifizierte Konverse/Stalnaker: Wenn es in der Welt w notwendig ist, dass alles F erfüllt, dann muss alles was in w existiert, F in jeder zugänglichen Welt erfüllen, in der dieses Individuum existiert. Das ist gültig in unserer Semantik, aber kein Theorem. Denn es ist in einer Variante der Semantik ungültig. Diese untersuchen wir hier.


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


_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der Argumente
Der Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente.

Stalnaker I
R. Stalnaker
Ways a World may be Oxford New York 2003

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z