Diferencia entre revisiones de «Concepto primitivo»

En lógica, un '''concepto primitivo''', '''concepto básico''', '''concepto fundamental''' o '''noción primitiva''' es un [[concepto]] no definido en un contexto determinado.<ref>[[Mario Bunge]], ''Diccionario de filosofía'', 3ª ed., México, Siglo XXI Editores, 2005, p. 16.<!-- Título generado por un bot --></ref> Particularmente, en una [[teoría]] (sistema hipotético-deductivo), es un concepto no definido que se postula en un [[axioma]].<ref>[[Elí de Gortari]], ''Diccionario de la lógica'', México, Plaza y Valdés, 1988, p. 86.<!-- Título generado por un bot --></ref> Que un concepto primitivo sea no definido no implica que su [[interpretación|significado]] sea impreciso, pues las relaciones entre los conceptos primitivos en los axiomas, primero, y entre los conceptos primitivos y los definidos en las [[Definición|definiciones]] y los [[Teorema|teoremas]], después, le otorgan un significado preciso.<ref>Elí de Gortari, ''Ibidem'', p. 87.<!-- Título generado por un bot --></ref> Por ello se dice en ocasiones que los conceptos primitivos en las teorías están "definidas" por uno o más axiomas, pero esto puede llevar a errores. Para evitarlos, más precisamente, el sentido ascendente (un componente del significado) de un concepto primitivo es igual al [[conjunto]] de axiomas en el que se presenta ese concepto.<ref>Mario Bunge, ''Treatise on basic philosophy. Volume 1. Semantics I: Sense and reference'', Dordrecht, D. Reidel Publishing Company, 1974.<!-- Título generado por un bot --></ref> Por ejemplo, en la mecánica de partículas clásica, el sentido ascendente del concepto primitivo <math>~M</math> de [[masa]] es igual al conjunto de los siguientes tres postulados. (i) Axioma matemático: <math>~M</math> es una [[función aditiva]] que relaciona el conjunto <math>~P</math> de las partículas con el conjunto <math>\mathbb R^+</math> de los [[números reales]] positivos. (ii) Axioma fáctico: la segunda [[Leyes de Newton|ley del movimiento de Newton]] <math>\vec{F}(p) = M(p) \cdot \vec{A}(p)</math>. (iii) Axioma semántico: <math>~M(p)</math> representa la [[inercia]] de la partícula <math>p \in P</math>. Las teorías no pueden dispensar de los conceptos primitivos, so pena del problema de regresión infinita. LISBETH