Many-sorted logic translations collapse intensional distinctions when modal operators are encoded as predicates over sort-restricted domains (cf. Fitting's concerns about intensional contexts).

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

Fitting, Melvin(referenced expert on the problem): A logician and philosopher who studied how modal logic (logic about possibility and necessity) works, especially when dealing with meaning and context.
Intensional contexts(technical expansion of sense and reference): Situations in language where you can't simply swap two expressions that refer to the same thing without changing the meaning—like how 'I want to marry the morning star' doesn't mean the same as 'I want to marry the evening star,' even though both refer to Venus.
Intensional distinctions(what mereological extensionality fails to distinguish): Differences in meaning or how something is understood, rather than differences in what physical parts or objects are involved.
Predicates(in logic and philosophy of language): Words or phrases that describe properties or characteristics of something—like 'is red' or 'is tall' in the sentence 'The ball is red.'

Based on where you are in your exploration