Корреспондентная Теория Истинности

Восходящая к Аристотелю "классическая" трактовка истины как соответствия высказывания действительности. Выявлен ряд трудностей, возникающих при ее применении к анализу некоторых контекстов, утверждениям о несуществующих объектах и о будущих случайных событиях, модальным высказываниям, предложениям мнения и т.п.