3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |