Concepto primitivo

Carta Común · N.º 377074

En lógica, un concepto primitivo, concepto básico, concepto fundamental o noción primitiva es un concepto no definido en un contexto determinado.​ Particularmente, en una teoría (sistema hipotético-deductivo), es un concepto no definido que se postula en un axioma.​ 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 las definiciones y teoremas, después, le otorgan un significado preciso.​ Por lo anterior, se dice en ocasiones que los conceptos primitivos en las teorías están "definidos" 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.​ Por ejemplo, en la mecánica de partículas clásica, el sentido ascendente del concepto primitivo…

Leer en Wikipedia · Imagen Marcelo Reis~commonswiki, CC BY-SA 3.0