Switch to: References

Add citations

You must login to add citations.
  1. Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems.Antonielly Garcia Rodrigues & Eduardo Mario Dias - manuscript
    Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery of first-order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Computation of Aristotle's and gergonne's syllogisms.S. N. Furs - 1987 - Studia Logica 46 (3):209 - 225.
    A connection between Aristotle's syllogistic and the calculus of relations is investigated. Aristotle's and Gergonne's syllogistics are considered as some algebraic structures. It is proved that Gergonne's syllogistic is isomorphic to closed elements algebra of a proper approximation relation algebra. This isomorphism permits to evaluate Gergonne's syllogisms and also Aristotle's syllogisms, laws of conversion and relations in the "square of oppositions" by means of regular computations with Boolean matrices.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Search for syllogistic structure of semantic information.Marcin J. Schroeder - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):83-103.
    The study of information based on the approach of Shannon was detached from problems of meaning. Also, it did not allow analysis of the structural characteristics of information, nor describe the way structures carry information. An outline of a different theory of information, including its semantics, was earlier proposed by the author. This theory was using closure spaces to model information. In the present paper, structures (called syllogistics) underlying syllogistic reasoning as well as ethnoscientific classifications are identified together with the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation