Pochopení nerozumnosti: Pravda, kterou nelze dokázat

Unsageness je termín používaný ve filozofii, zejména v oblasti logiky a základů matematiky, k popisu situace, kdy tvrzení nebo tvrzení nelze v daném systému nebo rámci ani dokázat, ani vyvrátit. Jinými slovy, je to tvrzení, které je nerozhodnutelné nebo neprokazatelné.…Pojem nerozumnosti poprvé představil filozof Gottlob Frege na konci 19. století a později jej rozvinuli Bertrand Russell a Kurt Gödel na počátku 20. století. Často se používá k popisu výroků, které jsou pravdivé, ale nelze je v rámci určitého systému dokázat, jako je například výrok „tato věta je nepravdivá“.……Nevěrnost se liší od lži, protože nepravdivé tvrzení lze vždy prokázat jako nepravdivé, zatímco prohlášení o nerozumnosti nelze prokázat ani jedním způsobem. Nerozumnost se také liší od nerozhodnutelnosti, která odkazuje na skutečnost, že tvrzení nemusí být v daném systému prokazatelné nebo vyvratitelné, ale nemusí nutně znamenat, že je tvrzení pravdivé nebo nepravdivé. popisují tvrzení, která jsou pravdivá, ale nelze je prokázat v konkrétním systému nebo rámci, a liší se od nepravdy a nerozhodnutelnosti.