4 ideas
3750 | "It is true that x" means no more than x [Ramsey] |
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
18818 | Sentence meaning is given by the actions to which it would lead [Ramsey] |