X'inhu "talba teħtieġ prova"

Tradizzjonalment huwa preżunt li l-fundaturi tal-xjenza ta 'ġeometrija huma Griegi, li mislufa mill-Egyptians l-abbiltà biex ikejlu l-volumi ta' korpi differenti u l-earth. Il-Egyptians qedem, jistabbilixxu l-liġijiet ġenerali matul iż-żmien, magħmula l-ewwel xogħlijiet dimostrattivi. Huma murija disposizzjonijiet kollha ta 'mogħdijiet loġiku minn numru żgħir ta' proposti nedokazyvaemyh jew axioms. Għalhekk, jekk axiom - dikjarazzjoni li ma jeħtiġux prova li tali "talba jeħtieġ prova"? Qabel inti tifhem dan, inti jeħtieġ li jifhmu dak li huwa t-terminu "prova".

interpretazzjoni tal-kunċett

Prova (ġustifikazzjoni) jirrappreżenta verità loġiku ta 'proċess tat-twaqqif approvazzjoni speċifika minn talbiet oħra li jkunu diġà ppruvati qabel. Allura, meta għandek bżonn biex tipprova l-propożizzjoni A hija magħżula dawn is-sentenzi B, Ċ u D, li minnhom A isegwi bħala konsegwenza loġika.

Evidenza li huma użati fix-xjenza, huma komposti minn tipi differenti ta 'konklużjonijiet relatati ma' xulxin b'tali mod li l-investigazzjoni hija prerekwiżit għall-ħolqien ta 'ieħor, u l-bqija.

Il-prova hija fil-xjenza

L-iżvilupp ta 'kwalunkwe xjenza determinat mill-grad ta' applikazzjoni fiha evidenza li bihom tiġġustifika l-verità u falsità xi affermazzjonijiet oħra. Dawn l-elementi għenu biex jeħles mill kunċetti żbaljati, il-ftuħ ispazju kreattività xjentifika. A formoli magħhom l-konnessjoni bejn il-varji pretensjonijiet ċerti xjenza jagħmilha possibbli li jiġi determinat l-istruttura loġika tiegħu.

Fi żminijiet moderni jipprova użati fil-loġika u l-matematika, huma metodi ta 'analiżi meta jkun hemm il-ħtieġa li jiġu identifikati istruttura inferenzi.

matematika

