Copyright (C) 2019 Dennis Joe Darland
… it may be that believes(Quine, iPlanet, iJupiter)
Quine would express this as says(Quine, “Planet”, “Jupiter”)
Quine would be expressing his belief if
[for Quine]
“Planet” P i”Is_a_Planet”
“Jupiter” P i”Jupiter”
i”Is_a_Planet” R iPlanet
i”Jupiter” R iJupiter
The belief would be understood if, in addition.
iPlanet S Planet
iJupiter S Jupiter
and
Planet(Jupiter) or not Planet(Jupiter)
The last of these is necessary, if natures of Planet and Jupiter make it so.
And it thus cannot be nonsense!
Return to Dennis Joe Darland