Je, "uthibitisho unahitaji uthibitisho"

Kwa kawaida, wanaaminika kuwa waanzilishi wa jiometri kama sayansi ni Wagiriki, ambao wamechukua kutoka kwa Wamisri uwezo wa kupima kiasi cha miili tofauti na dunia. Wamisri wa kale, baada ya kuanzisha mwelekeo wa muda mrefu, walifanya ushahidi wa kwanza. Ndani yao, mapendekezo yote yalitokana na mantiki kutoka kwa idadi ndogo ya hukumu zisizowezekana au axioms. Kwa hiyo, kama ukiukwaji ni taarifa ambayo haitaki uthibitisho, basi ni nini "uthibitisho unahitaji ushahidi"? Kabla ya kuelewa hili, unahitaji kuelewa nini neno "ushahidi" ni.

Ufafanuzi wa dhana

Uthibitisho (kuhesabiwa haki) ni mchakato wa mantiki wa kuanzisha ukweli wa uthibitisho fulani kwa msaada wa taarifa nyingine, ambazo zimeonekana tayari hapo awali. Kwa hivyo, wakati ni muhimu kuthibitisha Pendekezo A, kisha chagua hukumu B, C na D, ambazo zifuatazo kama matokeo ya mantiki.

Ushahidi ambao unatumiwa katika sayansi una aina tofauti za maelewano kuhusiana na kila mmoja ili matokeo ya moja ni muhimu kwa kuonekana kwa mwingine na kadhalika.

Ushahidi katika Sayansi

Uendelezaji wa sayansi yoyote ni kuamua na kiwango cha matumizi ya ushahidi ndani yake, kwa msaada wa ambayo inawezekana kuhalalisha ukweli wa baadhi na uharibifu wa taarifa nyingine. Ni ushahidi ambao husaidia kuondoa uharibifu, kufungua nafasi kwa ubunifu wa kisayansi. Na uhusiano unaotengenezwa kwa msaada wao kati ya kauli tofauti za sayansi fulani hufanya iwezekanavyo kuamua muundo wake wa mantiki.

Katika nyakati za kisasa, ushahidi hutumiwa sana katika mantiki na hisabati, ni njia za uchambuzi wakati kuna haja ya kutambua muundo wa hitimisho.

Hisabati

Watu wengi ambao wanaelewa sayansi hiyo kama hisabati, eleza swali la kile ambacho kinachohitaji ushahidi. Jibu ("Avatar" linashuhudia hili) ni theorem.

Ni taarifa ya hisabati, ambayo tayari imetengenezwa kupitia ushahidi. Dhana ya "theorem" yenyewe imeendelezwa pamoja na dhana ya "ushahidi wa hisabati". Kutoka kwa mtazamo wa njia ya axiomatic, theorem ya nadharia yoyote ni taarifa hizo ambazo zinatokana na kimantiki tu kutokana na kauli fulani zilizowekwa tayari, inayoitwa axioms. Na kwa kuwa fikira hiyo ni ya kweli, theorem lazima pia kuwa kweli.

Zaidi ya hayo, uthibitisho unahitaji uthibitisho (theorem) ulihusishwa kwa karibu na wazo la "matokeo ya mantiki". Kwa hiyo, baada ya muda, mchakato wa uingizaji wa mantiki ulipungua kwa kuonekana kwa fomu au maelezo ya hisabati yaliyoandikwa kwa lugha fulani kwa mujibu wa sheria zilizotengenezwa, bila kutaja maudhui ya hukumu, lakini kwa fomu yake. Kwa hiyo, kwa nadharia uthibitisho unaonekana kama mlolongo wa formula, ambayo kila mmoja ni axiom.

Katika hisabati, theorem au taarifa inayohitaji ushahidi ni formula mwisho katika mchakato wa kuthibitisha nadharia. Uundaji huu uliundwa kama matokeo ya matumizi ya mbinu mbalimbali za hisabati. Pia iligundua kuwa nadharia za axiomatic, ambazo ni sehemu ya sehemu tofauti za hisabati, hazija kamili. Kwa hiyo, kuna maneno, upendeleo au uharibifu ambao hauwezi kuanzishwa kimantiki kwa misingi ya axioms. Nadharia hizo hazipatikani, hawana njia moja ya ufumbuzi.

Hivyo, uthibitisho unahitaji uthibitisho katika hisabati Inaitwa theorem.

Falsafa

