Combining Philosophers

Ideas for Hermarchus, Michael Potter and Andrew Shorten

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


2 ideas

5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
Liberal Nationalism says welfare states and democracy needed a shared sense of nationality [Shorten]
     Full Idea: The Liberal Nationalist argument is that if we want to have welfare states or vibrant democracies, then we will need the kind of solidarity that shared nationality fosters. …Unwelcome democratic decisions are more acceptable when made by co-nationals.
     From: Andrew Shorten (Contemporary Political Theory [2016], 02)
     A reaction: We've just experienced this with Brexit (2016), where perfectly sensible decisions were being made in Brussels, but the popular press whipped up hostility because the British had a restricted role in the decisions. Prefer our idiots to their sages.
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
We can formalize second-order formation rules, but not inference rules [Potter]
     Full Idea: In second-order logic only the formation rules are completely formalizable, not the inference rules.
     From: Michael Potter (Set Theory and Its Philosophy [2004], 01.2)
     A reaction: He cites Gödel's First Incompleteness theorem for this.