Since logic and set theory themselves -- at least as I imbibed them at the bosom of Quine -- are

*all about*ontology, this may seem a queer thing to single out. One reason to do so is that the question of the ontological status of various abstract entities is, in mathematics, seen through a glass darkly (typically going undiscussed unless challenged), whereas here -- face to face.
This will, like its sister essay

__The Ontology of Physics__, be simply a corkboard for posting stray thoughts and choice quotes. For a more general take on all this, click here. As for the ontology of mathematics proper, we need no special post, since that is an ongoing theme in the "Theologia Mathematica" series. For that, click here.
Here we go.

Frege took all classes as

**rock-bottom objects**on a par with individuals.
-- W.V.O. Quine, “On Frege’s Way Out” (1954)

This is the bold, the manly path, of Cantorian Realism. We do not merely accept sets (classes, collections) as, well, okay, “real” in some pale, some Meinongian sense, though in no wise privileged to belly up to the bar as equals with such unquestionably real individuals as Piglet: No, they are

*rock-bottom objects*, pardner, fit to drink with any man.
*

Commercial Break

A private
detective confronts the uncanny;

an ecclesiastical
mystery:

__Murphy Calls In a Specialist__

*

~

If to be is to be the value of a quantified variable, then it matters what sort of quantification we are talking about. Quine frequently raises this knotty issue.

**Substitutional quantification**makes good sense … no matter what substitution class we take -- even that whose sole member is the left-hand parenthesis. To conclude that entities are being assumed that trivially, and that far out, is simply to drop ontological questions.

-- W.V.O. Quine, “Existence and Quantification”

Quine footnotes this: “Lesniewski’s example, from a conversation of 1933 in Warsaw.”

The heart stops cold. 1933 in in central Europe -- not a good place and time. Yet to have been Quine, even Quine, young and thrusting, in Warsaw with Lesniewski -- very heaven!

Quine goes on:

Lesniewski did not himself relate his kind of quantification [i.e.,

**substitutional**as opposed to**objectual**] to ontological commitments.
And indeed was right to do so, since

Where substitutional quantification serves, ontology

*lacks point*.
~

Andrew Gleason,

__Fundamentals of Abstract Analysis__(1966), p. 1, offers a notably practical definition of*set*from the standpoint of a working mathematician:
A

*set*is any collection of mathematical objects which is sufficiently well defined to be the subject of logical analysis.
Since the word

*collection*itself is often used by mathematicians as a synonym of*set*, you might deem this definition circular. But here*collection*is being used entirely informally, referring to our pre-theoretic intuitions; he could just as well said*bunch*or (even better)*passel*.
Indeed, from this perspective, Gleason is offering what amounts to an

*ostensive definition*. It is comparable to such a classic ostensive scenario as this: “See that creature over there? Assuming that it is not a mirage or an animatronic gimmick, that is what we refer to as a*capybara*.”
~

In

**Set Theory**, you start with any object, which can be anything. Indeed, even one will do: it can be zero, x, or even Piglet, for soon you contrast the-set-containing-Piglet, and off you go. Indeed, in the most abstract set-theory, you don’t even need objects, just start from the empty set. Even so, the enterprise smacks of ontology, since you have … let’s call them ‘thingies’, so as not to be dragged into any philosophical presuppositions about objects (thingies being more like the Cheshire-Cat-smile memories of objects), but even so, we are forming sets which consist of such thingies, and ask which contain which, and which are equal to which, and how many of them are there -- tangible things like that.
In

**Category Theory**, you put childish things aside, and say Goodby to All That. As one practitioner puts it:
Since a category consists of arrows, our subject could also be described as learning how to live without elements, using arrows instead.

-- Saunders MacLane,

__Categories for the Working Mathematician__(1971; 2^{nd}ed. 1998), p. vii[Update -- Lent 2013 -- Let us try, for a time, to live without elements...]

~

Of all the sciences -- nay, of all human cognitive activities -- mathematics is ontologically the most venturesome. For among its key tools is the ancient method of

*reductio ad absurdum*or

*modus tollens*. Here we work -- calmly and logically -- with Impossible Posits; and when the smoke has cleared, all is once again as it should be, and we know something new.

Thus, take the question of how many prime numbers exist. Lots, no doubt; but it is not initially obvious that they go on forever. The bigger a number gets, the harder it is for it to pass through the inflexible Sieve of Eratosthenes: the mesh gets finer and finer as the number of primes -- of your possible submultiples -- grows and grows.

A direct way of proving the infinitude of the primes would be to come up with a formula that could serve as a primal generator: plug in a number, out pops a prime. But no such formula is known, and probably none exists.

So the standard move, known already to the ancient Greeks (men like gods, like very gods) is to turn on your heel and spin about and say: Fine! Be like that! Let’s assume that there are

*not*infinitely many primes. (Your finitist opponent -- a fat and greasy Nominalist -- emits an oily smile; but he soon shall taste the wrath of Modus Tollens.) So there are only finitely many (smile, nod); so there’s a biggest one (nod, but a fading smile, as our finitist realizes that something is about to go very, very wrong); let us call this largest one**M**. (Suspecting a trap, the finitist objects; you don’t make an issue of it; let’s call it**N**instead.)
Our mathematician now has what proves to be a powerful weapon:

**N**, the Biggest Prime in the Universe. That no such number exists (as we soon shall find out) does not lessen its devastating effect, while we hold it in mind and operate with it -- working in an anti-universe, as it were, on the far side of Alice’s looking-glass, and yet where otherwise all the usual laws continue to hold.
So we form the factorial of

**N**and add a unit:**N**! + 1. It is larger than**N**; and yet it must itself be prime, since, by elementary arithmetic, no number (let alone a prime number) no larger than**N**, can divide it. Our quixotic posit of a largest prime has managed to unhorse itself.Modus Tollens, skewering an Impossible Posit |

Note that we really have been operating according to God’s own laws of logic, yet operating -- temporarily, like Jack Bauer saving the day by working in a radioactive chamber -- in a universe not made by His hand: namely, one in which a largest prime exists. Like the Devil’s inventions, this universe self-destructs -- but in a fashion that is constructive for ourselves.

"Your bait of falsehood takes this carp of truth

*."*

*--*Hamlet

In vain might one seek such fruitful use of counterfactuals outside of math. It is as though, in order to solve some particularly perplexing crime, one were to falsely accuse someone and put him on trial; then, in the course of the proceedings, the forensics and cross-examinations, the real truth would out. (Come to think of it, that is exactly the plot of many a courtroom drama.)

[Footnote] G.
H. Hardy, in

__A Mathematician’s Apology__, gave the classic expression of the audacity of this move:
The proof is by

*reductio ad absurdum*, and*reductio ad absurdum*, which Euclid loved so much, is one of a mathematician’s finest weapons. It is a far finer gambit than any chess gambit: a chess player may offer the sacrifice of a pawn or even a piece, but a mathematician offers the*game*.A serious-humorous example of positing an impossible object -- yet here, not with modus tollens in mind, but as a kind of calculational convenience:

Assume that the bubbles in a foam are regular polyhedrons, whose faces are regular polygons with

*n*sides, and that the angles between these sides are all 109° 28’. Since no such object exists, let us call it the ‘follyhedron’, and pretend that it does anyway.
-- Ian Stewart,

__How to Cut a Cake__(2006), p. 126
[Meta-footnote]

Logic … operate[s] in terms of quite unidentified but none the less definite ‘objects’,
which then do or do not fall into
classes … I do not know whether it can deal with jelly-like or cloud-like
entities, with

**mushy viscous messes that do not break up into manifest units**. I suspect that nothing is beyond the technical ingenuity of men …
-- Ernest Gellner,

__Language and Solitude__(posthum. 1998), p. 53
An expert review of Dennis Hesseling,

__Gnomes in the Fog: The Reception of Brower’s Intuitionism in the 1920s__(2003), by Sam Adams on Amazon, summarizes:
Brouwer's position arises from the
assertion that the ontology of mathematics is determined solely by
epistemology, and thus a statement which has not been determined to be true or
to be false cannot be determined to refer to a state of affairs … Since
mathematical meaning derives from emergent, epistemologically generated
ontology,

**it follows that****logic itself is not a formative and central structure of cognition, but rather is itself an emergent, structural overlay.**
## No comments:

## Post a Comment