Diferencia entre revisiones de «Concepto primitivo»

En lógica, un '''concepto primitivo''', '''concepto básico''' o '''concepto fundamental''' 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 [[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> Más precisamente, el sentido ascendente 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 no negativos. (ii) Axioma fáctico: la segunda 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>.