scientific article; zbMATH DE number 5066364

MaRDI QIDQ5393643zbMATH OpenFDO

Authors Zia Movahed

Publication date 23 October 2006

zbMATH Keywords

Barcan formulasBuridan formulasquantified modal logic

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) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1547328
• Al-bīrūnī and The Mathematical Treatment of Observations
• The Foundations of Arithmetic in Ibn Sīnā
• Avicenna: mathematics and philosophy
• Ibn Sīnā and conflict in logic
• AVICENNA ON GRASPING MATHEMATICAL CONCEPTS
• scientific article; zbMATH DE number 1110556
• scientific article; zbMATH DE number 4137724
• ON SOME AMBIGUITIES IN IBN SĪNĀ’S ANALYSIS OF THE QUANTIFIED HYPOTHETICAL PROPOSITIONS
• THE LOGIC OF AVICENNA BETWEEN AL-QIYĀS AND MANṬIQ AL-MAŠRIQIYYĪN

Cited in

(6)

• On descriptional propositions in Ibn Sīnā: elements for a logical analysis
• scientific article; zbMATH DE number 1110556 (Why is no real title available?)
• Ibn Sīnā on reductio ad absurdum
• A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS
• The Barcan formulas and necessary existence: the view from quarc
• How did Avicenna understand the Barcan formulas?

This page was built for publication:

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