Order:
  1. 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   12 citations  
  3.  65
    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   6 citations  
  4.  51
    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  
     
    Export citation  
     
    Bookmark   3 citations  
  5. 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   3 citations  
  6.  34
    Coordinate-free logic.Joop Leo - 2016 - Review of Symbolic Logic 9 (3):522-555.
    A new logic is presented without predicates—except equality. Yet its expressive power is the same as that of predicate logic, and relations can faithfully be represented in it. In this logic we also develop an alternative for set theory. There is a need for such a new approach, since we do not live in a world of sets and predicates, but rather in a world of things with relations between them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. (1 other version)CONGRESBESPREKING-De schoonheid van de wiskunde.Joop Leo - 2009 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 101 (3).
    No categories
     
    Export citation  
     
    Bookmark  
  8. Gödel 100 jaar.Joop Leo - 2007 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 1.
    No categories
     
    Export citation  
     
    Bookmark