Order:
See also
Joop Leo
Utrecht University
  1.  68
    On the Termination of Russell’s Description Elimination Algorithm.Clemens Grabmayer, Joop Leo, Vincent van Oostrom & Albert Visser - 2011 - Review of Symbolic Logic 4 (3):367-393.
    In this paper we study the termination behavior of Russell’s description elimination rewrite system. We discuss certain claims made by Kripke (2005) in his paper concerning the possible nontermination of elimination of descriptions.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  2. Modeling Relations.Joop Leo - 2008 - Journal of Philosophical Logic 37 (4):353 - 385.
    In the ordinary way of representing relations, the order of the relata plays a structural role, but in the states themselves such an order often does not seem to be intrinsically present. An alternative way to represent relations makes use of positions for the arguments. This is no problem for the love relation, but for relations like the adjacency relation and cyclic relations, different assignments of objects to the positions can give exactly the same states. This is a puzzling situation. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  71
    Relational Complexes.Joop Leo - 2013 - Journal of Philosophical Logic 42 (2):357-390.
    A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  28
    Modeling Occurrences of Objects in Relations.Joop Leo - 2010 - Review of Symbolic Logic 3 (1):145-174.
    We study the logical structure of relations, and in particular the notion of occurrences of objects in a state. We start with formulating a number of principles for occurrences and defining corresponding mathematical models. These models are analyzed to get more insight in the formal properties of occurrences. In particular, we prove uniqueness results that tell us more about the possible logical structures relations might have.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  40
    The Identity of Argument-Places.Joop Leo - 2008 - Review of Symbolic Logic 1 (3):335-354.
    Argument-places play an important role in our dealing with relations. However, that does not mean that argument-places should be taken as primitive entities. It is possible to give an account of relations in which argument-places play no role. But if argument-places are not basic, then what can we say about their identity? Can they, for example, be reconstructed in set theory with appropriate urelements? In this article, we show that for some relations, argument-places cannot be modeled in a neutral way (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  30
    Thinking in a Coordinate-Free Way About Relations.Joop Leo - 2014 - Dialectica 68 (2):263-282.
    How we talk about relations has a great influence on how we think about relations. By saying that Spain defeated the Netherlands we obviously say something entirely different from saying that the Netherlands defeated Spain. This makes many of us think that in the underlying relation itself one of the relata comes first and the other comes second. However, there are good reasons to view the order as a representational artifact. In this paper I present a new logic that allows (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  8
    Coordinate-Free Logic.Joop Leo - 2016 - Review of Symbolic Logic 9 (3):522-555.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. CONGRESBESPREKING-De schoonheid van de wiskunde.Joop Leo - 2009 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 101 (3).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. De schoonheid van de wiskunde.Joop Leo - 2009 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 101 (3):226-229.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Gödel 100 jaar.Joop Leo - 2007 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 1.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark