A Puzzle Over Ontology

(copyright © 2009 Jesse Butler)

Just as with the Liar Paradox, there are two seemingly innocent assumptions about the
features of physical objects and what physical objects there are that, when combined with
other of our background assumptions, lead to an inconsistency in our beliefs. Ontology is
the topic of philosophy that is concerned with determining what objects there really are.
This is a puzzle to do with ontology because it is a puzzle over what there is, really.

Two Basic Assumptions about physical objects

(1) No two physical objects can be in exactly the same place at exactly the same time.

This isn't to say that no two physical objects can be at locations that are exactly next to
each other at the same time, but rather, that no two physical objects can occupy exactly
the same space at exactly the same time.

(2) Physical objects of "medium" size, relative to the size of people, such as tables and
chairs are made up of the smaller, more basic particles of a commonly accepted scientific
theory. For example, the small table in the front of our classroom is made up of atoms of
the kinds of the various materials that the table is constructed from.

The Puzzle

Given that we accept (1) and (2), let's consider this object in our classroom.

What is there here? Is there a table or is there merely a collection of basic particles of a
current, commonly accepted scientific theory (if not atoms, then subatomic particles such
as gluons, muons and quarks). There can't be both a table and a collection of gluons,
muons and various sorts of quarks, because by assumption (1) no two things can occupy
the same place at the same time. (The table is, by assumption, a physical object and so is
the medium sized collection of basic scientific particles that make up this object.) We
must say either that there is a table or that there is a collection of most basic particles
here, not both, because there cannot be two things in the exact same place at exactly the
same time.

Suppose we claim that there is not a table here in our classroom, but rather the collection
of most basic particles arranged in a particular fashion. From the scientific perspective,
we might feel confident about our decision, but how would we assess the truth or falsity
of the following claim, C, if we assume that Tom is an innocent bystander.

C: Tom knows that there is a table in our classroom at this very moment.

If we say that there is no table, but only a collection of basic scientific particles, then
claim C is false because Tom can't know something that isn't true.
If, on the other hand, we say that there is only a table and not a collection of most basic
particles, then we seem to be denying (2) which seemed to an attractive assumption to
begin with.

What should we say?