@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}
}