Overleg:Paradox van Hempel

Nu komt het probleem. De uitspraak "alle raven zijn zwart" is logisch gelijkwaardig met de uitspraak "alle niet-zwarte dingen zijn niet-raven".

Dit leek mij een typfout. Verbeterd. – De voorgaande bijdrage werd geplaatst door 62.163.105.78 (overleg · bijdragen) 26 jun 2008 16:10

Het klopt wel: de uitspraak "alle raven zijn zwart" kan gelezen worden als "als het een raaf is dan is het zwart" (voor alle x, als Raaf(x) dan Zwart(x)) dus er geldt ook als ~Z dan ~R. Zie Contraposition (Engels) - Simeon 26 jun 2008 16:17 (CEST)

Maar... 'alle raven zijn zwart' is toch niet hetzelfde als 'alle zwarte dingen zijn raven'? Net als 'alle ijsberen zijn beren' niet hetzelfde betekent als 'alle beren zijn ijsberen'. De 'is' betekent hier niet hetzelfde als het wiskundige 'is gelijk aan'-teken (=). Hetgeen voor de = staat is precies hetzelfde als wat er achter staat. Maar er staat niet 'raaf = zwart' en dus 'zwart = raaf' of 'ijsbeer = beer' en dus 'beer = ijsbeer'. 'Alle ijsberen zijn beren' betekent: 'alle ijsberen zijn een subgroep van / vallen onder de categorie 'beren', waar niet automatisch 'alle beren zijn een subgroep van / vallen onder de categorie 'ijsberen' uit volgt. Het gaat over categorieën en eigenschappen. De stelling 'alle raven zijn zwart' betekent 'alle raven hebben de eigenschap 'zwart''. Het gaat om verifieerbaarheid en falsifieerbaarheid. Nou ja, ik zeg niks nieuws natuurlijk, maar staat het wel helder op de pagina? de woorden 'verifiëren' en 'falsifiëren' komen niet voor op de pagina. Ik weet niet of ik in staat ben dit aan te passen. Laurier (xij/die) (overleg) 7 jan 2024 11:37 (CET)