Switch to: References

Citations of:

A precis of mathematical logic

Dordrecht, Holland,: D. Reidel Pub. Co. (1959)

Add citations

You must login to add citations.
  1. Granting Automata Human Rights: Challenge to a Basis of Full-Rights Privilege.Lantz Fleming Miller - 2015 - Human Rights Review 16 (4):369-391.
    As engineers propose constructing humanlike automata, the question arises as to whether such machines merit human rights. The issue warrants serious and rigorous examination, although it has not yet cohered into a conversation. To put it into a sure direction, this paper proposes phrasing it in terms of whether humans are morally obligated to extend to maximally humanlike automata full human rights, or those set forth in common international rights documents. This paper’s approach is to consider the ontology of humans (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.
    The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian geometry. We then introduce (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Schopenhauer’s Partition Diagrams and Logical Geometry.Jens Lemanski & Lorenz Demey - 2021 - In A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo & P. Viana (eds.), Diagrams 2021: Diagrammatic Representation and Inference. 93413 Cham, Deutschland: pp. 149-165.
    The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.
    Download  
     
    Export citation  
     
    Bookmark   4 citations