Article contents
IBN SĪNĀ ON REDUCTIO AD ABSURDUM
Published online by Cambridge University Press: 17 October 2016
Abstract
Ibn Sīnā (11th century, greater Persia) proposed an analysis of arguments by reductio ad absurdum. His analysis contains, perhaps for the first time, a workable method for handling the making and discharging of assumptions in a formal proof. We translate the relevant text of Ibn Sīnā and put his analysis into the context of his general approach to logic.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2016
References
BIBLIOGRAPHY
- 6
- Cited by