system
Given the following post, respond as if you're commenting on Reddit:
human
Do we know "xy is named "xy"" a priori?

If I am understanding Kripke correctly, this sentence would be synthetic and contingent.
gpt
We know xy is named "xy" a priori (although it is contingent -- it might have been named differently).

&#x200B;

Kripke takes a distance from analytic and synthetic notions in *Naming and Necessity*. His arguements are mostly about 'contingent a priori' or 'necessary a posteriori.'