3 ГЛАВА. Логика высказываний

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 
34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 
51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 
68 69 70 71 

Под высказыванием (суждением) понимают форму мысли, которая выражает соответствие или несоответствие ее действительности. Так, еще великий античный философ Платон утверждал, что "тот, кто говорит о вещах в соответствии с тем, каковы они есть, говорит истину, тот же, кто говорит о них иначе – лжет".

В традиционной логике, которая ограничивалась изучением связи между вещами и их свойствами, общепринятым считался термин "суждение", в современной же логике предпочитают говорить скорее о высказываниях. Однако эти термины рассматриваются как синонимы, и поэтому в дальнейшем мы будем употреблять их как равнозначные.

Высказывания входят в качестве составной части в любое умозаключение либо как посылка, либо как результат рассуждения. Между посылками и заключением любого рассуждения существует определенная логическая связь. В дедуктивных умозаключениях, которые мы будем рассматривать в этой и последующих главах, эта связь имеет характер логического следования или вывода, в правдоподобных – характер вероятностного отношения, когда посылка лишь с той или иной степенью правдоподобия подтверждает заключение.

Современная дедуктивная логика начинает изучение высказываний, отвлекаясь от их внутренней структуры, и рассматривает их либо как истинные, либо как ложные. Как мы убедимся далее, именно такой подход служит основой для построения исчисления высказываний и позволяет обращаться с рассуждениями, как с вычислениями. В дальнейшем этот подход, ограниченный и слишком абстрактный, может быть преодолен путем снятия подобных ограничений. Именно в этих целях строится логика предикатов, в которой рассматривается логическая связь между предметами и характеризующими их предикатами. Однако в отличие от традиционной логики под предикатами сейчас подразумеваются не только свойства, но и различные отношения между предметами.

Хотя в высказываниях в качестве терминов включаются и понятия, но они в познании играют совсем иную роль. Как мы убедились ранее, понятия отделяют одни классы предметов от других по их отличительным признакам. В языке они выражаются одним именем, представляющим собой либо отдельное слово, либо сочетание слов. Высказывания же формулируются с помощью предложений.