Apa sing "tegese mbutuhake bukti"

Sacara tradisional, umumé dipercaya yèn pendhudhuk géomètri minangka èlmu minangka wong Yunani, sing wis migunakaké wong Mesir kanggo ngukur volume badan lan bumi sing béda. Mesir kuna, sing wis ditemtokake liwat pola umum, nyusun bukti pisanan. Ing kono, kabeh proposisi kasebut ditemokake kanthi logis saka sawetara ukara utawa aksioma sing ora ditindakake. Dadi, yen aksioma minangka pernyataan sing ora perlu bukti, banjur apa tegese "pernyataan sing mbutuhake bukti"? Sadurunge ngerti iki, sampeyan kudu ngerti apa istilah "bukti" kasebut.

Interpretasi konsep

Bukti (sabdhoning) minangka proses logis kanggo ngetrapake bebener saka pratelan tartamtu kanthi bantuan pernyataan liyane, sing wis dibuktikake sadurungé. Dadi, nalika perlu mbuktekake proposition A, banjur milih pengadilan B, C lan D, saka ngendi A minangka konsekuensi logis.

Bukti sing ditrapake ing èlmu iki kalebu macem-macem kesimpulan sing gegayutan karo siji liyane supaya konsekuensi saka siji minangka prasyarat kanggo muncule liyane lan liya-liyane.

Bukti ing Science

Perkembangan ilmu apa wae ditemtokake dening sarat aplikasi bukti ing babagan kasebut, kanthi bantuan sing bisa kanggo mbenerake bebener lan bebrayan liyane. Iku bukti sing mbantu nyingkirake khayalan, mbukak ruang kanggo kreativitas ilmiah. Lan sambungan sing dibentuk kanthi bantuan antarane beda-beda saka èlmu tartamtu, bisa nemtokake sawijining struktur logis.

Ing jaman modern, bukti digunakake sacara luas ing logika lan matématika, minangka cara analisis nalika ana perlu ngenali struktur kesimpulan.

Matématika

Akeh wong sing mangerteni kayata minangka èlmu minangka matématika, mundhut pitakon babagan apa statement sing mbutuhake bukti. Jawaban ("Avatar" nyatakake iki) iku teorema.

Iki minangka perangan matématika, bukti sing wis ditetepake liwat bukti. Téori "téoréma" dikembangaké bebarengan karo pemahaman "bukti matématika". Saka sudut pandang metode axiomatik, teorema saka teori apa wae yaiku pernyataan-pernyataan sing mung ditemokake sacara logis saka pernyataan-pernyataan sing wis ditemtokake sadurunge, sing disebut aksioma. Lan wiwit aksioma bener, teorema uga kudu bener.

Luwih, pernyataan sing mbutuhake bukti (téoréma) kanthi rapet karo gagasan "konsekuensi logis". Dadi, ing wayah waktune, proses inference logis dikurangi dadi munculna rumus utawa pernyataan matematika sing ditulis nganggo basa tartamtu miturut aturan sing diwujudake, ora ngrujuk isi isi ukum, nanging bentuke. Mangkono, ing teori bukti kasebut katon minangka urutan rumus, sing saben ana aksioma.

Ing matématika, téoréma utawa pernyataan sing mbutuhaké bukti minangka rumus pungkasan ing proses mbuktèkaké téori. Perumusan iki kawangun minangka asil saka nggunakake macem-macem cara matematika. Ana uga sing nemokake yen teori aksiomi, sing kalebu bagean saka matématika, ora lengkap. Dadi, ana pernyataan, aksès utawa kepalsuan sing ora bisa didegaké sacara logis kanthi basis aksioma. Teori kasebut ora bisa ditindakake, ora duwe cara sing siji.

Mangkono, pernyataan sing mbutuhake bukti ing matématika Diarani teorema.

Filosofi

Filsafat minangka ilmu sing nyinaoni sistem kawruh babagan karakteristik lan prinsip-prinsip realita lan kognisi. Dadi, saka sudut pandang, apa pernyataan sing mbutuhake bukti? Jawaban: "Avatar" nyatakake yen tesis iki.

