Proof in Natural Philosophy from Antiquity to the Early Modern Period

Invitation.pdf

Thursday 21

9:15–13:00 chair Pavel Gregorić

Klaus Corcilius, The eikos logos as a sort of proof in Plato’s Timaeus 

Hynek Bartoš & Vojtěch Linka, The construction of evidence in early Greek medicine

R. J. Hankinson, Mathematics and physics in Aristotle’s theory of the ether

15:00–17:30 chair István Bodnár

Lucas Angioni, Explanation and hoti-refinement in Aristotle’s Incessu Animalium

Matyáš Havrda, Proof and experiment in Galen

Friday 22

9:15–13:00 chair Vojtěch Hladký

David Bronstein, Aristotle on demonstration and necessity: From Themistius to Zabarella

Jacqueline Feke, Proclus’ excoriation of the eccentric and epicyclic models of planetary motion

Riccardo Strobino, Void check: On the logic of necessarily empty terms and indirect proof in Avicenna’s natural philosophy

15:00–17:30 chair Matjaž Vesel

Elżbieta Jung, Mathematics and logic as methods of doing natural science by Richard Kilvington and his followers: Oxford Calculators

Sylvain Roudaut, Proof across disciplines: The use of mathematical principles in the medieval science of weights

Saturday 23

9:15–13:00 chair Miroslav Hanke

Fabrizio Bigotti, Visualisation as proof: The use of schemes and diagrams in medical theory (1300–1500)

Dana Jalobeanu, Bacon’s induction and the construction of “science”

Matjaž Vesel, Galileo Galilei’s “necessary demonstrations”

15:00–17:30 chair Fabrizio Bigotti

Sophie Roux, Crucial experiments and the reductio ad absurdum in the 17th century

Ladislav Kvasz, On Newton’s proof of the law of gravity from Kepler’s laws. The debate from Pierre Duhem to Bernard Cohen and Steffen Ducheyne

The conference is supported by a grant from the Jan Amos Komenský Operational Programme of the Ministry of Education, Youth and Sports, CZ.02.01.01/00/23_025/0008711.

Programme pdf