Navigation bar
  Print document Start Previous page
 53 of 154 
Next page End  

53
отрицания и взаимосвязи между кванторами "все" и "некоторые", о которых речь пойдет в следующей
главе. Здесь же заметим, что двойное отрицание оставляет качество суждения неизменным. В языковом
выражении суждения одно из отрицаний становится отрицанием предиката, поэтому для проверки
правильности превращения утвердительного суждения в отрицательное достаточно представить их в
символической форме.
Обращение представляет собой такой вид непосредственного умозаключения, в котором вывод
получается путем перестановки предиката посылки на место субъекта, а субъекта – на место предиката.
При этом в общем случае происходит уточнение количества суждений. Так, суждение "Все кролики –
млекопитающие" обращается в суждение "Некоторые млекопитающие – кролики", поскольку класс
млекопитающих гораздо больше подкласса кроликов. Этот вывод мы получаем на основе знания
содержания высказываний. Но можно абстрагироваться от этого содержания, заметив, что предикат в
таких умозаключениях является распределенным, и потому составляет лишь часть объема субъекта:
Все S есть Р._______
                              Некоторые Р есть S.
Другой вид обращения, называемый иногда "чистым", происходит тогда, когда объемы субъекта и
предиката совпадают. С такими случаями мы встречаемся при определении понятий. Так, в суждении
"квадрат есть равносторонний прямоугольник" объемы субъекта и предиката одинаковы, так как
объемы определяемого и определяющего понятий должны быть соразмерными (см. гл.2).
Противопоставление предикату
такой вид непосредственного умозаключения, в котором
субъектом вывода служит понятие, противоречащее предикату. Например, суждению "Все
параллельные на плоскости не пересекаются" противопоставляется суждение "Все непараллельные
линии пересекаются". Такой вид умозаключения, как мы уже знаем, можно представить в виде
контрапозиции условных высказываний:
(S
> P)
- (¬
Р
> ¬S).
Как видно из сказанного выше, некоторые виды непосредственных умозаключений традиционной
логики, такие, как контрапозиция, превращение, легко переводятся на символический язык исчисления
высказываний. Но уже операция обращения, когда приходится анализировать структуру связи между
субъектом и предикатом и вводить кванторы общности и существования, не допускает перевода на
простой язык исчисления высказываний, в котором высказывания рассматриваются как единое целое и
анализируются лишь с точки зрения их истинности и ложности. В связи с этим и возникает
необходимость исследования логической структуры суждений как атрибутивных, так и реляционных,
характеризующих отношения между предметами. Одновременно с этим для количественной
характеристики суждений должны быть введены кванторы общности и существования.
Тем не менее представление суждений в виде высказываний, лишенных внутренней структуры и
оцениваемых в целом как истинные и ложные, играет существенную роль в построении самой логики.
Во-первых, некоторые простейшие виды рассуждений или умозаключений можно свести к исчислению,
опирающемуся только на оценку истинностного значения высказываний. Во-вторых, такой подход
является весьма полезным с методической точки зрения, ибо опираясь на него, можно по аналогии
строить более сложное исчисление предикатов, в котором учитывается внутренняя логическая
структура суждений. В-третьих, исчисление высказываний при таком подходе можно рассматривать, с
одной стороны, как исходную базу для построения исчисления предикатов, а с другой – как частный
случай исчисления предикатов. Наконец, в-четвертых, новое исчисление предикатов охватывает не
только классическую логику с субъектно-предикатной структурой суждений, но позднее возникшую
логику отношений.
Проверьте себя
1. Какие из перечисленных ниже предложений выражают суждения?
1) Кто сегодня дежурный.
2) Иванов – дежурный.
3) Сперва подумай, а потом отвечай.
4) Можно ли правильно ответить, не подготовившись к занятию?
5) Человека узнают не по речам, а по делам.
2. Определите качество и количество следующих суждений.
1) Один в поле не воин.
Сайт создан в системе uCoz