[FOM] Naturality of Con(ZFC)
Vaughan Pratt
pratt at cs.stanford.edu
Thu Jan 17 23:43:01 EST 2013
(6) Somewhere there has to be a non sequitur in the following.
On 1/15/2013 10:07 AM, MartDowd at aol.com wrote:
> This posting is in response to Vaughn Pratt's comment:
> > Meanwhile I will continue to ponder the possibility you raise that
> > consistency of ZFC is unnatural.
Martin then advances evidence (5) for the naturality of Con(ZFC).
My comment above, which I'll number (4), was in response to Harvey's (3)
"Con(ZFC) is not a natural principle when thinking about rainbows,
horizons, and beauty." This in turn was Harvey's response to my (2)
"I'm not sure I understand your conjecture, Harvey. Which of its
conditions are not met by the principle Con(ZFC)?" Harvey's conjecture
was (1) "In ANY informal conceptual environment, we can formulate
principles that are natural and sensitive and plausible in that
environment, which are mutually interpretable with ZFC, and weak
andstrong variants of ZFC."
Since my (2) was based on my long-held *unconditional* acceptance of the
naturality of Con(ZFC), which (5) would appear to greatly strengthen, my
naive analysis is that the non sequitur happened at (3). But perhaps
something deeper is going on here that I've overlooked, maybe a biblical
reference (aleph), or an in-joke (omega), or something else.
Vaughan Pratt
More information about the FOM
mailing list