Путь разума в поисках истины. Основное богословие   ::   Осипов Алексей Иванович

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

Как доказал Гёдель, утверждение о непротиворечивости формальной системы в рамках самой системы недоказуемо, если она непротиворечива. Великий немецкий математик Гильберт († 1943) сокрушался по этому поводу: «…Подумайте: в математике, этом образце достоверности и истинности, образование понятий и ход умозаключений… приводят к нелепостям. Где же искать надежность и истинность, если даже само математическое мышление дает осечку» .  [1]

Современное «развитие теории познания показало, что никакая форма умозаключений не может дать абсолютно достоверного знания».  [2]



3. Об относительности эмпирических доказательств



Эмпирические доказательства, в конечном счете, апеллируют к опыту, т. е. к тому, что непосредственно или опосредованно (через прибор, например, или веру авторитету) познано людьми. Именно опыт, а не теоретические соображения, сколько бы правдоподобными они ни казались, является наиболее надежным критерием истинности. В журнале «Знание — сила» были как-то  [3] помещены заметки, в которых остроумно «доказывалось», что жирафа — это миф, поскольку, говорилось там, животное, обладающее столь длинной шеей, не имело бы никаких шансов выжить в процессе длительной эволюции и в борьбе за существование.