Разумевање евидентности у математици и логици

Евидентност је концепт у филозофији математике и логике који се односи на идеју да су неке математичке истине саме по себи очигледне, што значи да се њихова истина може разумети без потребе да се доказује.ӕӕНа пример, изјава „2 + 2 = 4“ сматра се очигледним, јер је то основна аритметичка чињеница која се може разумети без потребе за доказивањем. Слично томе, изјава „сви нежења су неожењени“ такође се сматра очигледном, јер логично следи из дефиниције нежења.ӕӕКонцепт евидентности важан је у филозофији математике јер поставља питања о природи математичког истина и улога доказа у математици. Неки филозофи тврде да се све математичке истине могу извести из самоочигледних принципа, док други тврде да се неке математичке истине не могу доказати и да се морају прихватити као аксиоматичке.ӕӕУ логици, концепт евидентности је повезан са идејом логичке последице, која односи се на однос између закључка и његових премиса. Сматра се да је изјава логички последична ако нужно следи из њених премиса, што значи да не може бити лажна ако су премисе тачне. Концепт евидентности је важан у логици јер помаже у разликовању исказа који се могу доказати и оних који се не могу доказати.