Sübut

Sübut — bir iddianın, fərziyyənin və ya hökmün doğruluğunu və ya faktiki əsaslarını dəstəkləyən məlumatlar, dəlillər və ya məntiqi arqumentlər məcmusu. Sübut prosesi epistemologiyanın (idrak nəzəriyyəsi) və məntiqin mərkəzində durur və qeyri-müəyyənlik şəraitində inancın rasionallığını müəyyən etməyə xidmət edir.^[1]

Sübutun mahiyyəti tətbiq olunduğu kontekstdən asılı olaraq dəyişir:

Epistemologiyada: Sübut bir inancı əsaslandıran və ya bir fərziyyəyə inanmağın rasionallığını təmin edən şeydir. Məsələn, bir hadisənin baş verdiyinə dair şahid ifadəsi və ya fiziki qalıq həmin hadisənin sübutu hesab olunur.^[2]
Riyaziyyat və məntiqdə: Sübut daha sərt qaydalara tabedir. Riyazi sübut, aksiomlar və əvvəllər sübut olunmuş teoremlər əsasında qurulan çıxılmaz məntiqi ardıcıllıqdır. Riyaziyyatda "sübut" anlayışı mütləq həqiqəti ifadə edir və təkzibedilməzdir.^[3]
Elmdə: Elmi sübut, elmi nəzəriyyəni və ya fərziyyəni dəstəkləyən, təkrar oluna bilən və yoxlanıla bilən empirik (təcrübi) məlumatlardır. Elm dünyasında heç bir sübut "mütləq son" hesab edilmir; yeni məlumatlar ortaya çıxdıqca köhnə sübutlar yenidən qiymətləndirilə bilər.^[4]
Hüquqda: Sübutlar məhkəmə təhqiqatı zamanı tərəflərin iddialarını əsaslandırmaq üçün hakimə və ya münsiflər heyətinə təqdim etdiyi faktik məlumatlardır (şahid dindirilməsi, maddi sübutlar, ekspert rəyi və s.).

Sübutların gücü və keçərliliyi həm də onlara tətbiq olunan meyarlarla ölçülür. Riyaziyyatda bu mütləqlik tələb edirsə, hüquqda "şübhədən kənar əsaslandırma", elmdə isə "statistik əhəmiyyətlilik" kimi müxtəlif standartlar tətbiq olunur.

Məntiq və fəlsəfədə sübut

Məntiqdə sübut, bir hökmün (tezisin) doğruluğunu digər doğru və əlaqəli hökmlər (arqumentlər) vasitəsilə əsaslandırmaq üçün istifadə olunan mühakimə formasıdır. Sübut prosesi subyektiv inamı obyektiv biliyə çevirməyi hədəfləyir.^[5]

Sübutun strukturu və elementləri

Klassik məntiqdə hər bir sübut üç tərkib hissədən ibarətdir:

Tezis: Doğruluğu sübut edilməli olan əsas müddəa. Bütün sübut prosesi bu müddəanın əsaslandırılmasına yönəlir.
Arqumentlər (Əsaslar): Tezis tərəfindən dəstəklənən və artıq doğru olduğu qəbul edilmiş faktlar, aksiomlar və ya qanunlar. Arqumentlər sübutun "təməl daşları" hesab olunur.
Demonstrasiya (Nümayiş): Arqumentlərlə tezis arasındakı məntiqi əlaqə. Bu, mühakimənin elə bir formasıdır ki, burada arqumentlərin doğruluğundan tezisin doğruluğu qaçılmaz şəkildə irəli gəlir.

Sübutun növləri və metodologiyası

Məntiqi sübutlar həyata keçirilmə üsuluna görə iki qrupa bölünür:

Birbaşa və dolayı sübutlar

