Когда кто-то ссылается на «правду» или утверждает, что какое-то утверждение является «правдой», на какую именно правду они ссылаются? Поначалу это может показаться странным вопросом, потому что мы так редко думаем о том, что может существовать более одного типа правды, но есть действительно разные категории правды, которые необходимо иметь в виду.
Арифметические истины
Среди самых простых и очевидных - арифметические истины - те утверждения, которые точно выражают математические отношения. Когда мы говорим, что 7 + 2 = 9, мы заявляем об арифметической истине. Эта истина также может быть выражена на обычном языке: семь вещей, добавленных к двум, дают нам девять вещей.
Арифметические истины часто выражаются абстрактно, как в приведенном выше уравнении, но обычно существует фон реальности, как в утверждении на обычном языке. Хотя их можно рассматривать как простые истины, они являются одними из самых определенных истин, которые у нас есть - мы можем быть более уверены в них, чем в чем-либо еще.
Геометрические Истины
С арифметическими истинами тесно связаны геометрические истины. Часто выражаемые в числовой форме, геометрические истины являются утверждениями о пространственных отношениях. В конце концов, геометрия - это изучение физического пространства вокруг нас - напрямую или через идеализированные представления.
Как и в случае арифметических истин, они также могут быть выражены в виде абстракций (например, теорема Пифагора) или в обычном языке (сумма внутренних углов квадрата составляет 360 градусов). И, как и в случае с арифметическими истинами, геометрические истины также являются одними из самых определенных истин, которые мы можем иметь.
Логические Истины (Аналитические Истины)
Также иногда упоминаемые как аналитические истины, логические истины - это утверждения, которые являются истинными просто по определению используемых терминов. Метка «аналитическая истина» происходит от идеи, что мы можем сказать, что утверждение истинно, просто анализируя используемые слова: если мы понимаем утверждение, то мы также должны знать, что оно верно. Примером этого может быть: «Ни один холостяк не женат», если мы знаем, что означают «холостяк» и «женат», то мы точно знаем, что это утверждение верно.
По крайней мере, это тот случай, когда логические истины выражаются на обычном языке. Такие утверждения также могут быть выражены более абстрактно, как с помощью символической логики в этих случаях определение того, является ли утверждение истинным или нет, будет очень похоже на такое определение арифметического уравнения. Например: A = B, B = C, следовательно, A = C.
Синтетические Истины
Гораздо более распространенными и интересными являются синтетические истины: это утверждения, которые мы не можем знать как истинные, просто выполняя некоторые математические вычисления или анализ значений слов. Когда мы читаем синтетическое утверждение, предикат предлагается как добавление новой информации, еще не содержащейся в теме.
Так, например, «мужчины высокие» - это синтетическое утверждение, потому что понятие «высокий» уже не является частью «мужчины». Возможно, что утверждение будет либо истинным, либо ложным, если оно истинно, то это синтетическая истина. Такие истины более интересны, потому что они учат нас чему-то новому об окружающем нас мире - что-то, чего мы раньше не знали. Однако есть риск, что мы можем ошибаться.
Этические Истины
Случай с этическими истинами несколько необычен, потому что совсем не ясно, существует ли такая вещь. Это, безусловно, тот случай, когда многие люди верят в существование этических истин, но это предмет спора в моральной философии. По крайней мере, даже если существуют этические истины, совсем не ясно, как мы можем узнать их с какой-либо степенью уверенности.
В отличие от других заявлений правды, этические утверждения выражены в нормативной форме. Мы говорим, что 7 + 2 = 9, а не 7 + 2 должно равняться 9. Мы говорим, что «холостяки не женаты», а не «аморально, когда холостяки женаты». Еще одна особенность этических утверждений заключается в том, что они склонны выражать что-то о том, каким может быть мир, а не о том, каким он является в настоящее время. Таким образом, даже если этические высказывания можно квалифицировать как истины, они действительно являются очень необычными истинами.
