Çi "lihevhatinê hewce ye"

Bi awayekî kevneşopî, ew bi gelemperî tê bawer kirin ku damezirandina geometry wek zanist e Yewnanî ye, ku ji Misiriyan vebawer kir ku hebûna pirtûkên erd û rûyê erdê binirxînin. Misirê, kevnên ku di demên gelemperî de damezirandin, şahidên yekem yek pêk hatin. Di van de, hemî pêşniyarên masonî ji çend hejmareke piçûk an jî axîomên derfet hatin. Ji ber vê yekê, eger axiom daxuyaniyek e ku hewce ne hewce ye, wê çi "wateya hewceyê belaş" ye? Berî ku hûn vê fêm bikin, divê hûn bizanin ka çi "term" ye.

Têgihîştina têgehan

Proof (justification) pêvajoyeke masonî ye ku rastiya rastînek taybetmendiyê bi alîkariya rexneyên din re, ku berê berê berê xuya kirin. Ji ber ku ew hewce ye ku pêşniyarên A, îspat bike, hingê dadbarên B, C û D, ku ji A-ê wekî encama paşengek masonî tê hilbijartin hilbijêrin.

Ev delîlên ku di zanistî de tête bikaranîn, cûreyên cûda yên hevpeymanên ku bi hev re têkildar in, hanê ji ber vê yekê yek ji bo pêşveçûnê ya din û soz e.

Proof in Science

Pêşveçûna kîjan zanist ji hêla sepandina belgeyan ve tê diyar kirin, bi alîkariya ku ew gengaz e ku rastiya hin hinek û feladeyên din ên daxuyaniyên rastdar kirin. Ev delîl e ku alîkarî ji destûra hilweşandinê, vekirina avahiyê ji bo afirandina creatîbûnê. Têkiliya ku bi alîkariya wan di navnîşên cuda de ji bo taybetî a zanistî ve ava dibe, dibe ku ew damezirandina avahiyên wê ya rastîn.

Di demên modern de, belgeyên di logic û mathematics de têne bikaranîn, ew rêbazên nirxandin têne kirin dema ku hewce ne ku hewceyê avakirina pergala encamê.

Mathematics

Gelek kesên ku zanistî wekî matematîk fêm dikin, pirsê ku çi daxuyaniyek e ku ev belaş hewce dike. Bersiv ("Avatar" bi vî awayî re şahidiyê dike) ye.

Ev daxuyaniyek mathematîkî ye, rastdariya ku ji hêla belgeyê ve hat saz kirin. Pirtûka "theorem" bi xwe re bi ramana "provenê mathematîk" hate pêşxist. Ji ber çavdêriya rêbazê axiomatîk, teorem ji her prîman e ku daxuyaniyên ku tenê ji hinek daxuyaniyên diyar ên berê vekirî têne derxistin, ji axiyûm têne gotin. Û ji ber ku axiom rast e, divê theorem jî rast be.

Wekî din, ku hewceyên hewcedariyê (teorem) bi nêzîkbûna encama "encamên masonî" ve girêdayî bûn. Ji ber vê yekê, pêvajoyek maqûlî ya xerîb hate xuya kirin ku bi ramanên matografîk yan daxuyaniyên mathematîkî yên ku di çarçoveya qanûnên damezirandî de zimanek bi nivîskî hatine nivîsandin, ji bo naverokê ya lêpirsînê ne, lê forma wê hate kêm kirin. Bi vî awayî, di prensîpê de nîşan dide ku wekî pergala formulas, her yek ji axiyom e.

Di mathematics de, pêşniyarek an jî daxuyaniyek hewcedar e ku pêvajoyek dawîn a di pêvajoya provesyonê de ye. Ev formulasyon di encamên bikaranîna bikaranîna rêbazên mathematîk de hate çêkirin. Di heman demê de hate dîtin ku teorîkên akademîk ên ku beşek beşên cûda yên mathematics in, ne. Ji ber vê yekê, îbranî hene, nerastkirin an neheqiyê ya ku nikarin masonî li ser bingeha axioms ava kirin. Ev pêşniyar neheq in, rêbazek çareseriyek nîne.

Ji ber vê yekê, erêkirina hewceyê li mathematics belaş heye Pîroz tê gotin.

Philosophy

F Philosophy zanistî ye ku zanistiya zanist li ser taybetmendî û prensîbên rastiyê û nasnameyê dixwînin. Ji vê yekê, ji vê ramanê ve, daxuyaniyek çi ye ku delîlê hewce dike? Bersiv: "Avatar" dibêje ku ev mijar.