Birbaşa sübut: Tezisin doğruluğu birbaşa arqumentlərdən çıxarılır. Məsələn: "Bütün insanlar fanidir. Sokrat insandır. Deməli, Sokrat fanidir."
Dolayı sübut: Burada tezisin doğruluğu onun əksinə olan müddəanın (antitezin) yanlışlığını sübut etmək yolu ilə əsaslandırılır. Bu metod riyaziyyat və fəlsəfədə tez-tez "əksini fərz etməklə sübut" (lat. reductio ad absurdum) kimi tanınır.^[6]

Deduktiv, induktiv və abduktiv mühakimə

Deduksiya: Ümumidən xüsusiyə doğru gedən zəruri nəticə çıxarma metodudur. Əgər arqumentlər doğrudursa, nəticə təkzibedilməzdir.
İnduksiya: Xüsusi faktlardan ümumi nəticələrə varmaqdır. İnduktiv sübutlar mütləq həqiqəti deyil, yüksək ehtimalı göstərir (məsələn, elmi eksperimentlər).
Abduksiya: Ən ağlabatan izahın seçilməsi prosesidir. Mövcud faktları ən yaxşı şəkildə izah edən fərziyyə sübut olunmuş sayılır (məsələn, detektiv araşdırmaları və ya tibbi diaqnozlar).

Fəlsəfi perspektivlər və epistemologiya

Fəlsəfədə sübut biliyin əsaslandırılması (ing. justification) problemi ilə sıx bağlıdır.

Rasionalizm və empirizm: Rene Dekart kimi rasionalistlər sübutun əsasını "aydın və aşkar" olan intellektual bəsirətdə və aksiomlarda görürdülər. Əksinə, Con Lokk və Devid Yum kimi empiristlər sübutun yeganə mənbəyinin hissi təcrübə (təcrübi dəlillər) olduğunu müdafiə edirdilər.^[7]
Sübut yükü (lat. Onus probandi): Fəlsəfədə və məntiqdə mühüm bir prinsipdir ki, iddia irəli sürən tərəf onu sübut etmək öhdəliyi daşıyır. Sübutu olmayan bir iddianı təkzib etmək üçün sübut tələb olunmur (lat. Quod gratis asseritur, gratis negatur - "Heç bir əsas olmadan iddia edilən, heç bir əsas olmadan da rədd edilir").
Skeptisizm: Skeptiklər sübutun sonsuz davam edə biləcəyini (Aqrippa trilemması) iddia edərək, hər hansı bir şeyin mütləq şəkildə sübut edilə biləcəyinə şübhə ilə yanaşırlar.

Sübut zamanı yol verilən məntiqi səhvlər

Sübut prosesində tez-tez rast gəlinən səhvlərə (paralogizmlər və sofizmlər) aşağıdakılar daxildir:

Dövrü sübut (lat. Petitio principii): Tezisin sübutu üçün hələ sübut olunmamış tezisin özündən arqument kimi istifadə edilməsi.
Arqumentin əvəzlənməsi: Sübut olunmalı olan tezisin başqa, lakin oxşar bir müddəa ilə dəyişdirilməsi.
İnsana keçid (lat. Ad hominem): İddianı sübut etmək və ya təkzib etmək əvəzinə, iddianı irəli sürən şəxsin şəxsi keyfiyyətlərinə toxunmaq.

Riyazi sübut

Riyaziyyatda sübut, müəyyən aksiomlar və qəbul edilmiş məntiqi çıxarış qaydaları əsasında bir riyazi hökmün (teoremin) mütləq şəkildə doğru olduğunu nümayiş etdirən məntiqi arqumentdir. Riyazi sübut digər elm sahələrindəki (məsələn, fizika və ya biologiya) sübutlardan fərqlənir; çünki o, empirik müşahidəyə deyil, deduktiv məntiqə əsaslanır və bir dəfə sübut olunduqdan sonra əbədi olaraq doğru qalır.^[8]

Aksiomatik sistem və sübutun təməli

Riyazi sübutlar boşluqda yaranmır. Onlar müəyyən bir sistem daxilində yaradılır:

Aksiomlar: Sübut tələb olunmayan, doğruluğu başlanğıc olaraq qəbul edilən fundamental müddəalardır. Məsələn, Evklid həndəsəsində "iki nöqtə arasından yalnız bir düz xətt keçirmək olar" aksiomu.
Teoremlər: Aksiomlardan və ya əvvəllər sübut edilmiş digər teoremlərdən məntiqi yolla çıxarılan müddəalar.
Lemma: Daha böyük bir teoremi sübut etmək üçün istifadə olunan "köməkçi" kiçik teorem.
Nəticə (lat. Corollarium - latınca "tac" və ya "hədiyyə" sözündən): Bir teoremin sübutundan birbaşa və asanlıqla irəli gələn digər bir müddəa.^[9]

Riyazi sübutun əsas metodları

Riyaziyyatçılar bir iddianı əsaslandırmaq üçün müxtəlif strateji metodlardan istifadə edirlər:

Birbaşa sübut (ing. Direct proof)

Bu ən sadə və geniş yayılmış metoddur. Burada aksiomlar və məlum faktlar zəncirvari şəkildə birləşdirilərək nəticəyə varılır. Məsələn, iki cüt ədədin cəminin cüt olduğunu sübut etmək üçün ədədlərin $2n$ və $2m$ formasında yazılışına əsaslanan birbaşa hesablamalar aparılır.

Riyazi induksiya (ing. Mathematical induction)

Sonsuz sayda natural ədədlər üçün keçərli olan müddəaları sübut etmək üçün istifadə olunur. İki addımdan ibarətdir:

Baza addımı: Hökmün $n=1$ (və ya başqa bir başlanğıc ədəd) üçün doğruluğu yoxlanılır.
İnduksiya addımı: Hökmün $k$ üçün doğru olduğu fərz edilir və onun $k+1$ üçün də doğru olduğu göstərilir. Bu, domino daşlarının bir-birini aşırmasına oxşayır.

Əksini fərz etməklə sübut (lat. Reductio ad absurdum - latınca "mənasızlığa gətirib çıxarma")

Bu metodda sübut olunmalı olan iddianın əksi (yanlış olduğu) fərz edilir. Əgər bu fərziyyə məntiqi bir ziddiyyətə (məsələn, $0=1$ kimi bir nəticəyə) gətirib çıxarırsa, deməli orijinal iddia doğru olmalıdır. Pifaqorçuların ${\sqrt {2}}$ ədədinin irrasional olduğunu sübut etməsi bu metodun ən məşhur nümunəsidir.^[10]

Əks-nümunə ilə təkzib (ing. Counterexample)

Bir hökmün yanlış olduğunu sübut etmək üçün cəmi bir əks-nümunə göstərmək kifayətdir. Məsələn, "Bütün tək ədədlər sadədir" iddiasını təkzib etmək üçün $9$ ədədini (təkdir, lakin mürəkkəb ədəddir, çünki $3\times 3=9$ ) göstərmək kifayətdir. Bu, bütün ümumi hökmün strukturunu dağıtmaq üçün bircə faktın yetərli olduğunu nümayiş etdirir.

Sübutun tamamlanması

Riyazi sübutun bitdiyini və hədəfə çatıldığını göstərmək üçün ənənəvi olaraq mətnin sonunda aşağıdakı işarələrdən biri qoyulur:

Q.E.D. (lat. Quod erat demonstrandum — latınca "sübut olunmalı olan da bu idi"). Bu klassik ifadə qədim yunan riyaziyyatçıları Evklid və Arximed tərəfindən istifadə olunan ifadənin latınca tərcüməsidir.
Halmos simvolu: Müasir riyaziyyatda daha çox istifadə olunan kiçik dolu kvadrat $\blacksquare$ və ya boş kvadrat $\square$ simvolu. Bu simvol macar mənşəli ABŞ riyaziyyatçısı Pol Halmosun şərəfinə adlandırılmışdır.

Müasir yanaşma: Kompüter dəstəkli sübutlar

XX əsrin axırlarından etibarən bəzi mürəkkəb teoremlər kompüter proqramlarının köməyi ilə sübut olunmağa başlanmışdır. Bunun ən məşhur nümunəsi Dörd rəng teoremidir. Bu cür sübutlar riyaziyyatçılar arasında müəyyən mübahisələrə səbəb olmuşdur, çünki bir insanın bu qədər böyük həcmli hesablamaları fərdi şəkildə yoxlaması qeyri-mümkündür.^[11]

Hüquqi sübut

Hüquqda sübut — məhkəmə təhqiqatı zamanı tərəflərin öz iddia və ya müdafiələrini əsaslandırmaq üçün hakimə və ya münsiflər heyətinə təqdim etdiyi hər hansı faktiki məlumatdır. Hüquqi sübutun məqsədi hadisənin real faktlarını müəyyən etmək və ədalətli hökmün çıxarılmasına zəmin yaratmaqdır.^[12]

Sübut növləri

Hüquq sistemində sübutlar formasına və əldə olunma mənbəyinə görə bir neçə qrupa bölünür:

Maddi sübutlar (ing. Real evidence): Cinayət yerində tapılan və hadisə ilə birbaşa bağlı olan fiziki obyektlər (məsələn, silah, barmaq izi, DNT nümunələri).
Sənədli sübutlar (ing. Documentary evidence): Yazılı sənədlər, müqavilələr, elektron məktublar və ya qeydlər.
Şahid ifadələri (ing. Testimonial evidence): Şahidlərin məhkəmə qarşısında verdiyi şifahi bəyanatlar.
Dolayı (vasitəli) sübutlar (lat. Circumstantial evidence): Faktı birbaşa sübut etməsə də, məntiqi nəticələr vasitəsilə həmin fakta işarə edən hallar. Məsələn, bir şəxsin cinayət törədilən an hadisə yerindən qaçdığını görmək dolayı sübutdur.^[13]

Sübutetmə yükü (lat. Onus probandi)

Sübutetmə yükü — bir iddianın doğruluğunu sübut etmək öhdəliyinin hansı tərəfin üzərinə düşməsini müəyyən edən hüquqi prinsipdir.

Təqsirsizlik prezumpsiyası (lat. Praesumptio innocentiae): Cinayət hüququnda əsas prinsipdir ki, hər bir şəxs onun təqsiri qanunla müəyyən edilmiş qaydada sübut olunana qədər təqsirsiz sayılır. Buna görə də sübutetmə yükü ittiham tərəfinin (prokurorluğun) üzərinə düşür.
Sübutetmə standartları:
- Şübhədən kənar əsaslandırma (ing. Beyond a reasonable doubt): Cinayət işlərində tətbiq olunan ən yüksək standartdır. Hakimin hökm çıxarması üçün şəxsin təqsiri ilə bağlı ağlabatan heç bir şübhə qalmamalıdır.
- Sübutların üstünlüyü (ing. Preponderance of evidence): Mülki işlərdə tətbiq olunur. Bu standartda iddianın doğru olma ehtimalı yanlış olma ehtimalından yüksəkdirsə (50%-dən çox), sübut olunmuş sayılır.^[14]

Sübutların qəbulolunmazlığı

Məhkəmədə hər bir məlumat sübut kimi qəbul edilmir. Əgər sübut qanunsuz yolla (məsələn, icazəsiz dinləmə və ya işgəncə ilə) əldə edilibsə, o, qəbulolunmaz sübut (ing. Inadmissible evidence) hesab olunur. ABŞ hüququnda buna "zəhərli ağacın meyvəsi" (ing. Fruit of the poisonous tree) doktrinası deyilir; yəni əsas mənbə qanunsuzdursa, ondan əldə edilən bütün nəticələr də keçərsizdir.

Elmi sübut

Elmdə sübut (və ya elmi dəlil) — bir elmi nəzəriyyəni, fərziyyəni və ya qanunauyğunluğu dəstəkləyən, təkrar oluna bilən müşahidə və ya eksperiment nəticəsində əldə edilmiş məlumatlardır. Elmi sübutlar riyazi sübutlardan fərqli olaraq mütləq deyil, ehtimal xarakterlidir və yeni kəşflər işığında hər zaman yenidən qiymətləndirilməyə açıqdır.^[15]

Empirizm və müşahidə

Elmi sübutların təməli empirizm (yun. empeiria — yunanca "təcrübə") fəlsəfəsinə dayanır. Bu yanaşmaya görə, bir iddianın elmi sübut sayılması üçün o, hissi orqanlarla və ya cihazlarla müşahidə edilə bilən reallığa əsaslanmalıdır.

Elmi sübutun meyarları

Bir məlumatın elmi sübut kimi qəbul edilməsi üçün aşağıdakı xüsusiyyətlərə malik olması vacibdir:

Təkrarolunma (ing. Replicability): Eyni şərtlər daxilində aparılan eksperiment dünyanın istənilən yerində eyni nəticəni verməlidir.
Obyektivlik: Sübut tədqiqatçının şəxsi rəyindən asılı olmamalı, ölçülə bilən faktlara söykənməlidir.
Yoxlanılabilirlik (ing. Testability): İddia elə formalaşdırılmalıdır ki, onu təcrübə yolu ilə yoxlamaq mümkün olsun.

Təkzibedilmə prinsipi (ing. Falsifiability)

Məşhur elm filosofu Karl Popper tərəfindən irəli sürülən bu prinsipə görə, bir nəzəriyyənin elmi sayılması üçün onun hansı şərtlərdə yanlış ola biləcəyi müəyyən edilməlidir. Popper qeyd edirdi ki, nə qədər çox "təsdiqedici sübut" yığılsa da, bu, nəzəriyyəni mütləq doğru etmir; lakin bircə təkzibedici sübut nəzəriyyəni alt-üst edə bilər. Buna görə də, elmdə sübutlar nəzəriyyəni mütləq "sübut etmək" deyil, onu daha da möhkəmləndirmək və ya yanlışlığını üzə çıxarmaq funksiyasını daşıyır.^[16]

Sübutların iyerarxiyası

Tibb və biologiya kimi tətbiqi elmlərdə sübutların gücü xüsusi bir piramida (iyerarxiya) ilə ölçülür:

Meta-analizlər və sistematik icmallar: Ən güclü sübutlar; bir neçə fərqli tədqiqatın nəticələrini birləşdirir.
Randomizə edilmiş nəzarətli sınaqlar (ing. Randomized controlled trials): Sınaq və nəzarət qrupları vasitəsilə aparılan ciddi eksperimentlər.
Kohort tədqiqatları: Müəyyən insan qruplarının uzunmüddətli müşahidəsi.
Ekspert rəyləri: İyerarxiyanın ən aşağı pilləsi; fərdi təcrübəyə əsaslandığı üçün daha az etibarlı sayılır.^[17]

Həmçinin bax

İstinadlar