Dadi ing kasus iki yaiku posisi filosofis utawa teologis, sawijining pernyataan sing kudu dibuktekake. Ing jaman kuna, istilah iki entuk kapinteran khusus, wiwit kuwi "antitesis" muncul, sing muncul ing pernyataan sing kontradiktif utawa kesimpulan. Kant banjur narik kawigaten marang kasunyatan sing bisa nggawe pernyataan sing mbantah kanthi plausibility sing padha. Contone, siji bisa mbuktekake yen donya tanpa wates lan wis muncul kanthi kasempatan, kasusun saka atom sing ora bisa dibagi, ana kebebasan. Pernyataan kaya kasebut kacathet dening filsuf minangka totalitas tesis lan antithesis. Pernyataan sing contradictory kuwi, sing mbutuhake bukti, uga ora bisa dipisahake karo kontradiksi, diterangake kanthi nyatane yen pikiran ngluwihi kemampuan kognitif manungsa.

Ing filsafat, siji lan obyèk pamikiran sing padha dianggep minangka properti sing padha ora ditolak. Mangkono, supaya komponen kasebut ana ing persatuan, perlu duwe telung unsur: kahanan, kondhisi (bukti), lan konsep.

Ing basis kabeh Hegel iki, sawijining cara dialektik ditemokake, adhedhasar transisi saka tesis liwat bukti sintesis. Iki minangka piranti kanggo metafisika.

Logika

Ing logika, pernyataan sing mbutuhake bukti uga disebut tesis. Ing kasus iki, dheweke dadi penghakiman sing akurat, sing ndadekake mungsuh sing kudu dileksanakake ing proses bukti. Tesis punika unsur utama argumentasi.

Aturan

Sinaosa proses argumentasi, tesis punika kedah tetep sami. Yen kondisi iki dilanggar, iki bakal nyebabake kasunyatan sing bakal mbuktekake ora pernyataan sing kudu ditolak. Ing ngisor iki aturan bakal bisa digunakake: "Sapa sing mbuktikake akeh, dheweke ora mbuktekake apa-apa!"

Ayo ditemokake liyane, considering pitakonan iki: statement sing mbantah bukti ngirim ora akeh-regane. Aturan iki nglindhungi ambiguitas kahanan kasebut nalika mbuktikake. Contone, asring banget wong bisa ngomong kaya-kaya, kaya-kaya ana bukti, nanging ora pati jelas, amarga tesis ora samesthine. Kabecikan saka statement kasebut nyebabake perselisihan ora mesthine, amarga saben pihak njupuk posisi sing bisa dibuktekake kanthi cara sing beda-beda.

A statement sing ora mbutuhake bukti

Aristoteles, kanthi pratelan babagan kabeneran, nerangake teori syllogisme. Syllogisms kalebu statement kasebut, kang ngemot tembung "bisa" utawa "ngirim" tinimbang "punika." Pernyataan kuwi ora bisa ditrapake kanthi wajar, amarga prasyarat sing durung dibuktikake. Iki nuduhaké pitakonan saka titik wiwitan kanggo pangembangan ilmu pengetahuan. Miturut Aristoteles, ilmu apa wae kudu diwiwiti kanthi pernyataan sing ora perlu bukti. Dheweke nyeluk dheweke aksioma.

Axiom

Pernyataan sing ora mbutuhake bukti yaiku aksioma. Iku ora perlu dibuktikake ing laku, mung perlu kanggo nerangake kanggo nggawe cetha. Ngandika aksioma, Aristoteles nganggep geometri, kang dadi wangun sistematisasi. Matématika minangka èlmu pisanan ing ngendi pernyataan-pernyataan kasebut digunakake sing ora mbutuhaké kabeneran. Banjur ana astronomi, amarga kanggo mbenerake gerakane planet kasebut perlu kanggo ngitung kalkulasi matematika. Minangka sampeyan bisa ndeleng, ilmu wis dibangun kaya hirarki.

Jenis Ilmu dening Aristoteles

Aristoteles ngusulake telung jinis èlmu kanggo tujuan utama. Èlmu teoritis mènèhi kawruh jroning foreshortening sing padha nulak panemu. Matématika minangka conto sing paling misuwur ing kene. Iki kalebu fisika lan metafisika.

