14 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
22971 | In moving from capitalism to communism a revolutionary dictatorship of the proletariat is needed [Marx] |
22000 | From each according to his ability, to each according to his need [Marx] |
22969 | People who only have their labour power are the slaves of those permitting them to work [Marx] |
22970 | Freedom is making the state subordinate to its society [Marx] |
22972 | Bourgeois 'freedom of conscience' just tolerates all sorts of religious intolerance [Marx] |