Логика и аргументация

Учебное пособие для вузов

Раздел: Учебники

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

В качестве первого шага рассмотрим отношения между суждениями, которые могут быть представлены как вершины логического квадрата (рис. 8). Обозначим буквой А общеутвердительные суждения (начальная буква греч. слова affirmo – утверждать), общеотрицательные суждения обозначим буквой Е (первая гласная буква в слове (nego – отрицать), буквой О обозначим частноотрицательные суждения (вторая гласная в слове (nego) и буквой I– частноутвердительные суждения (вторая гласная в слове affirmo). Пользуясь таким квадратом, можно установить различные логические отношения между перечисленными суждениями и выводить частные суждения из общих. Соответственно этому между общими и частными  суждениями  устанавливается  отношение подчинения, которое изображается вертикальными сторонами квадрата. Общеутвердительное и общеотрицательное суждения связаны отношением контрарности (противности), которое изображается верхней горизонтальной стороной квадрата. Каждое из этих общих суждений может быть получено путем логического отрицания другого. Частноотрицательное и частноутвердительное суждение связаны отношением субконтрарности, которое представлено нижней горизонтальной стороной квадрата. Диагонали логического квадрата связывают общеутвердительное суждение с частноотрицательным и общеотрицательное с частноутвердительным суждением.

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