Falsafa ni sayansi ambayo inasoma mfumo wa ujuzi kuhusu sifa na kanuni za ukweli na utambuzi. Hivyo, kutokana na mtazamo huu, ni taarifa gani ambayo inahitaji uthibitisho? Jibu: "Avatar" inasema kuwa hii ni dhana.

Yeye katika hali hii ni nafasi ya filosofi au ya kitheolojia, dhana ambayo inapaswa kuthibitishwa. Katika nyakati za kale neno hili lilipata umuhimu maalum, tangu wakati huo wazo la "antithesis" limeonekana, ambalo lilipatikana katika kauli ya kinyume au kinyume chake. Halafu Kant alielezea ukweli kwamba inawezekana kufanya kauli zenye kupingana na uwezekano sawa. Kwa mfano, mtu anaweza kuthibitisha kwamba dunia haipungui na imetokea kwa bahati, inajumuisha atomi zisizoonekana, kuna uhuru ndani yake. Taarifa hizo zilifafanuliwa na mwanafalsafa kama jumla ya thesis na antithesis. Maneno kama hayo yanayopingana, ambayo inahitaji uthibitisho, pamoja na kutokuwepo kwa utata, inaelezewa na ukweli kwamba akili inakwenda zaidi ya uwezo wa utambuzi wa mwanadamu.

Katika falsafa, kitu kimoja na kimoja cha mawazo kinatokana na mali ambayo wakati huo huo inakataliwa. Hivyo, ili vipengele hivi viwe katika umoja, ni muhimu kuwa na vipengele vitatu: hali, hali (ushahidi), na dhana.

Kwa msingi wa Hegel hii yote, njia ya dialectical ilitokana, kulingana na mabadiliko kutoka kwa thesis kwa ushahidi wa awali. Hii ikawa chombo cha kujenga metaphysics.

Logic

Kwa mantiki, uthibitisho unaohitaji ushahidi pia huitwa thesis. Katika kesi hiyo, anafanya kazi kama hukumu sahihi, ambayo inaweka mpinzani, ambayo ni lazima kuhalalisha katika mchakato wa kuthibitisha. Thesis ni kipengele kuu cha hoja.

Kanuni

Katika mchakato wa hoja, thesis lazima iwe sawa. Ikiwa hali hii inakiuka, hii inasababisha ukweli kwamba itakuwa kuthibitishwa si taarifa ambayo lazima refuted. Hapa utawala utafanya kazi: "Yeyote anayethibitisha mengi, haitoi chochote!"

Hebu tukumbuke kitu kingine, kwa kuzingatia swali hili: taarifa inayodai uthibitisho haipaswi kuwa na thamani nyingi. Sheria hii inalinda dhidi ya ukosefu wa hali wakati inathibitisha. Kwa mfano, mara nyingi mtu huongea sana, kama kitu kinathibitisha, lakini ni nini hasa, bado haijulikani, kwa kuwa thesis yake haijulikani. Kutokuelezea kwa kauli hiyo kunaongoza kwa migogoro isiyoeleweka, kwa kuwa kila upande unachukua nafasi ya kuthibitishwa kwa njia tofauti.

Taarifa ambayo haihitaji uthibitisho

Aristotle, kwa kuzingatia swali la kutokuwepo kwa madai, kuweka wazo la syllogisms. Vielelezo vinajumuisha kauli kama hizo, ambazo zina "maneno" au "lazima" badala ya "ni." Taarifa kama hizo sio sahihi, kwa sababu mahitaji yao hayakuwa kuthibitika. Hii inaleta swali la pointi za kuanzia kwa maendeleo ya sayansi. Kwa mujibu wa Aristotle, sayansi yoyote lazima ianze na taarifa ambazo hazihitaji uthibitisho. Aliwaita wasiwasi.

Axiom

Hitilafu ambayo hauhitaji uthibitisho ni axiom. Haina haja ya kuthibitishwa katika mazoezi, ni muhimu tu kuelezea ili kuiweka wazi. Akizungumza kuhusu axioms, Aristotle alichukuliwa kijiometri, ambacho kilichukua mfumo wa utaratibu. Hisabati ilikuwa sayansi ya kwanza ambapo taarifa zilizotumiwa ambazo hazihitaji kuhesabiwa haki. Kisha kulikuwa na astronomy, kwa sababu kuhalalisha mwendo wa sayari ni muhimu kupumzika kwa mahesabu ya hisabati. Kama unaweza kuona, sayansi ilikuwa tayari imejenga kama uongozi.

Aina za Sayansi na Aristotle

