12 ideas
9540 | A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell] |
9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
22179 | Explanatory facts also predict, and predictive facts also explain [Hempel, by Okasha] |
21507 | Scientific explanation aims at a unifying account of underlying structures and processes [Hempel] |
6755 | For Hempel, explanations are deductive-nomological or probabilistic-statistical [Hempel, by Bird] |
17083 | The covering-law model is for scientific explanation; historical explanation is quite different [Hempel] |
13052 | Hempel rejects causation as part of explanation [Hempel, by Salmon] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
3979 | The Turing Machine is the best idea yet about how the mind works [Fodor on Turing] |
5321 | In 50 years computers will successfully imitate humans with a 70% success rate [Turing] |