scientific article; zbMATH DE number 5066364

MaRDI QIDQ5393643zbMATH OpenFDO

Authors Zia Movahed

Publication date 23 October 2006

zbMATH Keywords

quantified modal logicBarcan formulasBuridan formulas

Mathematics Subject Classification ID

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

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
• Publication:3470431
• 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

(5)

• 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?
• On descriptional propositions in Ibn Sīnā: elements for a logical analysis

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)