Re: Vermenigvuldigen is gelijk aan optellen

ace

From: ace@xs4all.nl (ace)
Date: Wed, 26 Apr 2000 10:22:26 +0200
Message-ID: <1e9oy4e.tb2e5l1650nq2N%ace@xs4all.nl>
Subject: Re: Vermenigvuldigen is gelijk aan optellen
Newsgroups: nl.comp.sys.mac
Organization: Every Day A New Suit

Jorn Mineur <jorn@mineur.net> wrote:

> > Jorn Mineur <jorn.mineur@bloomline-coryphee.com> wrote:
> 
> >> On Tue, 25 Apr 2000 0:46:47 +0200, Roel Griffioen wrote
> >> (in message <20000425004647203073@ipc37996b1.dial.wxs.nl>):
> 
> >>> Jorn Mineur <jorn.mineur@bloomline-coryphee.com> wrote:
> 
> >>> de stelling "niet alle raven zijn wit" is wel bewijsbaar juist.
> >>> Eén zwarte raaf voldoet.
> 
> >> Plus één witte (vanwege het "niet alle").
> 
> > Welnee. De stelling: "niet alle computers zijn van glas" is ook juist
> > als er geen enkele computer van glas is.
> 
> Glad ijs. Hier weet ace alles van. Hallo, ace, ben je daar? Is Roel's
> laatste stelling juist?

Yo, Jorn!  Van glazen computers weet ik niet zoveel, eerlijk gezegd --
de mijne is gewoon zwart.  Maar van gegeneraliseerde kwantoren en
negaties en implicaties weet ik alweer wat meer.

In de (klassieke!) logica wordt "niet alle" gelijkgesteld aan "minstens
eentje niet". Er wordt niets gezegd over "eentje wel".  Maar in de
praktijk, dat wil zeggen, volgens de regels der pragmatiek[1] gaat men
ervan uit dat je precies zegt wat je bedoelt, en niet iets anders.  Als
je naar een wei vol zwarte koeien kijkt en je merkt op: "niet alle
koeien zijn wit", dan word je een beetje vreemd aangekeken, ook al is
het feitelijk niet onwaar wat je zegt.

Misschien wordt de strekking van deze constructie alweer wat duidelijker
als je het in de context van een voorschrift giet: "je moet niet alleen
maar hanen bij elkaar zetten, dan maken ze elkaar af"[2].  Heb je nu een
ren vol kippen en geen enkele haan, dan kun je terecht zeggen: "het zijn
niet allemaal hanen".  Dan is je uitspraak _wel_ relevant, en tevens
juist, en bovendien een illustratie van Roels gelijk.  :-)

--------------
[1] Met name Grice's Maxime van Kwantiteit: wees niet meer informatief
    en niet minder informatief dan nodig is.
[2] ALS (alle beesten zijn hanen) DAN (maken ze elkaar af).
-- 
ace
   =^^=  
   (  )~ ______________________________________ (c) ace <ace@xs4all.nl>