4 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
19508 | Contextualism needs a semantics for knowledge sentences that are partly indexical [Schiffer,S] |
19509 | The indexical aspect of contextual knowledge might be hidden, or it might be in what 'know' means [Schiffer,S] |