Aristotle alipendekeza aina tatu za sayansi kwa madhumuni makuu. Sayansi ya kinadharia hutoa ujuzi katika uhamasishaji ambao wanapinga maoni. Hisabati ni mfano mzuri zaidi hapa. Hii ni pamoja na fizikia na metaphysics.

Sayansi ya manufaa ni lengo la kujifunza jinsi ya kudhibiti tabia ya mtu katika jamii. Hii ni pamoja na, kwa mfano, maadili.

Sayansi za Ufundi ni lengo la kuunda mwongozo wa kuunda vitu kwa ajili ya matumizi yao katika maisha au kupenda uzuri wao wa kisanii.

Mantiki Aristotle haikutaja kikundi chochote cha sayansi. Ni kama njia ya jumla ya mambo ya uendeshaji, ambayo ni muhimu kwa kila sciences. Logic inafanywa kama chombo ambacho utafiti wa kisayansi utazingatia, kwa kuwa hutoa vigezo vya ubaguzi na ushahidi.

Analytics

Mchambuzi huchunguza aina za ushahidi. Inavunja mawazo mantiki katika vipengele rahisi, na kutoka kwao tayari wanahamia kwenye aina nyingi za kufikiri. Hivyo, muundo wa ushahidi hauhitaji kuzingatiwa.

Kwa hiyo, mantiki na uchambuzi hufikiria swali la kile ambacho hakitaki ushahidi. Hiyo ni kwa kuwa viwanda hivi vinahusika na uteuzi wa axioms. Pia kwao, ufafanuzi wa nini ni taarifa ambayo inahitaji uthibitisho ni asili. Majibu ya maswali haya yanapewa kila tawi la sayansi, kwa kuwa hakuna utafiti wa kisayansi unaweza kufanya bila mantiki na uchambuzi.

Uhusiano na ukweli

Baada ya kuzingatia swali kwamba vile uthibitisho unahitaji uthibitisho ulikuwa dhahiri: kiini cha uthibitisho yenyewe ni kwamba taarifa katika kauli hiyo inahusiana na hali halisi ya mambo au kwa ukweli mwingine, ukweli ambao tayari umethibitishwa mapema. Kwa mfano, wakati mwingine, ukweli wa maneno unaweza kuhesabiwa haki na majaribio (kimwili, kibaiolojia, kemikali), ambayo, kwa matokeo ambayo inakuwa wazi ikiwa yanahusiana na hukumu zilizotajwa au la. Kwa maneno mengine, matokeo ya uchunguzi itakuwa ama ushahidi wa ukweli wa taarifa, au kukataa kwake.

Na katika hali nyingine, wakati haiwezekani kufanya jaribio, mtu huingia kwenye taarifa zenye halali, ambazo hupata ukweli wa hukumu yake. Ushahidi huo unatumiwa leo katika sayansi, ambako vitu ni zaidi ya mipaka ya uwezo wa binadamu kuzingatia. Hii ni kweli hasa katika hisabati, ambapo hukumu haziwezi kupimwa majaribio. Kwa hiyo, taarifa inayodai uthibitisho, "Avataria" inaita theorem, njia pekee ya kuanzisha ukweli wa ambayo ni ushahidi wa maelekezo kulingana na taarifa za awali za kuthibitishwa.

Matokeo

Uthibitisho unaohitaji ushahidi lazima uungwa mkono na hoja. Kwa hivyo, hukumu inaweza kufanywa kuwa axioms mapema, sheria, ufafanuzi ulio na taarifa juu ya ukweli umeonekana hapo awali. Majadiliano yanayotumiwa katika ushahidi, yanahusiana sana na yanawakilisha aina ya ushahidi. Wanaunda aina mbalimbali za hitimisho, ambazo zinaunganishwa katika mlolongo.

Kwa mfano, fikiria uthibitisho unaohitaji ushahidi: "Ya chuma kilichopatikana wakati wa jaribio sio sodiamu." Masuala yafuatayo yanatumiwa kuthibitisha tamko hili:

1. Vyuma vyote vya alkali huvunja maji kwenye joto la kawaida.

2. Sodiamu ni chuma cha alkali. Kwa hiyo, hutengana maji.

3. Maji yaliyotengenezwa wakati wa jaribio hayavunyi maji. Kwa hiyo, chuma kilichosababisha sio sodiamu.

Inaonekana, hoja zote zilizotumiwa ni za kweli, ushahidi ambao ulifanyika kama matokeo ya uchunguzi, kuzalisha uzoefu wa zamani, kufunguliwa kwa kihisia. Utaratibu wa ushahidi hapa unategemea uingilizi mawili, athari ya moja ni ya lazima ya nyingine.