- Atomism was devised by Leucippus and his student Democritus. Democritus was born about 460 B.C., which makes him about 40 years younger than Anaxagoras, and about 10 years
**younger**than Socrates.

Atomism is the final, and most successful, attempt to rescue the reality of the physical world from the fatal effects of Eleatic logic by means of a pluralistic theory. (Guthrie, vol. 2, p. 389)

- Overview of atomism:
- Imagine each atom, taken by itself, as a Parmenidean
**unit**. Each is**indivisible**. There is no differentiation between one part of an atom and another part. There is no empty space within an atom – it’s a*plenum*. - Thus, the atomists tried to agree with Parmenides about everything except the
**number**of real beings. - Comparison with Anaxagoras and Empedocles: theirs was a
**qualitative**pluralism. The atomists offered a**quantitative**pluralism.

- Imagine each atom, taken by itself, as a Parmenidean
- Properties of atoms: each atom is uniform, homogeneous, colorless, tasteless, and indivisible. (We will inquire in a moment into precisely the sense in which atoms are indivisible.)
Atoms have

**size**,**shape**, and (perhaps)**weight**. And they can**move**. That is, atoms have (what have come to be called)**primary**qualities. As for such secondary qualities as color, taste, etc., atoms do not have them – an atom cannot be yellow, or salty. - Democritus’s atomistic universe: atoms move about in the void (empty space), collide, attach to others to form compounds. These compounds can have secondary qualities, but such qualities can be reduced to the primary qualities of their component atoms. Cf.
**20**=A129:

*He makes sweet that which is round and good-sized; astringent that which is large, rough, polygonal, and not rounded; sharp tasting, as its name indicates, that which is sharp in body, and angular, bent and not rounded; pungent that which is round and small and angular and bent; salty that which is angular and good-sized and crooked and equal sided; bitter that which is round and smooth, crooked and small sized; oily that which is fine and round and small.*That is,

**the (secondary) qualities of a compound are completely determined by and reducible to the (primary) qualities of its component atoms**. - The coming together of atoms to form compounds
**appears**to be generation (new things appear to come into existence) but it is explained away, as in Empedocles. For**arrangements**and**clusters**of atoms**are not real**, according to Democritus.**Nor are the apparent properties of those compounds of atoms real**. Such a compound may appear to be white, or green, but this is not so. There is nothing that is**really**white or green.The only things that are real are the atoms, and the empty space they move about in. Cf.

**26**=B 9:*By convention, sweet; by convention, bitter; by convention, hot; by convention, cold; by convention, color; but in reality, atoms and void***.** - The picture is entirely
**mechanistic**. The movement of atoms is explained without recourse to reasons, motives, Mind, the Good, Love, Strife, as was common among other Presocratics. Our only fragment from Leucippus attests to this (**1**=B2):

*No thing happens at random**but all things as a result of a reason and by necessity*.This is causal

**determinism**.- An individual atom has no choice concerning its movements. If pushed, it moves. Its “motivational forces” are all external.
- The compounds of atoms don’t have any choice, either. For their movements are all a function of the movements of their component atoms.
**The movement of an entire system of atoms is just the sum of the movements of all of its individual component atoms.** - Explanations are
**bottom up**, not**top down**. That is, the movements and behavior of a compound of atoms (e.g., a tree, an animal) are to be understood as the sum of the individual movements of all the atoms composing that compound. Thus, one explains why the tree or animal moves in such-and-such a way by explaining why each of its component atoms moves as it does. (It is this kind of explanation that particularly exercised Plato, who thought this idea was a colossal mistake. Cf.*Phaedo*98c)

- This very compelling world-view has given rise to a mechanistic, deterministic, point of view that has been even more popular in modern times than it was in ancient times. (Contemporary problems about deterministic physics arising from quantum mechanics have considerably weakened the support for this point of view. The classical Newtonian view that quantum theory has replaced is basically Democritean.)
The ancient atomists may appear to have provided a brilliant anticipation of a much later scientific theory. But is this picture accurate? Our enthusiasm for the achievements of the ancient atomists must be tempered by a closer look at the basis of their view.

- Their impetus did not come from
**physical**inquiries, but from the**logical**and**metaphysical**positions of Parmenides and Zeno. As Barnes says (*Presocratics*, p. 346: “the first atoms came from Elea.” Atoms were postulated in response to the Eleatic view that a truly real entity must be**one**and**indivisible**. So we must ask:**In what sense were Democritus’s atoms indivisible?**Democritus might have meant either of the following:- It is
**physically**impossible to divide an atom. - It is
**logically**or**conceptually**impossible to divide an atom.If (a) is the Democritean position, then it would make

**sense**to talk about the**parts**of an atom – there might even**be**such parts – although it would not be physically possible to separate the parts.If (b) is what Democritus maintained, then this sort of talk makes no sense. The very idea of “splitting an atom” would represent not just a technological difficulty (or even a technological impossibility) but a conceptual absurdity.

- It is
- Opinion is divided on this issue.
- In favor of (a) are
**Burnet**(*EGP*, p.**336**):

We must observe that the atom is not mathematically indivisible, for it has magnitude; it is however physically indivisible, because, like the One of Parmenides, it contains no empty space.

*KRS*, p.**415**:

[An atom] is presumably only physically, not notionally, indivisible, since for example atoms differ in size.

- In favor of (b) are
**Guthrie**(vol.**2,**p.**396**):

Democritus held that his atoms, being not only very small but the smallest possible particles of matter, were not only too small to be divided physically but also logically indivisible.

**Furley**: I will give a quick sketch of the case he makes for (b).

- In favor of (a) are
- Furley’s argument for theoretically indivisible Democritean atoms.
- Aristotle says that atoms were postulated to meet (what he called) Zeno’s “Dichotomy Argument.” This would be either the paradox of the race course, or the paradox of plurality.
- But, as we have seen, both of these arguments of Zeno’s are meant to show that infinite divisibility (whether physical or theoretical) leads to absurd results. Hence,
- The atomists would not be meeting Zeno’s argument unless they conceived of atoms as
**both**physically and theoretically indivisible.**Furley**(p.**510**):

A theoretically divisible atom would not answer either of Zeno’s arguments. [The plurality paradox] would show that an atom theoretically divisible to infinity must be infinite in magnitude; and [the race course] would show that such an atom could never be traversed – that is, if one starts imagining it, one can never imagine the whole of it.

- Furley’s conclusion is supported by further evidence from Aristotle, who claims that atomism conflicts with mathematics (
*De Caelo*303a20):

*They must be in conflict with mathematics when they say there are indivisible bodies*.But an atom that is (merely) physically unsplittable would not conflict with mathematics.

If this interpretation is correct, and atoms are theoretically indivisible, then the differences between the Democritean view and modern scientific atomism are greater than the similarities.

- Objections to theoretically indivisible Democritean atoms.
- According to Simplicius, Democritus thought that atoms had
**size**and**shape**:

**5**=A37:*For some of them are rough, some are hooked, others concave and others convex, while yet others have innumerable other differences.***10**=A14:*These atoms, which are separate from one another in the unlimited void, and differ in***shape**and**size**and position, and arrangement, move in the void … . - But it is hard to see how someone could conceive of atoms as having size and shape, and still being theoretically indivisible. For it would seem that, for any size
*x*, we can always think of something that is only half that size: we can always divide*x*by 2.

- According to Simplicius, Democritus thought that atoms had
**Atomism and Mathematics**It’s possible that Democritus thought not just of matter, but also of

**space**in an atomistic way. That is, the size of an atom would be an**atomic space**. In such a system, the**ultimate unit of measurement**would be the size of an atom. Within that framework, the very notion of**half**of an atomic space would be unintelligible. So, Democritus would be able to say, coherently, that an atom has size even though it is theoretically indivisible.**The**“**Weyl Tile**”**Argument**:But if Democritus “atomized” space in this way (as he very likely did), he runs into another problem. For Euclidean geometry (in particular, the Pythagorean theorem) requires that

**space**be continuously divisible. Hence, if atomism denies the continuity of space, it will fail to get mathematics right.Why is this? There is a famous argument by the mathematician Hermann Weyl (the “Weyl tile” argument) that clearly shows what is problematical about atomistic geometry:

Consider any geometrical figure (e.g., squares, triangles, etc.) with straight lines as sides. The

**length**of each side will be measured in (space) atoms, and each side will be assigned an**integer**as its measure. (Each side will be*n*atomic units long, where*n*is a positive integer.)Now consider a square whose sides are some whole number of atoms long. How long is the

**diagonal**of the square?Since the diagonal of a square divides it into two right triangles, we get our answer from the Pythagorean theorem: the square of the hypotenuse of a right triangle = the sum of the squares of the other two sides:

*c*^{2}=*a*^{2}+*b*^{2}4:56 PM 7/6/02

So if a square is, e.g., 4 atoms long per side, then

*a*= 4 and*b*= 4.

So:*c*^{2}= 32 = 16 × 2.

So*c*= 4Ö2.**But this is an irrational number**. So no square whose sides are 4 atoms long can have a diagonal that is any whole number of atoms long!Note that the situation does not change if we suppose that the sides of the square are composed of a

**larger**number of even**smaller**“space atoms.” Even if the sides are**billions**of atoms long, the length of the hypotenuse will still be an irrational number of such atoms. Let*a*, the number of atoms in the side of a square, be as large as you like, and let*c*be the number of atoms in the hypotenuse;*c*will still be an irrational number, for*c*=*a*Ö2.So “atomistic geometry” seems inherently flawed. If we measure the sides of a square as a whole number (of atomic units), and we try to measure the diagonal as a whole number (of atomic units), we will never get the

**correct**answer to the question: “How long is the diagonal of a square?”**Zeno**’**s Paradox of the Arrow**:Zeno’s argument that an (apparently) moving arrow is really at rest throughout its flight seems easy to evade if one insists that space is continuous (and hence infinitely divisible). But an atomist who insists on theoretically indivisible atoms seems bound to deny that space is infinitely divisible. And Zeno’s Arrow Paradox poses an especially troubling problem for such an atomist.

For how will the arrow (or any object, in fact) move through an atomic space? Since the space cannot be divided, the tip of the arrow must advance from one end of the space to the other without ever having occupied any of the intervening space. At one moment,

*t*_{1}, it’s in one place,*p*_{1}; at some later moment,*t*_{2}, it’s in another place,*p*_{2}. But if you pick any time*t*that falls between_{i}*t*_{1}and*t*_{2}, the arrow is either still at*p*_{1}or already at*p*_{2}. It**never moves**from*p*_{1}to*p*_{2}, because the space from*p*_{1}to*p*_{2}is atomic and therefore cannot be divided.Although we cannot, of course, be certain that Zeno intended his Arrow Paradox specifically against the atomists, it constitutes a formidable objection to an “atomic” conception of space.

(Nevertheless, physicists are still enamored of the idea that space and time come in discrete “quanta” which cannot meaningfully be further sudivided, even conceptually. If you want proof, check out this New York Times article of December 7, 1999.)

- Finally, let us consider Democritus’s idea that atoms have
**shape**:- Democritus did not just think that atoms had magnitude. He thought that they had
**different**sizes, and**shapes**. And this seems to conflict with the idea that there are atomic sizes. For how could one atom be larger than another unless one of them were either larger than (or smaller than) the atomic size. - Perhaps Democritus thought that there was a smallest size atom, and the size of
**that**atom was the atomic unit of measurement. But if that atom has a**shape**, the view seems to unravel. Cf.**Furley**(p.**521**):

Democritus’ atoms had many variations in shape and size. There seems to be an inescapable contradiction here. If we take together a smaller atom and a larger one, we can always distinguish in the larger one that part which is covered by the smaller and that which is not. Even within the limits of a single atom, supposing it to be of a complex shape (say hook-shaped), we can always distinguish one part of the shape from another (say the hook from the shaft).

- Furley concludes that Democritus did, indeed, think of his atoms as being
**both**theoretically indivisible**and**differing in shape, and that his view was therefore internally inconsistent. - For more on this interpretation, see
**Guthrie**, vol.**2**, Appendix, pp.**503-7**.For an opposing view, cf.

**Barnes**,*Presocratics*,**352-360**. Barnes considers the idea that Democritean atoms are theoretically indivisible, in three different senses: conceptually, geometrically, and logically indivisible. He argues that the available texts do not adequately support the idea that atoms are theoretically indivisible, and concludes that the case has not been proven either way.

- Democritus did not just think that atoms had magnitude. He thought that they had

# Atomism

Advertisements