The Functional Approach

One avenue that is, in my view, open to the proponent of TWI is to say that the individual is a function that picks out different accidental properties at every world. Let us imagine that there is a set of functions F of which f is part that picks out the properties $,* and #, where these properties are true in a given world, 1,2 or 3.This approach was first talked about by Jaako Hintikka in his "Semantics for Modal Propositions". Now, we might say that the "individual" is this set and the members of this set are different proper names that refer to different properties in any given world. Ultimately this is an amalgamation of the approaches of Jaako Hintikka and Saul Kripke insofar as Kripke's origin thesis is understood to be analogous to what is characteristic of the members of F.