Ang pagpapatunay ay ang pag- aari ng kung ano ang may bisa. Ang pang-uri na ito (wastong), na nagmula sa Latin valÄdus , ay tumutukoy sa kung ano ang pare-pareho, maaaring maabot o matanggap . Halimbawa: "Ang isang dahilan ng ganitong uri ay hindi wasto sa isang lugar na tulad nito" , "Itinuring ng hukom na ang kahilingan ng abugado ng depensa ay may bisa" , "Ang mga pulang lalagyan ay hindi wasto sa promosyon na ito" .
Ang konsepto ng pagiging epektibo ay lilitaw sa iba't ibang mga konteksto. Sa larangan ng lohika, ang bisa ng isang argumento ay ang pag-aari na napatunayan kapag ang konklusyon ay implicit sa lugar. Mahalagang tandaan na ang isang argumento ay maaaring maibawas nang wasto, kahit na ang pagtatapos nito ay hindi totoo.
Ang sumusunod na argumento ay may bisa mula sa lohikal na pananaw ngunit ang pagtatapos nito ay hindi kinakailangan totoo:
Bagaman ang pagtatalo ay may bisa, ang konklusyon ay maaaring hindi totoo (posible na "hindi tayo sa Abril" at hindi rin tayo "Mayo" .
Ang pamamaraan na ginamit upang matukoy kung ang isang argumento ay may bisa ay tinatawag na isang disjatib na syllogism, dahil nagtatanghal ito ng dalawang pagpipilian (na maaari nating tawagan ang p at q ), inaalis nito ang isa at, samakatuwid, pinapayagan tayo na bawasan na tayo ay nakaharap sa isa pa. Tingnan natin ang isang halimbawa sa ibaba, na maaaring katulad sa nauna, bagaman hindi ito pareho:
Sa isang kaso na tulad nito, sapat na upang matukoy ang pagiging epektibo ng schema upang malaman kung ang mga pangangatwiran nito ay may bisa din, at posible ito sa pamamagitan ng semantika (kung hindi posible na ang konklusyon ay mali at ang lugar ay totoo) o syntactic (ang scheme ay may bisa kung mayroong isang pagbabawas ng konklusyon na nagsisimula mula sa lugar at mga axiom, gamit lamang ang pinapayagan na mga panuntunan ng kawalang-interes).
Pinag -iisipan din ng lohika ang induktibong pangangatwiran, na binubuo ng pag-aaral ng mga pagsubok na nagbibigay ng pagtantya sa posibilidad ng isang serye ng mga argumento, sa parehong paraan tulad ng mga patakaran para sa pagtatayo ng mga matibay na pangangatwiran na pangangatwiran.
Ito ay naiiba mula sa dedikasyong pangangatuwiran, na inilarawan sa mga nakaraang talata, na hindi posible upang matukoy kung may bisa ang isang argumento; Para sa kadahilanang ito, kapag nahaharap tayo sa isang induction, dapat nating suriin ang lakas nito, iyon ay, ang antas ng posibilidad na makakuha ng isang tunay na konklusyon kung ang mga lugar ay totoo rin.
Siyempre, ang bisa ng isang teorya o isang hindi pa naganap na pahayag ay hindi palaging masuri sa isang maikling panahon, ngunit kadalasan maraming mga pagsubok at pag-verify ang kinakailangan, ang ilan sa mga ito ay nakasalalay nang malaki sa mga kaganapan na mahirap o imposible upang makalikha ng lakas..
Ipinakita sa amin ng kasaysayan na ang agham ay maaaring gumawa ng mga pagkakamali, dahil hindi ito ganap ngunit nagbabago kasama ang natitirang kaalaman ng tao. Para sa kadahilanang ito, ang isang bagay na ngayon ay itinuturing na hindi wasto ay maaaring maging isang hindi masisirang katotohanan sa loob ng ilang taon, tulad ng nangyari sa maraming okasyon.
Sa wakas, sa antas ng ligal, ang bisa ng isang pamantayan ay nakasalalay sa kasiyahan ng materyal at pormal na mga kinakailangan sa pamamagitan nito.