A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS

DOI10.1017/S1755020321000332MaRDI QIDQ6041341zbMATH OpenOpenAlexFDO

Authors Wilfrid Hodges

Publication date 26 May 2023

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

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

zbMATH Keywords

syllogismcorrectness proofdecision methodmodel-theoretic consequencelogical diagram

Mathematics Subject Classification ID

History of mathematics in the Golden Age of Islam (01A30) Decidability of theories and sets of sentences (03B25)

Recommendations

• Two early Arabic applications of model-theoretic consequence
• scientific article; zbMATH DE number 4145841
• Necessity in Avicenna and the Arabic Tradition
• On the employment of geometrical diagrams for the sensible representation of logical propositions.
• scientific article; zbMATH DE number 1862470
• Tūsī on Avicenna’s Logical Connectives^∗
• scientific article; zbMATH DE number 5066364
• Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic
• The Arabic translation of Aristotle's First Analytics
• Diagrammatic Representation and Inference

Cites work

• scientific article; zbMATH DE number 2048513 (Why is no real title available?)
• A sixth century elementary introduction to logic
• Affirmative and negative in Ibn Sīnā
• Arabic logic from al-Fārābī to Averroes. A study of the early Arabic categorical, modal, and hypothetical syllogistics
• Maintaining knowledge about temporal intervals
• Minimal covers of finite sets
• Two early Arabic applications of model-theoretic consequence
• What is a syllogism?

Cited in

(1)

• Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic

This page was built for publication: A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS

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