William Heytesbury

Heytesbury wurde vor 1313 geboren, vermutlich im County Wiltshire, Diözese Salisbury. Im Jahre 1330 wurde er am Merton College zum Fellow ernannt. Er amtierte 1338/1339 als Erster Finanzverwalter (Bursar) am Merton College, und obwohl er auch ein Fellow am Queen’s College im Jahre 1340 wurde, kehrte er ans Merton College zurück. 1348 promovierte er zum Doktor der Theologie. 1371 bis 1372 war er Chancellor der Universität Oxford.

Er starb im Winter 1372/1373.

In seiner Arbeit wandte er logische Verfahren zu den Problemlösungen der Unendlichen Teilbarkeit, des Kontinuums und der Kinematik an. Er bearbeitete diese logischen Probleme, indem er die Suppositionstheorie auf die logische Darstellung problematischer Aussagen (Sophismen) anwendete.

Seine Arbeiten hatten Einfluss auf die Entwicklung der frühen modernen Wissenschaften. Er entwickelte das Mean Speed Theorem (Berechnung der Distanz in einem Zeitraum unter einheitlicher Beschleunigung) und war Wegbereiter der mathematischen Analyse des Kontinuums des 19. Jahrhunderts (z. B. Finite-Elemente-Methode).

Heytesburys Hauptwerk war Regulae solvendi sophismata (Rules for Solving Sophisms) (1335).

Konstanten, Variablen und Funktionen der Prädikatenlogik:
∀ = ein Existenzquantor
∃ = ein Universalquantor

• Gegenwärtiges existiert zwischen Vorherigem und Zukünftigem:
  ∀x → ∃y    (Als Variablen: x = "eine Zeit nach dem Jetzt", y = "eine Zeit vor dem Jetzt")
• Der Mensch lebt in einem Kontinuum oder Individuen existieren zwischen Vorherigem und Zukünftigem:
  ∀x → ∃y    (Als Variablen: x = "eine Zeit nach dem Gegenwärtigen", y = "ein Mensch" — Folgerung: y existiert in x)

Heytesburys Werke beeinflussten das Wirken folgender Wissenschaftler:

• Pietro Alboini da Mantova (auch: Petri Alboini Mantuani, Pietro degli Alboini da Mantova) († 1400), De Instanti und Logica
• Paulus Venetus († 1429), Summa Naturalium und Sophismata
• Kajetan von Thiene (1387–1465), Heytesbury Kommentare (ca. 1422–1430)
• Paolo da Pergola († 1456), Heytesbury Kommentare

• 1335 Regulae solvendi sophismata. (Rules for Solving Sophisms)
  • 1. On insoluble sentences. (Selbst-referenzierende Paradoxien)
  • 2. On knowing and doubting. (Wissen und Zweifel und deren inhaltliche Zusammenhänge)
  • 3. On relative terms. (Voraussetzungen der Relativpronomen)
  • 4. On beginning and ceasing. (Anfangen und Aufhören)
  • 5. On maxima and minima. (Grenzen der Kapazität)
  • 6. On the three categories. (Geschwindigkeit und Beschleunigung in Beziehung zu Ort, Quantität und Qualität)
• De probationibus conclusionum tractatus regularum solvendi sophismata. (On the Proofs of Conclusions from the Treatise of Rules for Resolving Syllogisms.) Pavia 1483
• De sensus composito et diviso. (On the Compound and Divided Senses.) Bonetus Locatellus (Hrsg.) (1483)
• De veritate et falsitate propositionis. (Truth and Falsehood of Premises.) Bonetus Locatellus (Hrsg.) (1483)
• De tribus praedicamentis.
• Liber Calculationum.

• Norman Kretzmann, Anthony Kenny & Jan Pinborg (Hrsg.): The Cambridge History of Later Medieval Philosophy. 1982.
  • Edith Sylla: The Oxford Calculators.
  • John Murdoch: Infinity and Continuity.
• John Longeway: William Heytesbury. In: The Stanford Encyclopedia of Philosophy. 2003.
• Curtis Wilson: William Heytesbury. Medieval Logic and the Rise of Mathematical Physics. University of Wisconsin Press, Madison 1956.

• The Stanford Encyclopedia of Philosophy: William Heytesbury.
• Faksimiles der Werke Heytesburys in der Biblioteca de la Universidad de Sevilla