@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Stalnaker,Robert}, subject = {Existence Predicate}, note = {I 150f Barcan formula/BF/Stalnaker: the Barcan formula involves the interaction of the universal quantifier with the necessity operator: (BF) "x^NF > N"x^F A (CBF) N"x^F > x^NF. Kripke (1963)(1): Kripke's semantics showed which semantic assumptions are needed additionally. He showed a fallacy in the evidence that was allegedly derived, in lacking these assumptions - it is valid if wRu, Du < Dw. >Domains, >Converse. That is, if the domain of the accessible worlds is a subset of the domain of departing worlds. This applies vice versa for the converse. Qualified converse of Barcan formula/Stalnaker: a qualified converse of the Barcan formula is made with the existence assumption (QCBF) N"x^F > x^N Ex > F). Existence predicate e: Ey ^ (x = y ). >Existence predicate, >Barcan-formula. 1. S. A. Kripke, 1963. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi. Mathematical Logic Quarterly Volume 9, Issue 5‐6}, note = { Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=219968} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=219968} }