Корреспондентная теория истины
    Блинов А.К.
    Основная идея корреспондентной истины обманчиво проста: предложение истинно, если и только если оно соответствует фактам (или действительности).
    Эта теория должна прежде всего определять, в чем заключается истинность эмпирических предложений, или предложений наблюдения, т.е. связанных с опытом и не выводимых из других предложений - а, напротив, таких, которые сами являются базовыми для дальнейшего знания. Согласно этой теории, предложение (пропозиция, убеждение, высказывание или что бы то ни было, что принимаем в нашей теории за носитель истины) истинно, если есть нечто, благодаря чему оно истинно - нечто, что соответствует в реальности тому, что высказано. Другими словами: если р истинно, то этому соответствует факт, что р. Или: истинно то, что соответствует фактам. Если р истинно, если и только если р, то, когда что-то - например, р - утверждается истинно, то должно быть нечто дополнительное, нечто другое, чем то, что сказано - нечто, к чему относится то, что утверждается. Очевидный и, возможно, единственный полноценный кандидат на роль этого "нечто" - факт; например, факт, что р .
    Классические попытки объяснить понятие корреспондентной истины быстро столкнулись с непреодолимыми трудностями. Если предложение истинно в силу его соответствия факту, то мы нуждаемся в объяснении этого "соответствия" и этих "фактов". Попытки раскрыть понятие соответствия - кореспонденции - быстро увязли в метафорах: "картина", "зеркало" или "отражение действительности" (последнее, конечно, еще не "непотаенность", но тоже вполне поэтично). Предложения, с такой точки зрения, каким-то не определяемым дальше образом "отображают" или "изображают" факты - в свою очередь, неясные сущности с сомнительными условиями идентичности. Под фактом в любом случае понимается нечто независимое от того, что о нем высказывается и, кроме того, нечто, что может быть описано другими словами. Поэтому не только о двух разных предложениях можно сказать, что они описывают один и тот же факт, но и, например, о двух разных пропозициях, если считать их смыслами предложений - поскольку некоторые корреспондентисты создали дополнительную проблему, предположив, что носителями истины являются не предложения, а пропозиции, которые выражают эти предложения. Наиболее общие проблемы, связанные с представлением истинности как корреспонденции, таковы.
    Вопрос об истинностном операторе или факторе. Чем здесь предстает факт - реальной ситуацией или идеальным состоянием дел, где существенно лишь отношение между индивидуальными объектами?
    Вопрос о носителе истинности. Что именно соответствует факту - предложение, пропозиция, убеждение или что-то еще?
    Вопрос об отношении корреспонденции. В чем конкретно оно заключается - в том ли, что собственным именам и/или субъектным терминам в предложении (или соответствующим элементам в пропозиции) соответствуют реальные сущности, связанные между собой теми самыми отношениями, которые как-то выражены в том, что сказано (например, названы), или же предложения отражают общую структуру факта?
    Вопрос о верификации. Если факт может быть репрезентирован только в предложении или пропозиции, то не представляет ли собой тогда проверка истинности путем сопоставления того, что сказано, с фактами по сути сопоставление этого предложения или пропозиции с другими предложениями или пропозициями, а не с фактами, до которых мы в итоге так и не добираемся?
    В зависимости от ответов на эти вопросы будут различаться между собой различные версии корреспондентной теории. ............