Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Handbook of the history of logic.Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.) - 2004 - Boston: Elsevier.
    Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Handbook of the History of Logic.Dov M. Gabbay & John Woods - 2004 - Bulletin of Symbolic Logic 10 (4):579-583.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.M. Abraham, Dov M. Gabbay & U. Schild - 2009 - Studia Logica 92 (3):281-364.
    We motivate and introduce a new method of abduction, Matrix Abduction, and apply it to modelling the use of non-deductive inferences in the Talmud such as Analogy and the rule of Argumentum A Fortiori. Given a matrix $${\mathbb {A}}$$ with entries in {0, 1}, we allow for one or more blank squares in the matrix, say a i,j =?. The method allows us to decide whether to declare a i,j = 0 or a i,j = 1 or a i,j =? (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations