13 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] |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
| 15473 | How does anything get outside itself? [Fodor, by Martin,CB] |
| 2981 | Is intentionality outwardly folk psychology, inwardly mentalese? [Lyons on Fodor] |
| 2985 | Are beliefs brains states, but picked out at a "higher level"? [Lyons on Fodor] |
| 3135 | Is thought a syntactic computation using representations? [Fodor, by Rey] |
| 2983 | Maybe narrow content is physical, broad content less so [Lyons on Fodor] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |