8 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
2667 | A false object might give the same presentation as a true one [Arcesilaus, by Cicero] |
19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |