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

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

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

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

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

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

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