Ibn Sīnā on reductio ad absurdum

DOI10.1017/S1755020316000290MaRDI QIDQ5357330zbMATH OpenOpenAlexFDO

Authors Wilfrid Hodges

Publication date 15 September 2017

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020316000290

Mathematics Subject Classification ID

History of mathematics in the Golden Age of Islam (01A30) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic
• Ibn Sīnā and conflict in logic
• scientific article; zbMATH DE number 5066364
• DÉMONSTRATION PAR L'ABSURDE OU DÉMONSTRATION DIRECTE: AL-SIJZĪ, SUR L'INCOMMENSURABILITÉ DE LA DIAGONALE AVEC LE CÔTÉ
• scientific article; zbMATH DE number 53325

Cites work

• Affirmative and negative in Ibn Sīnā
• Ibn Sīnā and conflict in logic
• Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic
• Notes on the history of scope
• Traditional logic, modern logic and natural language

Cited in

(3)

• Logical consequence in Avicenna's theory
• Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic
• The peripatetic program in categorical logic: Leibniz on propositional terms

This page was built for publication: Ibn Sīnā on reductio ad absurdum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5357330)