szia z2,

>Ebben nincs igazad. Az "ujszeru erzekeles"-nek >_kotelezo_ minden olyan
tulajd
onsagot teljesiteni, >amelyet minden mas erzekeles is teljesit.
Szerintem egy kicsi aprosag az eltero velekedesunk oka. Mindjart kiderul,
hogy 
mit kell it meggondolni, nem tudom, vegiggondoltad-e.

Abban biztosan egzetertunk, hogy az ujszeru erzekelesnek minden olyan
tulajdons
agot teljesitenie kell, ami az "erzekeles" fogalmahoz hozzatartozik.
Namost abban is igazad van, hogy ha az erzekeles fogalma extenziv, akkor
azok a
 tulajdonsagok hatarozzak meg,amelyek kozosek az osszes lehetseges
elofordulasa
ban.

Viszont az nem bbiztos, hogy az osszes lehetseges elofordulas valoban elo
is fo
rdul es ismerjuk. Igy az osszes ismert elofordulasnak lehet olyan kozos
tulajdo
nsaga, amely csak esetlegesen kozos, es nem tartozik hozza az "erzekeles"
fogal
mahoz. Ez esetben az uj elofordulasnak nem muszaly kielegitenie.

Peldaul, ha valaki eddig csak negert latott, akkor az osszes ember, akit
latott
, fekete. Ugyanakkor az "enber" fogalmaba nem biztos, hogy nala
beletartozik a 
feketeboruseg. Tegyuk fel, hogy nem tartozik bele, hanem mondjuk biologiai
fajk
ent definialja.
Ez esetben egy ujszeru ember lehet feherboru, de ugyanakkor teljesitenie
kell a
 biologiai kovetelmenyeket.

Hasonloan az ujszeru erzekelesnek nem kell az ismert erzekelesek azon kozos
tul
ajdonsaval rendelkeznie, ami csak esetleges, ha van ilyen.

De abban teljesen egyetertunk, hogy bizonyos az "erzekeles" fogalmaba
beletarto
zo tulajdonsagokat teljesitenie kell. Amikrol beszeltel, azok ilyenek.
Valoszin
uleg nncs az ot erzekelesnek olyan kozos tulajdonsaga, ami esetlges, igy az
elm
elkedesem spekulativ volt.:)

math

(webes bekuldes, a bekuldo gepe: zsebibaba.analogic.sztaki.hu)