Let’s look at these two statements:
1. PJF is PJF. (Grammatically)
p=p (Logically)
Necessarily true.
Trivial
2. PJF is the author of Riders of the Purple Wage. (Grammatically)
Ǝx [Axr & ∀y(Ayr →y=x) & x=p] (Logically)
Contingently true.
Informative.
Learn more about Philip Jose Farmer @ PJFarmer.com.
