- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Brent Meeker <meekerdb.domain.name.hidden>

Date: Sat, 08 Nov 2008 14:55:52 -0800

A. Wolf wrote:

*>> So long as it is not self-contradictory I can make it an axiom of a mathematical
*

*>> basis. It may not be very interesting mathematics to postulate:
*

*>>
*

*>> Axiom 1: There is a purple cow momentarily appearing to Anna and then vanishing.
*

*>
*

*> I fear this is not an "axiom of a mathematical basis". :)
*

*>
*

*> The problem with improperly-founded axioms is the same problem
*

*> encountered with the naive set theory of Frege. You can't ever be
*

*> certain that a set of axioms isn't self-contradictory.
*

I can if there's no rule of inference. Perhaps that's crux. You are requiring

that a "mathematical structure" be a set of axioms *plus* the usual rules of

inference for "and", "or", "every", "any",...and maybe the axiom of choice too.

*>In fact,
*

*> Frege's unstated Axiom of Unrestricted Comprehension, which roughly
*

*> states "for any property P, there exists a set containing all and only
*

*> the things that satisfy that property", is self-contradictory by
*

*> itself.
*

Well not entirely by itself - one still needs the rules of inference to get to

Russell's paradox.

But then what is the justification for limiting "universes" to those which admit

the usual rule of inference? And remember that because of Godelian

incompleteness an infinite number of axioms can be added even to those universes

without running into contradictions.

Brent

--~--~---------~--~----~------------~-------~--~----~

You received this message because you are subscribed to the Google Groups "Everything List" group.

To post to this group, send email to everything-list.domain.name.hidden

To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden

For more options, visit this group at http://groups.google.com/group/everything-list?hl=en

-~----------~----~----~----~------~----~------~--~---

Received on Sat Nov 08 2008 - 17:55:57 PST

Date: Sat, 08 Nov 2008 14:55:52 -0800

A. Wolf wrote:

I can if there's no rule of inference. Perhaps that's crux. You are requiring

that a "mathematical structure" be a set of axioms *plus* the usual rules of

inference for "and", "or", "every", "any",...and maybe the axiom of choice too.

Well not entirely by itself - one still needs the rules of inference to get to

Russell's paradox.

But then what is the justification for limiting "universes" to those which admit

the usual rule of inference? And remember that because of Godelian

incompleteness an infinite number of axioms can be added even to those universes

without running into contradictions.

Brent

--~--~---------~--~----~------------~-------~--~----~

You received this message because you are subscribed to the Google Groups "Everything List" group.

To post to this group, send email to everything-list.domain.name.hidden

To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden

For more options, visit this group at http://groups.google.com/group/everything-list?hl=en

-~----------~----~----~----~------~----~------~--~---

Received on Sat Nov 08 2008 - 17:55:57 PST

*
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:15 PST
*