↑ Achinstein, Peter. The Nature of Evidence. Oxford University Press. 2001. ISBN 978-0195143041.
↑ "Evidence". Stanford Encyclopedia of Philosophy. 8 sentyabr 2021 tarixində arxivləşdirilib. İstifadə tarixi: 23 aprel 2026.
↑ Velleman, Daniel J. How to Prove It: A Structured Approach. Cambridge University Press. 2006. ISBN 978-0521675994.
↑ Popper, Karl. "The Logic of Scientific Discovery". Hutchinson. 1959. ISBN 978-0415278446.
↑ Copi, Irving M. Introduction to Logic. Pearson. 2010. ISBN 978-0205820375.
↑ "Reductio ad absurdum". Encyclopedia Britannica. 10 mart 2021 tarixində arxivləşdirilib. İstifadə tarixi: 23 aprel 2026.
↑ Bacon, Francis. Novum Organum. Oxford University Press. 1620.
↑ Solow, Daniel. How to Read and Do Proofs: An Introduction to Mathematical Thought Processes. Wiley. 2013. ISBN 978-1118164020.
↑ Aigner, Martin; Ziegler, Günter M. Proofs from THE BOOK. Springer. 2018. ISBN 978-3662572641.
↑ "The Origins of Mathematical Proof". University of Cambridge. İstifadə tarixi: 23 aprel 2026.
↑ Appel, Kenneth; Haken, Wolfgang. "Every Planar Map is Four Colorable". Illinois Journal of Mathematics. 21 (3). 1977: 429–490.
↑ Murphy, Peter. Murphy on Evidence. Oxford University Press. 2015. ISBN 978-0198715870.
↑ "Rules of Evidence". Legal Information Institute. İstifadə tarixi: 23 aprel 2026.
↑ Haack, Susan. Evidence and Inquiry. Prometheus Books. 2009. ISBN 978-1591026525.
↑ Gauch, Hugh G. Scientific Method in Practice. Cambridge University Press. 2002. ISBN 978-0521017084.
↑ Popper, Karl. The Logic of Scientific Discovery. Hutchinson. 1959. ISBN 978-0415278446.
↑ "The Evidence Hierarchy". Winona State University. İstifadə tarixi: 23 aprel 2026.

Xarici keçidlər

[1] Achinstein, Peter. The Nature of Evidence. Oxford University Press. 2001. ISBN 978-0195143041.

[2] "Evidence". Stanford Encyclopedia of Philosophy. 8 sentyabr 2021 tarixində arxivləşdirilib. İstifadə tarixi: 23 aprel 2026.

[3] Velleman, Daniel J. How to Prove It: A Structured Approach. Cambridge University Press. 2006. ISBN 978-0521675994.

[4] Popper, Karl. "The Logic of Scientific Discovery". Hutchinson. 1959. ISBN 978-0415278446.

[5] Copi, Irving M. Introduction to Logic. Pearson. 2010. ISBN 978-0205820375.

[6] "Reductio ad absurdum". Encyclopedia Britannica. 10 mart 2021 tarixində arxivləşdirilib. İstifadə tarixi: 23 aprel 2026.

[7] Bacon, Francis. Novum Organum. Oxford University Press. 1620.

[8] Solow, Daniel. How to Read and Do Proofs: An Introduction to Mathematical Thought Processes. Wiley. 2013. ISBN 978-1118164020.

[9] Aigner, Martin; Ziegler, Günter M. Proofs from THE BOOK. Springer. 2018. ISBN 978-3662572641.

[10] "The Origins of Mathematical Proof". University of Cambridge. İstifadə tarixi: 23 aprel 2026.

[11] Appel, Kenneth; Haken, Wolfgang. "Every Planar Map is Four Colorable". Illinois Journal of Mathematics. 21 (3). 1977: 429–490.

[12] Murphy, Peter. Murphy on Evidence. Oxford University Press. 2015. ISBN 978-0198715870.

[13] "Rules of Evidence". Legal Information Institute. İstifadə tarixi: 23 aprel 2026.

[14] Haack, Susan. Evidence and Inquiry. Prometheus Books. 2009. ISBN 978-1591026525.

[15] Gauch, Hugh G. Scientific Method in Practice. Cambridge University Press. 2002. ISBN 978-0521017084.

[16] Popper, Karl. The Logic of Scientific Discovery. Hutchinson. 1959. ISBN 978-0415278446.

[17] "The Evidence Hierarchy". Winona State University. İstifadə tarixi: 23 aprel 2026.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

Lüğətlər və ensiklopediyalar	Böyük katalan · Britannica (11-ci) · Brockhaus · Brockhaus
Normativ yoxlama	BNE: XX543297 · BNF: 11948989p · LCCN: sh85045994