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

M.J. Cresswell über Barcan-Formel – Lexikon der Argumente

Hughes I 128
Barcan-Formel/Kripke: Kripke nimmt für jede mögliche Welt einen anderen Individuenbereich an und erhält dadurch eine Semantik, bei der im Gegensatz zu unserer die Barcan-Formel nicht gültig ist.
>Zugänglichkeit
, >Mögliche Welten/Kripke.
Zugänglichkeit/LewisVsKripke: Bei Lewis läuft die Zugänglichkeit zu Welten über Individuen, daher ist die Barcan-Formel bei Lewis gültig.
>Gegenstücktheorie, >Gegenstückrelation, >Mögliche Welten/Lewis.
Hughes I 150f
Barcan-Formel/BF/mögliche Welten/MöWe/Semantik/Hughes/Cresswell: Die Barcan-Formel ist ungültig in Semantiken, die verschiedenen möglichen Welten verschiedene Individuenbereiche zuordnen.
Vgl. >Semantik möglicher Welten.
Hughes I 150f
Barcan-Formel/Hughes/Cresswell: Vs: Dass alles Existierende notwendig f ist, schließt nicht aus, dass es Dinge geben könnte (oder gegeben haben könnte), die nicht f sind.
Dann wäre es keine notwendige Wahrheit, dass alles f ist.
VsVs: Das geht von der Annahme aus, dass in verschiedenen möglichen Welten Gegenstände nicht nur andere Eigenschaften haben können, als in der wirklichen Welt (aktualen Welt), sondern dass es sogar Gegenstände geben könnte, die in der aktualen Welt gar nicht existieren.
>Extension des >Existenzprädikats, >Existenz / >"es gibt".
Hughes I 156
Barcan-Formel/Existenz/mögliche Welt/Hughes/Cresswell: drei Sichtweisen:
a) alle möglichen Welten haben dieselben Individuen (Bereich identisch): dann ist die Barcan-Formel gültig (auch bezüglich T und S4), die Gegenstände sind dieselben, Eigenschaften und Relationen ändern sich.
b) Neue Dinge entstehen: die Barcan-Formel ist ungültig jedenfalls bezüglich T und S4.
c) Noch liberaler: Es können auch Gegenstände entfernt werden.
>Systeme S4/S5, >Individuenbereich.

_____________
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.

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

Cr II
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

Hughes I
G.E. Hughes
Maxwell J. Cresswell
Einführung in die Modallogik Berlin New York 1978

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