Axioma

Axioma
En lgica y matemtica, un axioma o postulado es una frmula bien formada de un lenguaje formal que se acepta sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente, los axiomas se eligen de entre las dems frmulas por ser "verdades evidentes" y porque permiten deducir a las dems frmulas deseadas. Sin embargo, no todos los tericos estn de acuerdo con esta aproximacin. En matemtica, un axioma no siempre es una verdad evidente, sino una frmula bien formada utilizada en una deduccin para llegar a una conclusin. Por otro lado, en todas las ciencias (por ejemplo la psicologa) los diferentes enfoques o escuelas suelen diferenciarse en una serie de enunciados de carcter filosfico. A cada uno de estos enunciados se les llama axiomas, como definiciones de carcter operacional que delimitan una concepcin de cada disciplina (tipo de mtodo cientfico que utiliza, concepcin de su objeto de estudio, etc). Por ejemplo, la cognicin, modificacin de conducta o A veces se compara a los axiomas con semillas, porque de ellos surge toda la Gestalt tienen distinto punto de partida sobre qu es la mente, la personalidad teora de la cual son axiomas. o la conducta y, a partir de estos axiomas, se desarrollo toda la teora. Como es sabido, toda ciencia tiene unos puntos de partida de carcter filosfico; incluso la fsica, al considerar que existen reglas constantes que podemos definir. En resumen, una vez ms: cada uno de estos enunciados son llamados axiomas.

Etimologa
La palabra axioma proviene del griego , que significa "lo que parece justo" o aquello que es considerado evidente y sin necesidad de demostracin. La palabra viene del griego (axioein) que significa "valorar", que a su vez procede de (axios) que significa "valuable" o "digno". Entre los antiguos filsofos griegos, un axioma era aquello que pareca ser verdadero sin ninguna necesidad de prueba, tal como sucede en los dogmas de una religin; as pues, un axioma no es ms que un acto de fe en la veracidad de una proposicin.

Lgica
La lgica del axioma es partir de una premisa calificada verdadera por s misma (el axioma) e inferir sobre sta, otras proposiciones por medio del mtodo deductivo, obteniendo conclusiones coherentes con el axioma. Los axiomas han de cumplir slo un requisito: de ellos, y de reglas de inferencia, han de deducirse todas las dems proposiciones de una teora dada.

Axiomas lgicos
stas son ciertas frmulas en un lenguaje que son universalmente vlidas, esto es, frmulas que son satisfechas por cualquier estructura y por cualquier funcin variable, en trminos coloquiales, stos son enunciados que son verdaderos en cualquier mundo posible, bajo cualquier interpretacin posible y con cualquier asignacin de valores. Usualmente uno toma como axiomas lgicos un conjunto mnimo de tautologas que es suficiente para probar todas las tautologas en el lenguaje.

Axioma Ejemplo En el clculo proposicional es comn tomar como axiomas lgicos todas las frmulas siguientes, donde pueden ser cualquier frmula en el lenguaje: 1. 2. 3. Cada uno de estos patrones es un esquema de axiomas, una regla para generar un nmero infinito de axiomas. Por ejemplo, si p, q, y r son variables proposicionales, entonces y son instancias del esquema 1 y por lo tanto son axiomas. Puede probarse que con solamente estos tres esquemas de axiomas y la regla de inferencia modus ponens, alguien puede probar todas las tautologas del clculo proposicional, tambin puede probarse que ningn par de estos esquemas es suficiente para probar todas las tautologas utilizando modus ponens. Este conjunto de esquemas axiomticos tambin es utilizado en el clculo de predicados pero son necesarios ms axiomas lgicos. Ejemplo: Sea un lenguaje de primer orden. Para cada variable , la frmula es universalmente valida. Esto significa que, para cualquier smbolo variable , la frmula puede considerarse un axioma. Para no caer en la vaguedad o en una serie infinita de "nociones primitivas", primeramente se necesita ya sea una idea de lo que queremos decir con o un definir un uso puramente formal y sintctico del smbolo , y de hecho, la lgica matemtica lo hace. Ejemplo: Otro ejemplo interesante, es el de la instanciacin universal. Para una frmula orden , una variable y un trmino que es sustituible por en , la frmula en un lenguaje de primer es vlida se cumple , ,y

universalmente. En trminos informales, este ejemplo nos permite afirmar que si conocemos que una cierta propiedad

para toda y que si es un objeto particular en nuestra estructura, entonces deberamos ser capaces de afirmar . De nuevo, estamos afirmando que la frmula es vlida, esto es, debemos ser capaces de dar una prueba de este hecho, o mejor dicho, una metaprueba. De hecho, estos ejemplos son metateoremas de nuestra teora de la lgica matemtica ya que nos referimos meramente al concepto de demostracin en s. Adems de esto, tambin podemos tener una generalizacin existencial: Esquema axiomtico: Para una frmula es sustituible por en , la en un lenguaje de primer orden es universalmente vlida. , una variable y un trmino que

