Вышеназванные категории языка логики предикатов можно выразить с помощью определённых символов, с которыми мы будем постоянно встречаться при изучении курса.
Необходимой истиной являются предложения, в качестве субъекта которых нельзя представить или вообразить другой вещи, кроме той, именем которой является предикат данного предложения.
Поэтому ей нельзя приписывать даже и предиката бытия в том, по крайней мере, смысле, в каком мы приписываем его тварному миру, хотя она есть непосредственная основа тварного мира.
Может быть, наибольшая упадочность человеческого рода сказывается именно в этой поразительной неспособности его даже представить себе какое-нибудь счастье. «Лучше быть несчастным человеком, чем счастливой свиньей». Мы так усвоили этот миллевский афоризм, что не можем мыслить счастье иначе, как в качестве предиката к свинье, и, выговаривая слова афоризма, понимаем под ними другое: «Лучше быть несчастным человеком, чем счастливым… человеком».
Вышеназванные категории языка логики предикатов можно выразить с помощью определённых символов, с которыми мы будем постоянно встречаться при изучении курса.
Необходимой истиной являются предложения, в качестве субъекта которых нельзя представить или вообразить другой вещи, кроме той, именем которой является предикат данного предложения.
Перестановка слов в большей посылке ясно показывает, что средний термин этой фигуры всегда должен быть предикатом обеих посылок.