11 ideas
18009 | Chomsky established the view that category mistakes are well-formed but meaningless [Chomsky, by Magidor] |
8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
6649 | Chomsky now says concepts are basically innate, as well as syntax [Chomsky, by Lowe] |
18007 | Syntax is independent of semantics; sentences can be well formed but meaningless [Chomsky, by Magidor] |
18006 | Chomsky's 'interpretative semantics' says syntax comes first, and is then interpreted [Chomsky, by Magidor] |