5 ideas
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
19729 | 'Modal epistemology' demands a connection between the belief and facts in possible worlds [Black,T] |
19728 | Gettier and lottery cases seem to involve luck, meaning bad connection of beliefs to facts [Black,T] |