Pochopení evidentnosti v matematice a logice

Evidentnost je koncept ve filozofii matematiky a logiky, který odkazuje na myšlenku, že některé matematické pravdy jsou samozřejmé, což znamená, že jejich pravdivost lze pochopit, aniž by bylo třeba je dokazovat.

Například výrok „2 + 2 = 4“ je považováno za samozřejmé, protože jde o základní aritmetický fakt, který lze pochopit, aniž by bylo nutné dokazovat. Podobně je za samozřejmé považováno také tvrzení „všichni mládenci jsou svobodní“, jak logicky vyplývá z definice mládence. pravda a role důkazu v matematice. Někteří filozofové tvrdí, že všechny matematické pravdy lze odvodit ze samozřejmých principů, zatímco jiní tvrdí, že některé matematické pravdy nelze dokázat a musí být akceptovány jako axiomatické. odkazuje na vztah mezi závěrem a jeho premisami. Výrok je považován za logicky následný, pokud nutně vyplývá z jeho premis, což znamená, že nemůže být nepravdivé, pokud jsou premisy pravdivé. Pojem evidentnost je v logice důležitý, protože pomáhá rozlišovat mezi tvrzeními, která lze dokázat, a těmi, která prokázat nelze.