|
млекопитающее", вынужден принимать каждый че- ловек, который понимает их смысл и способ провер- ки. При этом совершенно неважно, кто первым выс- казал истинное предложение--итальянец или кита- ец, миллионер или пролетарий, Нильс Бор или папа римский. Поэтому истина бес.субъектна: не имеет значения, кто высказал истину, она будет принята: не имеет значения, кто высказал ложь, она будет отвергнута> [Никифоров, 1990, с. 306-307]. В формальной логике понятие истины неразрыв- но связано с выводным знанием. В науке и повседнев- ной жизни мы очень часто прибегаем к получению знания опосредствованным путем, т. е. путем выведе- ния новых знаний из знаний, приобретенных ранее. 85 Иначе говоря, из полученных ранее и проверенных на практике положений мы выводим новые положения. Знание, полученное опосредствованным путем, в ло- гике и называется выводным знанием. Основной за- дачей логической науки является изучение тех пра- вил, законов, которые соблюдаются в процессе полу- чения выводного знания и способствуют получению человеком истинного знания. <Чтобы в процессе вы- водного знания достигнуть истины, доказать ее, долж- ны быть соблюдены непременно два условия: 1. Исходные положения (посылки) должны быть истинными (и истинность их должна быть доказана, установлена). 2. В процессе рассуждения они должны связы- ваться строго по законам, по правилам логики> [Гор- ский, 1963, с. 18]. В формальной логике принято считать, что не только конкретное содержание ("ужденпй, но и их структура, т. е. способ связи субъекта и предиката. являются отражением действительности в психике человека. На этой предпосылке держится убеждение в том, что об истинности суждений человека можно судить на основании их логической правильности и непротиворечивости. Весьма характерным и симпто- матичным является название одного из параграфов учебного пособия для вузов <Соблюдение законов логики -- необходимое условие достижения истины в процессе получения выводного знания> [Горский, 1963]. В логике принято считать, что некоторые слож- ные суждения самого различного конкретного содер- жания, имеющие одну и ту же логическую структу- ру, являются обязательно истинными. <Определен- ная структура суждений в таких случаях служит показателем их истинности. Поэтому часто говорят, 86 что логически истинные суждения истинны в силу их логической структуры. Формулы, выражающие структуры законов логики, всегда дают истинные суждения при замене переменных на любые кон- — 55 —
|