Quantcast

Posts tagged with reasoning

If you buy a loaf of bread from the supermarket both you and the supermarket (its shareholders, its employees, its bread suppliers) are made to some degree better off. How do I know? Because the supermarket offered the bread voluntarily and you accepted the offer voluntarily. Both of you must have been made better off, a little or a lot—or else you two wouldn’t have done the deal.

Economists have long been in love with this simple argument. They have since the eighteenth century taken the argument a crucial and dramatic step further: that is, they have deduced something from it, namely, Free trade is neat.

If each deal between you & the supermarket, and the supermarket & Smith, and Smith & Jones, and so forth is betterment-producing (a little or a lot: we’re not talking quantities here), then (note the “then”: we’re talking deduction here) free trade between the entire body of French people and the entire body of English people is betterment-producing. Therefore (note the “therefore”) free trade between any two groups is neat.

The economist notes that if all trades are voluntary they all have some gain. So free trade in all its forms is neat. For example, a law restricting who can get into the pharmacy business is a bad idea, not neat at all, because free trade is good, so non-free trade is bad. Protection of French workers is bad, because free trade is good. And so forth, to literally thousands of policy conclusions.

Deirdre McCloskey, Secret Sins of Economics

A wonderful essay. I’ll just add what I think are some common answers to common objections:




The category of categories as a model for the Platonic World of Forms by David A Edwards & Marilyn L Edwards

  • Thales (7th cent. BC) made the first universal statement (proof w/o regard to the gods or mythology, just from pure reason)
  • pre-Greek mathematics was essentially engineering maths.
  • I owe ya a post on the illiterates in chapter 2 of James Gleick’s The Information. He tells the story of some illiterates in outer Soviet Union. According to the tale, they basically do not abstract at all. No abstract reasoning, no properties ascribed to members of a class, and so on.

    It sounds kind of idyllic in the way of NYT tales of the Pirahã or Jill Bolte Taylor’s story of losing the logical half of her brain. I’m not sure if Thales set us on the path to Hell or Heaven.
  • Plato set for himself the [goal] of extending geometry [beyond] triangles and circles and such, to all of human thought. He failed, but his vision has come to pass.
  • Why did Lawvere succeed where Plato and Whitehead failed?
  • He had Descartes’ already-abstract notion of a function, along with
  • Eilenberg & Mac Lane’s notions of category and functor.
  • The definition of function for infinite sets is already implicit in the choice of “which set theory”.
  • Category theory, unlike earlier formalisations (think Peano arithmetic and Goedel’s proof), is stable to the “meta” step: you do 2-categories, you do n-categories … the abstraction is ultimately a k → k+1 kind of deal rather than a “And this is the ultimate finality!” kind of deal.




the Good People and the misguided

HT @jaredwoodard (supervenes)

the Good People and the misguided

HT @jaredwoodard (supervenes)


hi-res




1. Use mathematics as a shorthand language rather than as an engine of inquiry
2. Keep to them [your models/problems] till you have them done
3. Translate to english
4. Illustrate with examples important to real life
5. Burn the mathematics
6. If you can’t succeed in 4, burn 3




Opportunity is fleeting. Experience is fallacious. Judgment is difficult.
Hippocrates

(Source: cmj.org)







Oral people lacked the categories that become second nature even to illiterate individuals in literate cultures: for example, for geometrical shapes….


[The illiterate cultures of remote Uzbekistan and Kyrgyzstan in the 1930’s] could not, or would not, accept logical syllogisms.

James Gleick, The Information

(Source: amazon.com)