Philosophy Lexicon of Arguments

Barcan formula: claims that from the fact that it is possible that an object has a certain property it follows that this object exists. The formula is valid only in a few systems. See also modal logic.
Author Item Excerpt Meta data

Books on Amazon
Hughes/Cresswell I 128
Barcan-Formelula/Kripke: assumes for each possible world a different domain of individuals, thereby obtaining a semantics in which the Barcan-Formula is not valid in comparison to our domain.(> Accessibility) - Accessibility/LewisVsKripke: Lewis about individuals, therefore Barcan formula valid in Lewis.

S.A. Kripke
Name und Notwendigkeit Frankfurt 1981

S. A. Kripke
Outline of a Theory of Truth (1975)
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

M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

> Counter arguments against Kripke

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-05-27