existența unei declarații empirice empirice
Declarațiile care includ numai nume universale și nici nume individuale nu vor fi numite "stricte" sau "curate". Cele mai importante dintre acestea sunt declarații strict universale, despre care am vorbit deja. Împreună cu ei, un mare interes pentru mine este reprezentat de afirmații precum "Există ciori negri". Declarația de mai sus poate fi considerată echivalentă cu a spune "Există cel puțin un barbar negru". Declarațiile de acest tip vor fi numite strict sau pur - declarații existențiale (sau declarații cu privire la existența).
Teoriile științifice, și, în special, ceea ce noi numim legile naturii sunt forma logică a situațiilor strict universale. Prin urmare, ele pot fi exprimate sub formă de negații strict declarații existențiale sau, ar putea spune, sub formă de declarații neekzistentsialnyh (afirmații despre non-existenta). De exemplu, legea de conservare a energiei poate fi exprimată sub forma „mișcare Există perpetuă“ și ipoteza unei sarcini electrice elementare - în formă de „Nu există nici o altă sarcină electrică decât timpii de încărcare sarcină electrică elementară“. Vedem că în această formulă, legile naturii pot fi comparate cu "interdicții" sau "interdicții". Ei nu pretind că ceva există sau se întâmplă, dar ei neagă ceva. Ei insistă asupra inexistenței anumitor lucruri sau stări de lucruri, interzicerea sau eliminarea lor. Din acest motiv, legile naturii sunt falsificabile.
Declarațiile strict existențiale nu pot fi falsificate. Nu există declarație singulară (adică, nu „declarații de bază“, nici o declarație cu privire la evenimentele observate) nu se poate contrazice afirmația existențială „Sunt ciori albe.“ Aceasta poate face doar o declarație universală. Prin urmare, pe baza noastră criteriu propus de delimitare, voi lua în considerare o declarație strict existențială ca non-empirică, sau „metafizică“. Poate că, la prima vedere, o astfel de caracteristică va părea incertă și nu este adecvată practicii științei empirice.
expresii stricte sau pure - universale și existențiale - nu au constrângerile spațiu și timp. Nu se referă la un domeniu individual, limitat spațiu-timp. De aceea, declarațiile strict existențiale nu sunt fundamentate. Nu putem explora întreaga lume pentru a stabili faptul că ceva nu există, nu a existat și nu va exista niciodată. Din același motiv, declarațiile strict universale nu pot fi verificate.
Dacă observați că există ceva aici și acum, datorită unei declarații strict existențială poate fi verificată, și strict universale - falsificate.
Această asimetrie, împreună cu corolarul său - față falsifiability declarațiilor universale ale științei empirice - acum, probabil, par mai puțin suspecte decât înainte. Vedem că nu este legată de o relație pur logică. Dimpotrivă, relațiile logice corespunzătoare sunt simetrice. Declarațiile universale și existențiale sunt formulate simetric. Asimetria provine doar din criteriul nostru de demarcare.