Szigorúan univerzális és szigorúan egzisztenciális kijelentések - popper-logika és a tudományos ismeretek növekedése

egzisztenciális kijelentés empirikus elhatárolás

Az olyan mondatokat, amelyek csak egyetemes nevet tartalmaznak, és az egyedi nevek nem lesznek "szigorúak" vagy "tiszták". A legfontosabb közülük szigorúan univerzális kijelentések, amelyekről már beszéltünk. Velük nagy érdeklődést mutatnak olyan kijelentések, mint például: "Vannak fekete varjak". A fenti állítás azzal egyenértékűnek tekinthető, hogy "legalább egy fekete holló van". Az ilyen típusú mondásokat szigorúan vagy pusztán egzisztenciális kijelentéseknek (vagy állításoknak a létezésről) fogják nevezni.

A természettudományos elméletek, és különösen a természet törvényei, a logikailag szigorúan univerzális kijelentések. Ezért kifejezhetõk a szigorúan egzisztenciális kijelentések negatívei, vagy mondhatnánk nem egzisztenciális kijelentések formájában (állítások a létezésrõl). Például az energia megőrzésének törvényét "Végtelen mozdulat nélkül" és az elemi elektromos töltés hipotézisében lehet kifejezni: "Nincs más elektromos töltés, mint egy elemi elektromos töltés többszöröse". Látjuk, hogy ebben a megfogalmazásban a természet törvényei hasonlíthatók a "tiltakozásokhoz" vagy "tiltásokhoz". Nem állítják, hogy valami létezik vagy történik, de tagadják valamit. Ragaszkodnak bizonyos dolgok vagy állapotok nem létezéséhez, tiltják vagy megszüntetik őket. Ennek következtében a természet törvényei hamisíthatók.

A szigorúan egzisztenciális kijelentéseket nem lehet hamisítani. Nincs egyetlen különálló kijelentés (vagyis egyetlen "alapmondat", sem egyetlen kijelentés a megfigyelt eseményről), ellentmondani az egzisztenciális mondásnak: "Vannak fehér varjak". Ez csak univerzális kijelentést tehet. Ezért, az általunk javasolt demarkációs kritériumra támaszkodva, szigorúan egzisztenciális kijelentéseket nem empirikus vagy "metafizikai jellegűnek" tartok. Talán első pillantásra egy ilyen jellegzetesség kétségesnek tűnik, és nem alkalmas az empirikus tudomány gyakorlatára.

Szigorú vagy tiszta kifejezések - egyetemes és egzisztenciális - nincsenek térbeli és időbeli korlátozások. Nem utalnak egy egyedi, korlátozott téridő-tartományra. Ezért nincs szigorúan egzisztenciális kijelentés. Nem tudjuk feltárni az egész világot annak megállapítására, hogy valami nem létezik, soha nem létezett és soha nem fog létezni. Ugyanezen okból a szigorúan univerzális állítások nem ellenőrizhetők.

Ha megállapítást nyer, hogy valami itt és most létezik, a szigorúan egzisztenciális kijelentésnek köszönhetően ellenőrizhető és szigorúan univerzális - hamis.

Ez az aszimmetria, valamint következménye - az empirikus tudomány egyetemes állításainak egyoldalú meghamisítása - most kevésbé gyanakvóak lehetnek, mint korábban. Látjuk, hogy nem kapcsolódik semmi tisztán logikus kapcsolathoz. Éppen ellenkezőleg, a megfelelő logikai kapcsolatok szimmetrikusak. Az univerzális és egzisztenciális kijelentéseket szimmetrikusan formálják. Az aszimmetria csak a demarkációs kritériumunkból következik.