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

 
Bücher bei Amazon
Hughes/Cresswell 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.

K I
S.A. Kripke
Name und Notwendigkeit Frankfurt 1981

K III
S. A. Kripke
Outline of a Theory of Truth (1975)
In
Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg), Oxford/NY 1984

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 Kripke



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