Èlmu praktik ditujukan kanggo sinau babagan ngontrol prilaku wong ing masyarakat. Iki kalebu, contone, etika.

Èlmu teknik ditemtokake kanggo nggawe panuntun kanggo nggawe objek kanggo aplikasi kasebut ing urip utawa ngujo kaendahan artistik.

Logika Aristoteles ora ngrujuk marang klompok èlmu pangertosan. Iku tumindak minangka cara umum kanggo ngoperasikake, sing perlu kanggo saben èlmu. Logika dipresentasikan minangka instrument ingkang dipunlestantunaken panaliten ilmiah, amargi minangka kriteria kanggo diskriminasi lan bukti.

Analytics

Analis nguji bentuk bukti. Iku ngrusak pemikiran logis dadi komponen sing prasaja, lan saka dheweke wis lumaku menyang wujud pikiran sing rumit. Mangkono, struktur bukti ora mbutuhake wawasan.

Mangkono, logika lan analytics nimbang pitakonan saka apa statement sing ora mbutuhake bukti. Mangkono, kanggo industri-industri kasebut ditondoi kanthi nominasi aksioma. Uga kanggo wong-wong mau, panjelasan saka apa statement sing mbutuhake bukti aneh. Jawaban kanggo pitakonan kasebut diwenehake ing saben cabang ilmu, amarga ora ana riset ilmiah sing bisa dilakoni tanpa logika lan analytics.

Hubungan karo kasunyatan

Sawise dianggep pitakonan sing pernyataan kaya sing mbutuhake bukti cetha: inti bukti kasebut dumunung ing kasunyatan sing statement ing statement hubungan karo nyata bab-bab bab utawa karo bukti liyane, keaslian kang wis buktiaken sadurungé. Contone, ing sawetara kasus, bebener pernyataan bisa ditrapake dening eksperimen (fisik, biologi, kimia), sing, kanthi asil dadi cetha manawa ana sing cocog karo pengadilan sing kasebut. Ing tembung liyané, asil panlitèn kasebut mesthine bisa dadi bukti tumrap bebeneran pernyataan kasebut, utawa panyebabe.

Lan ing kasus liyane, nalika ora bisa ngleksanakake eksperimen, wong bakal nulis statement sing bener, saka sing nyatheti bebener paukuman. Bukti kasebut digunakake saiki ing ilmu pengetahuan, ing ngendi obyek sing ngluwihi watesan kemampuan manungsa kanggo mirsani. Iki luwih bener ing matématika, sing ora bisa diuji sacara eksperimental. Mulane, statement sing mbutuhake bukti, "Avataria" nyebut teorema, mung cara kanggo netepake bebener sing minangka bukti kesimpulan adhedhasar pernyataan sing bener sing wis bukti.

Hasil

Pernyataan sing mbutuhake bukti kudu didhukung dening argumen. Minangka kasebut, pengadilan bisa digawé sing aksioma, hukum, lan definisi sadurungé sing ngandhut pratelan babagan bukti wis dibuktikake sadurungé. Alesan sing digunakake kanggo bukti, sing sithik sajrone gegayutan lan nuduhake wujud bukti. Iki nggawe macem-macem jinis kesimpulan, sing disambungake ing ranté.

Contone, pratinjau pernyataan sing mbutuhake bukti: "Logam sing diduweni sajrone eksperimen ora natrium." Bukti kasebut ing ngisor iki digunakake kanggo mbuktekake pernyataan kasebut:

Kabeh logam alkali ngeculake banyu ing suhu kamar.

2. Natrium minangka logam alkali. Mulane, iki ngobong banyu.

3. Banyu kawangun sajrone eksperimen ora ngeculake banyu. Mulane, logam asil ora natrium.

Ketoke, kabeh argumentasi sing digunakake bener, bukti sing kedadeyan minangka asil pengamatan, generalisasi pengalaman kepungkur, pengurangan syllogistik. Proses bukti ing kene adhedhasar loro kasimpulan, pangaruh siji minangka prasyarat saka pihak liya.