Если-то силлогизмы

Нижеследующее взято из статьи Джона Нолта « Свободная логика » в Стэнфордской энциклопедии философии:

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

Для классической логики область университетов, на которую ссылается предложение в вопросе, не пуста. В свободной логике область университетов может быть пустой.

Ссылка

Нолт, Джон, «Свободная логика», Стэнфордская философская энциклопедия (зимнее издание 2014 г.), Эдвард Н. Залта (редактор), URL = https://plato.stanford.edu/archives/win2014/entries/logic-free / .

Предполагает ли это предложение существование университета, чтобы оно было истинным?

Этот ответ - лучшее, что я могу предложить. Предложение представляет собой утверждение А, все S являются P. Здесь это означает: «Все люди, которые имеют право выше 85/100, могут поступить в университет».

Гипотетическая точка зрения не предполагает, что X существует. Экзистенциальная точка зрения предполагает, что по крайней мере один X существует. Пятнадцать правильных форм силлогизма требуют только гипотетической точки зрения. Эти пятнадцать не требуют существования университета (предиката).

С экзистенциальной точки зрения допустимы девять дополнительных форм, в зависимости от того, предполагается ли существование подлежащего, среднего термина или сказуемого.

Здесь «университет» является предикатом. Только один силлогизм, AAI в четвертой фигуре, требует, чтобы предикат существовал, чтобы быть действительным.

Источник: Баркер, Стивен. Элементы логики (McGraw-Hill 1965), стр. 48, 49, 68.

Этот вопрос зависит от того, как интерпретируется can , и, поскольку существует несколько различных модальных значений can , существует несколько ответов.

Если can интерпретируется как деонтическая модальность , то это утверждение определяет правила поступления в университет; такие правила могут существовать без университетов.

Если можно интерпретировать как эпистемическую модальность , то это утверждение объясняет, что возможно, и я думаю, что наиболее естественно было бы воспринято как подразумевающее, что по крайней мере один университет действительно существует, хотя было бы неплохо использовать его, когда университеты не существуют. не существуют как прямое отражение чужой деонтической регуляции. Я думаю, что очень похожая (для этого предложения) динамическая модальная интерпретация будет иметь смысл только в том случае, если университет действительно существует.

Следствие «вы можете поступить в университет» не может быть верным, если университета не существует. Таким образом, если университета не существует, утверждение «если-то» сводится к отрицанию предшествующего условия («вы правы выше 85/100») истинно. Итак, если университета не существует, а также верно, что вы правы выше 85/100, то утверждение «если-то» ложно.