Традиционално се верује даОснивачи геометрије као науке су Грци, који су од Египћана преузели способност мерења запремина разних тела и земље. Стари Египћани, успоставивши опште обрасце током времена, саставили су прве доказне радове. У њима су све одредбе изведене логичким путем из малог броја недоказивих тврдњи или аксиома. Дакле, ако је аксиом изјава која не захтева доказ, шта је онда „изјава која захтева доказ“? Пре него што уђемо у ово, морамо да разумемо шта је појам „докази“.
Доказ (оправдање) јелогички процес утврђивања истинитости одређеног исказа уз помоћ других исказа који су већ претходно доказани. Дакле, када је потребно доказати тврдњу А, онда се бирају такви искази Б, Ц и Д, из којих следи А као логичка последица.
Докази који се користе у науци састоје се од различитих врста закључивања, међусобно повезаних тако да је последица једног предуслов за настанак другог итд.
Развој било које науке одређује степенкоришћење доказа у њему, уз помоћ којих се може поткрепити истинитост једних и лажност других исказа. То је доказ који помаже да се отарасите заблуда, отварајући простор за научну креативност. А веза формирана уз њихову помоћ између различитих изјава одређене науке омогућава одређивање њене логичке структуре.
У модерним временима, докази се широко користе у логици и математици; они су методе анализе када постоји потреба да се идентификује структура закључака.
Многи који разумеју науку као што је математика имају питање шта је то изјава која захтева доказ. Одговор ("Аватар" то указује) је теорема.
Представља математичкиисказ чија је истина већ утврђена доказима. Сам концепт „теореме“ се развио заједно са концептом „математичког доказа“. Са становишта аксиоматске методе, теорема теорије представља оне исказе који се само логички изводе из одређених, претходно утврђених исказа, који се називају аксиоми. А пошто је аксиом тачан, мора бити тачна и теорема.
Следећа је изјава која захтева доказ(теорема), био је уско испреплетен са концептом „логичке последице”. Тако се временом процес логичког закључивања сводио на појаву формула или математичких исказа који су писани на одређеном језику према формулисаним правилима која се не односе на садржај реченице, већ на њен облик. Дакле, у теорији, доказ се појављује као низ формула, од којих је свака аксиома.
У математици, теорема, или изјава, захтевадоказ је последња формула у процесу доказивања теорије. Ова формулација је настала као резултат употребе различитих математичких метода. Такође је утврђено да су аксиоматске теорије, које су део различитих грана математике, непотпуне. Дакле, постоје искази чија се веродостојност или лажност не може логички утврдити на основу аксиома. Такве теорије су нерешиве и немају један метод решења.
Дакле, изјава која захтева доказ из математике назива се теорема.
Филозофија је наука која проучавасистем знања о карактеристикама и принципима стварности и знања. Дакле, са ове позиције, шта је изјава која захтева доказ? Одговор: „Аватарија“ каже да је ово теза.
У овом случају то представља филозофскоили теолошка тврдња, тврдња коју треба доказати. У давна времена, овај термин је добио посебно значење, од тада се појавио концепт „антитезе“, који је био представљен у контрадикторној изјави или закључку. Затим је Кант скренуо пажњу на чињеницу да се противречне изјаве могу дати са истом уверљивошћу. На пример, можете доказати да је свет бесконачан и да је настао случајно, да се састоји од недељивих атома и да у њему постоји слобода. Филозоф је приметио такве изјаве као комбинацију тезе и антитезе. Овако контрадикторна тврдња која захтева доказ, као и нерешивост противречности, објашњава се чињеницом да ум излази из оквира човекових сазнајних способности.
У филозофији, исти предмет мислиприписује се имовина, која се истовремено негира. Дакле, да би ове компоненте постојале у јединству, неопходно је присуство три елемента: услова, условљености (доказа) и појмова.
На основу свега овога, Хегел је развио дијалектичку методу, која се заснива на преласку са тезе преко доказа на синтезу. Ово је постало оруђе за конструисање метафизике.
У логици, изјава која захтева доказ јеназива се и изјава тезе. У овом случају делује као тачан суд који је противник изнео, а који мора да оправда у поступку доказивања. Теза је главни елемент аргументације.
Током читавог процеса аргументације тезамора остати исти. Ако се овај услов прекрши, то доводи до чињенице да ће се доказати погрешна изјава, коју треба оповргнути. Овде ће функционисати правило: „Ко доказује много, не доказује ништа!“
Запазимо још нешто док разматрамо ово питање:изјава која захтева доказ не би требало да буде двосмислена. Ово правило штити од двосмислености позиције приликом њеног доказивања. На пример, врло често човек говори толико као да нешто доказује, али шта тачно остаје нејасно, пошто је његова теза нејасна. Двосмисленост изјаве доводи до бесплодних спорова, јер свака страна различито доживљава да се доказује.
Чак и Аристотел, с обзиром на питање одоказивост исказа, изнео теорију силогизама. Силогизми се састоје од исказа који садрже речи „може“ или „треба“ уместо „јесте“. Овакве изјаве нису логично оправдане јер њихове премисе нису доказане. Ово поставља питање полазишта за развој науке. Према Аристотелу, свака наука треба да почне са изјавама којима није потребан доказ. Он их је назвао аксиомима.
Изјава која не захтева доказ јеаксиома. Не треба то доказивати у пракси, само треба објаснити да буде јасно. Говорећи о аксиомима, Аристотел је разматрао геометрију, која је имала облик систематизације. Математика је била прва наука која је користила изјаве које нису захтевале оправдање. Затим је дошла астрономија, пошто је за поткрепљење кретања планета потребно прибећи математичким прорачунима. Као што видите, науке су већ тада биле структурисане као хијерархија.
Аристотел је навео три типа за главне сврхеСци. Теоријске науке пружају знање из перспективе у којој су супротстављене мишљењима. Математика је овде најупечатљивији пример. Ово такође укључује физику и метафизику.
Практичне науке имају за циљ да науче како управљати људским понашањем у друштву. Ово може укључивати, на пример, етику.
Техничке науке имају за циљ стварање смерница за стварање предмета за њихову употребу у животу или за дивљење њиховој уметничкој лепоти.
Аристотел није класификовао логику ни у једну од група.Сци. Делује као општи начин рада са стварима, који је обавезан за сваку од наука. Логика је представљена као оруђе на које ће се ослањати научно истраживање, јер даје критеријуме за дискриминацију и доказ.
Аналитика проучава облике доказа.Логичко мишљење разлаже на једноставне компоненте, а од њих се прелази на сложене облике мишљења. Дакле, структура доказа не захтева разматрање.
Дакле, логика и аналитика разматрајупитања о томе шта је изјава која не захтева доказ. Односно, ове индустрије карактерише објављивање аксиома. Они такође имају тенденцију да објасне шта је изјава која захтева доказ. Одговори на ова питања дају се у свакој грани науке, јер ни једно научно истраживање не може без логике и аналитике.
Размотривши питање шта је изјава,захтевајући доказ, постало је очигледно: суштина самог доказа је да изјава садржана у изјави корелира са стварним стањем ствари или са другим чињеницама чија је аутентичност већ раније доказана. На пример, у неким случајевима се истинитост исказа може поткрепити експериментом (физичким, биолошким, хемијским), чији резултати показују да ли одговарају наведеним судовима или не. Другим речима, резултати истраживања ће или доказати истинитост тврдње или је оповргнути.
И у другим случајевима, ако је немогуће извршитиексперименту, човек прибегава другим поткрепљеним тврдњама из којих изводи истинитост свог суда. Такви докази се данас користе у науци, где су објекти изван људске способности да их посматра. Ово је посебно тачно у математици, где се судови не могу експериментално проверити. Стога, „Аватар” изјаву која захтева доказ назива теоремом, а једини начин да се утврди истинитост је доказ закључака заснованих на претходно доказаним истинитим изјавама.
Изјава која захтева доказморају бити поткријепљени аргументима. То могу бити судови који су претходно доказани, на пример, аксиоми, закони, дефиниције које садрже изјаве о чињеницама. Аргументи који се користе у доказивању су уско повезани једни са другима и представљају облик доказа. Они формирају различите врсте закључака који су повезани у ланац.
Уз помоћ примера, размотри изјаву која захтева доказ: „Метал добијен током експеримента није натријум.“ Следећи аргументи се користе да би се доказала ова изјава:
1. Сви алкални метали разлажу воду на собној температури.
2. Натријум је алкални метал. Због тога разлаже воду.
3. Метал настао током експеримента не разлаже воду. Дакле, добијени метал није натријум.
Као што видите, сви коришћени аргументи суистина, чији је доказ настао као резултат посматрања, уопштавања прошлог искуства, силогистичког закључивања. Процес доказивања се овде заснива на два закључка, при чему је последица тога што је један предуслов за други.