Axiomas no lgicos
Los axiomas no lgicos son frmulas especficas de una teora y se aceptan solamente por acuerdo. Razonando acerca de dos estructuras diferentes, por ejemplo, los nmeros naturales y los nmeros enteros puede involucrar a los mismos axiomas lgicos, sin embargo, los axiomas no lgicos capturan lo que es especial acerca de una estructura en particular (o un conjunto de estructuras). Por lo tanto los axiomas no lgicos, a diferencia de los axiomas lgicos, no son tautologas. Otro nombre para los axiomas no lgicos es "postulado". Casi cualquier teora matemtica moderna se fundamenta en un conjunto de axiomas no lgicos, se pensaba que en principio cualquier teora puede ser axiomatizada y formalizada, posteriormente esto se demostr imposible. En el discurso matemtico a menudo se hace referencia a los axiomas no lgicos simplemente como axiomas, esto no significa que sean verdaderos en un sentido absoluto. Por ejemplo en algunos grupos, una operacin puede ser conmutativa y esto puede ser afirmado introduciendo un axioma adicional, pero aun sin la introduccin de este axioma se puede desarrollar la teora de grupos e incluso se puede tomar su negacin como un axioma para estudiar los grupos no-conmutativos. Un axioma es el elemento bsico de un sistema de lgica formal y junto con las reglas de inferencia definen un sistema deductivo.

Axioma

Matemticas
En lgica matemtica, un axioma no es necesariamente una verdad evidente, sino una frmula bien formada utilizada en una deduccin para llegar a una conclusin. En matemtica se distinguen dos tipos de axiomas: axiomas lgicos y axiomas no lgicos. Axioma es un enunciado aceptado como cierto, el cual contiene trminos no definidos (punto, elemento, conjunto y otros conceptos primitivos a los cuales no hay forma de definirlos sino con ellos mismos).

Limitaciones de los sistemas axiomticos

Kurt Gdel demostr a mediados del siglo XX que los sistemas axiomticos de cierta complejidad, por definidos y consistentes que sean, poseen serias limitaciones. En todo sistema de una cierta complejidad, siempre habr una proposicin P que sea verdadera, pero no demostrable. De hecho, Gdel prueba que, en cualquier sistema formal que incluya la aritmtica, puede formarse una proposicin P que afirme que este enunciado no es demostrable.

Vase tambin
Dogma Sistema formal Regla de inferencia Teorema Axiomas de Peano Teoremas de incompletitud de Gdel

Bibliografa
Sagan, Carl (1997). El mundo y sus demonios. Barcelona: Planeta. ISBN 84-08-02043-9.

Enlaces externos
Axioma [1] Axioma, en Symplok [2] Axioma, en el Diccionario sovitico de filosofa [3] Axioma, en Diccionario enciclopdico hispanoamericano [4]

rue:

Referencias
[1] [2] [3] [4] http:/ / www. ucm. es/ info/ eurotheo/ diccionario/ A/ axioma. pdf http:/ / symploke. trujaman. org/ index. php?title=Axiomas http:/ / www. filosofia. org/ enc/ ros/ axioma. htm http:/ / www. e-torredebabel. com/ Enciclopedia-Hispano-Americana/ V2/ axioma-filosofia-D-E-H-A. htm

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Axioma Fuente: http://es.wikipedia.org/w/index.php?oldid=43613596 Contribuyentes: Aiax, AlfonsoERomero, Alonso de Celada, AlvaroAthos, Antn Francho, Brunoalbertorazi, C'est moi, Damifb, David0811, Davius, DeTurk, Diegusjaimes, Egaida, Erfil, Erudicin, Esitep, Euclides, Galandil, Gsrdzl, HUB, Humberto, Ingenioso Hidalgo, Inulises, JMCC1, Jkbw, Johfrael, JorgeGG, Juan Mayordomo, Judas Ali-Qu, Julian Colina, Kved, Laura Fiorucci, Lopezpablo 87, Lucrecius, Luis Felipe Schenone, MARC912374, Maldoror, Mario modesto, Matdrodes, Miguel Strogoff, Miguel Villegas Lamberti, Moraleh, Moriel, Muro de Aguas, Nightwish, Nihilo, Paco-malaga, Pan con queso, PePeEfe, Pelirrojo2007, PoLuX124, Ppja, Prometheus, Roblespepe, RoyFocker, Sanbec, Santiago998, Slipkniboro, Sms, Sofista, Surscrd, Tharasia, Tomatejc, Tuertooriginal, Unificacion, Vivero, Youssefsan, Yrithinnd, 134 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Avocado Seedling.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Avocado_Seedling.jpg Licencia: Creative Commons Attribution 2.5 Contribuyentes: Mark Hofstetter

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/