Friday, November 29, 2013

Who's Afraid of Veridical Wool?

Do we need non-classical logic to resolve the Liar paradox? Or do we need to see that the natural context of classical logic – natural language – has a slight but ubiquitous vagueness? When something is as much the case as not, it is a borderline case; and similarly, self-descriptions like ‘this is false’ are about as true as not. And when there is no sharp division between something being the case and it not being the case, then the precision of any mathematical logic is inapposite.
......The modern literature on the Liar paradox is very formal, but following Russell there has been a related effort to resolve Cantor’s mathematical paradoxes, which may well explain that. My analysis of the Liar paradox has 4 sections: Vagueness (1,300 words), Liar Paradox (1,300), Set-Theoretic Paradox (1,200), Semantic Paradox (900), plus notes (700)...

......Who's Afraid of Veridical Wool?


Monday, November 18, 2013

I think, so I'm iffy

"I deliberate, so the future is open," is, if you think about it, a pretty good description of a rational argument with one premise (a premise of which one can be certain). My making the effort to deliberate well (because I would blame myself if I did not) presupposes that there is, as yet, no fact of the matter of what I will be thinking.
......To make such an effort is to force the future away from a state that it would otherwise be in, of course. And for me to think of that state as already unreal would undermine my motivation to make such an effort. And of course, for me to make no such effort would be for me to care little for the quality of my thoughts, which would be irrational.
......That was a précis of my comments on a Prussian post, themselves inspired by Nicholas Denyer's 1981 defence of arguments like "I deliberate, so my will is free."

Sunday, November 10, 2013

What is Proof?

Over a hundred years ago, Cantor proved that the natural numbers are temporal: Assume, with Plato and against Aristotle, that they are not temporal, so that they all coexist, insofar as numbers do exist (the main thing is that we can count them, e.g. {1, 2, 3} are three numbers). Since they all exist atemporally, so do all their subsets (e.g. {1, 2, 3}), and so there is a set (an atemporal collection) of all the subsets of that set. By a simple diagonal argument (which you can google) that set of subsets is of larger cardinality than the original set. (Two sets have the same cardinality when the elements of one of them can be put into some one-to-one correspondence with the elements of the other.) And the set of all of the subsets of that set of subsets is of even larger cardinality, because the diagonal argument applies quite generally to any set and the set of all its subsets. (This gives us three equivalence classes of infinite sets, associated with three infinite cardinalities.) So, we can get cardinally bigger and bigger sets in that way. And when there is an endless sequence of such sets, the union of all of them will also be an atemporal collection, because each of those sets was implicit in the previous set, and it will have a cardinality larger than any of those sets, because each is followed in that sequence by sets of larger cardinality. And from that union we can again consider the set of all its subsets, and so on. Now, all these atemporal collections are implicit with the set of natural numbers, so they all exist (insofar as such things do exist) atemporally; but, Cantor proved that they cannot all exist atemporally: Suppose they do. Then there is a set of them all. But implicit in them is the collection of all of their subsets, which would be cardinally more of them, whereas we have assumed that we had the set of them all. So, we have assumed that the natural numbers are not temporal, and obtained a contradiction; that is a classical mathematical proof of the temporality of the natural numbers. However, most people assume that numbers are timeless, and so Cantor took himself to have proved that the totality of the numbers was indeed contradictory (akin to human reasoning being inferior to religious insight), while most of his peers replaced the natural numbers with axiomatic structures that had not been shown to be contradictory. Axiomatic set theory has been the foundation of mathematics for nearly a hundred years, but why do mathematicians throw numbers away (why take number-words to be referring to axiomatic sets) just because of an inconvenient proof? We expect others to accept the conclusions of our proofs, when we have proofs...