I’m a Postdoctoral Research Fellow at Oxford University’s Global Priorities Institute.
Previously, I was a Philosophy Fellow at the Center for AI Safety.
So far, my work has mostly been about the moral importance of future generations. Going forward, it will mostly be about AI.
You can email me at elliott.thornley@philosophy.ox.ac.uk
Thanks! This is a really cool idea and I’ll have to think more about it. What I’ll say now is that I think your version of lexical totalism violates RGNEP and RNE. That’s because of the order in which I have the quantifiers. I say, ‘there exists p such that for any k...’. I think your lexical totalism only satisfies weaker versions of RGNEP and RNE with the quantifiers the other way around: ‘for any k, there exists p...’.