A More Formal Approach Detracting from the Simulation Argument

Brian Weatherson's approach has implications for the self-indication assumption mode of argumentation in general; specifically, he addresses claims on why and whether certain properties (like being human) can be exempted.