Path: news.cambrium.nl!textnews.cambrium.nl!feeder8.cambrium.nl!feed.tweaknews.nl!209.197.12.246.MISMATCH!nx02.iad01.newshosting.com!newshosting.com!69.16.185.11.MISMATCH!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!postnews.google.com!i6g2000yqj.googlegroups.com!not-for-mail
From: cimode@hotmail.com
Newsgroups: comp.databases.theory
Subject: Re: Relation subset operators
Date: Sat, 6 Jun 2009 09:08:34 -0700 (PDT)
Organization: http://groups.google.com
Lines: 42
Message-ID: <850fb430-7f4f-4de6-87c8-3f45afa1b255@i6g2000yqj.googlegroups.com>
References: <a8c68252-4821-48d7-bf18-58f2d2135687@3g2000yqk.googlegroups.com> 
 <902889ae-7034-4a6a-a619-a911feb0957a@o20g2000vbh.googlegroups.com> 
 <7ecec67a-6c2b-459f-b0c9-1ff33428c017@t21g2000yqi.googlegroups.com> 
 <R6cWl.30705$PH1.25658@edtnps82> <53d6afdb-36b2-4fd9-a12f-3a7fdbc2f636@b1g2000vbc.googlegroups.com> 
 <UwdWl.30733$PH1.215@edtnps82> <5b0a9d7b-2940-4e97-8e9a-9a283b0a2d71@o14g2000vbo.googlegroups.com> 
 <DGeWl.30757$PH1.26216@edtnps82> <zPeWl.30762$PH1.11177@edtnps82> 
 <007d0b6a-8698-4311-8628-b3f202f80a8d@s16g2000vbp.googlegroups.com> 
 <C%sWl.29655$Db2.15780@edtnps83> <420806fa-a238-4271-b4e6-620b4eb09bb7@g19g2000yql.googlegroups.com> 
 <WkwWl.29664$Db2.26421@edtnps83>
NNTP-Posting-Host: 82.230.226.33
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1244304514 26527 127.0.0.1 (6 Jun 2009 16:08:34 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 6 Jun 2009 16:08:34 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: i6g2000yqj.googlegroups.com; posting-host=82.230.226.33; 
 posting-account=ICwiDwoAAADmc5U6HcJXmtqEzRkHXlWU
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_6; fr-fr) 
 AppleWebKit/525.18.1 (KHTML, like Gecko) Version/3.1.2 Safari/525.20.1,gzip(gfe),gzip(gfe)
Xref:  news.cambrium.nl

On 6 juin, 17:56, paul c <toledobythe...@oohay.ac> wrote:
> cim...@hotmail.com wrote:
>
> ...
>
> > Absurd is not necessarily crazy(fou).
>
> > Actually I do respect *absurd* reasonning as a mathematical tool (if
> > you can't prove something is right try to prove that the opposite is
> > wrong)...I just don't believe that a science that does even yet have
> > consensus about how universal quantifiers are defined should even go
> > there. =A0Not for a second. =A0In French: Ne pas mettre la charrue avan=
t
> > les boeufs.
>
> Just curious, since everybody seems to be in such a good mood, is there
> a French word for (logically) 'true', other than 'vrai'?, eg., true in
> some formal logic sense.
Well in the army when a proposition/assertion is made to a soldier,
that soldier can answer  *affirmatif* to validate the assertion or
negatif to deny it.

> (If English had no such word, limited, say, to 'real', there'd be no
> stopping the mystics. =A0Then there is 'faux' which I gather often stands
> for artificial. =A0I often think neither language has the exact right
> words and think that would put any sensible person in a mood to think
> that the relational 'modal' wouldn't be precisely expressible in either
> one.)
>
> This all reminds me that I've never tried to follow through Codd's
> reduction algorithm nor the later corrections (ie., the =A0equivalence
> between the calculus and the algebra might be a way to constrain the
> possible interpretations of each individuallly and so avoid the spoken
> language problems . =A0Does anybody know of a free online source for eith=
er?
Formalism is the only way around subjectiveness.  I do somehow believe
that a formalism that is non universal is not good formalism.  As far
as the formalism used in RM, I believe that D&D have failed a long
time ago onto designing an effective formalism for scrutiny (which
does not say anything about the algebra though).  In a sense, their
body of logical work needs to be reexpressed and reformulated to be
more inclusive to larger audiences.