## 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._____________ Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||

Author | Item | Summary | Meta data |
---|---|---|---|

I 150 Barcan-Formula/BF/Stalnaker : involves the interaction of the universal quantifier with the necessity operator : (BF ) " NF x ^ > N " x ^ F - converse: (CBF) N " F ^ x > " x ^ NF - Kripke 1963), its semantics showed that semantic assumptions are also needed. He showed a fallacy in the proofs that they supposedly deduced in which these assumptions were missing - it is valid if wuU , Du < Dw means if the subject matter of the accessible powo is a subset of the range of the output powo is - vice versa for the converse -> qualified converse of BF / Stalnaker : with existence adoption - ( QCBF ) N "x ^ F> " x ^ N ex > F) - existence predicate e: Ey ^ (x = y ) - I 151 Barcan-Formula/qualified converse / Stalnaker : if in poss.wrld. w it is necessary that everything satisfies F, then everything must exist in w, F meet in any accessible poss.wrld. this individual exists - that is valid in our semantics but no theorem - because it is a variant of the invalid semantics - this is what we examine here. _____________ Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. |
Sta I R. Stalnaker Ways a World may be Oxford New York 2003 |

> Counter arguments against **Stalnaker**

> Export as BibTeX Datei

Ed. Martin Schulz, access date 2018-06-22