Ew di vê rewşê de felseolojîk an pozîsyolojîk e, ew eşkere dike ku divê bibe. Di demên kevnar de ev demek girîng e, ji ber vê yekê têgihîştina "antithesis", ku di daxuyaniyek an dijberî de hate xuyakirin. Piştre Kant behsa vê rastiyê xuya kir ku ew eşkere dibe ku daxuyaniyên nakokî bi bi heman rengî çêbikin. Ji bo nimûne, yek dikare îsal bike ku cîhan bêkêmahî ye û bi derfetek bi armanca vekişînê ye, ew yekem atomî ne, lê di azadiyê de heye. Ev gotinan ji hêla philosopher ve tê gotin wekî tevahîbûna hejmar û antithesis. Ev gotariyek nakokî, ku hewceyê pêdivî ye, herweha neheqiya nakokiyên têkoşînê, ji hêla rastiya ku mizkêşiya derveyî merivên mirovê nasnameyê ve tête diyar kirin .

Di felsefê de, yek û heman tiştê fikrên ku ji ber ku ew di heman demê de red dike, nirxandin. Ji ber vê yekê, ji bo van pêkhatî di yekîtiya yekbûyî de ye, hewce ye ku sê hedef hene: şert û mercên şertî (şahidiyê), û fikrên.

Li ser bingeha hemî vê Hegel, rêbazek devkî, ji hêla veguhastina vegotinê ve ji hêla veguhestina berhevkirinê ve hatibû derxistin. Ev amûrek ji bo avahiyên metaphysics bû.

Logic

Di logîk de, lêpirsîna hewceyê belgeyê jî têgotinek tê gotin. Di vê rewşê de, ew wekî dadgehek rast e, ku pêşberî dijber, ku ew di pêvajoya provêkirinê de rastdar bike. Dîteya sereke ya argûmet e.

Qanûn

Di tevahî pêvajoya argûmanê de, divê tezgeheke heman heman bimînin. Heke rewşa vê binçavkirinê tête, ev dibe sedema rastiya ku ew dê diyar nakin ku divê were red kirin. Li vir hukumetê wê kar dike: "Her kesê ku provesî dike, ew tiştek tiştek rast nîne!"

Bila tiştek din bibînin, vê pirsê bifikirin: daxuyaniyê daxwaza daxwaznameyê ne pir girîng e. Ev hukumetê li dijî nerazîbûna rewşa ku dema ku ev eşkere dike biparêze dike. Ji bo nimûne, gelek caran pir kesek dipeyivin, wekî ku tiştek proves dike, lê tiştek rast e, lê ji ber ku ev helbesta xwe ne diyar e. Daxuyaniya daxuyaniyê li ser nakokiyên têkildar dibe, ji ber ku her alî helwesta ku di cûda de cûda cûda dibe.

A daxuyaniyek ku hewce ne hewce dike

Aristotle, li ser mijara pirsgirêkên provesyonê, li pêşniyara syogogozan pêşve dike. Syllogosyonên van gotinan de, ku bi peyva "dikare" an "divê" binivîsin, wekî "ye." Gotarên weha ne rastdariyê maqûlî ne, ji ber ku pêşniyarên wan nehatiye provandin. Ev pirsgirêk ji bo pêşveçûna zanistê pirsê pirsê destpê dike. Li gor Aristotle, divê tu zanistî bi daxuyaniyên ku hewce ne hewce ye. Wî ew axiyûm bang kirin.

Axiom

Daxuyaniya ku hewce ne hewce ye ku axaftiyek e. Ew hewce ne hewce ye ku di pratîkê de be, ev e ku tenê pêdivî ye ku ev eşkere bikin. Axaftina axioms, Aristotle wekî geometry tête, ku forma sîstematîk kirin. Mathematics yekem zanist bû ku derfetên têne bikaranîn, ku hewce ne hewce ne. Piştre astronomî bû, ji bo ku rêberên planên rastdariya rastdar e, ew hewce ye ku hesab dike ku hesabên mathematîk bi rê ve. Wekî ku hûn dikarin bibînin, zanist ji ber ku hîgarparêz ve ava bû.

Tenduristên ji aliyê Aristotle

Aristotle sê rengên zanist ji bo armancên bingehîn pêşniyaz kir. Zanistên teoretical di warê pêşniyarê de ku ew li hemberî nêrînên dijberî agahdar dikin. Mathematics li vir e mînakek herî girîng e. Di nav fîzîk û metaphysics de pêk tê.

