Re: Object-oriented thinking in SQL context?

On 20 juin, 14:40, Roy Hann <specia...@xxxxxxxxxxxxxxxxxxxxx> wrote:
Cimode wrote:
Snipped
Actually whether one likes it or not, even the most cold-hearted and
steely-eyed rationalist eventually has to just believe things.  

The
trick is to keep beliefs to a minimum. Some of my beliefs include
believing that the rules of first-order predicate logic can never fail,
and that those rules are the same everywhere in the universe always.  I
have a few more, and so do you (and Bob) if you look deep.  (None of
this is to defend any claim that Bob "believes" some particular thing.)
In math, the process of formulating basic beliefs, that are reasonable
to either admit or observe, is called axiom formulations.

I generally agree with this, although I might quibble at your
requirement for reasonableness.  Asserting axioms is just giving notice
of what is not open to discussion.  I can be as whimsical as a like
about my axioms (although I might find no one is willing to play with
me if I take it too far).
I do not see how you could quibble with my requirements for
*reasonableness* since I have not formulated them....yet ;)).

For terminology, please check http://en.wikipedia.org/wiki/Axiom . I
particularly like the difference between an *axiom *(that can not be
denied) and a *postulate* that only serves the purpose of building a
reasonning upon. For an incurable unbeliever such as myself, X+0 = X
is an axiom example while *God exists* remains a postulate.

To me, *reasonable* is a good word for designating what may is
acceptable to somebody of average intelligence, assuming such person
has a common understanding and perception of that fact. This
definition is very strongly inspired by philosophy.

My two cents...
Roy

.

Relevant Pages

  • Re: Global Warming
    ... ought to demonstrate the scientific basis for their beliefs. ... we'd be doing most of the things your "beloved leftists" would ... believe it because of your very reasonableness but that is the case. ...
    (rec.bicycles.racing)
  • Re: Consumed by the irrelevant
    ... There is no planted axiom in the question you ... deleted, "If Joe wants infants to not be persons, is it OK for Joe to ... I disagree with the analogy, ... What if your beliefs had to do with what god we all shall worship, ...
    (misc.news.internet.discuss)
  • Re: Another Reason Why Collatz is Unprovable
    ... There are no reasonable axiom systems in that sense. ... theory" a mathematical characterization of reasonableness is required. ... problem you have to specify what the problem is. ... Anyone who disputes this axiom is fooling himself or herself. ...
    (sci.math)
  • Re: Another Reason Why Collatz is Unprovable
    ... There are no reasonable axiom systems in that sense. ... formal theory ever put forth in logic has been doubted by someone. ... theory" a mathematical characterization of reasonableness is required. ... An axiom that I am using in my Collatz paper ...
    (sci.math)
  • Re: Another Reason Why Collatz is Unprovable
    ... formal theory ever put forth in logic has been doubted by someone. ... theory" a mathematical characterization of reasonableness is required. ... axiom or more likely the misunderstanding of this axiom. ... this does not make it an unreasonable axiom - they could reject a=a as ...
    (sci.math)