Posts tagged with Willard van Orman Quine

The ontological commitment of a sentence is whatever must be among the values of bound variables for the sentence to come out as true.

Willard van Orman Quine

I bring up this quotation not to agree or disagree with Quine, but just to point out the connection between everyday language and mathematics. The connection is well-known in some circles — like,  anyone for whom the phrase “possible world semantics” rings fifty different bells.

If you’re not schooled in such stuff, just notice this: Quine is talking about regular declarative sentences in natural languages, yet using the word “variables”.

One reasonable conclusion to draw is that, through the machinations of Analytical-Philosophy-Of-Language, the reach of mathematics can extend very, very far. How useful is stuff, anyhow? What if mathematics appeared in every declarative sentence you wrote or uttered?

(Source: supervenes)

When I was a maths teacher some curious students (Fez and Andrew) asked, “Does i, √−1, exist? Does infinity ∞ exist?” I told this story.

You explain to me what 4 is by pointing to four rocks on the ground, or dropping them in succession — Peano map, Peano map, Peano map, Peano map. Sure. But that’s an example of the number 4, not the number 4 itself.

So is it even possible to say what a number is? No, let’s ask something easier. What a counting number is. No rationals, reals, complexes, or other logically coherent corpuses of numbers.

Willard van Orman Quine had an interesting answer. He said that the number seventeen “is” the equivalence class of all sets of with 17 elements.

Accept that or not, it’s at least a good try. Whether or not numbers actually exist, we can use math to figure things out. The concepts of √−1 and serve a practical purpose just like the concept of (you know, the obvious moral cap on income tax). For instance

  • if power on the power line is traveling in the direction +1 then the wire is efficient; if it travels in the direction √−1 then the wire heats up but does no useful work. (Er, I guess alternating current alternates between −1 and −1.)
  • allows for limits and therefore derivatives and calculus. Just one example apiece.

Do 6-dimensional spheres exist? Do matrices exist? Do power series exist? Do vector fields exist? Do eigenfunctions exist? Do 400-dimensional spaces exist? Do dynamical systems exist? Yes and no, in the same way.