Two early Arabic applications of model-theoretic consequence

DOI10.1007/S11787-018-0187-6MaRDI QIDQ1653548zbMATH OpenOpenAlexWikidataFDO

Authors Wilfrid Hodges

Publication date 6 August 2018

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-018-0187-6

zbMATH Keywords

Arabic logiclogic diagrammodel-theoretic consequence

Mathematics Subject Classification ID

Mathematics and visual arts (00A66) History of mathematics in the Golden Age of Islam (01A30) Applications of model theory (03C98)

Recommendations

• Arabic logic from al-Fārābī to Averroes. A study of the early Arabic categorical, modal, and hypothetical syllogistics
• scientific article; zbMATH DE number 2171647
• The Arabico-Islamic background of Al-Fārābī's logic
• \textit{Syncategoremata} in Arabic logic, al-Fārābī and Avicenna
• Tarski on models and logical consequence
• scientific article; zbMATH DE number 823598
• Logical Oppositions in Arabic Logic: Avicenna and Averroes
• scientific article; zbMATH DE number 2171648
• The beginning of model theory in the algebra of logic

Cites work

• A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn
• scientific article; zbMATH DE number 3269000 (Why is no real title available?)

Cited in

(7)

• Universal logic: evolution of a project
• Impossible antecedents and their consequences: some thirteenth-century Arabic discussions
• Medieval Arabic Notions of Algorithm: Some Further Raw Evidence
• Schopenhauer's Eulerian diagrams
• A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS
• Ex incompatibilitate sequitur quodlibet (The explosiveness of incompatibility and the compatibility of negation)
• Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition

This page was built for publication: Two early Arabic applications of model-theoretic consequence

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