7 found
Sort by:
  1. Joop Leo (2014). Thinking in a Coordinate‐Free Way About Relations. 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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Joop Leo (2013). Relational Complexes. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Clemens Grabmayer, Joop Leo, Vincent van Oostrom & Albert Visser (2011). On the Termination of Russell's Description Elimination Algorithm. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Joop Leo (2010). Modeling Occurrences of Objects in Relations. 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.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Joop Leo (2009). CONGRESBESPREKING-De schoonheid van de wiskunde. Algemeen Nederlands Tijdschrift Voor Wijsbegeerte 101 (3).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Joop Leo (2008). Modeling Relations. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Joop Leo (2008). The Identity of Argument-Places. 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 (...)
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation