Modalidades e identidade transmundana =Modalities and transworld identity

Modelos baseados em mundos possíveis têm demonstrado ser muito úteis na interpreta o de express es modais. No entanto, há uma diferen a na maneira em que matemáticos e filósofos podem usar tais modelos. O matemático os constrói para servir os seus propósitos, determinando assim as suas propriedades. O filósofo, por outro lado, n o tem tanta liberdade. O seu objetivo, que é o de obter uma melhor compreens o da linguagem, lhe imp e limites. Nem tudo pode ser estipulado. Esse fato às vezes é esquecido. Um exemplo disso é o uso quase irrestrito da no o de identidade transmundana em explica es e discuss es filosóficas. O primeiro objetivo do artigo é mostrar que tal uso irrestrito é ilegítimo. Por outro lado, seria importante manter a possibilidade de usar a no o. O segundo objetivo do artigo é precisamente mostrar como isso pode ser conseguido. O tipo de estrutura que parece mais adequado para dar conta de como modalidades s o aplicadas a particulares é ent o explicitado, aplica es formais do modelo s o brevemente apresentadas e as condi es de aplica o da no o de identidade transmundana na interpreta o da linguagem natural s o consideradas. Models based on possible worlds have proved to be very useful in the interpretation of modal expressions. However, there is a difference in the way that mathematicians and philosophers may use such models. The mathematician constructs them to serve his own purposes and thereby determines their properties. The philosopher, on the other hand, does not have so much freedom. His objective, which is to achieve a better understanding of language, puts limits on this. Not everything can be stipulated. This fact is sometimes forgotten. An example of this is the almost unrestricted use of the notion of transworld identidy in philosophical explanations and discussions. The first objective of the article is to show that this unrestricted use is illegitimate. On the other hand, it would be important to maintain the possibility of using the notion. The second objective of the article is precisely to show how this can be achieved. The kind of structure which appears to be most appropriate to account for how modalities are applied to particulars is then made explicit, formal applications of the proposed model are briefly presented, and the conditions for the application of the notion of transworld identity in the interpretation of natural language are considered.