When we examine the history of astronomy up to the end of the seventeenth century by considering the relation between mathematical astronomy and natural philosophy, it has been argued that there were two groups of philosophers and astronomers: instrumentalists and realists. However, this classification is deficient when we consider attitudes toward the explanatory power of mathematics in determining astronomical theories. I offer the solution of dividing realists into two subcategories—mathematical realists and physical realists. Mathematical realists include those who thought mathematics (...) could provide the real motions of celestial bodies. The physical realists, who include Ibn Rushd (Averroës), believed mathematics could not provide us with the real structure of the heavens. To avoid contradictions between the physical and mathematical models, the physical realists held that a mathematical model of the heavens should be designed by considering physics. I argue, in this article, that Francis Bacon can be considered a physical realist. (shrink)

According to the received view (Bocheński, Kneale), from the end of the fourteenth to the second half of nineteenth century, logic enters a period of decadence. If one looks at this period, the richness of the topics and the complexity of the discussions that characterized medieval logic seem to belong to a completely different world: a simplified theory of the syllogism is the only surviving relic of a glorious past. Even though this negative appraisal is grounded on good reasons, it (...) overlooks, however, a remarkable innovation that imposes itself at the beginning of the sixteenth century: the attempt to connect the two previously separated disciplines of logic and mathematics. This happens along two opposite directions: the one aiming to base mathematical proofs on traditional (Aristotelian) logic; the other attempting to reduce logic to a mathematical (algebraical) calculus. This second trend was reinforced by the claim, mainly propagated by Hobbes, that the activity of thinking was the same as that of performing an arithmetical calculus. Thus, in the period of what Bocheński characterizes as ‘classical logic’, one may find the seeds of a process which was completed by Boole and Frege and opened the door to the contemporary, mathematical form of logic. (shrink)