Autores, Editores, Burócratas, Administradores
2226
ediciones
Cambios
sin resumen de edición
===Notas===
<span id="1"> 1.- Si [''Gn''] –donde “''n''” es un nombre propio– entonces [\exists<nowiki></math></nowiki>∃''x Gx'']. Este es una derivación característica en lógica de predicados de primer orden. Tal como se ha explicado más arriba, la lógica de primer orden fue considerada la lógica ‘canónica’ que pone de relieve los compromisos ontológicos de una teoría. [[#.|Volver al texto]]
<span id="2"> 2.-En efecto, no se trata de que los defensores de universales hayan confundido la función semántica de la predicación con la función semántica de la nominación. Los lenguajes naturales cuentan con muchos sustantivos que –''prima facie''– son nombres de universales. También se hacen múltiples cuantificaciones que parecen tener como rango universales (cf. Pap 1959; Jackson 1977). Es notorio, además, que las conclusiones restrictivas sobre el compromiso ontológico con universales se hacen suponiendo sólo lógica de primer orden, esto es, dejando a un lado expresamente la lógica de orden superior –en la que se cuantifica sobre variables en posición predicativa. [[#..|Volver al texto]]
<span id="3"> 3.-Por supuesto, este ejemplo fue propuesto antes de que los astrónomos hayan llegado a la conclusión de que Plutón no califica como un auténtico planeta. [[#...|Volver al texto]]