31 Mar '05 21:10>
Originally posted by DoctorScribblesO.K., we're in agreement. Nothing hinges on this, as far as the argument is concerned. I could have expressed the definitions as axioms (e.g., God exists if and only if He can do anything that is logically possible).
That proposition expresses a definition, but depending on the axioms of the system in which that proposition lives, it could have a value of 'true' or 'false'. You can't simply make it be 'true' because it expresses a definition, for you may be able to deduce its falsehood from the axioms.
Contrast this with what I mean by 'definition'. ...[text shortened]... n' entails that definitions have truth values with respect to the
other axioms of the system.