skanuj0019

r

SPRAWDZAŃ 1 li HIPOTEZ

Jak wspomniano, hipotezy przyjmowane dla wyjaśnienia pewnych foklów wymagają weryfikacji, czyli sprawdzenia

SpTa^dzc^ jest Ir. rodzaj rozumowania polegający na wy pi o wadzeniu z (lanej liinoiczy lak^¹    w.<logicznych) które inają lonnę zu.iii oDscrwacyjnycli

rdżieki leniu leli wartość loglcznajest lub może bvć iisialotuułŁWdsiawic obserwacji czy cksoprympntu

I^IL    n:m.iKiw»^ (N) deiici hmotczy. (II) okaże się piuwdziwŁ lo

hipoteza In stałe sic częściowo onlwicrdmia. .ŁttYiaylitosftUi¹) Nazywa się lo wówczas |pra^ŁftgH^wSrtfa?li bądź j^dl^iuncj^ (z lac. confirmnlio -utwierdzenie)*. Sprawdzanie lakie przebiega według następującego (uproszczonego) scłicmatu:

Czy H7 odp.:

H-> N ___bi

więc. przypuszczalnie H

Jest to rozumowanie zawodne, stanowiące progresywną redukcję

Jeżeli podczas,Sprawdzania^akiekolwiclui>aslepslxyo (N) danej hipotezy.(II) gkażc.się ra!szvwc^.loJiiuotcza la zostaje wtedy .pJjaloasuCsfefeyrdcowan*),. Tego rodzaju rozumowanie nazywa się iprawdzanicni ncyntywnyiy bądź fn!syfilłacji|.^,( Uproszczony sciieinal, według jakiego przebiega (o rozumowanie ma wówczas postać:

Czy 1-1?

Wp: H-> N

więc:

Jak l8{.wo zauwirtyfj jest lo rozumowanie dedukcyjne, opmte rm legulcjjrffj (modus tollendo toIJens), 4^jS^iipżfu^fc*Citlyby wśród następstw nnszej hipotezy znalazło się choćby jedno zdanie fałszywe, już przez lo samo zosialaby ona sfhfflyfikownnn i należałoby ją odrzucić.

Irzcba jednak pamiętać, iż w praktyce naukowej sytuacja (a zwykle nic

^|3lSZy3arosć.nasięi>siwii>^fee-twgesądza^ics^cz_C-j>_fnlszYWOici danej

hij^ę^y,Aiylko,aJMHZi^iii^vcj-rac>i^4łaŁUid^honiunkcji. {/loże się natomiast Okazać, że fałszywy jcsl inny cz/on lej koriiunkcji, ląj^nrtinck począłkosvy ([’), a nie

dana hipoteza (H). Odpowiedni schemat miałby więc wówczas postać; Czyl-l? odp.; (IIaP)~> N ____L-N

M/\ P -    ^

W*uk f

więc:    - (II a l’j

Sląd natomiast na podstawie reguły NK (negowamą kouiunkcji) utrzymamy:

Djicic. n;i |kh'.m J.nc/.ybytfiwsLi.    fi nj(H\oitly