Għal ħafna, jifhem din ix-xjenza, bħal matematika, tqum il-kwistjoni li tali dikjarazzjoni, eżiġenti prova. Tweġiba ( "Avatars" xhieda ta 'dan) - dan teorema.

Huwa dikjarazzjoni matematika, li veraċità diġà ġie installat mill-provi. Fih innifsu, il-kunċett ta ' "teorema" evolviet flimkien mal-kunċett ta' "prova matematika". Mill-punto di vista tal-metodu axiomatic, il-teorema ta 'kwalunkwe teorija hija imsemmija dikjarazzjonijiet li jidhru uniku mod loġiku minn ċerti dikjarazzjonijiet stabbiliti qabel, imsejħa axioms. U peress li l-axiom huwa veru, għandu jkun veru, u l-teorema.

dikjarazzjoni li jmiss jeħtieġ prova (teorema), li hija marbuta mill-qrib mal-kunċett ta ' "konsegwenza loġika". Allura, maż-żmien, il-proċess raġunament loġiku svolsya jitla 'għal formuli jew dikjarazzjonijiet matematiċi li huma rreġistrati fi lingwa partikolari stipulati regoli dwar mhux il-kontenut tal-proposta u li l-forma tagħha. Għalhekk, fit-teorija li jservi bħala prova tas-sekwenza tal-formuli, kull wieħed minnhom huwa axiomatic.

Fil-matematika, dikjarazzjoni teorema jew li jeħtieġu evidenza hija l-aħħar formula fil-proċess tal-prova ta 'teorija. Din il-formulazzjoni ġiet iffurmata bħala riżultat ta 'użu metodi matematiċi varji. Instab ukoll li l-teoriji axiomatic, li huma parti mill-fergħat differenti tal-matematika, ma jkunux kompluti. Allura, hemm allegazzjonijiet krettu jew falsità li huwa impossibbli li jiġi stabbilit passaġġ loġiku bbażata fuq axioms. Tali teorija ma jinħallux mhumiex metodu sabiex isolvi.

Għalhekk, it-talba teħtieġ prova fil-matematika Huwa sejjaħ teorema.

filosofija

Filosofija huwa l-xjenza li l-istudji l-sistema ta 'għarfien dwar il-karatteristiċi u l-prinċipji tar-realtà u l-għarfien. Allura, minn dan il-punt ta 'dak l-pretensjoni teħtieġ prova? Tweġiba: "Avatar," jgħid din it-teżi.

Huwa f'dan il-każ hija pożizzjoni filosofiċi jew teoloġiku, dikjarazzjoni li għandha tiġi pprovata. Fi żminijiet antiki, it-terminu kisbet sinifikat speċjali, minn dakinhar, il-kunċett ta ' "antiteżi", li huwa fi stqarrija inkonsistenti jew inferenza. Imbagħad Kant ġibdet l-attenzjoni għall-fatt li huwa possibbli li jesprimu dikjarazzjonijiet kontradittorji ma 'l-istess plawsibilità. Per eżempju, huwa possibbli li jipprova li d-dinja hija infinita u qamet b'kumbinazzjoni, huwa magħmul minn atomi indiviżibbli, fiha hemm libertà. Tali stqarrijiet filosfo nnutat bħala sett ta 'teżi u antiteżi. Din id-dikjarazzjoni kontradittorja jeħtieġ prova, u kontradizzjonijiet li ma jinħallux, minħabba l-fatt li l-moħħ tmur lil hinn mill- kapaċitajiet konjittivi tal-bniedem.

Fil-filosofija ta 'l-istess oġġett tal-ħsieb huwa attribwit għall-proprjetà, li fl-istess ħin miċħuda. Għalhekk, jeżistu dawn il-komponenti fl-unità, jrid ikollna tliet elementi: Kondizzjonijiet kkawżata (prova) u l-kunċetti.

Ibbażat fuq dan kollu il-metodu dijalettiku Gegel kien derivat, ibbażat fuq it-tranżizzjoni minn teżi billi Evidenza għal sinteżi. Hija saret strument għall-kostruzzjoni ta metaphysics.

loġika

Fil-loġika tad-dikjarazzjoni jeħtieġ prova, imsemmi wkoll bħala l-teżi. F'dan il-każ, li taġixxi bħala ġudizzju preċiż li imbuttat min jopponi, huwa għandu jiġġustifika fil-proċess tal-prova. It-teżi huwa l-element prinċipali tal-argument.

regoli

Matul il-proċess ta 'teżi argumentazzjoni għandhom jibqgħu l-istess. Jekk din il-kundizzjoni huwa vjolat, dan iwassal għall-fatt li l-istqarrija ma se jirriżultaw li jkunu miċħuda. Hawnhekk il-ħidma normali, "Min hu ħafna ta 'prova li ma jipprova xejn!"

Nota xi ħaġa oħra jikkunsidraw din il-kwistjoni, il-pretensjoni teħtieġ prova m'għandux ikun multi-vvalutati. Din ir-regola ma jħallix f'pożizzjoni skomda meta huwa jipprova. Per eżempju, ħafna drabi l-persuna jgħid tant, bħallikieku xi prova, iżda li għadu mhux ċar, kif l-argument tagħha indefinittivament. L-ambigwità tad-dikjarazzjoni twassal għal tilwim ħallewx frott, peress li kull wieħed mill-partijiet għandhom perċezzjonijiet differenti tas-sitwazzjoni ppruvat.

Id-dikjarazzjoni ma jeħtiġux prova

Aktar Aristotle, meta wieħed iqis il-kwistjoni ta 'talba jargumenta, tressaq il-teorija ta' syllogisms. Syllogisms jikkonsistu ta 'tali dikjarazzjonijiet, li fihom il-kelma "jista'" jew "għandu" minflok "huwa". Tali dikjarazzjonijiet huma loġikament mhumiex iġġustifikati, għaliex il-kundizzjonijiet tagħhom ma jkunx ġie ppruvat. Dan iqajjem il-kwistjoni tal-punt tat-tluq għall-iżvilupp tax-xjenza. Skond Aristotle, kull xjenza għandu jibda ma 'dikjarazzjonijiet li m'għandhomx bżonn prova. Talab minnhom axioms.

axiom

Id-dikjarazzjoni ma jeħtiġux prova - huwa Axiom. Mhuwiex meħtieġ li jiġi ppruvat fil-prattika, huwa meħtieġ biss li tispjega li kien ċar. Taħdit ta 'axioms, Aristotli meqjus ġeometrija li tieħu l-forma ta' systematization ta. Matematika hija l-ewwel xjenza, li użat id-dikjarazzjonijiet li jeħtieġu l-ebda ġustifikazzjoni. Imbagħad kien hemm astronomija li tiġġustifika l-mozzjoni tal-pjaneti huwa neċessarju li wieħed jirrikorri għall-kalkoli matematiċi. Kif tistgħu taraw, ix-xjenza kienet diġà ħejjew bħal ġerarkija.

Tipi ta 'Xjenzi ta' Aristotle

Aristotli fuq l-objettivi ewlenin imressqa tliet tipi ta 'Xjenzi. xjenza teoretiku tipprovdi għarfien fil-perspettiva li fih huma opinjonijiet opposti. Matematika hawnhekk huwa l-eżempju prim. Dawn jinkludu wkoll il-fiżika u metaphysics.

Xjenzi prattiċi huma maħsuba biex jitgħallmu għall-kontroll imġiba tal-bniedem fis-soċjetà. Dan jista 'jinkludi, per eżempju, l-etika.

xjenzi tekniċi huma mmirati lejn il-ħolqien tal-ħolqien ta 'oġġetti ta' ġestjoni għall-użu tagħhom fil-ħajja jew li jgawdu s-sbuħija artistika tagħhom.

loġika Aristotelian ma jappartjenix għal grupp wieħed ta 'xjenzi. Hija taġixxi bħala metodu ġenerali biex joperaw affarijiet, li hija mandatorja għal kull wieħed mill-xjenzi. Il-loġika hija ppreżentata bħala għodda, li se jibni riċerka xjentifika, minħabba li jagħti l-kriterji għall jiddistingwi u evidenza.

analytics

Analista istudji l-forom ta 'evidenza. Hija jiddekomponi ħsieb loġiku fil-komponenti sempliċi, u minnhom huma diġà jiċċaqalqu lejn il-forom kumplessi ta 'ħsieb. Għalhekk, l-evidenza tal-istruttura ma jeħtieġx konsiderazzjoni.

Għalhekk, il-loġika u analytics sabiex teżamina jekk tali talba, li ma jeħtiġux prova. Dan huwa, għal dawn l-industriji huwa kkaratterizzat minn axioms estensjoni. Ukoll, dawn għandhom tendenza li tispjega l-fatt li tali dikjarazzjoni, eżiġenti prova. Tweġibiet għal dawn il-mistoqsijiet huma f'kull fergħa tax-xjenza, peress li ebda studju xjentifiku mhuwiex mingħajr loġika u intelligence.

Relazzjoni mar-realtà

Wara li eżaminat il-kwistjoni ta 'dak stqarrija bħal, li jeħtieġ evidenza, deher ċar:-natura tal-evidenza hija li d-dikjarazzjoni, li hija fil-allegazzjoni tirrigwarda l-istat attwali tal-affarijiet, jew ma' fatti oħra, l-awtentiċità tiegħu ġie ppruvat qabel. Per eżempju, f'xi każijiet, il-verità tal-allegazzjonijiet jistgħu jiġu sostanzjati permezz ta 'esperiment (fiżiċi, bijoloġiċi, kimiċi), li r-riżultati li hija viżibbli u li jissodisfaw il-sentenzi dikjarati jew le. Fi kliem ieħor, ir-riżultati tar-riċerka se tkun prova tal-verità tad-dikjarazzjonijiet, jew ċaħda tagħha.

U f'każijiet oħra, meta huwa impossibbli li twettaq l-esperiment, in-nies jirrikorru għal talbiet validi oħra li ġġib l-verità tad-dikjarazzjonijiet tiegħu. Evidenza bħal din illum użati fix-xjenza, fejn l-oġġetti huma barra l-konfini tal-possibbiltà tal-bniedem li tarahom. Dan hu veru speċjalment fil-matematika, fejn sentenzi ma jistgħux jiġu ttestjati sperimentali. Għalhekk, il-pretensjoni teħtieġ prova ta ' "Avatar" tirreferi għall-teorema, l-uniku mod biex jistabbilixxu l-verità ta' liema huwa prova ta 'tnaqqis bbażati fuq stqarrijiet veri ppruvati qabel.

riżultati

Dikjarazzjoni li jeħtieġ evidenza għandu jkun appoġġjat minn argumenti. Kif dawn jistgħu jagħmlu ġudizzji li jkunu ġew ippruvati qabel, per eżempju, assjomi, liġijiet, definizzjonijiet, li fihom dikjarazzjonijiet ta 'fatt. L-argumenti użati fil-prova huma interkonnessi b'rabta mill-qrib u jirrappreżentaw forma ta 'evidenza. Huma jiffurmaw tipi varji ta 'inferenza, li huma konnessi f'serje.

Fuq eżempju, jikkunsidraw id-dikjarazzjoni tirrikjedi prova "metall miksuba matul l-esperiment -. Mhux sodju" Biex jipprova din l-istqarrija, l-argumenti li ġejjin:

1. metalli Kollha alkali fil-ilma f'temperatura tal-kamra kien dekompost.

2. sodju huwa metall alkali. Konsegwentement, jiddekomponi ilma.

3. Il-metall ffurmati waqt l-ilma esperiment ma tkunx dekompost. Għalhekk, il riżultanti metall - l-ebda sodju.

Kif tistgħu taraw, l-argumenti kollha użati huma veri, prova li jseħħu bħala riżultat ta 'monitoraġġ, li jiġbor esperjenza tal-passat, ir-raġunament syllogistic. evidenza proċess hawn hija bbażata fuq żewġ raġunament, konsegwenza wieħed hija prerekwiżit f'dan il-każ l-ieħor.