Diferencia entre revisiones de «Primer principio»

Otros principios filosóficos importantes son el [[principio de identidad]], según el cual toda entidad es idéntica a sí misma y sólo a sí misma; el principio de [[identidad de los indiscernibles]], según el cual dos entidades con exactamente las mismas propiedades son la misma entidad; y el principio [[ex nihilo nihil fit]], según el cual de la nada, nada proviene, o en otras palabras que nada puede surgir de la nada.

 

{{AP|Axioma}}

En [[lógica]], con el fin de estudiar la [[validez (lógica)|validez]] de los [[argumento (lógica)|argumento]]s y la noción de [[consecuencia lógica]], los lógicos construyen [[Sistema formal|sistemas formales]], los cuales consisten en un [[lenguaje formal]] junto con un aparato deductivo. El aparato deductivo consiste, a su vez, en un conjunto de [[Fórmula bien formada|fórmulas]] selectas y un conjunto de [[Regla de inferencia|reglas de inferencia]]. Las fórmulas que pueden deducirse a partir de las fórmulas selectas utilizando las reglas de inferencia se conocen como [[teorema]]s. A las fórmulas selectas se las suele llamar [[axioma]]s, y pueden considerarse como los primeros principios de los sistemas formales.