4 found
Order:
See also
Teruji Thomas
Oxford University
  1. Representation of Strongly Independent Preorders by Sets of Scalar-Valued Functions.David McCarthy, Kalle Mikkola & Teruji Thomas - 2017 - MPRA Paper No. 79284.
    We provide conditions under which an incomplete strongly independent preorder on a convex set X can be represented by a set of mixture preserving real-valued functions. We allow X to be infi nite dimensional. The main continuity condition we focus on is mixture continuity. This is sufficient for such a representation provided X has countable dimension or satisfi es a condition that we call Polarization.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  9
    Topics in Population Ethics.Teruji Thomas - 2016 - Dissertation, University of Oxford
    This thesis consists of several independent papers in population ethics. I begin in Chapter 1 by critiquing some well-known 'impossibility theorems', which purport to show there can be no intuitively satisfactory population axiology. I identify axiological vagueness as a promising way to escape or at least mitigate the effects of these theorems. In particular, in Chapter 2, I argue that certain of the impossibility theorems have little more dialectical force than sorites arguments do. From these negative arguments I move to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  55
    Non-Additive Axiologies in Large Worlds.Christian Tarsney & Teruji Thomas - manuscript
    Is the overall value of a world just the sum of values contributed by each value-bearing entity in that world? Additively separable axiologies (like total utilitarianism, prioritarianism, and critical level views) say 'yes', but non-additive axiologies (like average utilitarianism, rank-discounted utilitarianism, and variable value views) say 'no'. This distinction is practically important: additive axiologies support 'arguments from astronomical scale' which suggest (among other things) that it is overwhelmingly important for humanity to avoid premature extinction and ensure the existence of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  14
    Homotopy Type Theory and Structuralism.Teruji Thomas - 2014 - Dissertation, University of Oxford
    I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system which (...)
    Download  
     
    Export citation  
     
    Bookmark