這篇論文能夠在學術雜志上發(fā)表，很重要的原因就是這個假說居然是正確的。螞蟻找家行為的表現(xiàn)與這一理論的預測是一模一樣的。在這里，我們看到了研究的第三步和第四步。
　　如果說研究的第一步是觀察現(xiàn)象、提出問題，第二步是提出假說、提出理論，那么研究的第三步就是從假說和理論出發(fā)，從其內在的邏輯出發(fā)，去作出一系列的預測。這一系列的預測本身是基于理論的內在邏輯推演出來的。
　　由理論所推導出來的預測必須是明確的、可以觀察的和排他性的。顯然，螞蟻腿的長度被控制以后，其找家行為的變化是明確的和可以觀察的。同時，這一預測只有計步器理論可以作出，其他競爭性理論是無法作出的。在此意義上，這一預測是排他性的。
　　研究的第四步就是系統(tǒng)性地搜集經驗、事實和證據(jù)，并把這些經驗、事實和證據(jù)同理論的預測相對照。
　　如果理論的所有預測都能夠和經驗事實一致起來，那么我們就接受這個理論；如果理論的預測和經驗事實不一致，那么我們就推翻這個理論，去尋求一個新的理論。
　　這就是我們迄今所知道的所有科學研究的四個步驟。這四個步驟是缺一不可的，關于它們的重要性，我們再舉另一個例子。
　　二、“重的物體比輕的物體下落得更快”
　　在古希臘時期，人們很喜歡辯論。為了支持辯論技巧，一部分人發(fā)展了非常發(fā)達的形式邏輯。形式邏輯在此后上千年時間里的發(fā)展水平都很難超過古希臘。形式邏輯在那個時代的典范也許應該是歐氏幾何。
　　歐氏幾何基于一系列非常簡單的假設，就可以推演出非常龐大、非常密實的命題體系。
　　古希臘學者在那個時代就試圖論證“地球是圓的”，并提出了一系列的證據(jù)，他們還以幾何學為基礎去估算地球的周長。即使以現(xiàn)代的眼光來看，這樣的估算成就也是很了不起的。
　　……