| ← Tema 4• | Filosofía de la Ciencia | • Tema 5 por Hempel→ |
Se da por influjo de la lógica aristotélica, la definición adopta generalmente este esquema “ M es N” donde M= término general monádico y N= composición de términos generales monádicos. Definir a través de las características categorías Género y Diferencia es taxonomía aristotélica.
1. su esquema formal permite utilizar los recursos de la lógica.
Es necesario ver el tratamiento de las teorías de Sneed. “Teoría = Predicado conjuntista” Los predicados conjuntistas se corresponden con las estructuras, anillos, grupos, retículos, etc. Matemáticos.
Se trata de una oración que se deduce del conjunto de otras.
Aristóteles, analíticos posteriores
Existen juicios que son necesarios y a posteriori, entre los que se encuentran los que asignan propiedades generales a las cosas. Pero estos enunciados necesarios no se corresponden con los que conocemos como definiciones. Esto se debe principalmente a que las definiciones no son verdaderas a posteriori.