3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
16661 | There are two sorts of category - referring to things, and to circumstances of things [Boethius] |
12583 | Belief truth-conditions are normal circumstances where the belief is supposed to occur [Papineau] |