Re: Lowenheim-Skolem Theorem Result?



On 2007-03-27, Peter_Smith wrote:
Hmmmmmm: the L-S theorem is not philosophically insignificant. For a
start, it causes serious trouble for otherwise tempting philosophical
views along the lines of "The axioms of first-order ZFC entirely fix
the references of the central concepts of set theory".

Why would anyone espouse such a doctrine? What's there to tempt one?

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.



Relevant Pages

  • Re: [PATCH][RFC][resend] potential NULL pointer deref in XFS on failed mount
    ... Not the right fix - we should only be trying to free valid ... As to the afore-mentioned leaks, if we fail to allocate a realtime ... buftarg, then we will leak a reference to both the rtdev and logdev, ... To remove the bdev references we may have gained earlier. ...
    (Linux-Kernel)
  • Re: Selling my boat w/mo. payments
    ... I agree with your daughter let him fix his problems then come back. ... > references, and rent references. ... > identity fraud and thus unable to finance through a bank. ...
    (rec.boats)
  • Re: Print/Email command buttons no longer work
    ... Check that none of you references are missing. ... In a VBA window click Tools, ... References and fix any that show as missing. ...
    (microsoft.public.access.forms)
  • Re: User control in Windows Forms
    ... Check the references to see if there is any error, ... > An error occurred while loading the document. ... Fix the error, and then try ... The error message follows: ...
    (microsoft.public.dotnet.framework.windowsforms)
  • Re: Linux 2.6.11
    ... > o genhd: NULL checking fix ... > David Howells: ... > o sonicvibes: fix initdata references ... send the line "unsubscribe linux-kernel" in ...
    (Linux-Kernel)