Под синтетическими суждениями обычно понимают опытные суждения. То есть для установления истинности таких суждений нам необходим опыт. Например, когда я говорю, что «этот шоколад сладкий», то для подтверждения лучше его попробовать. Ведь шоколад может быть и горьким. Точно так же «вороны черные» является не аналитическим, а синтетическим суждением.
Большинство философов считает, что все аналитические суждения являются априорными, а все синтетические суждения - опытными (апостериорными). Впрочем, нам известны философы (например, Кант), которые допускают существование априорных синтетических суждений. Есть, например, такие философы, как Уиллард Куайн (
Зачем философам такие изощренные различия и, на первый взгляд, искусственные противопоставления? Очевидно для того, чтобы лучше понимать природу нашего знания. Ведь все наше знание состоит из высказываний (суждений). Различение аналитических и синтетических суждений дает возможность лучше осознать, какая часть наших знаний имеет опытную природу, а какая является результатом деятельности чистого разума. Также мы лучше понимаем, как взаимодействуют между собой разум и опыт. Например, все, что мы знаем о физическом мире, является результатом взаимодействия математического знания (которое имеет неопытную, неэмпирическую природу) и нашего опыта (измерения, эксперименты, наблюдения и т. п.).
Мы уже привыкли ко многому, но философы продолжают нас удивлять и мотивируют нас для дальнейшей постановки вопросов. Например, мы знаем из геометрии, что сумма всех углов треугольника равна 180°. Геометрия утверждает, что и завтра, и в недалеком будущем, и тысячи лет спустя сумма углов треугольника всегда будет равна 180°. Не 179, не 182, а именно 180. И более того, если бы в другой галактике существовали разумные существа, имевшие что-то похожее на нашу геометрию, то они пришли бы точно к такому же утверждению. Ведь треугольник - это не материальная вещь, а идеальная фигура (представляющая собой сугубо интеллектуальный конструкт). Однако значит ли это, что треугольник и другие геометрические фигуры являются продуктами фантазии? Очевидно, что нет. Будь они объектами фантазии, то их закономерности было бы легко изменить. Вместо этого с геометрическим знанием происходит нечто странное. Оно будто является чисто интеллектуальным конструктом, но, с другой стороны, демонстрирует свойства, которые мы не в силах изменить. Мы как будто не имеем власти над этими идеальными творениями. Так может быть, не мы их создали? К такой мысли склоняется немало математиков, которые считают математические объекты
Однако что же такое знание в отличие, например, от веры или мнения? На основании чего различаются такие выражения, как «я верю, что X», «я полагаю, что X» и «я знаю, что X»? Впервые этот вопрос задал Платон.
Представим себе человека, приехавшего в Киев (пусть это будет Мария) и стоящего у выхода из здания центрального железнодорожного вокзала. Мария хочет попасть в Красный корпус университета Шевченко. Она спрашивает у разных людей, как ей это сделать. Кто-то (например, Петр) может ответить ей так: «Вы ищете университет Шевченко? Думаю, что он находится вон там (и показывает рукой прямо перед собой, в сторону дороги)». Сам ответ свидетельствует о том, что Петр не уверен в своем утверждении. Его ответ может оказаться правильным, а может и нет. Он