7 ideas
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| Full Idea: In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist') | |
| A reaction: This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism. |
| 17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
| Full Idea: According to realism, mathematical propositions express the most general properties of our physical environment. This is the primitive view of mathematics, yet on account of the essential role played by infinity in mathematics, it is untenable today. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The problem') | |
| A reaction: I resist this view, because Curry's view seems to imply a mad metaphysics. Hilbert resisted the role of the infinite in essential mathematics. If the physical world includes its possibilities, that might do the job. Hellman on structuralism? |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| Full Idea: To say that mathematics is logic is merely to replace one undefined term by another. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'Mathematics') |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |
| 20575 | Socialist economics needs a very strong central power, virtually leading to slavery [Hayek, by Oksala] |
| Full Idea: Hayek argues that socialist economic equality can only be effectively put into practice by a strong, dictatorial government. Planning has to be imposed by force, and centralised economic power creates a dependency scarcely distingishable from slavery. | |
| From: report of F.A. Hayek (The Road to Serfdom [1944]) by Johanna Oksala - Political Philosophy: all that matters Ch.7 | |
| A reaction: I don't see much sign of the post-war British Labour government being anything like this, even though they nationalised the railways and introduce a national health service. Hayek was mesmerised by Russia. |
| 22599 | Hayek was a liberal, but mainly concerned with market freedom [Hayek, by Dunt] |
| Full Idea: Hayek was a liberal (rather than a conservative), …but the individual liberty he cared about was not diversity or freedom of thought. It was freedom to operate in the market. | |
| From: report of F.A. Hayek (The Road to Serfdom [1944]) by Ian Dunt - How to be a Liberal 7 | |
| A reaction: There seems to have been a drift from obsession with freedom to participate in the market, towards the less plausible idea that market forces can solve everything. I once met someone who was convinced the market could solve environmental problems. |
| 22600 | Impeding the market is likely to lead to extensive state control [Hayek] |
| Full Idea: Once the free working of the market is impeded beyond a certain degree, the planner will be forced to extend his controls until they become all comprehensive. | |
| From: F.A. Hayek (The Road to Serfdom [1944]), quoted by Ian Dunt - How to be a Liberal 7 | |
| A reaction: Hayek was terrified of totalitarianism (quite reasonably), but fascism and communism don't seem to have arisen in the way he describes. I'm not clear why sensible intervention in the market should slide down into nightmare. |