Zanyariyên pratîk e ku armanceya ka çawa behsa riya mirovî di civakê de kontrol bikin. Di nav de, nimûne, etnîkî.

Zanîngehên teknolojî armanca ku rêberê çêkirina materyalên ji bo serîlêdana jiyanê ya wan an jî çêbikin ku xweşeweriya hunerî.

Logic Aristotle ji ti komên zanistî re neda. Ew bi awayekî gelemperî yên tiştên xebatê dixebite, ku ji bo her zanistek nerazî e. Logic wekî amûrek tête ku lêkolînek zanyariyê wê bibe bingehîn, wek ku ew pîvana cudakarî û şahidiyê pêşkêş dike.

Analytics

Lêkolînerê formên belgeyên xwendinê. Ew fikrên maqilîk di nav dezgehên hêsan de derxistin, û ji wan ji wan berê veguherin formên hûrgelan ên zikmakî. Ji ber vê yekê, avahiyên belgeyê nirxandina hewce ne.

Ji ber vê yekê, logic û analytics re pirsgirêka li ser daxuyaniyek çi dike ku ev hewce ne hewce dike. Ew e, ji bo van pîşesaziyê ji hêla nameyiyên axioms ve têne xuya kirin. Ji bo wan, ravekirina daxuyaniyek çi ye ku şert hewce ye. Bersiv ji van pirsan de di her zankoya zanistî de têne dayîn, ji ber ku lêkolînek zanyariyê bêyî bê logic û analytics dikare bête kirin.

Bi rastiya têkiliyê

Pirsgirêkan pirsî ku ev pêdivî ye ku ev belgeyên pêdivî ye ku diyariyek eşkere ye: bingeha xwe ya rast e di rastiyê de tê gotin ku daxuyaniya di daxuyaniyê de bi rewşên rastîn an jî rastiyên din re, rastdariya ku berê berê berê hatibû dayîn. Ji bo nimûne, di hin rewşan de, ji hêla ramanên fîzîkî (bi fizîkî, biyolojîk, kîmyewî) dikare bi awayekî rastdar be rastdar dibe, ku bi encamên ku ev eşkere dibe ku ew bi dadgehên peywendîdar an jî ne. Bi gotinên din, encamên lêkolînê dê an jî rastiya daxuyaniyê, an jî şerta wê be.

Û di rewşên din de, dema ku tecrûbeya tecrûbeyê nebe, nexşeyek bi vegotinên din ên din ên din ên rastîn, ji ber ku ew rastiya dadweriya wî kêm dike. Ev belgeyên îro di zanistî de tê bikaranîn, ku derheq derheqê sînorên mirovî ji wan re bisekinin. Ev bi taybetî di mathematics de rast e, ku dadgehan bi ceribandinê ceribandin. Ji ber vê yekê, gotara daxuyaniyê daxwaz dike, "Avataria" re, tenê yek awayê ku ji rastiya ku rastiya kîjan belgeyên pêşniyaz li ser gotinên rastîn hatine provesî ava dike.

Encam

Daxuyaniyek ku hewceyê hewceyê divê divê bi armancên piştevanîya piştgirî bibin. Wekî ku, dadgeh dikarin werin axioms, qanûnan, nirxandinên ku di navnîşan de li ser rastiyê hatine berfireh kirin hatine çêkirin. Armancên ku di çarçoveya belgeyê de têne bikaranîn, nêzîk ve girêdayî ye û forma belgeyên xwe nîşan bide. Ew celeb encamên cuda hene, ku di zincîrek ve girêdayî ye.

Ji bo nimûne, wateya hewceyê belgeyên şertê bisekin: "Dema ku li qursa ceribandinê wergirtiye sodium ne." Daxuyaniyên jêrîn têne bikaranîn ku ji bo vê daxuyaniyê îspat bikin:

1. Hemû metalên alkali di avahiyê de avêtin avê.

2. Sodium qutiyeke alkali ye. Ji ber vê yekê ew avê şaş dike.

3. Avê di kursa ceribandinê de ava neyê avê. Ji ber vê yekê, damezrandina metro ne sodium e.

Bi rastî, tevahiya armancên rast têne bikaranîn, ev şahidiya ku encamên çavdêriya giştî, giyanîbûnîna tecrûbeya kevneşopî, dahatiya syogogist bû. Prosesa belgeyê li ser du hepsan, li ser bandora yekgirtî ya din e.