15 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] |
| 17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
| 9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
| 3756 | Perception, introspection, testimony, memory, reason, and inference can give us knowledge [Bernecker/Dretske] |
| 3757 | Causal theory says true perceptions must be caused by the object perceived [Bernecker/Dretske] |
| 3759 | You can acquire new knowledge by exploring memories [Bernecker/Dretske] |
| 3752 | Justification can be of the belief, or of the person holding the belief [Bernecker/Dretske] |
| 3753 | Foundationalism aims to avoid an infinite regress [Bernecker/Dretske] |
| 3754 | Infallible sensations can't be foundations if they are non-epistemic [Bernecker/Dretske] |
| 3755 | Justification is normative, so it can't be reduced to cognitive psychology [Bernecker/Dretske] |
| 3761 | Modern arguments against the sceptic are epistemological and semantic externalism, and the focus on relevance [Bernecker/Dretske] |
| 3760 | Predictions are bound to be arbitrary if they depend on the language used [Bernecker/Dretske] |
| 3758 | Semantic externalism ties content to the world, reducing error [Bernecker/Dretske] |