论文信息 - IBN SĪNĀ ON REDUCTIO AD ABSURDUM

IBN SĪNĀ ON REDUCTIO AD ABSURDUM

This paper studies the analysis of reductio ad absurdum by Ibn Sı̄nā (known to the Latin West as Avicenna), who was born in 980 in a village near the Bactrian town of Balkh on the Silk Road, and died in 1037 after a career spent moving around within the present boundaries of Iran. References to Ibn Sı̄nā’s writings are to his Arabic texts listed in the bibliography, and are given in the format page.line. References to the text translated from Qiyās [14] at the end of this paper are marked with an asterisk ?.

Wilfrid Hodges | W. Hodges

[1] Wilfrid Hodges,et al. Traditional Logic, Modern Logic and Natural Language , 2009, J. Philos. Log..

[2] J. Marenbon. The Oxford handbook of medieval philosophy , 2012 .

[3] W. Hodges. Ibn Sīnā and Conflict in Logic , 2011 .

[4] C. Meyns. The Oxford Handbook of Medieval Philosophy , 2014 .

[5] D. Gutas. The Empiricism of Avicenna , 2012 .

[6] Wilfrid Hodges. Notes on the History of Scope , 2015, Logic Without Borders.

[7] Douglas Patterson,et al. New essays on Tarski and philosophy , 2008 .

[8] Ludwig Bieberbach,et al. Jahresbericht der Deutschen Mathematikervereinigung , 1928 .

[9] A. Tarski,et al. Sur les ensembles définissables de nombres réels , 1931 .

[10] W. Hodges,et al. Arabic Logic up to Avicenna , 2016 .

[11] Wilfrid Hodges. Tarski's Theory of Definition , 2008 .

[12] Nicholas L. Heer. Al-Fārābī's Commentary and Short Treatise on Aristotle’s De Interpretatione , 1986 .

[13] S. Lie. Über die Grundlagen der Geometrie , 1967 .

[14] Wilfrid Hodges,et al. Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic , 2010, Fields of Logic and Computation.

[15] Wilfrid Hodges. The Laws of Distribution for Syllogisms , 1998, Notre Dame J. Formal Log..

[16] A. Ivry. Al-Farabi’s Commentary and Short Treatise on Aristotle’s De Interpretatione , 1988 .