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

Страница: 8 из 62

(Звучит хорошо, не правда ли?)

Разумеется, мы можем брать не только булочки, но и другие предметы и высказывать суждения о «Мире ящериц» или даже о «Миреос-шершней». (Вы, конечно, согласны, что последний «Мир» просто очарователен и жить в нем – одно удовольствие?)

Вернемся к нашей диаграмме. Мы уже знаем, что

означает «Некоторые x суть y», т. е. «Некоторые свежие суть вкусные».

Разумеется, вы сразу, без всяких объяснений, догадаетесь (я просто уверен в этом), что

означает «Некоторые x суть y'», т. е. «Некоторые свежие суть невкусные».

Поставим теперь на клетку 5 черную фишку и спросим себя, что означает

Мы видим, что клетка xy пуста . Следовательно, нуль в клетке 5 соответствует суждению «Ни один x не есть y», или «Ни одна свежая булочка не вкусная», а это не что иное, как второе из трех суждений, приведенных в начале параграфа.

Точно так же диаграмма

означает «Ни один x не есть y'», или «Ни одна свежая булочка не невкусная».

А как перевести на обычный язык такую диаграмму

Думаю, что вы и без моей помощи разберетесь, что с ее помощью записано двойное суждение: «Некоторые x суть y, и некоторые x суть y'», т. е. «Некоторые свежие (булочки) вкусны, а некоторые свежие (булочки) невкусные».

Может быть, диаграмма

вам покажется более сложной.

Она означает, что «Ни один x не есть y, и ни один x не есть y'», т. е. «Ни одна свежая (булочка) не вкусная, и ни одна свежая (булочка) не невкусная». Отсюда следует весьма любопытное заключение: «Ни одна свежая булочка не существует», т. е. «Ни одна булочка не свежая».

|< Пред. 6 7 8 9 10 След. >|

Java книги

Контакты: [email protected]