Philosophie Lexikon der Argumente

Suche  
 
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/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
HC I 128
Barcan-Formel/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) - Zugänglichkeit/LewisVsKripke: bei Lewis über Individuen, daher Barcan-Formel bei Lewis gültig. -
HC I 150f
Barcan-Formel/BF/mögliche Welten/MöWe/Semantik/Hughes/Cresswell: die BF ist ungültig in Semantiken, die verschiedenen möglichen Welten verschiedene Individuenbereiche zuordnen. - (>Zugänglichkeit) -
HC I 150f
Barcan-Formel/H/C: 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. - ((s) Das macht den Unterschied der zwei Seiten der Formel). - >Extension des Existenzprädikats - > Unterschied Existenz/"es gibt"?
HC 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.


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

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

> Gegenargumente gegen Cresswell



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 28.06.2017