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