Philosophy Lexicon of Arguments

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

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


> Counter arguments against Kripke



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