Silogismos si-entonces

Lo siguiente es del artículo de John Nolt, " Free Logic ", en la Enciclopedia de Filosofía de Stanford:

La lógica clásica requiere que cada término singular denote un objeto en el dominio de la cuantificación, que generalmente se entiende como el conjunto de objetos "existentes". La lógica libre no lo hace.

Para la lógica clásica, el dominio de las universidades a las que hace referencia la oración en la pregunta no está vacío. En la lógica libre, el dominio de las universidades puede estar vacío.

Referencia

Nolt, John, "Free Logic", The Stanford Encyclopedia of Philosophy (edición de invierno de 2014), Edward N. Zalta (ed.), URL = https://plato.stanford.edu/archives/win2014/entries/logic-free / .

¿Esta oración presupone que existe una universidad para que sea verdadera?

Esta respuesta es lo mejor que puedo ofrecer. La oración es una declaración A, Todos los S son P. Aquí, significa: "Todas las personas que están justo por encima de 85/100 son personas que pueden ingresar a una universidad".

El punto de vista hipotético no supone que exista ningún X. El punto de vista existencial supone que existe al menos una X. Quince formas válidas del silogismo requieren solo el punto de vista hipotético. Estos quince no requerirían una universidad (el predicado) para existir.

Usando el punto de vista existencial, nueve formas adicionales son válidas, dependiendo de si se asume la existencia del sujeto, término medio o predicado.

Aquí, "universidad" es el predicado. Solo un silogismo, AAI en la cuarta figura, requiere que el predicado exista para ser válido.

Fuente: Barker, Stephen. Los elementos de la lógica (McGraw-Hill 1965), pág. 48, 49, 68.

Esta pregunta depende de cómo se interprete can , y dado que hay múltiples sentidos modales distintos de can , hay múltiples respuestas.

Si can se interpreta como un modal deóntico , entonces esta declaración está definiendo las normas de ingreso a la universidad; tales regulaciones pueden existir sin que haya universidades.

Si can se interpreta como un modal epistémico , entonces esta declaración está explicando lo que es posible, y creo que lo más natural sería interpretar que implica que al menos existe una universidad, aunque no sería desafortunado que se usara cuando las universidades no existen. t existe como un reflejo directo de la regulación deóntica de otra persona. Creo que la interpretación modal dinámica muy similar (para esta oración) solo tendría sentido si existiera una universidad.

El consecuente "puedes entrar en la universidad" no puede ser cierto si no existe la universidad. Entonces, si no existe una universidad, la declaración si-entonces se reduce a la negación de la condición antecedente ("tienes razón por encima del 85/100") es verdadera. Entonces, si no existe una universidad, y también es cierto que está justo por encima del 85/100, entonces la afirmación si-entonces es falsa.