Jørgen Farum Jensen <jfjenzen@yahoo.dk> writes:
> Jeg kan læse i min ordbog, at logik er
> studiet af principperne for at slutte
> korrekt fra et udsagn til et andet.
> Det er i overensstemmelse med hvad jeg
> i sin tid har lært især for så vidt
> angår matematik.
>
> Mit spørgsmål er meget enkelt: Kan der
> logisk argumenteres for ikke-eksistensen
> af noget objekt eller noget fænomen?
Indirekte, ja. Man bruger Proof by Contradiction.
Se:
http://en.wikipedia.org/wiki/Proof_by_contradiction
> Min fornuft siger mig, at det kan man
> ikke. En logisk slutning kræver jo
> et konkret udsagn, der skal være sandt,
> for at man kan slutte noget af udsagnet.
Hvis et logisk system er inkonsistent, så kan man bevise noget der er
falsk også. Man viser netop at et logisk udtryk er inkompatibelt med
ens logiske system ved vise at hvis udtrykket kunne bevises, så kunne
man bevise en selvmodsigelse (i.e., have et bevis for "falsk").
> Og så vidt jeg kan fatte kan man ikke
> komme med et konkret og sandt udsagn
> om noget ikke-eksisterende.
Man kan vise at noget ikke kan eksistere, fordi det ville være i
modstrid med noget man ved er korrekt.
/L
--
Lasse Reichstein Holst Nielsen
DHTML Death Colors: <URL:
http://www.infimum.dk/HTML/rasterTriangleDOM.html>
'Faith without judgement merely degrades the spirit divine.'