Логическая игра   ::   Кэрролл Льюис

Итак, малая диаграмма заполнена весьма щедро:

А какое заключение можно вывести отсюда? Одно суждение просто не в состоянии вместить столь богатую информацию, нам придется уступить и согласиться на этот раз на два суждения.

Выбрав в качестве субъекта x, мы получим первое суждение: «Все x суть y'», т. е. «Все драконы не шотландцы».

Выбрав в качестве субъекта y, мы получим второе суждение: «Все y суть x'», т. е. «Все шотландцы не драконы».

Запишем теперь весь силлогизм полностью: и две наши посылки, и оба наших заключения. Вот что у нас получится:

«Все драконые не лукавые».

«Все шотландцы лукавые».

–

«Все драконы не шотландцы».

«Все шотландцы не драконы».

На прощание я хотел бы сделать одно важное замечание. В некоторых книгах по логике вообще не предполагается, что какой-то предмет существует . Суждение «Некоторые x суть y» в таких книгах понимается так: «Признаки x и y совместимы , в силу чего некий предмет может одновременно обладать ими обоими». Суждение же «Ни один x не есть y» они интерпретируют как несовместимость признаков x и y, в силу которой ни один предмет не может обладать ими обоими.

Суждения в таких трактатах имеют совсем иной смысл, чем тот, который они имеют в нашей «Логической игре», и будет небесполезно, если мы ясно поймем, в чем именно состоит различие.

Прежде всего рассмотрим суждение «Некоторые x суть y».