Немецкая философия. Философия времени в автопортретах. Том 1. Под редакцией доктора Раймунда Шмидта

Исследование умозаключений и доказательств с точки зрения истинности является основной задачей логики.

Умозаключения предполагают наличие знаний, из которых делаются выводы. Поэтому умозаключение и убедительное доказательство требуют конечных оснований знания, которые уже не могут быть прослежены дальше с помощью убедительного доказательства. Их исследование с точки зрения истины является основной задачей эпистемологии в более узком смысле.

Все остальные задачи, которые можно отнести к теории познания или науки, группируются вокруг этих основных задач как второстепенные проблемы.

Начнем с фундаментальной задачи, с вопроса: «Что есть истина?», т. е. с теории истины. Истинность или ложность – это особенность, которая изначально относится только к суждениям. Причем вопрос об истине зависит не от психологической реализации суждения, а лишь от его абстрактной стороны. Абстрактную сторону суждения, которая может быть истинной или ложной, мы называем логическим содержанием суждения. Поскольку вся теория науки рассматривает познание с точки зрения истины, логическое содержание знания, логическое содержание суждения, важно везде.

В этом смысле более поздние логики были совершенно правы, поставив суждение в центр своих исследований, хотя особая основная задача логики состоит в исследовании рассуждений и доказательств.

В донаучном мышлении мы понимаем истину как соответствие суждения оцениваемому реальному. Это понятие истины должно быть расширено, поскольку в науке мы высказываем суждения не только о реальных, но и о нереальных объектах (например, о мнимых числах).

В целом мы понимаем истину как соответствие логического содержания суждения оцениваемому объекту, или, точнее, как соответствие смысла предиката определенности субъекта объекту. Другие (локковские, неокантианские, прагматистские) концепции истины не выдерживают критики.

Вся эпистемология и логика должны быть последовательно разработаны с точки зрения концепции истины. Мы начинаем с логики, потому что эпистемология должна привести нас к дальнейшим проблемам.

Во многих логических суждениях истинность, согласие с объектом, должна быть установлена путем неопровержимого доказательства, при этом, однако, суждения всегда носят предположительный характер. Логика имеет дело с инференциальным доказательством. Убедительные доказательства образуются из умозаключений и в простых случаях тождественны умозаключениям. Поэтому основная задача логики – анализ умозаключений.