Lgica

De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de la demostracin e inferencia vlida. La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio. La lgica examina la validez de los argumentos en trminos de su estructura, (estructura lgica), independientemente del contenido especfico del discurso y de la lengua utilizada en su expresin y de los estados reales a los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la lgica es una ciencia formal. Tradicionalmente ha sido considerada como una parte de la filosofa. Pero en su desarrollo histrico, a partir del final del siglo XIX, y su formalizacin simblica ha mostrado su ntima relacin con las matemticas; de tal forma que algunos la consideran como Lgica matemtica. En el siglo XX la lgica ha pasado a ser principalmente la lgica simblica. Un clculo definido por unos smbolos y unas reglas de inferencia.[1] Lo que ha permitido un campo de aplicacin fundamental en la actualidad: la informtica. Hasta entonces la lgica no tuvo este sentido de estructura formal estricta. La tradicin aristotlica y estoica,[2] mantuvo siempre una relacin con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisin de contenidos verdaderos. Por ello an siendo formales, no eran formalistas.[3] Hoy, tras los progresos cientficos relativos a la lingstica, y el concepto semntico de verdad en su relacin con el lenguaje,[4] tal relacin se trata bajo un punto de vista completamente diferente. La formalizacin estricta ha mostrado las limitaciones de la lgica tradicional interpretada actualmente como una particularidad de la lgica de clases.[5]

Contenido
[ocultar]

1 Diferentes acepciones del trmino lgica o 1.1 Ciencia argumentativa y propedutica o 1.2 Ciencia del pensar o 1.3 Ciencia formal

1.4 La Lgica informal 2 Sistemas lgicos o 2.1 Lgicas clsicas o 2.2 Lgicas no clsicas o 2.3 Lgicas modales 3 Metalgica o 3.1 Consistencia o 3.2 Decidibilidad o 3.3 Completitud 4 Falacias o 4.1 Falacias formales o 4.2 Falacias informales 5 Paradojas 6 Historia de la lgica o 6.1 Edad Antigua o 6.2 Edad Media o 6.3 La Edad Moderna o 6.4 Siglo XIX o 6.5 Siglo XX 7 Notas y referencias 8 Bibliografa adicional 9 Vase tambin 10 Enlaces externos

[editar] Diferentes acepciones del trmino lgica

[editar] Ciencia argumentativa y propedutica
El trmino lgica, se encuentra en los antiguos peripatticos y estoicos como una teora de la argumentacin o argumento cerrado;[6] De este modo la forma argumentativa responde al principio de conocimiento que supone que representa adecuadamente la realidad.[7] Por ello, sin perder su condicin de formalidad, no son formalistas y no acaban de desprenderse de las estructuras propias del lenguaje.[3] Con el nombre de Dialctica, en la Edad Media, la Lgica mantiene la condicin de ciencia propedutica. As se estudia en la estructura de las enseanzas del Trivium como una de las artes liberales. En la Edad Moderna la lgica tradicional aristotlica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lgica como ciencia.

[editar] Ciencia del pensar

Gottfried Leibniz (1646-1716). Los filsofos racionalistas, sin embargo, al situar el origen de la reflexin filosfica en la conciencia, aportaron, a travs del desarrollo del anlisis como mtodo cientfico del pensar,[8] los temas que van a marcar el desarrollo de la lgica formal. Son de especial importancia la idea de Descartes de una Mathesis universalis[9] y de Leibniz que, con su Characteristica Universalis supone la posibilidad de un lenguaje universal, especificado con precisin matemtica sobre la base de que la sintaxis de las palabras debera estar en correspondencia con las entidades designadas como individuos o elementos metafsicos, lo que hara posible un clculo o computacin mediante algoritmo en el descubrimiento de la verdad.[10] [11] Aparecen los primeros intentos y realizaciones de mquinas de clculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Caracterstica Universal, es el antecedente inmediato del desarrollo de la lgica simblica a partir del siglo XX. La palabra lgica ha sido utilizada como lgica trascendental por Kant, en el sentido de investigar los conceptos puros a priori del entendimiento o categoras trascendentales. Hegel considera la lgica dentro del absoluto como proceso dialctico del Absoluto, entendido ste como Principio Absoluto, Espritu Absoluto, y Sujeto, como Sujeto Absoluto.[12] [13] La lgica, la epistemologa y la ontologa van unidas y son expuestas en la filosofa entendida sta como Sistema Absoluto.

[editar] Ciencia formal

En el ltimo tercio del siglo XIX la Lgica va a encontrar su transformacin ms profunda de la mano de las investigaciones matemticas y lgicas, junto con el desarrollo de la

investigacin de las estructuras profundas del lenguaje, la lingstica, convirtindose definitivamente en una ciencia formal.

[editar] La Lgica informal

En el lenguaje cotidiano, expresiones como lgica o pensamiento lgico, aporta tambin un sentido alrededor de un pensamiento lateral comparado, haciendo los contenidos de la afirmacin coherentes con un contexto, bien sea del discurso o de una teora de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradicin cultural. Del mismo modo existe el concepto sociolgico y cultural de lgica como, p.e. la lgica de las mujeres, lgica deportiva, etc. que, en general, podramos considerar como lgica cotidiana - tambin conocida como lgica del sentido comn. En estas reas la lgica suele tener una referencia lingstica en la pragmtica. Un argumento en este sentido tiene su lgica cuando resulta convincente, razonable y claro; en definitiva cuando cumple una funcin de eficacia. La habilidad de pensar y expresar un argumento as corresponde a la retrica, cuya relacin con la verdad es una relacin probable.[14]

[editar] Sistemas lgicos

Artculo principal: Sistema formal

Existe un debate sobre si es correcto hablar de una lgica, o de varias lgicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas lgicos diferentes, que capturan y formalizan distintas partes del lenguaje natural. Se podra definir a un sistema lgico como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo ms convenientemente posible. Un sistema lgico est compuesto por: 1. Un conjunto de smbolos primitivos (el alfabeto, o vocabulario). 2. Un conjunto de reglas de formacin (la gramtica) que nos dice cmo construir frmulas bien formadas a partir de los smbolos primitivos. 3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una frmula bien formada. 4. Un conjunto de reglas de inferencia. Estas reglas determinan qu frmulas pueden inferirse de qu frmulas. Por ejemplo, una regla de inferencia clsica es el modus ponens, segn el cual, dada una frmula A, y otra frmula A B, la regla nos permite afirmar que B. Estos cuatro elementos completan la parte sintctica de los sistemas lgicos. Sin embargo, todava no se ha dado ningn significado a los smbolos discutidos, y de hecho, un sistema

lgico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semntica formal, que se ocupa de introducir un quinto elemento: 5. Una interpretacin formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretacin que se le d. Por ejemplo, en el idioma espaol, la palabra banco puede significar un edificio o un asiento, mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto. En consecuencia, dependiendo de la interpretacin, variar tambin el valor de verdad de la oracin el banco est cerca. Las interpretaciones formales asignan significados inequvocos a los smbolos, y valores de verdad a las frmulas. [editar] Lgicas clsicas Los sistemas lgicos clsicos son los ms estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lgicas rechazan. Algunos de estos principios son: el principio del tercero excluido, el principio de no contradiccin, el principio de explosin y la monoticidad de la implicacin. Entre los sistemas lgicos clsicos se encuentran:

Lgica proposicional Lgica de primer orden Lgica de segundo orden

[editar] Lgicas no clsicas Los sistemas lgicos no clsicos son aquellos que rechazan uno o varios de los principios de la lgica clsica. Algunos de estos sistemas son:

Lgica difusa: Es una lgica plurivalente que rechaza el principio del tercero excluido y propone un nmero infinito de valores de verdad. Lgica relevante: Es una lgica paraconsistente que evita el principio de explosin al exigir que para que un argumento sea vlido, las premisas y la conclusin deben compartir al menos una variable proposicional. Lgica cuntica: Desarrollada para lidiar con razonamientos en el campo de la mecnica cuntica; su caracterstica ms notable es el rechazo de la propiedad distributiva. Lgica no monotnica: Una lgica no monotnica es una lgica donde, al agregar una frmula a una teora cualquiera, es posible que el conjunto de consecuencias de esa teora se reduzca. Lgica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.

[editar] Lgicas modales Las lgicas modales estn diseadas para tratar con expresiones que califican la verdad de los juicios. As por ejemplo, la expresin siempre califica a un juicio verdadero como

verdadero en cualquier momento, es decir, siempre. No es lo mismo decir est lloviendo que decir siempre est lloviendo.

Lgica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia. Lgica dentica: Se ocupa de las nociones morales de obligacin y permisibilidad. Lgica temporal: Abarca operadores temporales como siempre, nunca, antes, despus, etc. Lgica epistmica: Es la lgica que formaliza los razonamientos relacionados con el conocimiento. Lgica doxstica: Es la lgica que trata con los razonamientos acerca de las creencias.

[editar] Metalgica
Mientras la lgica se encarga, entre otras cosas, de construir sistemas lgicos, la metalgica se ocupa de estudiar las propiedades de dichos sistemas. Las propiedades ms importantes que se pueden demostrar de los sistemas lgicos son: [editar] Consistencia
Artculo principal: Consistencia (lgica)

Un sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradiccin dentro del sistema. Es decir, dado un lenguaje formal con un conjunto de axiomas, y un aparato deductivo (reglas de inferencia), no es posible llegar a una contradiccin. [editar] Decidibilidad
Artculo principal: Decidibilidad

Se dice de un sistema que es decidible cuando, para cualquier frmula dada en el lenguaje del sistema, existe un mtodo efectivo para determinar si esa frmula pertenece o no al conjunto de las verdades del sistema. Cuando una frmula no puede ser probada verdadera ni falsa, se dice que la frmula es independiente, y que por lo tanto el sistema es no decidible. La nica manera de incorporar una frmula independiente a las verdades del sistema es postulndola como axioma. Dos ejemplos muy importantes de frmulas independientes son el axioma de eleccin en la teora de conjuntos, y el quinto postulado de la geometra euclidiana. [editar] Completitud
Artculo principal: Completitud (lgica)

Se habla de completitud en varios sentidos, pero quizs los dos ms importantes sean los de completitud semntica y completitud sintctica. Un sistema S en un lenguaje L es semnticamente completo cuando todas las tautologas de L son teoremas de S. En cambio, un sistema S es sintcticamente completo si, para toda frmula A del lenguaje del sistema, A es un teorema de S o A es un teorema de S. Esto es, existe una prueba para cada frmula o para su negacin. La lgica proposicional y la lgica de predicados de primer orden son ambas semnticamente completas, pero no sintcticamente completas. Por ejemplo, ntese que en la lgica proposicional, la frmula p no es un teorema, y tampoco lo es su negacin, pero como ninguna de las dos es una tautologa, no afectan a la completitud semntica del sistema. El segundo teorema de incompletitud de Gdel demuestra que ningn sistema (definido recursivamente) con cierto poder expresivo puede ser a la vez consistente y completo.

[editar] Falacias
Artculo principal: Falacia

Una falacia es un argumento que si bien puede ser convincente o persuasivo,[15] no es lgicamente vlido. Esto no quiere decir que la conclusin de los argumentos falaces sea falsa, sino que el argumento mismo es malo, no es vlido.[16] Existen varias maneras de clasificar a la gran cantidad de falacias conocidas, pero quizs la ms neutral y general (aunque tal vez un poco amplia), sea la que divide a las falacias en formales e informales. [editar] Falacias formales Las falacias formales son aquellas cuyo error reside en la forma o estructura de los argumentos. Algunos ejemplos conocidos de falacias formales son:

Afirmacin del consecuente: Un ejemplo de esta falacia podra ser: 1. Si Mara estudia, entonces aprobar el examen. 2. Mara aprob el examen. 3. Por lo tanto, Mara estudi. Esta falacia resulta evidente cuando advertimos que puede haber muchas otras razones de por qu Mara aprob el examen. Por ejemplo, pudo haber copiado, o quiz tuvo suerte, o quiz aprob gracias a lo que recordaba de lo que escuch en clase, etc. En tanto es una falacia formal, el error en este argumento reside en la forma del mismo, y no en el ejemplo particular de Mara y su examen. La forma del argumento es la siguiente: 4. Si p, entonces q. 5. q 6. Por lo tanto, p.

Generalizacin apresurada: En esta falacia, se intenta concluir una proposicin general a partir de un nmero relativamente pequeo de casos particulares. Por ejemplo: 1. Todos las personas altas que conozco son rpidas. 2. Por lo tanto, todas las personas altas son rpidas. El lmite entre una generalizacin apresurada y un razonamiento inductivo puede ser muy delgado, y encontrar un criterio para distinguir entre uno y otro es parte del problema de la induccin.

[editar] Falacias informales Las falacias informales son aquellas cuya falta est en algo distinto a la forma o estructura de los argumentos. Esto resulta ms claro con algunos ejemplos:

Falacia ad hominem: se llama falacia ad hominem a todo argumento que, en vez de atacar la posicin y las afirmaciones del interlocutor, ataca al interlocutor mismo. La estrategia consiste en descalificar la posicin del interlocutor, al descalificar a su defensor. Por ejemplo, si alguien argumenta: Usted dice que robar est mal, pero usted tambin lo hace, est cometiendo una falacia ad hominem (en particular, una falacia tu quoque), pues pretende refutar la proposicin robar est mal mediante un ataque al proponente. Si un ladrn dice que robar est mal, quizs sea muy hipcrita de su parte, pero eso no afecta en nada a la verdad o la falsedad de la proposicin en s. Falacia ad verecundiam: se llama falacia ad verecundiam a aquel argumento que apela a la autoridad o al prestigio de alguien o de algo a fin de defender una conclusin, pero sin aportar razones que la justifiquen. Falacia ad ignorantiam: se llama falacia ad ignorantiam al argumento que defiende la verdad o falsedad de una proposicin porque no se ha podido demostrar lo contrario. Falacia ad baculum: Se llama falacia ad baculum a todo argumento que defiende una proposicin basndose en la fuerza o en la amenaza. Falacia circular: se llama falacia circular a todo argumento que defiende una conclusin que se verifica recprocamente con la premisa, es decir que justifica la vericidad de la premisa con la de la conclusin y viceversa, cometiendo circularidad. Falacia del hombre de paja: Sucede cuando, para rebatir los argumentos de un interlocutor, se distorsiona su posicin y luego se refuta esa versin modificada. As, lo que se refuta no es la posicin del interlocutor, sino una distinta que en general es ms fcil de atacar. Tmese por ejemplo el siguiente dilogo: Persona A: Sin duda estars de acuerdo en que los Estados Unidos tienen el sistema legal ms justo y el gobierno ms organizado. Persona B: Si los Estados Unidos son el mejor pas del mundo, eso slo significa que las opciones son muy pocas y muy pobres.

En este dilogo, la persona B puso en la boca de la persona A algo que sta no dijo: que los Estados Unidos son el mejor pas del mundo. Luego atac esa posicin, como si fuera la de la persona A.

[editar] Paradojas
Artculo principal: Paradoja

Una paradoja es una razonamiento en apariencia vlido, que parte de premisas en apariencia verdaderas, pero que conduce a una contradiccin o a una situacin contraria al sentido comn.[17] Los esfuerzos por resolver ciertas paradojas han impulsado desarrollos en la lgica, la filosofa, la matemtica y las ciencias en general.

[editar] Historia de la lgica

Artculo principal: Historia de la lgica

Histricamente la palabra lgica ha ido cambiando de sentido. Comenz siendo una modelizacin de los razonamientos, propuesta por los filsofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales. Etimolgicamente la palabra lgica deriva del trmino griego logiks, que a su vez deriva de logos 'razn, palabra, discurso'.[18] En un principio la lgica no tuvo el sentido de estructura formal estricta.

[editar] Edad Antigua

La lgica, como un anlisis explcito de los mtodos de razonamiento, se desarroll originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C. En China no dur mucho tiempo: la traduccin y la investigacin escolar en lgica fue reprimida por la dinasta Qin, acorde con la filosofa legista. En India, la lgica dur bastante ms: se desarroll (por ejemplo con la nyya) hasta que en el mundo islmico apareci la escuela de Asharite, la cual suprimi parte del trabajo original en lgica. A pesar de lo anterior, hubo innovaciones escolsticas indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la India colonial. El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la tradicin griega. Se considera a Aristteles el fundador de la lgica como propedutica o herramienta bsica para todas las ciencias. Aristteles fue el primero en formalizar los razonamientos, utilizando letras para representar trminos. Tambin fue el primero en emplear el trmino lgica para referirse al estudio de los argumentos dentro del lenguaje apofntico como manifestador de la verdad en la ciencia. Sostuvo que la verdad se manifiesta en el juicio verdadero y el argumento vlido en el silogismo: Silogismo es un argumento en el cual,

establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente.[19] Se refiri en varios escritos de su rganon a cuestiones tales como concepto, la proposicin, definicin, prueba y falacia. En su principal obra lgica, los Primeros analticos, desarroll el silogismo, un sistema lgico de estructura rgida. Aristteles tambin formaliz el cuadro de oposicin de los juicios y categoriz las formas vlidas del silogismo. Adems, Aristteles reconoci y estudi los argumentos inductivos, base de lo que constituye la ciencia experimental, cuya lgica est estrechamente ligada al mtodo cientfico. La influencia de los logros de Aristteles fue tan grande, que en el siglo XVIII, Immanuel Kant lleg a decir que Aristteles haba prcticamente completado la ciencia de la lgica.[20] Los filsofos estoicos introdujeron el silogismo hipottico y anunciaron la lgica proposicional, pero no tuvo mucho desarrollo. Por otro lado, la lgica informal fue cultivada por la retrica, la oratoria y la filosofa, entre otras ramas del conocimiento. Estos estudios se centraron principalmente en la identificacin de falacias y paradojas, as como en la construccin correcta de los discursos. En el periodo romano la lgica tuvo poco desarrollo, ms bien se hicieron sumarios y comentarios a las obras recibidas, siendo los ms notables: Cicern, Porfirio y Boecio. En el perodo bizantino, Filopn.

[editar] Edad Media

Averroes, uno de los principales rabes en rescatar la lgica aristotlica y regresarla a Occidente. Con el nombre de Dialctica en la Edad Media la Lgica mantiene la condicin de ciencia propedutica. As se estudia en la estructura de las enseanzas del Trivium como una de las artes liberales pero sin especiales aportaciones en la Alta Edad Media. En su evolucin hacia la Baja Edad Media son importantes las aportaciones rabes de AlFarab; Avicena[21] y Averroes, pues fueron los rabes quienes reintrodujeron los escritos de Aristteles en Europa.

En la Baja Edad Media su estudio era requisito para entrar en cualquier universidad. Desde mediados del siglo XIII se incluyen en la lgica tres cuerpos separados del texto. En la logica vetus y logica nova es tradicional escritos lgicos, especialmente el rganon de Aristteles y los comentarios de Boecio y Porfirio. La parva logicalia puede ser considerada como representativa de la lgica medieval. La evolucin crtica que se va desarrollando a partir de las aportaciones de Abelardo dinamizaron la problemtica lgica y epistemolgica a partir del siglo XIII (Pedro Hispano; Raimundo Lulio[22] Lambert de Auxerre Guillermo de Sherwood) que culminaron en toda la problemtica del siglo XIV: Guillermo de Ockham; Jean Buridan; Alberto de Sajonia. Aqu estn tratados una cantidad de nuevos problemas en la frontera de la lgica y la semntica que no fueron tratados por los pensadores antiguos. De especial relevancia es la problemtica respecto a la valoracin de los trminos del lenguaje en relacin con los conceptos universales, as como el estatuto epistemolgico y ontolgico de stos.

[editar] La Edad Moderna

Un nuevo enfoque adquiere esta lgica en las interpretaciones racionalistas de Port Royal, en el siglo XVII, (Antoine Arnauld; Pierre Nicole) pero tampoco supusieron un cambio radical en el concepto de la Lgica como ciencia. Los filsofos racionalistas, sin embargo, aportaron a travs del desarrollo del anlisis y su desarrollo en las matemticas (Descartes, Pascal y, sobre todo Leibniz) los temas que van a marcar el desarrollo posterior. Son de especial importancia la idea de Descartes de una Mathesis universalis[23] y de Leibniz en la bsqueda de un lenguaje universal, especificado con precisin matemtica sobre la base de que la sintaxis de las palabras debera estar en correspondencia con las entidades designadas como individuos o elementos metafsicos, lo que hara posible un clculo o computacin mediante algoritmo en el descubrimiento de la verdad.[24] Aparecen los primeros intentos y realizaciones de mquinas de clculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Caracterstica Universal, es el antecedente inmediato del desarrollo de la lgica a partir del siglo XX.
Artculo principal: Kant

Kant consideraba que la lgica por ser una ciencia a priori haba encontrado su pleno desarrollo prcticamente con la lgica aristotlica, por lo que apenas haba sido modificada desde entonces.[25] Pero hace un uso nuevo de la palabra lgica como lgica trascendental, en el sentido de investigar los conceptos puros del entendimiento o categoras trascendentales.
Artculo principal: Idealismo

La lgica del pensar trascendental acaba situndose en un proceso dialctico como idealismo subjetivo en Fichte; idealismo objetivo en Schelling y, finalmente un idealismo absoluto en
Artculo principal: Hegel

Hegel considera la lgica dentro del Absoluto como un proceso dialctico del Espritu Absoluto[26] que produce sus determinaciones como concepto y su realidad como resultado en el devenir de la Idea del Absoluto como Sujeto[27] cuya verdad se manifiesta en el resultado del movimiento mediante la contradiccin en tres momentos sucesivos, tesisanttesis-sntesis. La epistemologa y la ontologa van unidas y expuestas en la Filosofa entendida sta como Sistema Absoluto.

[editar] Siglo XIX

A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada profundamente. En 1847, George Boole public un breve tratado titulado El anlisis matemtico de la lgica, y en 1854 otro ms importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lgica como un clculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemticas como la suma y la multiplicacin. Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lgica formal, donde introduce las leyes de De Morgan e intenta generalizar la nocin de silogismo. Otro importante contribuyente ingls fue John Venn, quien en 1881 public su libro Lgica Simblica, donde introdujo los famosos diagramas de Venn. Charles Sanders Peirce y Ernst Schrder tambin hicieron importantes contribuciones. Sin embargo, la verdadera revolucin de la lgica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lgico ms importante de la historia, junto con Aristteles. En su trabajo de 1879, la Conceptografa, Frege ofrece por primera vez un un sistema completo de lgica de predicados. Tambin desarrolla la idea de un lenguaje formal y define la nocin de prueba. Estas ideas constituyeron una base terica fundamental para el desarrollo de las computadoras y las ciencias de la computacin, entre otras cosas. Pese a esto, los contemporneos de Frege pasaron por alto sus contribuciones, probablemente a causa de la complicada notacin que desarroll el autor. En 1893 y 1903, Frege publica en dos volmenes Las leyes de la aritmtica, donde intenta deducir toda la matemtica a partir de la lgica, en lo que se conoce como el proyecto logicista. Su sistema, sin embargo, contena una contradiccin (la paradoja de Russell).

[editar] Siglo XX
El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la lgica pas a estudiarse por su inters intrnseco, y no slo por sus virtudes como propedutica, por lo que estudi a niveles mucho ms abstractos.

En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemtica a partir de la lgica, evitando caer en las paradojas en las que cay Frege. Los autores reconocen el mrito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia mathematica tuvo un xito rotundo, y lleg a considerarse uno de los trabajos de no ficcin ms importantes e influyentes de todo el siglo XX. Principia mathematica utiliza una notacin inspirada en la de Giuseppe Peano, parte de la cual todava es muy utilizada hoy en da. Si bien a la luz de los sistemas contemporneos la lgica aristotlica puede parecer equivocada e incompleta, Jan ukasiewicz mostr que, a pesar de sus grandes dificultades, la lgica aristotlica era consistente, si bien haba que interpretarse como lgica de clases, lo cual no es pequea modificacin. Por ello la silogstica prcticamente no tiene uso actualmente. Adems de la lgica proposicional y la lgica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas lgicos; entre los que destacan las muchas lgicas modales.

Historia de la lgica
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los mtodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia. Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lgica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lgica proviene de la tradicin griega, especialmente del Organon aristotlico, cuyos logros seran desarrollados por los lgicos islmicos y, luego, por los lgicos de la Edad Media europea. El descubrimiento de la lgica india entre los especialistas britnicos en el siglo XVIII influy tambin en la lgica moderna.

Contenido
[ocultar]

1 La Edad Antigua o 1.1 La Mesopotamia o 1.2 La Antigua Grecia o 1.3 La Antigua India

1.4 La Antigua China 2 La Edad Media o 2.1 El mundo islmico o 2.2 La Europa medieval 3 La Edad Moderna o 3.1 La lgica de Port-Royal 4 La Edad Contempornea 5 Vase tambin 6 Notas y referencias 7 Bibliografa adicional 8 Enlaces externos

[editar] La Edad Antigua

[editar] La Mesopotamia
En Mesopotamia, el Manual de diagnstico mdico de Esagil-kin-apli, escrito en el siglo XI a. C., se bas en un conjunto lgico de axiomas y asunciones, entre las que se incluyen la visin moderna de que, a travs del examen e inspeccin de los sntomas de un paciente, es posible determinar el problema del mismo, su etiologa y su desarrollo futuro, y las posibilidades de recuperacin.[1] Durante los siglos VIII y VII, los astrnomos babilonios empezaron a utilizar una lgica interna en sus sistemas de prediccin planetaria, que fue una importante contribucin a la lgica y la filosofa de la ciencia.[2] El pensamiento babilnico tuvo una considerable influencia en el pensamiento de la Grecia arcaica.[3]

[editar] La Antigua Grecia

En la Antigua Grecia, emergieron dos tradiciones lgicas opuestas. La lgica estoica estaba enraizada en Euclides de Megara, pupilo de Scrates, y con su concentracin en la lgica proposicional es la que quizs est ms prxima a la lgica moderna. Sin embargo, la tradicin que sobrevivi a las influencias de culturas posteriores fue la peripattica, que tuvo su origen en el conjunto de obras de Aristteles conocido como Organon, "instrumento", la primera obra griega sistemtica sobre lgica. El examen de Aristteles del silogismo permite interesantes comparaciones con el esquema indio de la inferencia y la menos rgida discusin china. A travs del latn en Europa occidental y de distintas lenguas orientales, como el rabe, armenio y georgiano, la tradicin aristotlica fue considerada de forma especial para la codificacin de las leyes del razonamiento. Solo a partir del siglo XIX cambi este enfoque.

[editar] La Antigua India

Dos de las seis escuelas indias de pensamiento estn relacionadas con la lgica: Nyya y Vaisheshika. Los Nyaya Sutras de Aksapada Gautama constituyen el ncleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofa hind. Esta escuela realista trabaj con un rgido esquema de inferencia de cinco miembros que engloba una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin. La filosofa budista idealista se convirti en la principal oponente de los Naiyayikas. Ngrjuna, el fundador del camino intermedio Madhyamika, desarroll un anlisis conocido como "catuskoti" o tetralemma. Esta argumentacin de cuatro aspectos examin y rechaz sistemticamente la afirmacin de una proposicin, su negacin, la afirmacin conjunta y negacin, y finalmente, el rechazo de su afirmacin y negacin. Pero fue con Dignaga y su sucesor Dharmakirti con quienes la lgica budista alcanz su mayor altura. Su anlisis, centrado en la definicin de la implicacin necesariamente lgica, "vyapti", conocida tambin como concomitancia o penetracin invariable. A este fin, fue desarrollada una doctrina conocida como "apoha" o diferenciacin. Comprende lo que se podra llamar la inclusin y exclusin de propiedades definitorias. Las dificultades concernientes a esta empresa, en parte, estimularon a la escuela neoescolstica de Navya-Nyya, que introdujo un anlisis formal de la inferencia en al siglo XVI.

[editar] La Antigua China

En China, un contemporneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohsmo), cuyos principios estn relacionados con temas como la inferencia vlida y las condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohsmo, los lgicos, es considerada por varios expertos como la primera que investig la lgica formal. Desafortunadamente, debido a la rgida normativa legal durante la dinasta Qin, esa lnea de investigacin desapareci de China hasta la introduccin de la filosofa india por parte del budismo.

[editar] La Edad Media

[editar] El mundo islmico
Durante un tiempo tras la muerte de Mahoma, la ley islmica consider importante formular estndares para los argumentos, lo que dio lugar a una nueva aproximacin a la lgica en Kalam, pero esta aproximacin fue ms tarde desplazada por ideas tomadas de la filosofa griega y helenstica con el auge de los filsofos de la escuela Mu'tazili, que valoraron extraordinariamente el Organon de Aristteles. Las obras de los filsofos islmicos con influencias helensticas fueron cruciales para la recepcin de la lgica aristtelica en la Europa medieval, junto con los comentarios sobre el Organon elaborados por Averroes. Las obras de al-Farabi, Avicenna, al-Ghazali y otros lgicos musulmanes que en ocasiones criticaron y corrigieron la lgica aristotlica e introdujeron sus propias formas de lgica, tambin desempearon un papel central en el subsecuente desarrollo de la lgica europea medieval. La lgica islmica no solo incluye el estudio de modelos formales de inferencia y su validacin, sino tambin elementos de la filosofa del lenguaje y elementos de

epistemologa y metafsica. Debido a disputas con gramticos rabes, los filsofos islmicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre lgica y lenguaje, y dedicaron muchas discusiones a la cuestin del objeto de inters y objetivos de la lgica en relacin con el razonamiento y el habla. En el rea del anlisis lgicoformal, elaboraron la teora de los trminos, proposiciones y silogismos. Consideraron el silogismo como la forma a la que toda argumentacin racional poda reducirse, y consideraron la teora silogstica como el punto central de la lgica. Incluso, la potica fue considerada, en ciertos aspectos, como un arte silogstico por muchos de los ms importantes lgicos islmicos. Entre los ms importantes desarrollos realizados por los lgicos musulmanes est el de la lgica de Avicena como sustituta de la lgica aristotlica. El sistema lgico de Avicena fue responsable de la introduccin del silogismo hipottico,[4] de la lgica modo-temporal,[5] [6] y de la lgica inductiva.[7] [8] Otro importante desarrollo en la filosofa islmica es el de una estricta ciencia de la cita, la isnad o "revisin", y el desarrollo de un mtodo cientfico de investigacin abierta para poner en cuestin determinadas afirmaciones, la ijtihad, que poda aplicarse normalmente a muchos tipos de cuestiones. Desde el siglo XII, a pesar de la sofisticacin lgica de al-Ghazali, el auge de la escuela Asharite al final de la Edad Media limit poco a poco la obra original sobre lgica en el mundo islmico, aunque continu posteriormente en el siglo XV.

[editar] La Europa medieval

Se entiende habitualmente por "lgica medieval" (tambin conocida como "lgica escolstica") la forma de la lgica aristotlica desarrollada en la Europa medieval en el periodo de c 12001600. Esta tarea comenz tras las traducciones al latn del siglo XII, cuando textos rabes sobre lgica aristotlica y la lgica de Avicena fueron traducidos a la lengua de Roma. Aunque la lgica de Avicena tuvo influencia en los primeros lgicos medievales europeos tales como Alberto Magno,[9] la tradicin aristotlica se convirti en la dominante debido a la importante influencia del averrosmo. Tras la fase inicial de traducciones, la tradicin de la lgica medieval fue desarrollada en manuales como el de Petrus Hispanus (fl. siglo XIII), de identidad desconocida, que fue autor de un manual estndar sobre lgica, el Tractatus, que fue bien conocido en Europa durante varios siglos. La tradicin alcanz su punto ms alto en el siglo XIV, con las obras de Guillermo de Ockham (c. 12871347) y Jean Buridan. Un rasgo del desarrollo de la lgica aristotlica se conoce con el nombre de teora de la suposicin, un estudio de la semntica de los trminos de la proposicin. La ltimas grandes obras de esta tradicin son Logic de John Poinsot (15891644, conocido como John of St Thomas), y Disputas metafsicas de Francisco Surez (1548 1617).

[editar] La Edad Moderna

[editar] La lgica de Port-Royal
Artculo principal: Lgica de Port-Royal

La expresin "lgica tradicional" hace referencia, habitualmente, a la tradicin de manuales que comienza con La logique ou l'art de penser de Antoine Arnauld y Pierre Nicole, ms conocido como Lgica de Port-Royal. Publicada en 1662, fue la ms influyente obra sobre lgica en Inglaterra hasta el Sistema Lgico de Mill de 1825 [N4]. El libro presenta una muy libre doctrina cartesiana (que la proposicin es una combinacin de ideas antes que de trminos, por ejemplo) dentro de un marco que se deriva ampliamente de la lgica de trminos aristotlica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable influencia. Fue frecuentemente reeditado en Inglaterra hasta finales del siglo XIX. El tratamiento que realiza Locke de la proposicin en el Ensayo es, esencialmente, el de Port-Royal: "Las proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, ya vayan juntas o separadas en oraciones afirmativas o negativas. As, pues, la proposicin consiste en juntar o separar esos signos, de acuerdo con las cosas con las que estn de acuerdo o en desacuerdo." (Locke, An Essay Concerning Human Understanding, IV. 5. 6) Los trabajos ms conocidos dentro de esta tradicin son los de Isaac Watts, Logick: Or, the Right Use of Reason (1725), Richard Whately, Logic (1826), y John Stuart Mill, A System of Logic (1843), que fue una de las ltimas grandes obras de la tradicin.

[editar] La Edad Contempornea

Histricamente, Descartes puede que haya sido el primer filsofo en haber tenido la idea de usar el lgebra, especialmente sus tcnicas para resolver cantidades desconocidas en las ecuaciones, como vehculo para la exploracin cientfica. La idea de un clculo de razonamiento fue tambin cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en formular la nocin de un sistema de lgica matemtica aplicable de forma generalizada. Sin embargo, los documentos relevantes al respecto no fueron publicados hasta 1901 y muchos de ellos siguen sin estar publicados, y la actual comprensin del poder de los descubrimientos de Leibniz no empez a desarrollarse hasta los aos ochenta. Gottlob Frege en su Begriffsschrift (1879) extendi la lgica formal ms all de la lgica proposicional para incluir constructores como "todo" y "algunos". Mostr cmo introducir variables y cuantificadores para revelar la estructura lgica de las oraciones, que podra estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notacin dimensional de Frege hizo que su obra fuese ignorada durante muchos aos.

En un magistral artculo de 1885 ledo por Peano, Ernst Schrder y otros, Charles Peirce introdujo el trmino "Lgica de segundo orden" proporcionando la mayor parte de la moderna notacin lgica, incluyendo los smbolos prefijados para la cuantificacin universal y existencial. Los lgicos de finales del siglo XIX y de comienzos del XX estuvieron ms familiarizados con el sistema lgico de Peirce-Schrder, aunque generalmente se reconoce que Frege es el Padre de la lgica moderna. En 1889, Giuseppe Peano public la primera versin de la axiomatizacin lgica de la aritmtica. Cinco de los nueve axiomas son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalizacin del principio de la induccin matemtica. LA L O G I C A La lgica es un lenguaje artificial, pero formal, es decir le interesa la forma, no slo los contenidos. Es un lenguaje abstracto que quiere analizar los razonamientos. Ahora bien, si por "lenguaje" se entiende un "sistema de signos", hay muchos tipos de lenguajes (no verbales, el arte etc.). Todo ello es estudiado por la ciencia de los signos, llamada semitica, y se estudia desde tres puntos de vista: el sintctico, el semntico y el pragmtico. La primera, el sintctico, son las relaciones de las palabras entre s. El semntico son las relaciones de las palabras con su significado. Finalmente, la palabra es pronunciada por uno y dirigida a otro. Aqu existe una relacin a la que se le llama pragmtica. Estos tres tipos de relaciones estn vinculados entre s. La relacin pragmtica supone la semntica y la sintctica; La semntica supone la sintctica. Una palabra sin sentido no puede ser entendida y para que tenga sentido debe estar relacionada con otras palabras. En cambio, la relacin sintctica no supone de las otras dos y es posible la semntica sin entender la pragmtica. La lgica prescinde del aspecto semntico del lenguaje, o sea, de su significado y tambin prescinde del aspecto pragmtico, y lo considera exclusivamente desde un punto de vista sintctico. Se sustituye los signos del lenguaje (las palabras) por smbolos, con lo cual se obtiene un lenguaje formal o simblico. Un ejemplo de esto: "Filsofo, has de morir". Esta afirmacin esconde la siguiente estructura sintctica: Todo hombre es mortal; Los filsofos son hombres;

-----------------------------------------Luego los filsofos son mortales. O bien: Si los filsofos son hombres, han de morir; Los filsofos son hombres; ----------------------------------------------------Luego han de morir. Cambiado a smbolos: Todo M es P Todo S es P -----------------------Luego Todo S es P O bien: Si S es Q, S es P S es Q ------------------------Luego S es P. En la simbolizacin total de la lgica matemtica: [(A c B) (C c A)] - (C c B) O bien: [(p - q ) p] - q (Lgica de clases) (Lgica proporcional) EL CLCULO LGICO De las estructuras formales o sintcticas del lenguaje, solo se estudia las formas o estructuras argumentativas. Russell defini la lgica como "la ciencia de los sistemas deductivos". Otros la definen como la "ciencia de los principios de la validez formal de la inferencia", donde inferencia es lo mismo que razonamiento o argumentacin. Esta

definicin nos da a entender que la lgica slo est interesada por la validez formal de la inferencia, no por la interpretacin semntica. Si en los ejemplos anteriores se interpreta, adems de la estructura sintctica que esconde el "filsofo has de morir" se entiende por ejemplo "humano, has de acertar las quinielas". Ocurre que sobre una estructura formar vlida puede hacerse una interpretacin semntica falsa. La lgica nos ocupa, pues de la validez formal, no de la verdad o falsedad. Una complicada argumentacin en la que uno termina por perderse, se convierte en un sencillo clculo. Leibniz fue el que inici la lgica matemtica, en donde habl de clculo para referirse a las argumentaciones. Qu es el clculo? Cuando un lenguaje ha sido formalizado y reducido a smbolos, todo se reduce a un conjunto de reglas (sintcticas) que permite operar con los smbolos. Todo clculo requiere los siguientes elementos: Un conjunto de smbolos elementales, tiene que estar bien determinado para que se pueda distinguir si un smbolo cualquiera pertenece o no a un conjunto. Para ello lo ms sencillo es enumerarlo o definirlo por unas caractersticas claras y excluyentes; por ejemplo: 2, 4, 6, 8 y 10" o: "el conjunto de los nmero enteros positivos pares menores que 12". Un conjunto de reglas de formacin o de construccin, que nos indica las combinaciones posible y correcta con los smbolos elementales. As sabremos si se podemos considerar como una expresin bien formada del clculo. Un conjunto de reglas de transformacin, transforma una expresin bien construida en otra igualmente bien construida. HISTORIA DE LA LGICA Podemos distinguir dos etapas o dos tipos de lgica: la lgica antigua y la lgica moderna (matemtica). 1.- LA LGICA ANTIGUA Aristteles fue quien fund la lgica y desarroll ampliamente la silogstica que es igual a la actual lgica de clases. Parmnides y Platn tambin realizaron estudios lgicos. Posteriormente, los ESTOICOS hicieron algunas aportaciones a la lgica: desarrollaron el silogismo hipottico (condicional y disyuntivo) e iniciaron lo que actualmente se llama lgica proposicional.

Los lgicos medievales continuaron estudiando la lgica aristotlica, no aadieron nada sustancial, pero si hicieron notables avances en un campo desconocido en esa poca, la semntica. Los filsofos modernos se interesaron ms por la metodologa de la ciencia y por los estudios lgicos. 2.- LA LGICA MODERNA (MATEMTICA) Hacia la mitad del S. XIX, la lgica se transforma radicalmente en lgica matemtica. Esto se debi a que se realizaron encuentro de cuatro corrientes distintas: 1.- La lgica aristotlica. 2.- La idea de un lenguaje matemtico universal. 3.- Los progresos de lgebra y la geometra. 4.- La concepcin de amplios sectores de la matemtica como sistema deductivo, lo cual conduca a la necesidad de construir "la lgica de la matemtica". Esta lgica se inicia con The Mathematical Analysis of Logic (1847), de G. Boole, "Ensayo acerca de un clculo del razonamiento deductivo" que indica como la lgica aparece como un clculo algebraico; se produce a una completa simbolizacin; los enunciados lgicos son concebidos como ecuaciones, y se formulan leyes lgicas. Boole desarrolla la lgica de clases y la lgica proposicional. El lgebra se convierte en modelo de la lgica. Y el clculo que crea Boole es totalmente artificial. Ms tarde, Ch.S. Peirce har aportaciones: la lgica de relaciones, el mtodo de matrices (o tablas de verdad) y nuevos desarrollos de la lgica proposicional. As pues, la nueva lgica surge de la aplicacin de los mtodos matemticos a la lgica antigua. Por eso se puede decir que se abre un nuevo perodo, cuando las matemticas se convierte en objeto de lgica. Fue el italiano G. Peano quien us por primera vez la expresin "lgica matemtica"; de este modo pudo realizar la axiomatizacin de la aritmtica. El ltimo perodo supone la aparicin de lgicas divergentes, es decir, lgicas que no respetan alguno de los rasgos caractersticos de la lgica "clsica". LGICA PROPOSICIONAL La lgica estudia las estructuras formales de la inferencia (razonamiento). La lgica analiza su estructura y seala en qu condiciones es valido el razonamiento. Si volvemos al primer ejemplo observamos que:

Todo hombre es mortal - [Todo] M es P. En cambio, en la lgica matemtica, las posibilidades de analizar son las siguientes: Lgica de clases: A c B ("la clase de los hombres se incluye en la cales de los mortales"). Lgica de predicados: - x (Px - Qx) (para todo objeto x, si x es un hombre, entonces x es mortal). Lgica proposicional: - p (todo hombre es mortal). La lgica proposicional considera las proposiciones como un todo y no las analiza. El anlisis de la proposicin queda reservado a todo tipo de clculo lgico. En una proposicin distinguimos unos cuatro tipos de oraciones: 1.- Descriptivas. Ejemplo "Los hombres mueren". 2.- Imperativas. Ejemplo "Muere!". 3.- Interrogativas. Ejemplo "Ha muerto?". 4.- exclamativas. Ejemplo "Ojal muera!". La lgica proposicional estudia la estructura formal de la inferencia, tomando las proposiciones (o los enunciados). La lgica trata de enunciar: un enunciado es la proposicin en la que se puede decir que es verdadero y es falso, nos informa sobre la realidad. Ejemplos: "No hables!" No es enunciado. "Quin anda ah?" No es enunciado. "El presidente de los Estados Unidos es marciano" Si es enunciado. Clases de enunciados. - Atmicos: Constan de una sola proposicin, no se puede descomponer ms. Ejemplo: " El gato sonri la ver al ratn".

Se simboliza por letras minsculas a partir de la p., como son la p,q,r,s,t,etc. (y si es necesario p1,q1,r1, p2,q2, etc.). - Molecular: Compuesta por dos o ms proposiciones, consta de varios enunciados atmicos, se pueden descomponer. Ejemplo: "El gato sonri al ver al ratn y el ratn huy". - Conectivas: Son trminos que conectan los enunciados atmicos, formando as los enunciados moleculares. Podemos distinguir las siguientes conectivas: No, y, o, si, entonces, si y slo si. Clases de conectivas: * Conjuncin o conjuntor: ( ). Significa y/e, tambin en lugar de este smbolo puede aparecer (,). Es un conector que hace que la proposicin molecular resultante sea verdadera nicamente si las proposiciones unidas a este tambin los son. Sern falsa los dems casos. La tabla de verdad es la siguiente: O bien, si se unen tres proposiciones: Ejemplo: "Com y beb" p q Esto se lee (pe y qu) "Cantaban, bailaban, jugaban y rean" p q r s "Lleg, vio y venci" p q r * Disyuncin o Disyuntor: (v) Conector que hace que la proposicin molecular resultante sea verdadera simplemente si lo es una de la proposiciones unidas por dicho conector. Este conector tiene como significado: o / u, oo, o tambin bien. La tabla de verdad: Ejemplo: "Como o bebo" p v q "O se quedan o se marchan" p v q " La sopa se servir fra o caliente" p v q "O estudia y trabaja o sers un parado" p q v r * Condicional: (-- ) Conector que hace que la proposicin molecular resultante sea verdadera salvo en el caso de que el antecedente sea verdadero y el consecuente falso. Esto tiene como significado: Si entonces

Tabla de verdad: Ejemplo: "Si llueve entonces me mojo" p - q * Bicondicional: ( <-> ) Conector que hace que la proposicin molecular resultante sea verdadera siempre que las proposiciones unidas por dicho conector sean al mismo tiempo verdaderas o falsas. El significado de este conector es: si y slo si, equivale a, es igual a, es lo mismo que, etc. Tabla de verdad: Ejemplo: "El agua equivale a H2O" p <-> q "La democracia slo existe si y slo si hay elecciones" p <-> q * Negador: ( ) Conector que convierte una proposicin verdadera en falsa o viceversa. Es decir: Si p es verdadera, no -p ser falsa. El negador no es un conector, ya que une dos proposiciones, sino simplemente niega una proposicin. Este smbolo significa: No, no es el caso, es imposible, no ocurre. Tabla de verdad: O ms sencillamente: - Puede afectar a la primera ( p v q). Ejemplo: "No es cierto que no coma o beba" ( p v q) - Puede afectar a la segunda (p v q) Ejemplo: "Como o no bebo" (p v q). - Puede afectar a todas [ (p v q )] Ejemplo: "No es cierto que comas" (p v q) - Cuando hay doble negacin esto es igual a una afirmacin. Ejemplo: "No es cierto que no dijiste aquello" ( p) = p Uso de parntesis y corchetes.

Se utiliza para evitar ambigedades y detectar la forma del enunciado. Las formas del enunciado. Las formas del enunciado se determina por la forma de las conectiva que est fuera del parntesis. [(p -> q) (q r)] -> (p -> r) Slo sern aceptables los esquemas que expresen formas vlidas de inferencia. Para probar su validez procederemos a elaborar sus tablas de verdad. Esta tabla se ha construido de la siguiente forma: 1.- Se construye la columna (a) con toda las variables de la frmula (2 ) 2.- Las columnas (b) y (c) se construyen aplicando la definicin del condicional a las variables correspondiente de la columna (a). 3.- La columna (d) se construye aplicando la definicin de la conjuncin o conjuntor a las columnas (b) y (c). 4.- La columna (e) se construye igual que las columnas (b) y (c), pero tomando las variables p y r de la columna (a). 5.- La columna (f) se construye aplicando la definicin del condicional a las columnas (d) y (e). Mtodo para detectar la validez. Cualquier razonamiento puede ser traducido a un enunciado condicional donde el antecedente, son las primicias (unidas por la conjuncin) y el consecuente la conclusin. Ejemplo: 1.- "Si llueve me mojo" 2.- "Llueve" -----------------------------------Conclusin: "Me mojo" O bien: 1.- p -> q 2.- p -------------------------

Conclusin: q Hay, pues, tres tipos de proposiciones: Tautologa ( o "identidades") en donde el resultado final debe ser que todos los valores sean verdaderos. Contradicciones (o "expresiones inconsistentes"): en ningn caso son verdaderas, o sea, son todas falsas. Indeterminaciones (o "contingencia"): cuando estn mezcladas, o sea, cuando hay falsas y verdaderas. LGICA DE CLASES La lgica proposicional toma las proposiciones como un todo, no las analizan. Para algunas inferencias el clculo proposicional se muestra impotente. En el ejemplo del principio nos encontramos con que la estructura siguiente: "Todo hombre es mortal; los filsofos son hombres; luego los filsofos son mortales", slo puede ser formalizada en lgica proposicional del modo: p,q,r. Es decir: no hay conexin alguna entre las proposiciones, por lo cual se carece de estructura de inferencia. Si el razonamiento se formula en forma condicional, la estructura del razonamiento s puede ser expresada en el calculo proposicional. La lgica de clases desciende hasta un anlisis de la estructura externa de la proposicin y consigue lo que la lgica proposicional no puede hacer: establecer la conexin entre las proposiciones. La lgica de clase establece: [(A c B ) (C c A )] -> (C c B ) " Si la clase de hombres A se incluye en la clase de los mortales B y de la de los filsofos C se incluye en la de los hombres A, entonces la clase de los filsofos en la clase de los mortales". QU ES UNA CLASE? Clase es un conjunto de individuos que tienen, al menos, una propiedad en comn. "Los hombres", "Los filsofos" y "Los limpiachimeneas" son clases. Estas clases tienen en comn un artculo indeterminado "Los", llamado conjuntador que se simboliza de la siguiente forma: x, y, z; y un predicado (f,g,). Por tanto una clase se simboliza as: X[f(x)]

Que se lee de la siguiente manera "los x tales que son x son f ". Todo individuo pertenece por lo menos a una clase. El smbolo de pertenencia es: . As, x A se lee: "x pertenece a la clase A". El smbolo de no pertenencia es lo mismo que el de pertenencia pero tachado: Se llama clase universal a la clase ms general a la que pertenecen las clases de individuos a los que nos estamos refiriendo. Es la simboliza as: 1 (un uno con un punto encima). En cambio, se llama clase vaca aquella que carece de individuos posibles y se le simboliza con un cero con un punto encima. En la lgica de clase se emplean los predicados extensionalmente. No interesa la comprensin de un predicado, sino su extensin. Por ejemplo, en la lgica de clase no interesa en qu consiste ser "filsofo", sino que hay un conjunto de individuos que forma la clase de "los filsofos" que estn en relacin con otras clases. Por ejemplo, la de "los mortales" y la de "los hombres". TEMA SEGUNDO: DEFINICIN DE LGICA. HISTORIA DE LA LGICA. La lgica es la ciencia que estudia los principios y mtodos para distinguir un razonamiento correcto de uno incorrecto. La lgica estudia las estructuras del pensamiento: concepto, juicio y razonamiento. Breve Resea Histrica: Se considera a Aristteles (s IV a. C.) el fundador de la lgica. Para Aristteles, la lgica era una propedutica o introduccin al saber general, pues constituye una especie de instrumento de todas las ciencias. Los estoicos, amplan el campo de la lgica considerando otras formas de razonamiento. Llaman a la lgica dialctica pasando a formar parte del trivium integrado por la gramtica, la retrica y la dialctica. En la filosofa moderna se critica el abuso que la escolstica medieval hizo de la lgica aristotlica. A partir del siglo XVIII el trmino lgica es usado por importantes filsofos, como Kant y Hegel, en un sentido que se aparta bastante de la clsica concepcin de su significado. La lgica aristotlica constituye el ncleo fundamental de la llamada lgica clsica, primer perodo en el desarrollo de la lgica que se extiende hasta el siglo XVIII. Su caracterstica ms importante es que se vali de los lenguajes naturales y, por ende, se mantuvo alejada de las matemticas. En el siglo XIX se produce una gran revolucin en la materia, con lo que se inicia el segundo perodo en el desarrollo de la lgica. Se trata de la llamada lgica simblica o lgica matemtica, que es en sus orgenes obra de matemticos que advirtieron la estrecha relacin entre las dos disciplinas formales: la lgica y la matemtica. Leibniz(fines del siglo XVIII), filsofo y matemtico, pensaba que se poda crear un lenguaje simblico tan perfecto que evitara las controversias entre los filsofos y redujera las disputas a meros errores de clculo. Pero su obra no fue conocida en su poca. En el siglo XIX, matemticos como G. Boole y A. De Morgan intentaron expresar la forma de los razonamientos vlidos en un lenguaje matemtico. El desarrollo posterior de la lgica simblica es la obra de G. Peano, C.S. Pierce, G. Frege, B. Russell y A. Whitehead, entre otros. Peano es el primero que expresa

lgica matemtica porque vio en la lgica un instrumento para lograr la sistematizacin y fundamentacin de las matemticas. La ms importante caracterstica de la lgica simblica es precisamente el extendido uso de smbolos especiales que le permiten liberarse de los lenguajes naturales y la aproximan al lenguaje de la matemtica. La adopcin del simbolismo en la lgica moderna ha sido comparada con el reemplazo de los nmeros romanos por los nmeros arbigos. Actualmente la lgica y la matemtica son consideradas ciencias auxiliares para la construccin de hiptesis y justificacin de teoras. TEMA TERCERO: DEFINICIN DE LGICA FORMAL Para distinguir entre los razonamientos correctos y los incorrectos, la lgica opera, principalmente, desde un punto de vista formal, es decir, considerando la forma o estructura de un razonamiento y no su contenido o materia. Se dice que con la lgica ocurre algo parecido a lo que sucede con la aritmtica: cuando se suman naranjas o manzanas, no interesan, en realidad, las manzanas o las naranjas, sino ciertas relaciones formales como que a+b=b+a, porque una vez establecida esta relacin formal la misma valdr para mltiples reemplazos de a y de b. TEMA CUARTO: ESTRUCTURAS DEL PENSAMIENTO: CONCEPTO. Es una representacin general y abstracta de un objeto. El concepto se determina segn la comprensin y la extensin. La comprensin es el conjunto de notas esenciales que definen al objeto. A mayor comprensin, menor extensin; y viceversa. Comprensin: es el conjunto de notas pensadas estructuralmente y constituyen la unidad que llamamos concepto. La comprensin del concepto hombre es animal racional. Extensin: es la referencia que el concepto hace a los objetos. La extensin del concepto hombre est dada por esa referencia, que el concepto hace a todo lo que es hombre. Para que aparezca la comprensin de un concepto, debemos formular juicios verdaderos en que ese concepto haga de sujeto: el hombre es un animal....para que aparezca la extensin, debemos formular juicios verdaderos en que ese concepto haga de predicado: se es un hombre.... La comprensin del concepto est dada por su definicin; la extensin, por su aplicacin. JUICIO. Clasificacin De Juicio Segn Kant. CANTIDAD

 Universales Todos los S son P. Particulares Algunos S son P. Singulares S es P. CALIDAD, establece el carcter afirmativo o negativo de la cpula . AFIRMATIVAS S es P_ establece la inculpabilidad entre sujeto y predicado. NEGATIVAS S no es P INDEFINIDAS_ no establece de manera clara la relacin entre sujeto y predicado S es no P, depende de si lo enunciado est sujeto a una condicin. RELACIN CATEGRICO, no est sujeto a ninguna condicin. S est P. HIPOTTICO S est P porque Q. DISYUNTIVO, el predicado est compuesto de varias alternativas. S est P o Q. MODALIDAD_ tomamos en cuenta la conexin entre sujeto y predicado. APODCTICOS_ la conexin entre sujeto y predicado es forzosa y necesaria. Es una verdad de razn. Los S son forzosamente P.

 ASERTRICOS_ la conexin entre sujeto y predicado no es forzosa ni necesaria. Algunos S son P. PROBLEMTICOS_ la verdad enunciada es otro probable. S quizs P. CUADRO DE LA OPOSICIN:

A -Todo S es P E -Ningn S es P I -Algn S es P O -Algn S no es P (A-E / I-O) difieren en la cantidad (A-O/ I-E) difieren en cantidad y calidad todos los hombres son mortales V E- ningn hombre es mortal F algn hombre es mortal V

O- algn hombre no es mortal F A-E, pueden ser los dos falsos y si uno es verdadero el otro es falso. I-O, pueden ser los dos falsos y si uno es verdadero el otro es falso A -V E - F A-E no pueden ser los dos V, pero s los dos I -V F, o uno V y el otro F. O-F A-F E-VF I-? O-V algunas paredes son blancas V O- algunas paredes no son blancas V todas las paredes son blancas ? E- ninguna pared es blanca F I -V O - V o F I-O no pueden ser los dos F, pero s los dos V, A - F o uno V y el otro F. E-V RAZONAMIENTO Relacin entre juicios que conduce a una conclusin. Es una relacin entre juicios donde uno de ellos llamado conclusin, se afirma sobre la base de los anteriores.

 Razonamiento deductivo, va de lo general a lo particular y la derivacin o conclusin es forzosa y necesaria. Todos los hombres son mortales. Bruno es hombre. Bruno es mortal R. Inductivo, va de lo particular a lo general y la conclusin es probable, no es forzosa ni necesaria. Completa o perfecta El profesor Gonzlez tiene 4 hijos: Incompleta o Imperfecta Luis, Laura, Ins y Carlos. El cisne 1 es blanco. Luis es inteligente. El cisne 2 es blanco. Laura es inteligente. El cisne 3 es blanco. Ins es inteligente. El cisne 4 es blanco. Carlos es inteligente. Todos los cisnes son blancos. (se Todos los hijos del profesor estudian slo algunos casos, no hay Gonzlez son inteligentes. (Se estudio de todos) estudia caso por caso). R. Analgico, va de lo particular a lo particular. Defino: si dos o ms objetos poseen ciertos rasgos en comn y uno de ellos posee otro rasgo podemos concluir que el otro objeto tambin los debe poseer. Ej: Sandy es un gato bien alimentado, bien cuidado y sano. Michi es un gato bien alimentado y bien cuidado. Por lo tanto, Michi debe ser un gato sano. -la conclusin es ms o menos verdadera. Razonar es inferir

Inferir es concluir Inferencias:

Inmediatas (slo dos juicios) A=B por lo tanto, B=A Mediatas (tres juicios o ms) A=B, B=C por lo tanto, A=C

SILOGISMO Razonamiento deductivo y una inferencia mediata compuesta por tres juicios categricos y por tres trminos que se repiten dos veces. Premisa mayor: Todos los hombres son mortales MP Premisa menor: Bruno es hombre SM Conclusin: Bruno es mortal SP P=trmino medio (es predicado en conclusin) S= trmino menor (es sujeto en conclusin) M= trmino medio (no aparece en conclusin) FIGURAS DEL SILOGISMO Se determina segn la posicin del trmino medio en las premisas. 1 figura todos los artistas son sensibles MP Todos los pintores son artistas SM Todos los pintores son sensibles SP

M= sujeto en premisa mayor M= predicado en premisa menor 2 figura todos los amigos de Paula son inteligentes PM ningn hermano de Daniel es inteligente SM ningn hermano de Daniel es amigo de Paula SP M= es predicado en las dos premisas 3 Figura todos los grabadores son importados MP algunos grabadores son objetos de mala calidad MS algunos objetos de mala calidad son importados SP M= es sujeto en las dos premisas 4 figura ningn ministro es holgazn PM todo holgazn es persona divertida MS algunas personas divertidas no son ministros SP M= predicado en la premisa mayor

M= sujeto en la premisa menor MTODOS DE DEDUCCIN Felipe Smith Prueba formal de valides. Cuando los argumentos contienen mas 2 o 3 enunciados simples diferentes como componentes, se hace difcil o tedioso usar tablas de verdad para probar su valides. Un mtodo mas convincente de establecer la valides de algunos argumentos es deducir las conclusiones de sus premisas por una secuencia de argumentos mas cortos y Mas elementales que ya se conocen que son validos. Considrese, por ejemplo, el siguiente argumento donde aparecen enunciados simples diferentes: El procurador general a impuesta una censura estricta o si black envo la carta que escribi, entonces devis recibi un aviso. Si nuestras lneas de comunicacin no se han interrumpido por completo, entonces si davis recibi un aviso, entonces emory fue informado del asunto. Si el procurador General a impuesto una censura estricta, entonces nuestras lneas de comunicacin se an interrumpido por completo. Nuestras lneas de comunicacin no se han interrumpido por completo. Por tanto, si black envo la carta que escribi, entonces emory fue informado del asunto. Esto puede traducirse en nuestro simbolismo como Establecer la valides de este argumento por medio de una tabla de verdad requerira una tabla de 30 y 2 renglones. Pero podemos probar el argumento dado como valido deduciendo su conclusin de sus premisas por la secuencia de sola mente 4 argumentos cuya valides se a sealado ya. De la tercera y 4ta premisas Validamente inferimos Por modus tolens de Y la primera premisa , validamente inferimos Por un silogismo disyuntivo de la segunda y cuarta premisas, Validamente se infiere Por modus ponens. Y finalmente, de estas 2 ultimas conclusiones (o subconcluciones), validamente inferimos Por un silogismo hipottico que su conclusin se deduce de sus premisas usando argumentos validos exclusivamente prueba que el argumento original es valido. Aqu las formas argumentales validas elementales modus ponens ( M.P. ), modus tolles(M.T.), el silogismo disyuntivo, y el silogismo hipottico se usa como reglas de inferencia por medio de las cuales se deducen validamente las conclusiones apartar de las premisas.

Una manera mas formal y mas consigas de escribir esta prueba de valides es hacer una lista de premisas y de los enunciados deducidos de ellas en una columna colas justificaciones para estos ultimos escritas en un lado de los mismos. En cada caso la justificacin para un enunciado especfica los enunciados procedentes apartir de los cuales, y la regla de inferencia por medio de la cual el enunciado en cuestin fue deducido. Es conveniente poner la conclusin ala derecha de la ultima premisa, separada de la misma por una lnea diagonal que automticamente seala que todos los enunciados que estn por arriba de la misma son premisas. La prueba formal de valides para el argumento dado se puede escribir como: Una prueba formal de valides para un argumento dado se define como una sucesin de enunciados, cada uno de los cuales son una premisa de ese argumento se sigue de los presentes por un argumento valido y elemental , y tal que el ultimo enunciado de la secuencia es la conclusin del argumento cuya validez se esta demostrando. Esta definicin debe completare y hacer mas precisa especificando que es lo que va a contar como argumento valido elemental. Primero definimos un argumento valido elemental como cualquier elemento que es una instancia de sustitucin de una forma de argumento valido, y despus presentamos una lista de solo nueve formas de argumentos suficientemente obvias para ser vista como formas de argumentos valido elemental y aceptada como reglas de inferencia. Una cuestin que hay que recalcar es que cualquier instancia de sucesin de una forma de argumento valida elemental es un argumento valido elemental. As, el argumento Es un argumento valido elemental por que es una instancia de sustitucin de la forma de argumento valido elemental modus ponens, resulta de: Sustituyendo Y Por q, as que es de esa forma a un cuando modus ponens no es la forma especifica del argumento dado. Iniciando nuestro desarrollo del mtodo de deduccin presentando una lista de solo nueve formas de argumento validas elementales que pueden usarse al construir pruebas formales de valides: REGLAS DE INFERENCIA LA REGLA DE REMPLASO Hay muchos argumentos validos de funcin de verdad cuya valides no se puede probar usando solamente las 9 reglas de inferencia dadas hasta aqu. Por ejemplo una prueba formal de valides del argumento obviamente valido requiere reglas de inferencia adicionales. Ahora bien, los nicos enunciados compuestos funcin de verdad. Luego, si se reemplaza una parte cualquiera de un enunciado compuesto por una expresin que es lgicamente equivalente ala parte remplazada el valor de verdad del enunciado que resulta es el mismo que el de el enunciado original . A esto se le llama, algunas veces la regla de remplazo, y

otras, la del principio de extencionabilidad. Adoptamos la regla de remplazo con un principio adicional de inferencia. Nos permite inferir de cualquier enunciado el resultado de remplazar todo por parte de ese enunciado por otro enunciado lgicamente equivalente ala parte remplazada. As, usando el principio de la doble negacin, que afirma la equivalencia lgica, podemos inferir, de Cualquiera de los enunciados, por la regla de remplazo. para hacer mas definida esta regla damos ahora esta lista de equivalencias lgicas con las que puede usarse. Estas equivalencias constituyen nuevas reglas de inferencias que es posible usar para probar la valides de argumentos. Las numeramos consecutivamente despus de las 9 reglas ya enunciadas. Regla de remplazo: Cualquiera de las siguientes expresiones lgicamente equivalentes puede remplazar ala otra en donde ocurran: Ahora puede escribirse una prueba formal de valides para el argumento dado al principio de l prrafo 3.2: Algunas formas de argumento, aunque muy elemental y perfectamente validas no se incluyen en nuestra lista de 19 reglas de inferencia. Aunque el argumento es obviamente valido y su forma no esta incluida en nuestra lista. Por tanto, B no se sigue de A*B por ningn elemento valido elemental segn se define nuestra lista. Puede. , sin embargo, deducirse usando los argumento validos elementales como mostramos antes. Podramos agregar la forma de argumento intuitivamente valida. A nuestra lis, claro esta, pero si agrandamos nuestra lista de esta manera llegaremos a tener nuestra lista demasiado larga y, por tanto no manejable. La lista de reglas de inferencia contiene numerosas redundancias. Por ejem., modus tolles podra salir de la lista sin realmente debilitar la maquinaria, pues todo paso deducido usndola puede serlo usando otras reglas de la lista. La prueba de que una sucesin dada de enunciados es una demostracin formal, es efectiva es decir, por observacin directa se podr deducir si cada rengln siguiente alas premisas se sigue o no de los renglones que le preceden mediante alguna de las reglas de inferencia dada. No es necesario pensar ni pensar sobre el significado de los enunciados, ni usar verificacin lgica para verificar la valides de cada rengln. Aun en donde falte la justificacin de un enunciado, para decidir si la deduccin es legitima. cada rengln viene precedido por solamente un numero finito de renglones y solo se han adoptado un numero finito de reglas de inferencia. Aunque toma tiempo puede verificarse por inspeccin si el rengln en cuestin se sigue de algn rengln o par de renglones procedentes mediante alguna regla de inferencia de nuestra lista. As tambin, la legitimidad de cualquier rengln puede decidirse por un numero finito de observaciones ninguna de las cuales entraa mas de comparacin de formas y esquemas

para preservar esta efectividad establecemos la regla que solo a de aplicarse una regla de inferencia ala vez. La notacin explicativa a un lado de cada enunciado no es, estrictamente ablando parte de la demostracin, pero es til y siempre debiere inclursele. Aunque la prueba de que una secuencia dada de enunciados es o no es una demostracin formal tal no es un procedimiento efectivo . A este respecto el mtodo presente defiere del mtodo del capitulo anterior. El uso de tablas de verdad es completamente mecnico: dado cualquier argumento de la clase general de la que ahora nos ocupamos, su validez siempre puede ser probada siguiendo las reglas simples presentadas en el cap.2. pero al construir una prueba formal de validez basndose en las diecinueve reglas de inferencia de la lista, es necesario pensar o imaginar donde empieza y como proceder. Aunque no existen mtodos de procedimientos efectivos o puramente mecnico, es esencialmente mucho mas fcil construir una prueba formal de validez que escribir una tabla de verdad con docenas o cientos o aun miles de renglones. Hay una deferencia importante entre las primeras nueve y las ultimas diez reglas de inferencia. Las primeras nueve pueden aplicarse a renglones enteros de una demostracin. De este modo A puede inferirse de A.B por simplificacin solo si A.B constituyen un rengln completo. Pero ni A ni se siguen de por simplificacin o cualquier otra regla de inferencia. A no es consecuencia porque A puede ser falso y verdadero. No es consecuencia porque si A es verdadero y B y C ambos son falsos, es verdadero mientras que es falso. Por otro lado, cualquiera de las diez ultimas Reglas de inferencia puede aplicarse a renglones enteros o partes de renglones. No solo puede inferirse el enunciado del rengln entero por exportacin, sino del rengln podemos inferir por exportacin. La regla de reemplazo autoriza que expresiones lgicamente equivalentes especificadas se reemplacen entre si donde ocurran, aun en donde no constituyan renglones enteros de una demostracin. Pero las nueve primeras reglas de inferencia solo pueden usarse tomando como premisas renglones enteros de una demostracin. En la esencia de las reglas mecnicas de la construccin de demostraciones formales de valides, puede darce algunas sugerencias y mtodos prcticos. La primera es simplemente empezar deduciendo conclusiones de las premisas mdiente las reglas de inferencia dadas. Al tener mas y mas subconclusiones de estas como premisas de nuevas deducciones, mayor el la probabilidad de que se vea como deducir la conclusin del argumento que se quiere demostrar que es valido. CLASIFICACION DE LAS PREPOSICIONES

Las Preposiciones

 La cantidad La cualidad La relacin La modalidad La relacin entre el predicado y la comprensin del sujeto El origen El tipo de verdad Los componentes La Cantidad

Universales, particulares y singulares Afirmativas y negativas Categricas, hipotticas y disyuntivas Problemticas, asertoricas y apodcticas Analticas y sintticas A Priori Y a A Proposiciones con verdad formal y con verdad emprica Simples y compuestas

Es una proposicin la cantidad afecta al sujeto por que este es el que precisa sobre que parte de la clase recaer lo enunciado en el predicado. De acuerdo con la cantidad, las proposiciones pueden ser : Universales, particulares y singulares. Universales. Una proposicin es universal cuando, lo que ella se enuncia afecta a todos y cada uno de los individuos de la clase designada por el sujeto. Particulares. Las proposiciones particulares son aquellas en las que se enuncia algo respecto de una parte indefinida de la clase que esta designada por el sujeto . Singulares. Una preposicin es singular cuando el sujeto de la misma hace referencia a una clase que esta designada por el sujeto. La Cualidad Es una preposicin de la forma sujeto-predicado, se entiende por la cualidad la relacin de conveniencia entre el sujeto y el predicado. Atendiendo a este aspecto las preposiciones pueden ser: afirmativas y negativas. Afirmativas. Proposicin afirmativa es la que enuncia una relacin de conveniencia entre el sujeto y el predicado. Negativas. Proposicin negativa es la que enuncia una relacin de no conveniencia entre el sujeto y el predicado.

La relacin

Con el nombre de "relacin" se designa a una caracterstica de la proposicin, consiste en lo que el enunciado por esta puede estar formulado condicionalmente. De acuerdo con este criterio las proposiciones pueden ser categricas, hipotticas y disyuntivas. Categricas. Se les llama a las preposiciones categricas a las que enuncian algo a las que enuncian algo sin condicin y sin alternativas. Hipotticas. Proposiciones hipotticas son aquellas que enuncian algo sin condicin. Disyuntivas. Proposicin disyuntiva es la que enuncia algo con alternativas. La Modalidad Este aspecto de la preposicin se refiere al grado de fuerza que puede haber en el nexo que une al predicado con el sujeto. Atendiendo a este escrito las proposiciones pueden ser: Problemticas, asertorias y apoditas.

Problemticas. Una proposicin es problemtica cuando lo enunciado por ella es solamente probable o posible. Asertorias. Estas proposiciones enuncian algo factual y contingente. "factual" significa algo que de hecho es as. "Contingente quiere decir algo que siendo de tal o cual manera podra no ser as. Apodcticas. Proposiciones apodcticas son las que enuncian algo que de hecho es as y que no puede ser de otra manera.

El origen Si nos fijamos en el modo como podemos llegar a conocer lo que se enuncia en las preposiciones, estas pueden ser: a priori y a posteriori. Proposiciones a priori. Se llaman " a priori" las proposiciones que pueden formularse con validez sin necesidad de recurrir a la experiencia. Proposiciones a posteriori. Estas preposiciones se llaman as por que solo pueden estimarse como verdaderas o como falsas despus de recurrir a la experiencia.

Los Componentes

Atendiendo a los componentes que entran en las preposiciones estas pueden ser simples y compuestas. Proposiciones simples. Son aquellas que no contienen, implcita o explcitamente, a otra proposicin como componente. Para que una proposicin sea simple en sentido escrito, se necesita que el sujeto se refiera a un individuo nico y que en el predicado se enuncie una sola propiedad respecto de ese individuo. Proposiciones Compuestas. Son aquellas que contiene a otra proposicin como componente. Proposiciones Generales. De acuerdo con el anlisis moderno, se llama "proposiciones generales" tanto a las universales como a las particulares , por que ambas enuncian una inclusin total o parcial entre clases, verbigratia: El ejemplo 1 (Proposicin universal) enuncia que una parte de la clase de los poliedros esta incluida en la clase de los slidos. El ejemplo 2 (preposicin particular) enuncia que una parte de la clase de los poliedros esta incluida en la clase de los cuerpos regulares. Ejemplos de proposiciones

Todos los poliedros son cuerpos slidos. Algunos poliedros son regulares. Las caras de los poliedros regulares estn limitadas por los polgonos regulares. Eratostenes fue el primero que midi el tamao de la tierra. Los relojes de sombra o de sol, funcionaban si haba luz brillante del sol. El sistema Sexagesimal fue inventado por los babilonios. Las computadoras de nuestros das usan el sistema solar o el sistema binario. El baco es usado por los chino y japoneses. Los japoneses llegaran a ser mas rpidos en el manejo del baco. Los bacos chinos tiene cuentas ensartadas en varilla.

 El calculo en el baco es mas veloz o no es mas veloz que el calculo en una computadora. (En los lanzamientos de cohetes). La determinacin de la resistencia del aire no es problema de la biologa.

Proposiciones Tpicas Si tomamos en cuenta al mismo tiempo la cantidad y la cualidad resultan las cuatro clases siguientes de proposiciones.

Universal afirmativa ___________ A Universal negativa ___________ E Universal afirmativa ___________ I Universal negativa ___________ O

Relaciones Lgicas De las tres relaciones anteriores, las mencionadas en (a) y (b) no ataen a la lgica. De esas tres, l nica que le interese es la mencionada en (c), por que esa si es una relacin lgica. Se puede decir que, adems de la relacin de implicacin, Las relaciones lgicas importantes son aquellas que se dan entre dos proposiciones cuando la verdad o falsedad de la otra. Como ejemplo de este tipo de relaciones podemos recordar las siguientes: contradiccin, equivalencia, subalternacin. Proposiciones Relevantes El reconocimiento de las relaciones entre las proposiciones es de una importancia tal de que el depender la relevancia o irrelevancia de los datos recabados por los investigadores de cualquier campo, por ejemplo, los tribunales de justicia, los mdicos en su diagnostico, al cientfico etc.

A propsito de este asunto, merece ser recordada la sagacidad con que Sherlock Holmes descubra las relaciones lgicas entre datos y proposiciones que al parecer no tenan conexin alguna. Proposicin relevante con relacin a otra es aquella que se puede tomar como elemento de juicio cuando se trata de establecer la verdad o falsedad de esta ultima. Inferencias y transformaciones Es este tema de la relaciones entre las proposiciones , conviene hacer mencin de una diferencia de opiniones que existe entre los lgicos. Tomemos como base los ejemplos 5,6.

Algunos opinan que entre las proposiciones (5) y(6) hay una inferencia inmediata, porque (6) es una conclusin que se deriva de (5).

Segn otros, lo que hay entre (5) y (6) es solamente una relacin de equivalencia , ya que (6) es idntica a (5) en cuando a los valores de equivalencia, en cuanto al significado.

En situaciones como lo anterior es decir cuando hay una relacin como la existente entre las proposiciones (5)y(6) la lgica moderna habla mas bien de transformaciones aunque a veses emplee el termino inferencia. Distribucin de los Trminos Con el fin de facilitar la comprensin de las relaciones entre las proposiciones y la transformacin de las mismas, comenzaremos por entender el SIG. Y la aplicacin de la frase "trminos distribuidos" que se maneja bastante en este campo. La palabra trmino se emplea aqu como la expresin de un concepto. Si los trminos expresan conceptos, entonces designan clases. Se dice que un trmino esta distribuido cuando hace referencia a todos los individuos que pertenecen a la clase cuando solo hace referencia a una parte indeterminada de tales individuos.

En la preposicin El termino- Sujeto El termino predicado (universa-Afirmativa) (partcula-afirmativa) Esta distribuido No esta distribuido No esta distribuido No esta distribuido

 (Universal-negativa) (Particular-negativa)

Esta distribuido No esta distribuido

Esta distribuido Esta distribuido

Los principales tipos de relaciones entre proposiciones Como ya quedo establecido, la nicas relaciones que ah interesan son las relaciones lgicas, es decir, las que se dan entre dos proposiciones tomando en cuenta la influencia que haya entre los valores de verdad de la segunda. Como base de criterio , resultan siete tipos de relaciones, a saber: 1. Equivalencia 2.Contradiccin 3.Contrariedad 4.Subcontrariedad 5.Superimplicacion 6.Subimpliacion 7.Independencia

Cuando aqu se habla de relaciones lgicas entre proposiciones, debe entenderse ms bien "relaciones entre una proposicin o conjunto de proposiciones y otra proposicin o conjunto de proposiciones. Equivalencia Muchas controversias y disgustos se evitaran si, la reflexionar sobre las fases que objetamos, nos diramos cuenta de que son equivalentes a las que nosotros defendemos. Dos proposiciones (o conjunto de proposiciones)estn en relacin lgica de equivalencia, cuando la cerdado falsedad de la primera determina respectivamente la verdad o falsedad de la segunda. Ejemplo de proposiciones equivalentes:

Todos los planetas son astros Si un ser no es un Astro, entonces no es un planeta.

Contradiccin La relacin lgica opuesta a la equivalencia es la contradiccin y se enuncia as:

Dos proposiciones son contradictorias cuando se oponen de tal manera que si la primera es verdadera determina la falsedad, la segunda es falsa, y si la primera es falsa, la segunda es verdadera. Ejemplo de contradictorias :

Toda guerra es una guerra para terminar otra guerra. (NAPOLEN). Algunas guerras no son guerras para terminar otra guerra.

Contrariedad No se debe confundir la contradiccin con la contrariedad. En el primer caso una proposicin solo niega lo que otra afirma, mientras que en la contrariedad una proposicin niega lo que la otra afirma y , a su vez, afirma algo mas. Dos proposiciones estn en relacin lgica de contrariedad cuando la verdad de la primera determina la falsedad de la segunda; pero la falsedad de la primera hace indeterminada a la segunda. Ejemplo de proposiciones contrarias:

Los soldados ganan la batalla y los generales se lleva la fama "Napolen" . Ni los soldados ganan la batalla ni los generales se llevan la fama.

Subcontrariedad La relacin de subcontrariedad es una oposicin que se da entre dos proposiciones cuyas afirmaciones , aunque se refieren al mismo asunto , sin embargo contiene ciertas indeterminaciones, por ejemplo, hacen a una parte indeterminada de un todo o de una clase. Dos proposiciones estn en relacin lgica de subcontrriedad cuando la falsedad de la primera determina la verdad de la segunda;pero la verdad de la primera deja indeterminada la segunda. Ejemplo de proposiciones subcontrarias:

Algunos hombres luchan mas all de sus fuerzas (Homero). Algunos hombres no luchan mas all de sus fuerzas.

Superimplicacion y subimplicacion

Cuando dos proposiciones estn relacionadas de tal manera que la segunda en un caso de aplicacin o una parte de la primera, se dice que hay subalteracion entre ellas y entonces se pueden presentar dos variantes. Hay una relacin de sper implicacin y consiste en que la verdad de la primeradetermina la verdad de la subaterna;pero la falsedad de la primera deja indeterminada a la segunda. Esta relacin es muy importante por que es la que se da entre una teora y sus consecuencias. Ejemplo de superimplicacion :

"Todo el poder ha estado siempre en manos de quien tiene el mando del ejercito" (Napolen). Cuando el poder esta en manos de un civil , entonces el tiene el mando del ejercito.

Hay una relacion lgica de subimplicacion y consiste en que la falsedad de la subalterna determine la falsedad ee la principal;pero la verdad de aquella deja ideterminada la segunda. Ejemplo de sublimplicacion:

Algunos hombres censuraron lo que practican. "Todos los hombres censuraron lo que practican" (oscar Wilde).

Independencia La relacin de independencia se da cuando los valores de verdad de una proposicin no influyen sobre otros valores de verdad de la otra. Y se puede definir as: Dos proposiciones son independientes cuando la segunda es verdadera, falsa o indeterminada, sin importar que la primera sea verdadera o falsa. Ejemplo de dos proposiciones independientes.

"siempre los ejrcitos han sido la base del poder" (Tolstoi) El cero de la escala centgrada equivale a los 32F.

Teora Tradicional El campo de la teora tradicional de la oposicin queda con las dos afirmaciones bsicas siguientes:

Primera. "La oposicin se da entre las proposiciones (de la forma sujeto-predicado) que tengan, ambas, el mismo sujeto, y el predicado."De tales proposiciones, las que se toman en cuenta son cuatro especies: Las universales afirmativas (A) Las universales negativas (E) Las particulares afirmativas (I) Las particulares negativas (O) Segunda . "La oposicin entre dos proposiciones consiste en una diferencia en l cantidad, en la cualidad negativas o ambas." Teniendo en cuenta las afirmaciones establecidas, se descubren los pares de proposiciones que aparece en el cuadro 3.4.

Si dos proposiciones difieren

Se pueden presentar estas Y entonces reciben el dos variantes nombre de Ser ambas universales Contrarias

Solo en la cualidad

Serambas particulares Ser ambas afirmativas

Subcontrarias

Subalternas

Solo en la cantidad

Ser ambas negativas (en ambos casos) Ser una uni.-afir.y la otra part.-neg. Ser una uni.-neg. Y otra part.-afirmativa.

En la cantidad y en la cualidad

Proposiciones { Todos los hombres malos sern esclavos (A) Contrarias { Ningn hombre malo Ser esclavo(E) Proposiciones { Algunos hombres malos pueden llegar a ser buenos (I)

Subcontrarias { Algunos hombre malos no pueden llegar a ser buenos (O) Proposiciones { 1er.par { todos los aduladores son mercenarios (A) Contradictorias { {algunos aduladores no son mercenarios (I) Proposiciones { 1er.par { todos los hombres anhelan ser piadosos (A) Subalternas {algunos hombres anhelan ser piadosos(I) Si tenemos una preposicin-base ser fcil obtener:

Su contraria(o subcontraria) Su contradictoria Su subalterna

Ser la proposicin -base: Ninguna persona puede tener fuero Cuyo smbolo es E. Localizamos E en el cuadro tradicional, y de inmedio sabemos que:

Su contraria es A Su contradictoria es I Su Subalterna es O

Leyes. Con el fin de manejar con facilidad las relaciones de oposicin , lgica tradicional ha formado ciertos enunciados que se conocen como la leyes de oposicin y que son las siguientes:

Ley de las contrarias. "Dos Proposiciones contrarias no pueden ser al mismo tiempo verdaderas; pero si pueden ser falsas." Ley de las subcontrarias." Dos proposiciones subcontrarias no pueden ser al mismo tiempo falsas, pro si pueden ser verdaderas." Ley de las contradictorias. " Dos proposiciones contradictorias no pueden ser al mismo tiempo ni verdaderas ni falsas. " Ley de las Subalternas. Esta ley tiene dos partes:

Si la principal es verdadera, tambin lo ser la subalterna , pero si aquella es falsa, esta quedara indeterminada. Si la subalterna es falsa , tambin lo ser la principal, pero si aquella es verdadera esta quedara indeterminada.

Teora Tradicional de las Equivalencias El tratamiento de la relacin de equivalencia hecho por el enfoque moderno de la lgica difiere de la teora tradicional sobre este tema.

Concepto tradicional de equivalencia

Dos proposiciones son equivalentes cuando tienen el mismo significado. Ejemplo :

El edificio mexicano de Bellas Artes es de mrmol. El edificio mexicano de Bellas Artes no es de mrmol.

Concepto moderno de equivalencia.

Dos proposiciones son equivalentes cuando la verdad o falsedad de la segunda. Ejemplo :

Si el mrmol del edificio mexicano de Bellas Artes es de carrara, entonces ese mrmol fue trado de Europa. No es verdad que el mrmol del edificio de Bellas Artes sea de carrara y que no haya sido trado de Europa.

Inferencias Inmediatas La teora tradicional se ocupa de las equivalencias dentro del capitulo de las inferencias inmediatas, por que considera que aquellas son una especie de estas. Con el nombre de inferencias se designa a los razonamientos deductivos cuya conclusin se deriva de una sola premisa.

Ejemplo : (dado que) Todos los astrnomos son matemticos (luego) Ningn astrnomo es no-matemtico. Conversin En el proceso de la conversin :

La primera proposicin se llama convertiente La segunda proposicin se llama conversa.

La conservacin es el proceso en el cual de una proposicin se pasa a otra cumpliendose que: 1.- La primera tiene el mismo valor de verdad que la segunda. 2.-el sujeto y el predicado de la primera se convierten respectivamente en predicado y sujeto de la segunda.

OBVERSION En el proceso de la obversion: 1.-la primera proposicin se llama obvertiente. 2.-la segunda proposicion se llama obversa. La primera proposicin se llama obvertiente. La segunda proposicin se llama obversa. 1.- El sujeto pasa igual (es decir con su misma cantidad ) 2.- La cualidad se cambia, es decir si la premisa es afirmativa se hace negativa o vicervesa. 3.- El termino predicado se cambia por su complemento( o contradictorio ). Contraposicin

La contraposicin es otro proceso para obtener equivalencias. Dicho proceso es una combinacin de observacin y de conversin , por lo cual se puede decir que :

La primera Proposicin se llama contraponente. La segunda proposicin se llama contrapositiva o contrapuesta.

Transformacin y Equivalencia de las proposiciones en la Lgica Moderna. Dentro de la lgica tradicional, el tema de las equivalencias se maneja con las siguientes limitaciones. Primera La equivalencia se entiende como identidad en el significado. Segunda La equivalencia se da nicamente entre proposiciones de la forma sujeto-predicado. Tercera La equivalencia se obtiene efectuando cambios . En la cantidad o en la cualidad de la proposicion, o bien cambios. En los trminos, es decir, reemplazando un trmino por su complemento. Condicionales Una proposicin condicional se puede transformar: en una disyuntiva en otra hipottica, que se llama su contrapositiva. (a veses) en una categrica-general. La condicional Si una gota es de agua, entonces no tiene mucha cohesin. Tiene como equivalentes a las sig. Proposiciones .

Una disyuntiva, o sea : " Una gota no es de agua o no tiene mucha cohesin ." Otra condicional, o sea : "Si una gota tiene mucha cohesin , entonces no es de agua.

Una categora general, o sea: "Todos las gotas de agua no tienen mucha cohesin ."

Disyuntiva Una proposicin disyuntiva se puede transformar en una condicional que tenga como antecedente la negacin de cualquiera de las alternativas y como consecuencia la otra alternativa. Por consiguiente , la condicional equivalente puede tener dos variantes. Conjuntiva Las proposiciones conjuntivas, en las cuales las dos partes de la conjuncin tiene cierta relacin se puede transformar: en una condicional que tenga como antecedente la segunda parte de la conjuncin, y como consecuente la negacin de la segunda parte. En otra condicional, que tenga como antecedente la negacin de la primera parte de la conjuncin, y como consecuente la negacin de la segunda parte. Complejas Entendemos por proposiciones complejas o aquellas que son combinaciones de las variantes anteriores, por ejemplo, que al mismo tiempo sean conjuntivas y condicionales. DEDUCCION De acuerdo con la lgica natural, todos los in dividuos formulamos nuestros razonamientos de varias maneras sin saber ni importarnos que el razonamiento que hicimos en el caso x tiene varias maneras y que el razonamiento del cazo z se llama de otra manera. La lgica del razonamiento deductivo al razonamiento anterior al que de ordinario se define as: Razonamiento deductivo es el que va de una premisa que tiene cierto grado de universalidad a una conclusin que tiene un grado menor de universalidad. Razonamiento deductivo es aquel cuya conclusin se in fiere necesariamente de las premisas, pues su derivacin dependen nada mas de la forma. VARIANTES DE LA DEDUCCION Dos variantes de la deduccion son la traduccin y la induccin matematica.

A)transduccion. Con este nombre moderno se conoce el razonamiento en el cual se lega a la conclusin mediante una inclusin de clases. Razonamiento trnsductivo esaquel en el cual el paso de las premisas a la conclusin es una relacion transiva. B) induccin matematica. Este razonamiento tiene el mecanismo de la induccin; pero se considera como una deduccion, debido a que su conclusin se deriva de manera forzosa. induccion este razonamiento se basa el la observacin de varios casos particulares, para luego formular una afirmacin general. ANALOGIA Una variante del razonamiento inductivo es el razonamiento analogico o por analoga. La anlogia es una induccin porque su punto de partida es la observacin de algunaos hechos y sus conclusiones solo tienn el valor de probabilidad. Su diferente respecto de las otras variantes consiste en que: Nada mas observa dos individuos Dichos individuos deben ser muy semejantes. El razonamiento por analoga consiste en partir de la semejanza entre dos objetos y, despus al descubrir que uno tiene la propiedad s, inferior que el otro tambien tendra con probabilidad esa propiedad. El argumento y su estructura Cada tipo de argumento tiene algunas particularidades en su estructura pero todos tienen la siguiente estructura general: Primero. todos los argumentos constan de premisias y de una conclusin, que es la proposicion derivada de las demas. Segundo. El argumento se puede considerar como un condicional que tiene como antecedente a una premisa o a un conjunto de premisas. Tercero. La parte mas importante de un argumento es la consecuencia que consiste en la relacion derivativa que existe entre el antecedente y el consecuente. FALACIAS Y PARADOJAS

Con frecuencia el termino falacia se emplea con el sentido de falsedad. Cuando se nos atribuye haber afirmano algo y de hecho no fue asi, a veses replicamos diciendo: eso es una falacia. En tales circunstancias estamos manejando esa palabra con un sentido que no es el suyo. FALACIAS EN GENERAL La palabra falacia se deriva del vervo fallere ke significa engaar;por esta razon , se emplea para designar los razonamientos engaosos. Pero en sentido escrito, las falacias son razonamientos que tienen estas dos caracteristicas: Son incorrecto o invalidos Dan la impresin de ser correctos; es decir, son falaces. FALACIAS FORMALES Son muchas las maneras de clasificar las falacias. Aqu dividiremos en tres grupos: falacias normales, vervales y materiales. Las falacias formales se producen cuandono se cumplen las condiciones establecidas para un razonamiento. FALACIAS VERBALES FALACIAS DE COMPOSICION. Consiste en creer que el aspecto x, por ser una propiedad de los individuos de cierta clase, tambien podria considerarse como una propiedad de esa clase. 1.-Andrs, Juan y Dagoberto son sabios. FALACIAS DE DIVISION Es la falacia inversa de la anterior; por lo consiguiente se producen los individuos les atribuimos las propiedades que tienen el todo o la clase a que ellos pertenecen. 1.-la pea literaria conocida como la vanguardia es muy famosa FALACIA DE ACCIDENTE. Esta ocurre cuando tenemos a la vista propiedades esenciales de un individuo y queremos aplicarles para valorar situaciones accidentales. 1.-Juan es racional.

FALACIAS MATERIALES En general, se consideran como falacias materiales aquellos razonamientos donde las pruebas son falsas o ilusorias. LA CAUSA FALSA. Esta ocurre cuando decimos que el fenmeno z es la causa del fenmeno x, simplemente por que este se presentadespues de aquel PETICION DE PRINCIPIO O ARGUMENTO CIRCULAR. Se llama as a la falacia que consisten tomar premisa la misma proposicin que se pretende probar. LA PREGUNTA FALSA. Esta falacia ocurre cuando, al formular una pregunta, esta supone la aceptacin de otra cosa. ARGUMENTO AD HOMINEM. Se llama as el recurso de mencionar algun rasgo negativo de quien define la posicin contraria, con el fin de debilitar su argumentacin ARGUMENTUM AD POPULUM. Es la falacia que consiste en hacer llamados emocionales al pueblo, para lograr que acepte la propuesta que se defina. FALACIAS GENERALIZACION. Esta falacia presenta cuando los procesos inductivos, sin observar un numero suficiente de casos, el investigador generaliza de inmediato. PARADOJAS Tanto en literatura como en otros campos, suele emplearse el termino paradoja para referirsea situaciones que implican una contradiccin o por lo menos cierta oposicin. En logica, el vocablo paradija designa frases que tienen estas caracteristicas: su forma es la deuna proposicin o de una interrogcion parecen implicar una contradiccin en realidad carecen de sentido. Lgica Plan 1. Introduccin y definicin de Lgica Podemos decir que la lgica: Es la ms formal de las ciencias porque estudia la estructura formal del pensamiento.

No se preocupa de estriar qu es el pensamiento (esto es ms propio e la Gnoseologa, Epistemologa, Criteriologa y Teora del conocimiento) La Lgica se preocupa por saber Cmo es, que formas o estructuras tiene el conocimiento y no por el contenido. Segn el Profesor Moiss Chong, la Lgica no se interesa por la existencia real del mundo, sino por la existencia formal de los modos como ste se manifiesta en la mente del hombre. La Lgica es ciencia de relaciones porque estudia el pensamiento y, pensar es establecer relaciones. Pero se preocupa no tanto por establecer relaciones (esto es propios de las ciencias...) sino por el estudio de las relaciones mismas, por eso la lgica es una ciencia formal. La lgica es una disciplina cientfica dirigida a satisfacer la necesidad de investigar las leyes o principios que rigen el proceso de la adquisicin del conocimiento en todas sus formas, as como el modo de explicarlos. Los principios lgicos constituyen el fundamento terico de toda indagacin cientfica. Por lo tanto, las ciencias son consideradas, en el fondo, como Lgica aplicada. Debemos recordar que el hecho lgico es anterior a la ciencia misma de la Lgica, pues la Lgica se aprende en la vida comn y corriente y a eso es lo que llamamos concepto de precientfico de Lgica. Qu funcin realiza entonces el Tratado de Lgica? Su funcin es vigorizar nuestras facultades mentales. En este aspecto la Lgica es muy parecida a la Gramtica, la cual no nos ensea a hablar (eso lo aprendemos en la vida comn y corriente), pero si nos ensea; a ser ms correctos, precisos y exactos en la expresin hablada y escrita. Lo mismo sucede con las distintas operaciones lgicas que practica el hombre sin haberlas aprendido en los tratados y textos de lgica, sino en las distintas ciencias especiales que se sirven de esta y, de la experiencia cotidiana. La funcin de la lgica es ayudarnos a mejorar nuestro razonamiento, proporcionarnos reglas que nos ayuden a evitar falacias sofismos y paralogismos lgicos, en fin ayudarnos a evitar, errores en la forma o estructura de nuestro pensamiento. Cabe destacar que, en muchos casos, lo evidente y lo lgico son considerado lo mismo aunque lo evidente no tenga un valor absoluto para todos los tiempos ni para todos los sitios.

Etimolgicamente hablando el trmino lgica procede de la voz griega logos que quiere decir discursos, tratado, ciencia, palabra, etc. Por eso se ha llegado a afirmar que la Lgica es la ciencia del logos. Es importante sealar que la traduccin ordinaria de logos tratado, no es la principal ni la ms importante a la hora de definir lo que es la Lgica; logos tiene varios significados; y el ms clsico entre los griegos fue el de pensamiento, idea, espritu, razn, en contraste con lo material, lo corpreo, lo orgnico. Por lo tanto debemos afirmar que la palabra logos hace referencia al mundo de la inteligencia, del pensamiento, de la razn, de la idea ese es el campo de la Lgica. En conclusin podramos decir que la definicin nominal (o sea referente a la palabra) de Lgica es ciencia de los pensamientos y de la razn. Cientficamente hablando, la lgica es un valioso medio para ordenar conceptualmente las ideas que tenemos sobre las cosas y las relaciones que surgen de estas mismas cosas. Es este sentido, la lgica es ciencia y mtodo a la vez. Adems dentro de su rama puramente formal, la Lgica no es mas que la indagacin sistemtica de los principios de todo razonamiento vlido. Plan 2. Objeto, Material Formal: El objeto hace referencia a aquella cosa sobre la cual versa el contenido de la ciencia en cuestin. Esto es aplicable a todas las ciencias incluyendo la lgica. El objeto de una ciencia tiene dos vertientes: 1. Lo Material: hace referencia al que de lo que se estudia. En el caso de la Lgica sera el pensamiento. 2. Lo Formal: hace referencia al como de lo que se estudia. En el caso de la Lgica seran las relaciones invariables y permanentes que se establecen entre las cosas, o sea, la estructura formal del pensamiento. Ej.: Si decimos: 1. El sol es el centro del sistema solar. 2. San Juan Bautista de La Salle fue el fundador de los Hermanos de las escuelas cristianas.

Los dos ejemplos son distintos (1) es una verdad cientfica, (2) es una verdad Histrica. Pero ambas son iguales en su forma porque expresan una misma e idntica relacin. A es B. Plan 3. Relacin de la Lgica con las otras ciencias: Como ya vimos en la introduccin, la Lgica se relaciona con todo las ciencias porque todas ellas trabajan utilizando el lenguaje y sobre todo relaciones de pensamiento entre varias ideas. Como la lgica es una ciencia de relaciones y (sobre todo) la ciencia que estudia las relaciones, esta estrechamente relacionada con las dems ciencias. Pero tiene una relacin especial con algunas de ellas. Todas las ciencias poseen un objeto formal distinto a las otras, esta particularidad es como la h8uella digital que los identifica. A travs del objeto formal podemos identificar y distinguir las disciplinas del saber aunque posean sendas similitudes. El objeto material por su parte puede ser compartido por varias ciencias. Un claro ejemplo de esto lo representan la Lgica, la Gramtica, la Teora del Conocimiento y la Psicologa las cuales poseen el mismo objeto material, a saber, el pensamiento. Como podemos observar estas tres ciencias poseen una relacin especial con la Lgica ya que tienen el mismo objeto material aunque su objeto formal sea distinto. Plan 5. Divisin de la Lgica Actualmente existen diferentes formas de presentar la divisin de la lgica. Nosotros nos conformaremos con seguir el estilo de divisin ms usual y con destacar los tipos de lgica ms significativos que han surgido a lo largo de la historia de la filosofa. (Mapa conceptual - Divisin de la lgica). Adems de la divisin de la Lgica en sus dos bloques bsicos (tradicional y simblica) debemos resaltar algunas de las numerosas diferencias que existen entre ambas: Cuadro Comparativo Lgica Tradicional Lgica Simblica 1. Es exclusivamente una Lgica de trminos. Utiliza el lenguaje comn o material. 1. Posee mayor amplitud. Utiliza un lenguaje artificial.

2. Slo se simboliza los trminos (los variables). 2. Se representan tanto los trminos como las proposiciones y los signos lgicos (variables y constantes). 3. El nico modelo de proposicin que debe ser considerado es el tipo A de B (o A no es B). Slo es capaz de formular proposiciones que expresar cualidades. 3. Puede analizar cualquier tipo de proposicin aunque indiquen una relacin. Plan 6. Lgica Tradicional o Aristotlica La lgica tradicional estudia los elementos ms generales del pensamiento (concepto, juicio y raciocinio) y las caractersticas de cada uno de ellos. Esta lgica tradicional tiene su principal fuente en Aristteles (y su obra el Organn) por lo que tambin es conocida con el nombre de Lgica Aristotlica. A continuacin desarrollaremos cada uno de los elementos de la Lgica tradicional. 6.1 El Concepto: El concepto es la representacin intelectual de un objeto. El proceso psicolgico por el cual la mente concibe o forman un concepto se conoce con el nombre de simple aprehensin intelectual. Este proceso se denomina simple porque un concepto no afirmo ni niego nada; simplemente sealo, indica, hace referencia a algo. Por esta razn el concepto no puede ser ni verdadero ni falso. Los conceptos designar diferentes tipos de entidades reales, fsicos o psquicos, ideales o imaginarios. Por ejemplo: Carro = real Psquico = amor Ideales = tringulo Imaginario = minotauro. Ese grupo de concepto con definicin propia son llamados: Categoremticos. Existe otro grupo de expresiones que solo son conceptos en un sentido muy amplio, pues ellos se encargan de establecer relaciones entre conceptos categoremticos. Ejemplos: aunque, no,

porque, y, todo, algunos, etc. Estas expresiones, forman el grupo de conceptos sincategoremticos. Todos los conceptos poseen dos caractersticas generales: abstractos y universal. a. Abstracto porque a pesar e que sea la representacin de un objeto material, dicha representacin siempre ser abstracta. b. Universal porque en su extensin estn incluido todos los seres que posean la caracterstica que representa el concepto en cuestin. 6.1.1 Comprensin y Extensin de los Conceptos: Todo concepto hace referencia a una doble realidad: a una esencia determinada (1) y a un conjunto de seres que lo realizan (2). Por ejemplo: (1) al pensar el concepto silla yo puedo pensar en un objeto que sirve para sentarse (hace referencia a una esencia o tipo de ser), o (2) puedo representar toda la serie de cosas que son silla: silla de rueda, silla mecedora, silla plegable, silla de oficina, etc. De lo antes afirmado surge la distincin en todo concepto de su comprensin y su extensin. *La comprensin es el conjunto de notas que un objeto debe tener para corresponder a un concepto. Conjunto de notas constituyen la esencia representado por un concepto. Es lo que el concepto significa. Ejemplo: la comprensin de tringulo dada por las notas: Ser un polgono, tener tres lados, tener ngulos internos que sumen 180. Lnea. Sucesin de puntos. *La extensin es el conjunto de los individuos, objetos o sucesos a los que se aplica este concepto. Ejemplo el concepto tringulo se aplica a todos los tringulos (Issceles, escaleno, rectngulo, etc.). Lnea se aplica a todas las lneas (recta, curva, etc.). *Existe una relacin recproca entre la comprensin y la extensin de los conceptos, relacin esta que se da en razn inversa: a medida que la extensin aumenta, disminuye la comprensin; y, a medida que la extensin disminuye, aumenta la comprensin. Ejemplo: a. Felino mayor extensin y menos comprensin que gato. Gato menor extensin pero mayor comprensin que felino.

b. El concepto hombre tiene mucha extensin y poca comprensin. Si aumentamos la comprensin de hombre diciendo hombre latino, su extensin disminuye, porque ya no se aplica a todos los hombres, sino solo a los latinos. 6.1.2 Divisin de Conceptos Hay muchas formas de dividir los conceptos. Clasificaremos los conceptos de segn: 1-Su extensin: 1.1 Singulares: Expresan un solo individuo. Ej.: Mara, Esta mesa. 1.2 Particulares: Expresan varios individuos pero no todos. Ej.: Algunos nios, muchos perros, etc. 1.3 Universales: Expresan todos los individuos. Ej.: Mesa, rbol, etc. Se sub. Divide en: 1.3.1 Unvoco: se atribuye de manera idntica a varios sujetos. Ej.: Libro de religin, libro de lgica, libro de matemticas. 1.3.2 Anlogo: se atribuye a varios sujetos de manera ni totalmente idntica ni totalmente diferente. Ej.: Nio piadoso, imagen piadosa. 1.3.3 Equvocos (trminos): representa dos o varios conceptos totalmente diversos. Ej.: El perro mueve la cola (rabo), el carpintero pega con cola (pegamento), quiero una soda con cola (refresco). 2-Su comprensin: 2.1 Simple: Expresa una sola esencia. Ej.: mesa. 2.2 Compuesto: Comprende varias esencias. Ej.: mesa de madera. 3-Su perfeccin: 3.1 Oscuros: No permiten distinguirlo de los dems. Ej.: Hombre, como animal. 3.2 Confusos: Distinguen de los dems de una manera muy general. Ej.: Hombre como bpedo sin alas. 3.3 Distintos: Conoce con toda perfeccin. Ej.: hombre como animal racional. 4-Su relacin:

4.1 Idnticos: Significan lo mismo. Ej.: Hombre = animal racional. 4.2 Diversas: Tienen significados diferentes. Se dividen en: 4.2.1 Compatibles: Se pueden realizar juntos en el mismo sujeto. Ej.: Hombre, alto, blanco. 4.2.2 Incompatibles: No se pueden realizar juntos. Ej.: rbol-sabio. Se divide en: 4.2.2.1 Disparatados: Pertenecen a gneros diversos. Ej.: carro amable 4.2.2.2. Contradictorios: Un concepto y su negacin. Ej.: Blanco y no blanco. 4.2.2.3 Contrarios: dos extremos de un mismo gnero. Ej.: blanco y negro 4.2.2.4 Privativos: una cualidad y la ausencia de sta. Ej.: Vidente y ciego 4.2.2.5 Correlativos: Cada uno exige al otro. Ej.: Padre e Hijo. Plan N. 7 Los Predicables Qu son? -Son los cinco modos distintos de predicar o atribuir un concepto a un sujeto. Cules son? -Los predicables son: Especie, gnero, diferencia especfica, propiedad y accidente. Los tres primeros forman el grupo de predicables esenciales y, los dos ltimos el grupo de predicables accidentales. Cmo los podemos definir? 1. Especie: Es todo concepto universal que predica de una cosa su esencia total 2. Gnero: Es todo concepto universal que predica de una cosa su esencia comn con otras especies 3. Diferencia especfica: es todo concepto universal que predica de una cosa parte, de su esencia, que la diferencia de las dems especies del mismo gnero. 4. Propio: es todo concepto universal que predica de una cosa una cualidad no esencial pero necesaria

5. Accidente: Es todo concepto universal que predica de una cosa una cualidad ni esencial ni necesaria. -Los predicables esenciales tienen una relacin especial que se puede presentar con la siguiente ecuacin: E = G + DF (Especie es igual a la suma del gnero ms la diferencia especfica) G = E - DF (Gnero es igual a la especie menos la diferencia especfica) DF = E - G (Diferencia especfica es igual a la especie menos el gnero) -Ejemplo de los cinco predicables Pedro es un hombre o animal racional capaz de rerse y sumamente delgado. 1. Especie: Hombre 2. Gnero: Animal 3. Diferencia Especfica: Racional 4. Propio: Capaz de rerse 5. Accidente: Sumamente delgado -Nota aclaratoria: Esencial y necesario no quieren decir lo mismo Esencial es aquello por lo que un ser es lo que es y necesario es algo que no puede dejar de darse. Todo lo esencial es necesario, pero no todo lo necesario es siempre esencial. Logica La lgica, palabra derivada del griego clsico logos (la razn, principio que gobierna al Universo), son las reglas usadas para hacer deducciones crebles. Es la ciencia que trata de los principios vlidos del razonamiento y la argumentacin. El estudio de la lgica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de unas proposiciones dadas, llamadas premisas, a una conclusin que se deriva de aqullas. La validez lgica es la relacin entre las premisas y la conclusin de tal forma que si las premisas son verdaderas la conclusin es verdadera. La validez de una proposicin se tomar de la verdad de la conclusin. Si una de las premisas, o ms, es falsa, la conclusin de una proposicin vlida ser falsa. Por ejemplo:

"Todos los mamferos son animales de cuatro patas, todos los hombres son mamferos, por lo tanto, todos los hombres son animales de cuatro patas" es una proposicin vlida que conduce a una conclusin falsa. Por otro lado, una proposicin nula puede, por casualidad, llegar a una conclusin verdadera. "Algunos animales tienen dos patas; todos los hombres son animales, por lo tanto todos los hombres tienen dos patas" representa una conclusin verdadera, pero la proposicin no lo es. Por lo tanto, la validez lgica depende de la forma que adopta la argumentacin, no su contenido. Si la argumentacin fuera vlida, cualquier otro trmino podra sustituir a cualquiera de los casos utilizados y la validez no se vera afectada. Al sustituir "cuatro patas" por "dos patas" se comprueba que ambas premisas pueden ser verdaderas y la conclusin falsa. Por lo tanto, la proposicin no es correcta aunque posea una conclusin verdadera. Trminos generales: -Terminologa cientfica: Uso correcto del razonamiento o principios involucrados en el razonamiento correcto. -Programacin de Computadoras: Algoritmo o Procedimiento de Decisin Utilizado por un Programa. -Tecnologa de Computo: Conjunto de circuitos que ejecutan funciones lgicas con niveles importantes de seales restringidas a unos valores discretos (por lo general 2). Mas que cambian continuamente. -Lgica Matemtica: Rama de la matemtica que formula y estudia los principios del razonamiento: Incluye las teoras axiomticas ( evidentes ), el calculo predicado, el calculo de exponenciacin, el lgebra booleana y la lgica simblica. La lgica, palabra derivada del griego clsico logos (la razn, principio que gobierna al Universo), son las reglas usadas para hacer deducciones crebles. Es la ciencia que trata de los principios vlidos del razonamiento y la argumentacin. El estudio de la lgica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de unas proposiciones dadas, llamadas premisas, a una conclusin que se deriva de aqullas. La validez lgica es la relacin entre las premisas y la conclusin de tal forma que si las premisas son verdaderas la conclusin es verdadera. La validez de una proposicin se tomar de la verdad de la conclusin. Si una de las premisas, o ms, es falsa, la conclusin de una proposicin vlida ser falsa. Por ejemplo: "Todos los mamferos son animales de cuatro patas, todos los hombres son mamferos, por lo tanto, todos los hombres son animales de cuatro patas" es una proposicin vlida que conduce a una conclusin falsa. Por otro lado, una proposicin nula puede, por casualidad, llegar a una conclusin verdadera. "Algunos animales tienen dos patas; todos los hombres son animales, por lo tanto todos los hombres tienen dos patas" representa una conclusin verdadera, pero la proposicin no lo es. Por lo tanto, la validez lgica depende de la forma que adopta la argumentacin, no su contenido. Si la argumentacin fuera vlida, cualquier otro trmino podra sustituir a cualquiera de los casos utilizados y la validez no se vera

afectada. Al sustituir "cuatro patas" por "dos patas" se comprueba que ambas premisas pueden ser verdaderas y la conclusin falsa. Por lo tanto, la proposicin no es correcta aunque posea una conclusin verdadera. Es difcil saber cundo y dnde se inici el estudio de la lgica, no obstante que hay una gran cantidad de informacin sobre sus orgenes. Al tratar de ubicar un origen de la lgica, se llega a la conclusin de que (como en el caso de todas las ciencias), ste ocurre durante la aparicin del hombre primitivo. En efecto, siendo la Lgica una ciencia del razonamiento y de la inferencia, es sensato pensar que con el surgimiento del primer hombre con capacidad de razonar y obtener deducciones o inferencias, erradas o no, en ese mismo momento apareci la semilla de la lgica. De hecho, se ha distinguido al hombre (o creemos distinguirlo) del resto de los animales por sus capacidades de razonamiento lgico, o capacidades del pensamiento - capacidades lgicas-, esto es, razonar, deducir o inferir; tal cosa ha ocurrido por que el hombre mismo ha establecido (unilateralmente) que es precisamente l, quien tiene la capacidad de razonamiento ms alta del reino animal. Estos principios , que constituyen algo as como los fundamentos de la lgica, los encontramos claramente formulados por Aristteles. Estos principios corresponden a las mas elementales normas a que todo pensamiento esta sujeto y se denominan: 1. Principio de identidad: A es A ;todo es lo que es o todo ente es idntico a si mismo. 2. Principio de no contradiccin: A es B o no B; una cosa no puede al mismo tiempo ser y no ser tal o cual cosa o no podemos de un mismo sujeto afirmar y negar una cualidad a la vez. 3.Principio del tercero excluido: A es B o A no es B; una cosa es o no es tal o cual cosa, o de un mismo sujeto podemos afirmar o negar una cualidad, pero no hay una tercera posibilidad. Estas leyes pueden ser reformuladas segn tengan que ver con proposiciones, implicacin y verdad y falsedad: 1. Toda proposicin es equivalente a si misma ( es decir toda proposicin se implica y es implicada por si misma). 2.Ninguna proposicin es al mismo tiempo verdadera y falsa. 3.Toda proposicin es o bien verdadera o bien falsa. Las letras sustituyen a palabras comunes como "perro", "animal de cuatro patas", o "cosa viviente", llamadas trminos del silogismo. Un silogismo bien formulado consta de dos premisas y una conclusin, debiendo tener cada premisa un trmino en comn con la conclusin y un segundo trmino relacionado con la otra premisa. En lgica clsica se formulan reglas por las que todos los silogismos bien construidos se identifican como formas vlidas o no vlidas de argumentacin.

La Lgica Fuzzy o Difusa, es una lgica basada en la teora de conjuntos que posibilita imitar el comportamiento de la lgica humana. La facilidad que esto constituye alumbrara los prximos aos espectaculares mejoras tcnicas en los sistemas de control de nuestra sociedad. El termino "difuso" procede de la palabra inglesa "fuzz" que sirve para denominar la pelusa que recubre el cuerpo de lo polluelos al poco de salir del huevo. Este termino ingles significa "confuso, borroso, indefinido o desenfocado". Este termino se traduce por "flou" en francs y "aimai" en japons. Aunque la teora de conjuntos difusos presente cierta complejidad, el concepto bsico es fcilmente comprensible. Tomemos como ejemplo el concepto de "mediana edad". Al escuchar el termino "mediana edad", nuestra mente asocia automticamente la imagen de ciertas personas o tipos de personas. Pero este es un concepto con limites imprecisos que no puede ser tratado por el programa de un ordenador, que ordinariamente exige que las cosan sean definidas. Es aqu donde entra la Lgica Difusa. Supongamos que hemos llegado a la conclusin de que la mediana edad son los 45 aos. Sin embargo no podemos descartar a las personas de 35 o 55 aos como edad mediana. Por el contrario, los menores de 30 aos y los mayores de 60 tampoco se pueden considerar radicalmente como no de mediana edad. De tal forma creamos tres crculos. El primero, el de los jvenes va de los 0 hasta los 35 aos, el segundo el de la "mediana edad" va de los 30 hasta los 55 aos, y por ultimo el de la tercera edad que va de los 50 en adelante. Podemos observar que desde el punto de vista de los "conjuntos difusos" el periodo de edad de los 30 a los 35 puede considerarse tanto dentro de el circulo "joven" como el de "mediana edad". Otro tanto ocurre entre los 50 y los 55 aos que pueden concebirse dentro de la "mediana edad" y de la "tercera edad". Estas transiciones de valoracin facilitan la expresin matemtica de las expresiones difusas o indefinidas, y con ello dan la posibilidad de hacer programas para ordenadores que interpreten las expresiones humanas que normalmente son imprecisas para la matemtica tradicional.

Ciencia
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

El conocimiento cientfico adquirido a lo largo de la historia de la humanidad ha permitido al hombre realizar hazaas tan prodigiosas como, por ejemplo, llegar a la Luna, logros que apenas hace unas dcadas antes habran resultado posibles nicamente en la imaginacin. La ciencia (del latn scientia 'conocimiento') es el conjunto de conocimientos sistemticamente estructurados obtenidos mediante la observacin de patrones regulares, de razonamientos y de experimentacin en mbitos especficos, de los cuales se generan preguntas, se construyen hiptesis, se deducen principios y se elaboran leyes generales y esquemas metdicamente organizados.[1] La ciencia utiliza diferentes mtodos y tcnicas para la adquisicin y organizacin de conocimientos sobre la estructura de un conjunto de hechos suficientemente objetivos y accesibles a varios observadores, adems de basarse en un criterio de verdad y una correccin permanente. La aplicacin de esos mtodos y conocimientos conduce a la generacin de ms conocimiento objetivo en forma de predicciones concretas, cuantitativas y comprobables referidas a hechos observables pasados, presentes y futuros. Con frecuencia esas predicciones pueden formularse mediante razonamientos y estructurarse como reglas o leyes generales, que dan cuenta del comportamiento de un sistema y predicen cmo actuar dicho sistema en determinadas circunstancias.

Contenido
[ocultar]

1 Descripcin y clasificacin de las ciencias

2 Terminologa usada en ciencias o 2.1 Mtodo cientfico 3 Aplicaciones de la lgica y de las matemticas en la ciencia 4 Filosofa de la ciencia 5 Historia de la ciencia o 5.1 Actualidad 6 Divulgacin cientfica 7 Influencia en la sociedad: la tica de la ciencia 8 Vase tambin 9 Referencias 10 Enlaces externos

Descripcin y clasificacin de las ciencias

La llamada ciencia experimental se ocupa solamente del estudio del universo natural ya que, por definicin, todo lo que puede ser detectado o medido forma parte de l. En su trabajo de investigacin, los cientficos se ajustan a un cierto mtodo, el mtodo cientfico, un proceso para la adquisicin de conocimiento emprico. Para fines de comprensin, puede decirse que la llamada ciencia aplicada consiste en la aplicacin del conocimiento cientfico terico (la llamada ciencia bsica o terica) a las necesidades humanas y al desarrollo tecnolgico. Es por eso que es muy comn encontrar, como trmino, la expresin "ciencia y tecnologa": dos aspectos inseparables, en la vida real, de una misma actividad. Algunos descubrimientos cientficos pueden resultar contrarios al sentido comn. Ejemplos de esto son la teora atmica o la mecnica cuntica, que desafan nociones comunes sobre la materia. Muchas concepciones intuitivas de la naturaleza han sido transformadas a partir de hallazgos cientficos, como el movimiento de traslacin de la Tierra alrededor del Sol o la teora evolutiva de Charles Darwin.

Disciplinas cientficas
Esquema de clasificacin planteado por el epistemlogo alemn Rudolf Carnap: Ciencias formales Ciencias naturales Estudian las formas vlidas de inferencia: lgica - matemtica. No tienen contenido concreto; es un contenido formal, en contraposicin al resto de las ciencias fcticas o empricas. Son aquellas disciplinas cientficas que tienen por objeto el estudio de la naturaleza: astronoma, biologa, fsica, geologa, qumica, geografa fsica y otras. Son aquellas disciplinas que se ocupan de los aspectos del ser humano cultura y sociedad- El mtodo depende de cada disciplina particular: administracin, antropologa, ciencia poltica, demografa, economa, derecho, historia, psicologa, sociologa, geografa humana, trabajo social y otras.

Ciencias sociales

Mario Bunge (1983) clasific la ciencia en funcin del enfoque que se da al conocimiento cientfico: por un lado, el estudio de los procesos naturales o sociales (el estudio de los hechos) y, por el otro, el estudio de procesos puramente lgicos y matemticos (el estudio de las ideas), es decir, postul la existencia de una ciencia factual (o ciencia fctica) y una ciencia formal. Las ciencias factuales se encarga de estudiar hechos auxilindose de la observacin y la experimentacin. Por ejemplo, la fsica y la psicologa son ciencias factuales porque se refieren a hechos que se supone ocurren en la realidad y, por consiguiente, tienen que apelar al examen de la evidencia emprica para comprobarlos. En conclusin, el objeto de estudio de la ciencia formal no son las cosas ni los procesos, sino las relaciones abstractas entre signos, es decir, se estudian ideas. Son ciencias formales la lgica y las matemticas.

Terminologa usada en ciencias

Los trminos modelo, hiptesis, ley y teora tienen en la ciencia un significado muy distintos al que se les da en el lenguaje coloquial. Los cientficos utilizan el trmino modelo para referirse a una descripcin de algo, especialmente algo que pueda usarse para realizar predicciones que puedan ser sometidas a prueba por experimentacin u observacin. Una hiptesis es una afirmacin que an no ha sido bien respaldada o bien que an no ha sido descartada. Una ley fsica o ley natural es una generalizacin cientfica basada en observaciones empricas. La palabra teora es incomprendida particularmente por el comn de la gente. El uso coloquial de la palabra teora se refiere, equivocadamente, a ideas que an no han sido demostradas firmemente o que no tienen un respaldo experimental. En contraposicin, los cientficos generalmente utilizan esta palabra para referirse a un cuerpo de leyes o principios a travs de los cuales se realizan predicciones acerca de fenmenos especficos. Formalmente, una teora es un sistema conceptual, general y explicativo, racional, emprico y suficientemente objetivo sobre hechos o sobre algn aspecto de la realidad.[cita requerida]

Mtodo cientfico
Artculos principales: Mtodo cientfico y Lgica emprica

Cada ciencia, y aun cada investigacin concreta, genera su propio mtodo de investigacin. En general, se define como mtodo el proceso mediante el cual una teora cientfica es validada o bien descartada. La forma clsica del mtodo de la ciencia ha sido la induccin (formalizada por Francis Bacon en la ciencia moderna), pero que ha sido fuertemente cuestionada como el mtodo de la ciencia, especialmente por Karl Popper, quien sostuvo que el mtodo de la ciencia es el hipottico-deductivo.[cita requerida] En todo caso, cualquiera de los mtodos cientficos utilizados requiere los siguientes criterios:

La reproducibilidad, es decir, la capacidad de repetir un determinado experimento en cualquier lugar y por cualquier persona. Esto se basa, esencialmente, en la comunicacin de los resultados obtenidos. En la actualidad stos se publican generalmente en revistas cientficas y revisadas por pares. La falsabilidad, es decir, la capacidad de una teora de ser sometida a potenciales pruebas que la contradigan. Segn este criterio, se distingue el mbito de lo que es ciencia de cualquier otro conocimiento que no lo sea: es el denominado criterio de demarcacin de Karl Popper. La corroboracin experimental de una teora cientficamente "probada" aun la ms fundamental de ellas se mantiene siempre abierta a escrutinio (ver falsacionismo). En las ciencias empricas no es posible la verificacin; no existe el "conocimiento perfecto", es decir, "probado". En las ciencias formales las deducciones lgicas o demostraciones matemticas generan pruebas nicamente dentro del marco del sistema definido por ciertos axiomas y ciertas reglas de inferencia. Segn el teorema de Gdel, no existe un sistema lgico perfecto, que sera consistente, decidible y completo.

Existe una serie de pasos inherentes al proceso cientfico que, aunque no suelen seguirse en el orden aqu presentado, suelen ser respetados para la construccin y el desarrollo de nuevas teoras. stos son:

El modelo atmico de Bohr, un ejemplo de una idea que alguna vez fue aceptada y que, a travs de la experimentacin, fue refutada.

Observacin: registrar y examinar atentamente un fenmeno, generalmente dentro de una muestra especfica, es decir, dentro de un conjunto previamente establecido de casos. Descripcin: detallar los aspectos del fenmeno, proponiendo incluso nuevos trminos al respecto. Hiptesis: plantear las hiptesis que expliquen lo observado en el fenmeno y las relaciones causales o las correlaciones correspondientes. Experimentacin: es el conjunto de operaciones o actividades destinadas, a travs de situaciones generalmente arbitrarias y controladas, a descubrir, comprobar o demostrar las hiptesis.

Demostracin o refutacin, a partir de los resultados de uno o ms experimentos realizados, de las hiptesis propuestas inicialmente. Induccin: extraer el principio general implcito en los resultados observados. Comparacin universal: la permanente contrastacin de hiptesis con la realidad.

La experimentacin no es aplicable a todas las ramas de la ciencia; su exigencia no es necesaria por lo general en reas del conocimiento como la vulcanologa, la astronoma, la fsica terica, etc. Sin embargo, la repetibilidad de la observacin de los fenmenos naturales es un requisito fundamental de toda ciencia que establece las condiciones que, de producirse, haran falsa la teora o hiptesis investigada (vase falsacin). Por otra parte, existen ciencias, especialmente en el caso de las ciencias humanas y sociales, donde los fenmenos no slo no se pueden repetir controlada y artificialmente (que es en lo que consiste un experimento), sino que son, por su esencia, irrepetibles, por ejemplo, la historia. De forma que el concepto de mtodo cientfico aplicado a estas ciencias habra de ser repensado, y la definicin podra ser como sigue: "Proceso de conocimiento caracterizado por el uso constante e irrestricto de la capacidad crtica de la razn que busca establecer la explicacin de un fenmeno atenindose a lo previamente conocido, y que busca generar, como resultado, una explicacin plenamente congruente con los datos de la observacin."[cita requerida].

Aplicaciones de la lgica y de las matemticas en la ciencia

Artculo principal: Clculo

Principia Mathematica de Isaac Newton. La lgica y la matemtica son esenciales para todas las ciencias porque siempre son exactas. La funcin ms importante de ambas es la creacin de sistemas formales de inferencia y la concrecin en la expresin de modelos cientficos. La observacin y coleccin de medidas, as como la creacin de hiptesis y la prediccin, requieren a menudo modelos lgico-matemticos y el uso extensivo del clculo, y en la actualidad resulta especialmente relevante la creacin de modelos numricos, debido a las enormes posibilidades de clculo que ofrecen los ordenadores (vase computacin).

Las ramas de la matemtica ms comnmente empleadas en la ciencia incluyen el anlisis matemtico, el clculo matemtico y las estadsticas, aunque virtualmente toda rama de la matemtica tiene aplicaciones en la ciencia, incluso en reas "puras" como la teora de nmeros y la topologa. El uso de la matemtica es particularmente frecuente en fsica, y en menor medida en qumica, biologa y algunas ciencias sociales (por ejemplo, los constantes clculos estadsticos necesarios en las investigaciones de la psicologa). Algunos pensadores ven a la matemtica como una ciencia, considerando que la experimentacin fsica no es esencial a la ciencia o que la demostracin matemtica equivale a la experimentacin. Otros opinan lo contrario, ya que en matemtica no se requiere evaluacin experimental de las teoras e hiptesis. En cualquier caso, la utilidad de la matemtica para describir el universo es un tema central de la filosofa de la matemtica.

Filosofa de la ciencia
Artculo principal: Filosofa de la ciencia

La efectividad de la ciencia como modo de adquisicin de conocimiento ha constituido un notable campo de estudio para la filosofa. La filosofa de la ciencia intenta comprender el carcter y justificacin del conocimiento cientfico y sus implicaciones ticas. Ha resultado particularmente difcil proveer una definicin del mtodo cientfico que pueda servir para distinguir en forma clara la ciencia de la no ciencia o de la pseudociencia. La ms bella y profunda emocin que nos es dado sentir es la sensacin de lo mstico. Ella es la que genera toda verdadera ciencia. El hombre que desconoce esa emocin, que es incapaz de maravillarse y sentir el encanto y el asombro, est prcticamente muerto. Saber que aquello que para nosotros es impenetrable realmente existe, que se manifiesta como la ms alta sabidura y la ms radiante belleza, sobre la cual nuestras embotadas facultades slo pueden comprender en sus formas ms primitivas. Ese conocimiento, esa sensacin, es la verdadera religin. Albert Einstein En la actualidad, la posicin generalizada es la naturalista, frente al fundacionalismo predominante en toda la tradicin. Tanto es as que incluso podra considerarse una moda filosfica, desdibujando el sentido originario del naturalismo. Las caractersticas bsicas del naturalismo original son, como seal Quine en La naturalizacin de la epistemologa, una posicin no fundacionalista y multidisciplinaria. Mientras que el objetivo tradicional de la filosofa de la ciencia ha sido el de justificar y legitimar el conocimiento cientfico, el objetivo posterior es el de entender cmo se da tal conocimiento cientfico, entendido como actividad y empresa humana, utilizando para ello todos los recursos pertinentes, es decir, todas las disciplinas relevantes: biologa, psicologa, antropologa, sociologa, etc., e incluso economa y tecnologa.

Historia de la ciencia
Artculo principal: Historia de la ciencia

Nicols Coprnico. A pesar de ser relativamente reciente el mtodo cientfico (concebido en la revolucin cientfica del siglo XVII), la historia de la ciencia no se interesa nicamente por los hechos posteriores a dicha ruptura. Por el contrario, sta intenta rastrear los precursores a la ciencia moderna hasta tiempos prehistricos. La ciencia moderna tiene sus orgenes en civilizaciones antiguas, como la babilnica, la china y la egipcia. Sin embargo, fueron los griegos los que dejaron ms escritos cientficos en la Antigedad. Tanto en las culturas orientales como en las precolombinas evolucionaron las ideas cientficas y algunas personas consideran que, durante siglos, fueron muy superiores a las occidentales, sobre todo en matemticas y astronoma. Sin embargo, los griegos dejaron tratados muy modernos de geometra, lgebra y astronoma. Durante muchos aos las ideas cientficas convivieron con mitos, leyendas y pseudociencias (falsas ciencias). As, por ejemplo, la astrologa convivi con la astronoma, y la alquimia con la qumica. La astrologa sostena que los astros ejercen influencia real y fsica sobre nuestra personalidad (la astrologa actual ya no lo sostiene as, ahora consiste en el estudio de la influencia simblica sobre nuestra forma de ser). La alquimia, por su parte, tena por objetivo encontrar la frmula para convertir cualquier metal en oro y descubrir el elxir de la eterna juventud. Ninguna de estas dos disciplinas (astrologa y alquimia) aplica el mtodo cientfico de forma rigurosa, y por tanto, aunque han modificado sus afirmaciones antiguas, no pueden llamarse ciencias. Tras la cada del Imperio Romano de Occidente (476 dC), gran parte de Europa perdi contacto con el conocimiento escrito, y se inici la Edad Media. En la actualidad, es ms comn considerar el desarrollo de la ciencia como un proceso continuado y gradual, con sus antecedentes tambin medievales. El Renacimiento (siglo XIV en Italia), llamado as por el redescubrimiento de los trabajos de los antiguos pensadores griegos y romanos, marc el fin de la Edad Media y fund cimientos slidos para el desarrollo de nuevos conocimientos. De los cientficos de esta poca se destaca Nicols Coprnico, a quien se le atribuye haber iniciado la llamada revolucin cientfica con su teora heliocntrica.

Hay historiadores de la ciencia que afirman que en realidad no hubo una sino muchas revoluciones cientficas. Hay otros que sostienen que no ha habido ninguna revolucin cientfica en la historia de la ciencia, es decir, que la ciencia se ha desarrollado sin sobresaltos, de manera uniforme. De cualquier manera, haya habido o no una o ms revoluciones cientficas, entre los muchsimos pensadores ms prominentes que dieron forma al mtodo cientfico y al origen de la ciencia como sistema de adquisicin de conocimiento, vale la pena destacar a Roger Bacon (1214-1294) en Inglaterra, a Ren Descartes (1596-1650) en Francia y a Galileo Galilei (1564-1642) en Italia. ste ltimo fue el primer cientfico que bas sus ideas en la experimentacin y que estableci el mtodo cientfico como la base de su trabajo. Por ello es considerado el padre de la ciencia moderna. Desde entonces hasta hoy, la ciencia ha avanzado a pasos agigantados. La ciencia se ha convertido en parte de nuestra cultura y va ligada al avance tecnolgico. Es importante que la divulgacin cientfica llegue a toda la sociedad. Para ello, adems de los cientficos, los medios de comunicacin y los museos tienen un papel de vital importancia.

Actualidad
La historia reciente de la ciencia est marcada por el continuo refinado del conocimiento adquirido y el desarrollo tecnolgico, acelerado desde la aparicin del mtodo cientfico. Si bien las revoluciones cientficas de principios del siglo XX se dieron sobre todo en el campo de la fsica a travs del desarrollo de la mecnica cuntica y la relatividad general, en el siglo XXI la ciencia se enfrenta a la revolucin biotecnolgica. El desarrollo moderno de la ciencia avanza en paralelo con el desarrollo tecnolgico, y ambos campos se impulsan mutuamente.
Vanse tambin: Revolucin cientfica y avances cientficos recientes

Divulgacin cientfica
Artculo principal: Divulgacin cientfica

La divulgacin cientfica tiene como objetivo hacer asequible el conocimiento cientfico a la sociedad ms all del mundo puramente acadmico. La divulgacin puede referirse a los descubrimientos cientficos del momento, como la determinacin de la masa del neutrino, de teoras bien establecidas como la teora de la evolucin o de campos enteros del conocimiento cientfico. La divulgacin cientfica es una tarea abordada por escritores, cientficos, museos y periodistas de los medios de comunicacin. La presencia tan activa y constante de la ciencia en los medios y la de stos en aqulla ha hecho que, de un tiempo a la fecha, se debata sobre si, ms que divulgacin cientfica, debera usarse el trmino periodismo cientfico.

Algunos cientficos notables han contribuido especialmente a la divulgacin del conocimiento cientfico ms all del mundo estrictamente acadmico (en la radio y, sobre todo, en la televisin). Algunos de los ms conocidos: Jacob Bronowski (El ascenso del hombre), Carl Sagan (Cosmos: Un viaje personal), Stephen Hawking (Historia del tiempo), Richard Dawkins (El gen egosta), Stephen Jay Gould, Martin Gardner (artculos de divulgacin de las matemticas en la revista Scientific American), David Attenborough (La vida en la tierra) y autores de ciencia ficcin como Isaac Asimov. Otros cientficos han realizado sus tareas de divulgacin tanto en libros como en novelas de ciencia ficcin, como Fred Hoyle. La mayor parte de las agencias o institutos cientficos destacados en los Estados Unidos cuentan con un departamento de divulgacin (Education and Outreach), si bien sta no es una situacin comn en la mayor parte de los pases. Por ltimo, no debemos olvidar mencionar el hecho de que muchos artistas, aunque no sea su actividad formal la divulgacin cientfica, han realizado esta tarea a travs de sus obras de arte: gran nmero de novelas y cuentos y otros tipos de obras de ficcin narran historias directa o indirectamente relacionadas con descubrimientos cientficos diversos (el novelista italiano Italo Calvino, por ejemplo).

Influencia en la sociedad: la tica de la ciencia

Dado el carcter universal de la ciencia, su influencia se extiende a todos los campos de la sociedad, desde el desarrollo tecnolgico a los modernos problemas de tipo jurdico relacionados con campos de la medicina o la gentica. En ocasiones la investigacin cientfica permite abordar temas de gran calado social como el Proyecto Genoma Humano y grandes implicaciones ticas como el desarrollo del armamento nuclear, la clonacin, la eutanasia y el uso de las clulas madre. Asimismo, la investigacin cientfica moderna requiere en ocasiones importantes inversiones en grandes instalaciones como grandes aceleradores de partculas (CERN), la exploracin espacial o la investigacin de la fusin nuclear en proyectos como ITER. En todos estos casos es deseable que los logros cientficos conseguidos lleguen a la sociedad. onceptos de ciencia

Mario Bunge:

Conjunto de conocimientos obtenidos mediante la observacin y el razonamiento, y de los que se deducen principios y leyes generales. En su sentido ms amplio se emplea para referirse al conocimiento en cualquier campo, pero que suele aplicarse sobre todo a la organizacin del proceso experimental verificable.

Trefil James:

La ciencia puede caracterizarse como conocimiento racional, exacto y verificable. Por medio de la investigacin cientfica, el hombre ha alcanzado una reconstruccin conceptual del mundo que es cada vez ms amplia, profunda y exacta.

Hernn y Leo Sheneider:

Denominacin de un conjunto de disciplinas escolares, que abarcan una serie de materias basadas en la experimentacin y las matemticas.

Diccionario bsico:

Conocimiento profundo acerca de la naturaleza, la sociedad, el hombre y sus pensamientos APLICACIONES La ciencia se divide en numerosas ramas, cada una de las cuales tiene por objeto solo una parte de todo el saber adquirido, a travs de la experiencia y la investigacin. C. Exactas: Las que solo admiten principios y hechos rigurosamente demostrables. C. Naturales: Las que tienen por objeto el conocimiento de las leyes y propiedades de los cuerpos. C. Polticas: Las que estudian y analizan la estructura y funciones del gobierno. C. de la tierra: Conjunto de disciplinas que se ocupan de la historia, evolucin y reconstruccin de lo periodos del pasado ocurridos en la tierra. C. Humanas: Disciplina que tiene como objeto el hombre y sus comportamientos individuales y colectivos. Filosofa de la ciencia: Trata de averiguar si por medio de la ciencia, las teoras cientficas revelan la verdad sobre un tema. APORTES El objetivo primario de la ciencia, es mejorar la calidad de vida de los humanos, tambin ayuda a resolver las preguntas cotidianas. Muchos de los aportes que a realizado la ciencia es descifrando pequeas incgnitas, como si la tierra era plana y no redonda, o porque el agua moja, si existe un planeta adems del nuestro. Las resoluciones de estas incgnitas ha aportado mucho a las investigaciones actuales, muchas de las cosas que sabemos hoy en da es porque personas en el pasado las resolvieron con la ayuda de la ciencia. El estudio de la ciencia primordialmente se ha dado gracias a la necesidad, de darle explicacin y solucin a diferentes problemas, por decir en la poca antigua cuando queran controlar la mercanca que haba en un pas o sitio se tenia la necesidad de crear un mecanismo de conteo el cual ayudara a controlar la mercanca y as fue como de dio origen al sistema numrico actual.

Durante el transcurso de las dcadas la ciencia genero muchos de los descubrimientos de hoy como lo es el genoma humano, que se creo a partir del descubrimiento de los genes, que ha generado un gran avance en cuestiones medicas y por supuesto genticas ya que se pueden prevenir futuras enfermedades; as como esta son muchos los aportes que la ciencia le ha realizado a las matemticas, estadstica, fsica, astronoma etc. Relacin de la ciencia y tecnologa: La relacin que existe entre estas, es que ambas necesitan de un mtodo experimental para ser confirmadas, puede ser demostrable por medio de la repeticin. Por otra parte, la ciencia se interesa mas por el desarrollo de leyes, las cuales son aplicadas por la tecnologa para sus avances. Existe una tecnologa para cada ciencia, es decir, cada rama posee un sistema tecnologa diferente, que permite un mejor desarrollo para cada una de ellas. Cabe recordar, que la tecnologa se percibe con los sentidos, es decir, podemos observarla y verla. Nosotros vivimos en un mundo que depende de forma creciente de la ciencia y la tecnologa. Los procesos de produccin, las fuentes de alimentacin, la medicina, la educacin, la comunicacin o el transporte son todos campos cuyo presente y futuro estn fuertemente ligados al desarrollo tecnologa y cientfico. La ciencia y la tecnologa han contribuido a mejorar nuestras condiciones de vida, aumentando la calidad de vida y transformando nuestro entorno. Sin embargo, han ocasionado tambin problemas como lo son: el aumento de la contaminacin, el uso de sustancias toxicas, el deterioro progresivo del medio ambiente, la desertizacin, el empobrecimiento de la flora y la fauna, los accidentes y enfermedades relacionados con la tecnologa son una parte importante de estos riesgos. Por otra parte tambin tiene efectos sobre la economa, aumentando las diferencias entre los pases desarrollados y en vas de desarrollo, y agravando las situaciones de pobreza. La ciencia y la tecnologa son elementos que van transformando nuestro entorno da a da. METODO CIENTIFCO Es el mtodo de estudio de la naturaleza que incluye las tcnicas de observacin, reglas para el razonamiento y la prediccin, ideas sobre la experimentacin planificada y los modos de comunicar los resultados experimentales y tericos. Este mtodo posee diferentes pasos que conllevan a la respuesta del fenmeno observado. 1. Observacin: El primer paso del mtodo cientfico tiene lugar cuando se hace una observacin a propsito de algn evento o caracterstica del mundo. Esta observacin puede inducir una pregunta sobre el evento o caracterstica. Por

ejemplo, un da usted puede dejar caer un vaso de agua y observar como se hace aicos en el piso cerca de sus pies. Esta observacin puede inducirle la pregunta, "Porqu se cayo el vaso?" 2. 3. Hiptesis: Tratando de contestar la pregunta, un cientfico formular una hiptesis de la respuesta a la pregunta. En nuestro ejemplo hay varias posibles hiptesis, pero una hiptesis podra ser que una fuerza invisible (gravedad) jal el vaso al suelo. 4. Experimentacin: De todos los pasos en el mtodo cientfico, el que verdaderamente separa la ciencia de otras disciplinas es el proceso de experimentacin. Para comprobar, o refutar, una hiptesis el cientfico disear un experimento para probar esa hiptesis. A travs de los siglos, muchos experimentos han sido diseados para estudiar la naturaleza de la gravedad. Detengmonos en uno de ellos. 5. Registro y Anlisis de datos: dentro de la labor cientfica es indispensable la recoleccin de datos(observaciones iniciales, resultados durante ya al final del experimento) en forma organizada, de manera que sea posible determinar relaciones importantes entre estos, para lo cual se utilizan tablas, graficas y en algunos casos dibujos cientficos. Pronostica la hiptesis. En realidad, al interpretar los datos reunidos dentro de una experiencia, lo mas importante es comparar los registros iniciales con los obtenidos durante y al final del experimento, dando explicaciones o razones por las cuales existen cambios en los datos o se mantienen iguales Siempre que se realiza un anlisis se debe contar con un soporte terico que apoye los planteamientos hechos en relacin con el problema. 6. Anlisis de Resultados: a fin de extraer la mayor informacin de los datos recolectados Las personas de ciencia los someten a muchos estudios; entre estos en anlisis estadstico, que consisten en utilizar las matemticas para determinar la variacin de un factor, tal como la HISTORIA DE LA CIENCIA: Los esfuerzos para sistematizar el conocimiento remontan a los tiempos prehistricos, como atestiguan los dibujos que los pueblos del paleoltico pintaban en las paredes de la cueva, los datos numricos grabados en hueso o piedra o los objetos fabricados por las civilizaciones del neoltico. Las culturas mesopotmicas aportaron grandes datos sobre la astronoma, sustancias qumicas o sntomas de enfermedades inscritas en caracteres cuneiformes sobre tablilla de arcilla.otras tablillas que datan de los 2000 A.C. demuestran que los babilnicos conocan el teorema de Pitgoras, resolvan ecuaciones y desarrollaron el sistema sexagesimal del que se deriva las unidades modernas para tiempos y ngulos. En el valle Nilo se descubrieron papiros de un periodo prximo al de la cultura mesopotmica, en el cual se encontraba informacin de la distribucin del pan y la

cerveza, y la forma de hallar el volumen de una parte de la pirmide, el sistema de medidas egipcio y el calendario que empleamos todos estos datos proceden de las antiguas civilizaciones antiguas. Uno de los primeros sabios griegos que investigo las causas fundamentales de los fenmenos naturales fue, en el siglo VI a. C., el filosofo Tales de Mileto que introdujo el concepto de que la tierra era un disco plano que flotaba en el elemento universal, el agua. El matemtico y filsofo Pitgoras, postulo que una Tierra esfrica que se mova en una orbita circular alrededor de un fuego central. En Atenas, en el siglo IV a. C., la filosofa natural jonica y la ciencia matemtica pitagrica llegaron a sntesis en la lgica de Platn y de Aristteles. Aristteles en su pensamiento destaca la teora de las ideas, que propona que los objetos del mundo fsico solo se parecen o participan de las formas perfectas del mundo ideal, y que solo las formas perfectas pueden ser el objeto del verdadero conocimiento. Tambin estudi y sistematiz casi todas las ramas existentes del conocimiento y proporcion las primeras relaciones ordenadas de biologa, psicologa, fsica y teora literaria. Arqumedes realizo grandes contribuciones a la matemtica terica, adems tambin aplico la ciencia en la vida diaria. El sistema de Tolomeo la terica geocntrica la cual postula que la Tierra es el centro del universo. Nicols Copernico revoluciono la ciencia al postular que la tierra y los dems planetas giran alrededor del sol estacionario. Galileo es fsico italiano marco el rumbo de la fsica moderna al insistir en que la Tierra y los astros regan por un mismo conjunto de leyes.Defendio la antigua idea de que la Tierra giraba entorno al Sol, y puso en duda la creencia igualmente se que la Tierra era el centro del universo. Isaac Newton aporto la teora de la ley de gravitacin universal, en 1687, al mismo tiempo creo lo que hoy llamamos calculo. John Dalton se le conoce por desarrollar la teora atmica de los elementos y compuestos. Dalton fue el primer cientfico en clasificar los elementos por su peso atmico. Al mismo tiempo, la invencin del calculo por parte se Newton y del filosofo y matemtico alemn Gottfried Leibniz sent las bases de la ciencia y las matemticas actuales. Michael Faraday uno de los cientficos mas eminentes del siglo XIX, realizo importantes contribuciones a la fsica y la qumica entre ellas las leyes de la electrolisis y el descubrimiento del benceno.

Los descubrimientos de Newton de Leibniz y del filosofo francs Rene Descartes dieron paso a la ciencia materialista del siglo XVIII, que trata de explicar los procesos vitales a partir de su base fsico-qumica. La confianza en la actitud cientfica influy tambin en las ciencias sociales e inspir el llamado Siglo de las Luces, que culmin en la Revolucin Francesa de 1789. El qumico francs Antoine Laurent de Lavoisier public el Tratado elemental de qumica en 1789 e inici as la revolucin de la qumica cuantitativa. Esta teora revolucionaria se public en 1859 en el famoso tratado El origen de las especies por medio de la seleccin natural. Los avances cientficos del siglo XVIII prepararon el camino para el siguiente, llamado a veces "siglo de la correlacin" por las amplias generalizaciones que tuvieron lugar en la ciencia. Charles Darwin estuvo influenciado por el gelogo Adam Sedgwick y el naturalista John Henslow en el desarrollo de su teora de la evolucin de las especies. Otras grandes figuras de esta poca tambin fueron: Jhon Dalton con la teora atmica de la materia, las teoras electromagnticas de Michael Faraday y J ames Clero Maxwell y el fsico britnico James Prescott con la ley de la Conservacin de la energa. Y por supuesto Albert Einstein con la teora de la relatividad y por sus hiptesis sobre la naturaleza corpuscular de la luz, es considerado uno de los mayores cientficos de toda la historia. Por otra parte a principios de siglo XX el cientfico Carl Von Lineo tenia un profundo inters por la botnica y desarrollo un sistema para clasificar las plantas en el que utilizaba un mtodo binomial de nomenclatura significa. En el siglo XIX se han visto avances como lo es el genoma humano, el proyecto de la NASA, que ha sido un gran paso para el hombre, el desarrollo de la bomba atmica, el descubrimiento de la vacuna de la poliomielitis ,la malaria, la fiebre amarilla y dems, estamos en una constante evolucin y todo esto se debe gracias a que los esfuerzos que han realizado los matemticos, filsofos, bilogos y dems que se cuestionaron, analizaron y razonaron cosas sencillas de la vida cotidiana que en verdad son grandes cosas al ser descubiertas.

Ciencia
Ciencia es por un lado, el proceso mediante el cual se adquiere conocimiento, y por el otro, el cuerpo organizado de conocimiento obtenido a travs de este proceso.

El proceso es la adquisicin sistemtica de conocimiento nuevo de un sistema. La adquisicin sistemtica es generalmente el mtodo cientfico. El sistema es generalmente la naturaleza. Ciencia es entonces el conocimiento cientfico que ha sido adquirido sistemticamente a travs de este proceso cientfico.

Hiptesis, modelos, teoras y leyes

El trmino modelo es utilizado por los cientficos en referencia a una representacin simplificada de la realidad, que puede ser utilizada para hacer predicciones que no pueden ser testeadas por experimentacin u observacin. Una hiptesis es una afirmacin que (todava) no ha sido probada. Una ley fsica o una ley de la naturaleza es una generalizacin cientfica basada en la observacin emprica. El pblico en general usa la palabra teora para referirse a ideas que todava no han sido comprobadas. En trminos cientficos, una teora se refiere a ideas que han aprobado verificaciones repetidas. Las teoras de la evolucin biolgica, electromagnetismo, y relatividad son ideas que han sobrevivido considerable testeo mediante experimentacin. Pero tambin hay teoras que prometen ser muy buenas para explicar algn hecho de la naturaleza pero que todava no han sido probadas empricamente. Las teoras estn siempre abiertas a revisin, si nueva evidencia contradice las predicciones directamente o otras implicancias de la teora.

La matemtica y el mtodo cientfico

La matemtica se utiliza para expresar los modelos cientficos. Adems, la observacin y la recoleccin de datos, as como la formulacin de hiptesis requieren la utilizacin de modelos matemticos y la utilizacin de las matemticas. Las ramas ms utilizadas de las matemticas son el clculo y la estadstica.

Para qu sirve la ciencia?

A pesar de la impresin popular, no es la finalidad de la ciencia responder a todas las preguntas, solo a aquellas que pertenecen a la realidad fsica (experiencia emprica medible). La ciencia no produce y no puede producir verdad incuestionable. En cambio, la ciencia testea constantemente las hiptesis sobre algn aspecto del mundo fsico, y las revisa o reemplaza cuando en evidente a la luz de nuevas observaciones o datos. La ciencia no hace afirmaciones sobre como la naturaleza "es", la ciencia solo puede hacer conclusiones acerca de nuestras observaciones de la naturaleza.

La ciencia no es una fuente de juicios de valor subjetivos, a pesar de que s puede hablar de cuestiones de tica y poltica pblica indicando las consecuencias de acciones. De todos modos, la ciencia no nos puede decir cul de esas consecuencias el la "mejor". Las ciencias se pueden distinguir entre ciencias exactas, que son la matemtica y la lgica, y ciencias no exactas, que son el resto de las ciencias.

Origen etimolgico de la palabra ciencia

Etimolgicamente, la palabra ciencia viene del latn "scire", que significa saber, es decir que la definicin bsica de ciencia es conocimiento, o ms precisamente, conocimiento humano.
Los presocrsticos

En este trabajo, tratare primero, de dar redaccin a la mayor cantidad posible de informacin anteriormente estudiada sobre los filsofos presocrticos, para luego poder formular una opinin fundamentada sobre los mismos. Los presocrticos, cronolgicamente, estn ubicados entre los siglos VI y V antes de Cristo. Como su nombre bien los define, stos son (en su mayora) anteriores a Scrates, sin embargo no debemos sujetarnos a la etimologa de sta palabra, ya que algunos de los autores presocrticos no fueron anteriores a Scrates, sino ms bien contemporneos al mismo, como ser el ejemplo de Demcrito (460-370 a.c), famoso por enunciar que el mundo esta constituido por una cantidad innumerable de partculas indivisibles, de ah el nombre tomos (sinnimo de indivisible). Los presocrticos fueron los primeros pensadores que quebraron con las formas mticas del pensamiento, para comenzar a edificar una reflexin racional. Es decir, fueron los primeros que iniciaron el llamado proceso del mito al logos. Para poder comprender este concepto seria apropiado definir al mito como una explicacin irracional que tenan del mundo y de la vida que los rodeaba por aquel entonces en Grecia (lase entre los siglos X a IV a.c). Claro esta que las explicaciones mitolgicas, si bien daban una respuesta al origen del mundo y de la vida, eran en s historias fabulosas y fantsticas de dioses antropomrficos que poco tienen de real y de concreto. El logos en cambio, se entiende como el surgimiento del saber racional y cientfico que permiti dar respuestas sin hacer referencia a dioses ni entidades sobrenaturales. Por lo tanto esta bien afirmar que los presocrticos fueron quienes dieron ruptura al pensamiento mtico y comenzaron a desarrollar una explicacin ms innovadora y critica sobre la realidad.

Otro concepto a tener en cuenta para la comprensin de los presocrticos es el significado de arkhe u arch, como tambin es importante aclarar el significado de la palabra metafsica y el de la palabra ontologa. El arkhe es el principio de todas las cosas. Tales de Mileto (624-546 a.c) fue el primero en formularse esa pregunta. A su vez, fue clasificado por Aristteles como el primer filsofo, adjudicndole de este modo el rol de fundador de la filosofa (sin embargo este concepto es muy discutible). Debemos tener en cuenta que Tales de Mileto fue tambin un gran fsico y matemtico, dichas condiciones justifican clasificarlo como un sabio. De hecho para la mayora de los griegos, desde Platn a los neoplatnicos, Tales fue uno de los siete sabios. Los sabios aparecen a mediados del siglo VII a.c. Fueron fundamentales en el proceso del mito al logos ya que van abandonando las ideas religiosas para ir constituyendo un saber racional. A su vez fueron agudos inquisidores de la naturaleza, y tenan todo o casi todo el saber de su tiempo, verdaderos eruditos. Igualmente lo ms importante a destacar de Tales de Mileto es que fue el primero en plantear la bsqueda de un primer principio; Cul es el principio de la naturaleza?. Anaximandro de Mileto (610-545 a.c) en cambio fue el primero en utilizar el trmino arkhe o arch para designar ese primer principio de todas las cosas, verdadero desvelo de stos filsofos y aun de toda la filosofa. En sntesis; Tales formulo la pregunta (cual es el principio de todas las cosas?) y Anaximandro dio invencin al termino arkhe. Y la metafsica? La metafsica es a su vez, la ciencia de los principios primeros y de las primeras causas. Finalmente queda por aclarar que la ontologa (onto-teo-loga) es la parte de la metafsica que trata sobre el ser en general. En trminos geogrficos los presocrticos se pueden clasificar en dos grandes grupos:

Los Jonicos:

Jonia era una colonia griega de Asia Menor sobre el mar Egeo. La ciudad ms importante era el gran puerto de Mileto. Como caracterstica predominante de su pensamiento se podra decir que eran mas bien naturistas ya que se preocuparon por el estudio de la physis o naturaleza y la entendan a partir de sus constituyentes materiales. Por esta razn Aristteles los llam fisilogos y tambin fsicos (por haberse aplicado al estudio de la naturaleza). Dentro de los jnicos se desarrolla la escuela de Mileto, que fue la ms importante, es por ello que muchas veces se puede entender el trmino milsios como sinnimo de Jnicos. La escuela de Mileto consta de tres grandes pensadores: Tales de Mileto, Anaximandro de Mileto (de quienes ya hemos hecho referencia) y Anaxmenes de Mileto (585-528 a.c). A su vez en Jonia, surgieron otros pensadores como Herclito de Efeso (540-484 a.c) cuyo estilo de pensamiento ya no pertenece al grupo de Mileto. Herclito de Efeso es el principal exponente de lo que se llama la filosofa del devenir en la cual se sostiene

que lo realmente existente es el cambio incesante de todas las cosas. Crtilo, maestro de Platn, fue el principal continuador de la concepcin herclita del devenir.

Los itlicos o filsofos de la Magna Grecia:

Se ubican en el otro extremo del mapa griego, en las colonias del sur de Italia (Magna Grecia). En trminos generales los itlicos se caracterizan por ser ms especulativos y se ocupan de la physis desde una perspectiva ms formal u ontolgica. Dentro de los Itlicos se puede distinguir entre los pitagricos y los eleatas. Los pitagricos fueron los ms importantes, es por ello que tambin se puede tomar el trmino de itlico como sinnimo de pitagrico. Los pitagricos fueron una secta que estuvo fuertemente influenciada por el orfismo (los rficos fueron anteriores a Homero y estaban vinculados al culto del dios Dionisio). Pitgoras de Samos (570-490 a.c) fue el fundador de lo que se conoce como el movimiento pitagrico. El trmino filosofa naci de Pitgoras, segn cuenta una ancdota, l fue quien puso a circular dicha palabra cuando le preguntaron si se consideraba un sabio, a lo cual respondi que no se consideraba sabio sino mas bien un amigo de la sabidura (un filosofo). Los Pitagricos tuvieron una gran afinidad por los nmeros. Ellos formulaban que las cosas sensibles son reducibles a un numero. Tal fue su fanatismo por las matemticas que llegaron a decir que el arch de todas las cosas son los nmeros. Respecto a la escuela Eletica, las principales figuras a destacar son Parmnides de Elea (540-470 a.c) y Jenfanes de Colofn (570-475 a.c). Parmnides se caracteriz por un pensamiento de carcter ontolgico en el cual afirmaba la existencia y la inteligibilidad del ser. A su vez sostiene que el ser es uno, inmvil, inmutable, individual, eterno, perfecto y finito. En cuanto a Jenfanes de Colofn se puede decir que representa la primera gran reaccin llevada a cabo desde la filosofa contra la mitologa tradicional, considerando inmorales a los dioses. En la historia de la filosofa los presocrticos haban estado olvidados hasta que en la poca moderna Hegel los reivindico. Martn Heiddegger (1889-1976), filsofo Alemn, quien desarroll la fenomenologa existencial y que a su vez fue considerado como el filsofo ms original del siglo XX, admiraba mucho a los pensadores presocrticos y en algunos de sus trabajos como ser Introduccin a la metafsica(1953), sostena que la humanidad haba olvidado su verdadera vocacin que es recuperar la mas profunda comprensin de la existencia (lograda en cambio por los primeros griegos). Por lo tanto la interpretacin heiddeggeriana de los presocrticos parte de considerar que su pregunta por el ser es simultneamente, la pregunta por la verdad. Nietzsche, filosofo contemporneo, tambin admiraba a los presocrticos ya que los llego a considerar como los verdaderos filsofos griegos, menospreciando de esta manera a filsofos posteriores tales como Platn, a quien defini como un gran hbrido.

Los presocrticos abrieron grandes los ojos y su bsqueda fundamental, estuvo dirigida al ser, en el ms pleno sentido metafsico del termino. Por eso es que la filosofa naci metafsica, porque metafsica con las nociones claves de arch y physis. Opinin Personal: Los presocrticos fueron a mi entender unos adelantados o mas bien unos visionarios. En primer lugar porque sus ideas (a pesar de haber sido formuladas en pocas tan lejanas y antiguas) tienen vigencia en el mundo contemporneo. Esto se demuestra en filsofos como Heiddegger o Nietzsche. Y en segundo lugar, debo decir que este trabajo me permiti conocer que ciencias como la cosmologa, si bien tuvieron su desarrollo en la revolucin coprnica del siglo XVI, en principios fueron primitivamente elaboradas por los presocrticos. A su vez, tambin pude enterarme de detalles admirables como ser que los Pitagricos no solo se destacaron en las matemticas sino tambin en la astronoma. De hecho fueron los primeros en no considerar a la tierra como el centro del universo y hasta parece ser que le atribuyeron forma esfrica, hacindola girar en torno a un fuego central, junto con los dems astros. Estos hechos sumados a la informacin anteriormente presentada, me permiten justificar mi idea y poder decir que en conclusin, los presocrticos fueron en s unos verdaderos visionarios. O quiz tambin, fueron mentes que sobresalieron claramente a su tiempo y espacio. Bibliografa

Diccionario de Filosofa. Ed. Herder (versin digitalizada). Enciclopedia Microsoft Encarta 98. 1993-1997. Gambra: Historia de la Filosofa. La Filosofa en Grecia, Capitulo II. Larousse universal Ilustrado, Tomo III. Diccionario bsico de la lengua espaola Larousse. Lo antiguo no siempre es obsoleto 1

Te Intentar sintetizar la filosofa de cada presocrtico en pocas palabras.

Tales de Mileto (624-546), considera que el principio ltimo de todas las cosas es el agua, pesto que todas las cosas son un compuesto de agua. Anaximandro (611-546), defini el principio originario de materia abstracta como apeirn, que significa lo indeterminado, lo infinito, lo ilimitado. Del apeirn emanan como elementos contrarios las cosas del mundo y a l vuelven. Dice Anaximandro, "El principio originario de las cosas es el aperirn. All es donde surgen, es donde despus perecen por razn de la necesidad". Anaxmenes (585-525). considera que es el aire el arj de todas las cosas. Pues si el aire se oncdensa se origina lo fro, si se enracece se origina lo caliente. De modo que los seres humanos participan de este principio, puesto que asimismo el alma e sun compuesto de aire. Empdocles (492-432), parte de 4 elementos que se mueven mediante las fuerzas del amor y del odio: Agua, Tierra, Fuego y Aire. El amor forma una unidad mientras que el odio los separa. Anaxgoras (500-425), dice que hay infinidad de materias originarias cualitativamente distintas. Cada objeto est determinado por una caracterstica proporcin en la mezcla de esas materias, las cuales presentes en cada una de sus partes por ms pequeas que stas sean. stas materias estn en movimiento a causa del nous (espritu), que acta de manera ordenada segn un plan. Leucipo (V a de C), es considero del fundador del atomismo. Todo se compone de partculas indivisibles que son totalmente iguales en cuanto a la materia y se diferencian solamente por su forma, posicin y ordenacin. Los tomos se mueven desde siempre y de manera mecnica a causa de las presiones y los choques mutuos. Entre los tomos slo hay espacio vaco. Las cosas se generan nicamente como consecuencia de la agrupacin de tomos. En un fragmento de Leucipo leemos que: "Ningn objeto se genera al azar, sino por un sentido y una necesidad". Demcrito (460-370), conduce el atomismo de Leucipo hasta un sistema caracterizado por el materialismo. Las cosas consistentes en estructuras atmicas estn determinadas por sus cualidades objetivas, tambin llamadas primarias, como la ocupacin de un espacio la pesadez,, densidad y dureza; mientras que el color, sabor, etc, son cualidades secundarias que proviene de la percepcin. Lo percibido tiene lugar a travs de diminutas imgenes que emanan de los objetos. Tambin el alma consiste en sutiles tomos de fuego que se mueven con esas diminutas imgenes, movimientos que produce la impresin sensorial. Jenfanes (V a de C.), es el primer representante de los eleatas, de la escuela fundada en Elea. Su importancia gira en torno a la lucha contra los dioses antropomrficos tal y como los pintaron Homero y Hesodo, y a la ideade un mismo Dios. Dice Jenfanes que: "Un Dios es el mas grande de entre los dioses y los hombres; ni en forma ni en pensamiento es comparable con los mortales". Parmnides (540-470), considera que el "ser" se caracteriza por los atributos imperecedero, completo, inmvil, intemporal, uno, continuo. Por el contrario la existencia del no-ser es negada. De ah la sentencia fundamental: "El ser es; el no-ser no es". Herclito (550-480), toma una posicin contraria a las teoras eleticas. l sita en un primer plano la incesante generacin y corrupcin a las que tomas las cosas estn sometidas. Dice Herclito "No podemos baarnos dos veces en el mismo ro". puesto que: "Todo fluye y nada permanece".

Tales de Mileto
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

Tales de Mileto. Tales de Mileto (en griego ) (ca. 630 - 545 a. C.[1] ) fue el iniciador de la indagacin racional sobre el universo. Se le considera el primer filsofo de la historia de la filosofa occidental, y fue el fundador de la escuela jnica de filosofa, segn el testimonio de Aristteles. Fue el primero y ms famoso de los Siete Sabios de Grecia (el sabio astrnomo), y habra tenido, segn una tradicin antigua no muy segura, como discpulo y protegido a Pitgoras.[2] Fue adems uno de los ms grandes matemticos de su poca, centrndose sus principales aportaciones en los fundamentos de la geometra.

Contenido
[ocultar]

1 Aportes como matemtico 2 Datos biogrficos y ancdotas 3 Pensamiento y obra o 3.1 La explicacin de la Naturaleza o 3.2 La explicacin de Tales o 3.3 Razones de por qu el agua es el principio o 3.4 Origen de su pensamiento

3.5 Obras 3.6 Citas de Tales 4 Vase tambin 5 Referencias 6 Bibliografa 7 Enlaces externos

o o

[editar] Aportes como matemtico

Se atribuye a Tales el haber transportado desde Egipto a Grecia mltiples conocimientos y herramientas elementales de geometra. Aunque no es histricamente seguro, se acepta generalmente como su principal aporte el haber sostenido ya en su poca lo que expresa un teorema que lleva su nombre, es decir, que un tringulo que tiene por lado el dimetro de la circunferencia que lo circunscribe es un tringulo rectngulo.

Semicrculo que ilustra un teorema de Tales. Asimismo es muy conocida la leyenda acerca de un mtodo de comparacin de sombras que Tales habra utilizado para medir la altura de las pirmides egipcias, aplicndolo luego a otros fines prcticos de la navegacin. Se supone adems que Tales conoca ya muchas de las bases de la geometra, como el hecho de que cualquier dimetro de un circulo lo dividira en partes idnticas, que un tringulo issceles tiene por fuerza dos ngulos iguales en su base o las propiedades relacionales entre los ngulos que se forman al cortar dos paralelas por una lnea recta perpendicular. Los egipcios haban aplicado algunos de estos conocimientos para la divisin y parcelacin de sus terrenos. Mas, segn los pocos datos con los que se cuenta, Tales se habra dedicado en Grecia mucho menos al espacio (a las superficies) y mucho ms a las lneas y a las curvas, alcanzando as su geometra un mayor grado de complejidad y abstraccin.

[editar] Datos biogrficos y ancdotas

Los datos biogrficos de Tales de Mileto son una mezcla de opiniones, hechos atribuidos a su persona, y citas con mayor o menor grado de verosimilitud, recogidas de diversos autores de pocas bastante posteriores, reinterpretados y expuestos a la luz de la mentalidad del narrador. Contamos con el importante aporte de Aristteles, el cual, en su descripcin,

intenta delimitar los escritos y dichos atribuibles con certeza al mismo Tales de los hechos dudosos ('dicen...') y de sus propias opiniones ('quiz quiso decir...'). Tales naci en la ciudad de Mileto (griego: literalmente Miletos,turco: Milet), una antigua ciudad en la costa occidental de Asia Menor (en lo que actualmente es la Provincia de Aydn en Turqua), cerca de la desembocadura del ro Menderes. La mayora de los historiadores nos lo presentan como genuino milesio. Sin embargo, segn Digenes Laercio, importante historiador griego, fue admitido en la ciudad jonia de Mileto, a orillas del Mar Egeo, despus de ser expulsado de Fenicia junto con Nileo. Lo que es incuestionable es que residi en aquella ciudad, y que fue all donde desarroll su filosofa. Fue hijo de Euxamias (conocido tambin como Examio) y de Cleobulina (o Clebula), y al parecer tuvo ascendencia fenicia. Como los jonios mantenan trfico comercial con Egipto y Babilonia, es probable que Tales visitara el primero en su juventud, durante el reinado del faran Amasis, en donde se supone que fue educado por los sacerdotes. Quizs fueron condiscpulos suyos Soln y Fercides de Siros. Una fuente tarda lo vincula con Pitgoras, a quien habra recomendado viajar a Egipto y educarse con los sacerdotes de Menfis y Dispolis.[2] De los babilonios debi aprender astronoma. Anaximandro y Anaxmenes pueden haber sido discpulos suyos. Apolodoro, en su Cronologa, afirma que muri a la edad de setenta y ocho aos. Sin embargo, Soscrates asegura que muri en la olimpiada LVIII, a la edad de noventa aos. Tanto Herdoto (I, 170) como Digenes Laercio (I, 25) lo sealan como un sabio consejero poltico de jonios y lidios. Laercio afirma que algunos, como el poeta Corilio, declararon que fue el primero en sostener la inmortalidad del alma, que, segn nos refiere Aristteles, es para Tales una fuerza motriz. Tambin refiere Herdoto (I, 75) que logr desviar el ro Halys para que fuera cruzado por el ejrcito de Creso. Aristteles, por su parte, cuenta en su Poltica (I, 11, 1259a) que tambin se destac en el rea de las finanzas, una vez que, habiendo predicho (gracias a sus conocimientos astronmicos) cmo sera la cosecha de aceitunas, compr durante el invierno todas las prensas de aceite de Mileto y Quos y las alquil al llegar la poca de la recoleccin, acumulando una gran fortuna y mostrando as que los filsofos pueden ser ricos si lo desean, pero que su ambicin es bien distinta. Quizs la ancdota ms conocida de Tales es aquella que nos refiere Herdoto, cuando predijo a los jnicos el ao en que sucedera un eclipse solar (quiz llevada a cabo gracias al sistema babilnico), hacia el ao 585 a. C. Asimismo, Digenes Laercio recuenta que, al caer Tales en un pozo despus de ser llevado por una vieja mujer a ver las estrellas, sta replic a su pedido de ayuda: Cmo pretendes, Tales, saber acerca de los cielos, cuando no ves lo que est debajo de tus pies? La ancdota procede de Platn, que la incluye en el Teeteto para expresar una idea parecida a la de Aristteles: el filsofo se preocupa ms de la filosofa y de la naturaleza en general que de lo inmediato.

Se le atribuye el haber realizado la medicin de las pirmides, mediante las sombras que proyectan cuando stas son de la misma medida que nosotros mismos. Fue el primero en haber hecho una explicacin cientfica de un eclipse. Tambin se dice que fue el primero en dividir al ao en estaciones y en 365 das.

[editar] Pensamiento y obra

Este artculo o seccin necesita referencias que aparezcan en una publicacin acreditada, como revistas especializadas, monografas, prensa diaria o pginas de Internet fidedignas.
Puedes aadirlas as o avisar al autor principal del artculo en su pgina de discusin pegando:
{{subst:Aviso referencias|Tales de Mileto}} ~~~~

En tiempos de Tales, los griegos explicaban el origen y naturaleza del cosmos con mitos de hroes y dioses antropomrficos.

[editar] La explicacin de la Naturaleza

La filosofa griega inici con una pregunta por la naturaleza (physis), en la bsqueda de aquellos principios ltimos (tierra, agua, aire, fuego, tomos, etc.) que son la explicacin ltima de las cosas. Los primeros filsofos griegos vean en la tierra, el agua, el aire y el fuego los elementos fundamentales a partir de los cuales se generan todos los dems elementos del universo, es decir, el origen. Tambin pensaban que de estos principios constan todos los seres del universo, es decir, que son el sustrato. Por ltimo, esos elementos fundamentales tambin deban poder explicar las transformaciones que acontecen en el universo, es decir, dar a entender la verdadera causa de los eventos.

[editar] La explicacin de Tales

Si la Naturaleza remite siempre a un principio (arch), cabe preguntarse si es posible concebir una nica realidad o sustancia que pueda ejercer en ella tanto de origen, sustrato y causa. Tales argumentaba que es el agua lo que desempea dicho papel, y quizs sea la primera explicacin significativa que se dio del mundo fsico sin hacer referencia explcita a lo sobrenatural. Tales afirmaba que el agua es la sustancia universal primaria y que el mundo est animado y lleno de divinidades.

[editar] Razones de por qu el agua es el principio

Aristteles nos dice que para Tales el agua es el principio o arch de todas las cosas, debido a que:

la tierra descansa sobre el agua como una isla;

la humedad est en la nutricin de todas las cosas, tal vez debido a una observacin de las orillas del Nilo y cmo en stas "creca" la vida despus de que ste bajara su cauce; el calor mismo es generado por la humedad y conservado por ella; las semillas de todas las cosas son hmedas, y el agua es el origen de la naturaleza de las cosas hmedas.

[editar] Origen de su pensamiento

Es muy probable que haya sido uno de los primeros hombres que llevaron la geometra al mundo griego, y Aristteles lo consideraba el primero de los o "filsofos de la naturaleza". Muchas de estas ideas parecen provenir de su educacin egipcia. Igualmente, su idea de que la tierra flota sobre el agua puede haberse desprendido de ciertas ideas cosmognicas del Oriente prximo.

[editar] Obras
Simplicio escribi: Se dice de Tales que no dej nada escrito, excepto la llamada Astrologa Nutica (Simplicio, Fs. 23, 32-33). Sin embargo, Digenes Laercio comenta que Astrologa Nutica es una obra de Foco de Samos, pero, que segn otros, Tales escribi solo dos obras: Sobre el solsticio y Sobre el equinoccio (D. Laercio, I, 23).[3]

[editar] Citas de Tales

Algunas sentencias y versos que Digenes Laercio le atribuye a Tales son las siguientes:

"Muchas palabras no son signo de nimo prudente." "Busca una sola sabidura." "Elige una sola cosa buena." "Quebrantar as la lengua de los charlatanes (mentirosos)." "Lo ms hermoso es el mundo, porque es obra de Dios." "Lo ms grande es el espacio, porque lo encierra todo." "Lo ms veloz es el entendimiento, porque corre por todo." "Lo ms fuerte es la necesidad, porque domina todo." "Lo ms sabio es el tiempo, porque aclara todo."

Laercio tambin asegura que es de Tales el proverbio "Concete a ti mismo."

Anaximandro
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

Anaximandro, detalle en La escuela de Atenas. Anaximandro de Mileto (en griego antiguo ) fue un filsofo jonio. Naci en los aos 610 a. C. en la ciudad jonia de Mileto (Asia Menor) y muri aproximadamente en el 546 a. C. Discpulo y continuador de Tales, compaero y maestro de Anaxmenes; se le atribuye slo un libro, que es sobre la naturaleza, pero su palabra llega a la actualidad mediante comentarios doxogrficos de otros autores. Se le atribuye tambin un mapa terrestre, la medicin de los solsticios y equinoccios por medio de un gnomon, trabajos para determinar la distancia y tamao de las estrellas y la afirmacin de que la Tierra es cilndrica y ocupa el centro del Universo. La respuesta dada por Anaximandro a la cuestin del arj puede considerarse un paso adelante respecto a Tales (del que Anaximandro probablemente fue discpulo). El arj es ahora lo peiron (de a: partcula privativa; y peras:, lmite, permetro), es decir, lo indeterminado, lo ilimitado, que es precisamente, segn hemos dicho, el concepto de lo que vamos buscando. Lo que es principio de determinacin de toda realidad ha de ser indeterminado, y precisamente peiron designa de manera abstracta esta cualidad. Lo peiron es eterno, siempre activo y semoviente. Esta sustancia, que Anaximandro concibe como algo material, es lo divino que da origen a todo. De Anaximandro se conserva este texto, que es el primero de la filosofa y el primer texto en prosa de la Historia: El principio (arj) de todas las cosas es lo indeterminado peiron. Ahora bien, all mismo donde hay generacin para las cosas, all se produce tambin la destruccin, segn la necesidad; en efecto, pagan las culpas unas a otras y la reparacin de la injusticia, segn el orden del tiempo.

Anaximandro A qu se refiere esta injusticia"? Puede tener dos sentidos. Primero, que toda existencia individual y todo devenir es una especie de usurpacin contra el arj, en cuanto que nacer, individuarse, es separarse de la unidad primitiva (algo parecido se encuentra en las doctrinas budistas, que ven el mal en la individualidad). Y segundo, que los seres que se separan del arj estn condenados a oponerse entre s, a cometer injusticia unos con otros: el calor comete injusticia en verano y el fro en invierno. El devenir est animado por la unilateralidad de cada parte, expresada ante las otras como una oposicin (Esta idea se volver a ver ms tarde en Herclito). En Anaximandro se encuentra ya una cosmologa que describe la formacin del cosmos por un proceso de rotacin que separa lo caliente de lo fro. El fuego ocupa la periferia del mundo y puede contemplarse por esos orificios que llamamos estrellas. La tierra, fra y hmeda, ocupa el centro. Los primeros animales surgieron del agua o del limo calentado por el sol; del agua pasaron a la tierra. Los hombres descienden de los peces, idea que es una anticipacin de la teora moderna de la evolucin.

Contenido
[ocultar]

1 Cosmogona 2 Fragmentos y testimonios de Anaximandro o 2.1 Cronologa o 2.2 Escritos. El primer libro en prosa o 2.3 Inventos y ancdotas o 2.4 Lo peiron 2.4.1 Lo peiron como contenido del arj 2.4.2 peiron como mezcla y como elemento intermedio 2.4.3 El gnimos y la generacin de los contrarios 2.4.4 Lo peiron como diferente de los cuatro elementos o 2.5 El Cosmos o 2.6 Origen de los animales y del hombre o 2.7 Pluralidad de mundos 3 Generacin de las especies 4 Vase tambin 5 Bibliografa 6 Enlaces externos

[editar] Cosmogona

Aspecto probable del perdido primer mapa del Mundo, ideado por Anaximandro. Su pensamiento se centra en que el principio de todas las cosas es (peiron: sin lmites, sin definicin), es decir, lo indefinido, lo indeterminado. Este peiron es inmortal e indestructible, inengendrado e imperecedero, pero que de l se engendran todas las cosas. Todo sale y todo vuelve al peiron segn un ciclo necesario. De l se separan las sustancias opuestas entre s en el mundo y, cuando prevalece la una sobre la otra, se produce una reaccin que restablece el equilibrio segn la necesidad, pues se pagan mutua pena y retribucin por su injusticia segn la disposicin del tiempo.

[editar] Fragmentos y testimonios de Anaximandro

[editar] Cronologa

(D-K 12 A 1) D. Laercio, II 2: Apolodoro de Atenas... en sus Crnicas dice que [Anaximandro] tena sesenta y cuatro aos en el segundo ao de la Olimpada 58a (547-546 adc), y muri poco despus; de modo que alcanz su acm aproximadamente en el tiempo de Polcrates, tirano de Samos. (D-K 12 A 11) Hiplito, Ref. I 6, 1-7: De Tales se hizo discpulo Anaximandro... Anaximandro de Mileto, hijo de Praxades... naci en el tercer ao de la Olimpada 42a (610 a. C.).

[editar] Escritos. El primer libro en prosa

(D-K 12 A 7) Temistio, Orat. 36 p. 317: [Anaximandro] fue el primero de los griegos que conocemos que se atrevi a publicar un tratado en prosa sobre la naturaleza. (D-K 12 A 2) Suda: Escribi Sobre la naturaleza, un Permetro de la Tierra, Sobre las estrellas fijas, una Esfera celeste y algunas otras

[editar] Inventos y ancdotas

(D-K 12 A 1) D. Laercio, II, 1-2: Anaximandro, hijo de Praxades de Mileto, dijo que el principio y el elemento es lo indefinido, sin distinguir el aire, el agua o cualquier otra cosa... fue tambin el primero en inventar un gnomon y lo coloc sobre los relojes de Sol en Lacedemonia, segn dice Favorino en su Historia varia, para marcar los solsticios y equinoccios, y construy relojes. Fue el primero en trazar el permetro de la Tierra y el mar y construy tambin una esfera celeste. (D-K 12 A 3) Herdoto, II, 109: Los griegos adquirieron de los babilonios el conocimiento de la esfera celeste, del gnomon, y de las doce partes del da. (D-K 12 A 6) Agatmero, Geographiae informatio, I, 1: Anaximandro de Mileto, discpulo de Tales, fue el primero que se atrevi a dibujar la tierra habitada en una tablilla. Despus de l, Hecateo de Mileto, hombre que viaj mucho, lo perfeccion, de modo que produjo admiracin. (D-K 12 A 6) Estrabn, I, 7: Eratstenes dice que los primeros [estudiosos de la geografa] despus de Homero fueron dos: Anaximandro, amigo y conciudadano de Tales, y Hecateo de Mileto. El primero public un mapa geogrfico, en tanto que Hecateo dej un bosquejo que se puede creer que era suyo por el resto de sus escritos. (D-K 12 A 5) Cicern, De divinitate, I, 50, 112: Los lacedemonios fueron avisados por el fsico Anaximandro de que abandonaran la ciudad y las casas y pasaran la noche preparados en el campo, porque estaba cerca un terremoto. En aquella ocasin la ciudad entera se derrumb y la cumbre del monte Taigeto se resquebraj como la popa de una nave. (D-K 12 A 3) Ael., Hist. Varias III, 17: Y Anaximandro fue puesto al frente de la colonia de Mileto en Apolonia.

[editar] Lo peiron
[editar] Lo peiron como contenido del arj

(D-K 12 A 9) Simplicio, Fs. 24, 13-25: Entre los que dicen que es uno, en movimiento e infinito, Anaximandro de Mileto, hijo de Praxades, que fue sucesor y discpulo de Tales, dijo que el principio y elemento de todas las cosas existentes era lo peiron [indefinido o infinito], y fue el primero que introdujo este nombre de principio. Afirma que ste no es agua ni ningn otro de los denominados elementos, sino alguna otra naturaleza peiron, a partir de la cual se generan todos los cielos y los mundos que hay en ellos. Ahora bien, a partir de donde hay generacin para las cosas, hacia all tambin se produce la destruccin, segn la necesidad; en efecto, se pagan mutuamente culpa y retribucin por su injusticia, de acuerdo con la disposicin del tiempo, hablando as de estas cosas en trminos ms bien poticos. (D-K 12 A 10) Ps. Plutarco, Strom., 2: Anaximandro, compaero de Tales, dice que lo peiron es la causa entera de la generacin y destruccin de todo. (D-K 12 A 11) Hiplito, Ref., I 6, 2: Anaximandro... ste dijo que el principio y elemento de las cosas es lo peiron, siendo el primero que utiliz este nombre de principio.

(12 A 14) Aecio, I, 3, 3: Anaximandro... dijo que el principio de las cosas es lo peiron, pues a partir de l se generan todas las cosas y en l todas perecen.

[editar] peiron como mezcla y como elemento intermedio

(D-K 12 A 16) Arist., Fs. I 4, 187a: Algunos piensan que de lo uno se separan los opuestos, como dicen Anaximandro y cuantos afirman que existe lo uno y lo mltiple, como Empdocles y Anaxgoras: pues ellos separan tambin las dems cosas a partir de la mezcla <>). Arist., De gen. y corr. II 1, 328b, 34-35: Algunos dicen que la materia sustrato de estos [cuerpos sensibles] es una, pensando que es aire o fuego o algo intermedio (metax) entre stos. Arist., De gen. y corr. II 5, 332a, 19-25: No es de uno solo de estos [cuatro elementos] de donde proceden todas las cosas, ni tampoco de algo aparte de stos, tal como algo intermedio (mson) entre aire y agua o entre aire y fuego, ms denso que el aire y el fuego, y ms sutil que los otros..., de donde se sigue que no es posible que [lo intermedio] se reduzca jams a uno slo, tal como algunos dicen de lo peiron y de lo abarcante.

[editar] El gnimos y la generacin de los contrarios

(D-K 12 A 10) Ps. Plutarco, Strom, 2: Dice tambin que, en la generacin de este cosmos, el germen (t gnimon) de lo caliente y lo fro fue segregado de lo eterno, y que de ello surgi una esfera de llamas en torno al aire que circunda a la tierra, como una corteza en torno al rbol; al romperse [la esfera] y quedar encerradas [sus llamas] en algunos crculos, se formaron el sol, la luna y los astros. (D-K 12 A 9) Simplicio, Fs. 24, 23-25: [Anaximandro] no deriva la generacin de la alteracin del elemento, sino de la separacin de los contrarios por obra del movimiento eterno. Por eso Aristteles lo conecta con los discpulos de Anaxgoras. Simplicio, Fs. 150, 20-25: No explica las generaciones por alteracin del sustrato, sino por separacin, pues los contrarios estn contenidos en el sustrato, que es un cuerpo peiron, y se separan, segn dice Anaximandro, el primero que llam principio al sustrato. Los contrarios son: lo caliente, lo fro, lo seco, lo hmedo, y otros.

[editar] Lo peiron como diferente de los cuatro elementos

D-K 12 A 16) Arist., Fs. G 5, 204b: Hay algunos, en efecto, que suponen que esto [lo que existe fuera de los elementos] es peiron, y no aire o agua, de modo que los dems elementos no sean destruidos por ser peiron uno de ellos, ya que los elementos son contrarios entre s: como por ejemplo, el aire es fro, el agua hmeda, el fuego caliente; y si uno fuera peiron, los otros seran destruidos. Por eso dicen que aquello de lo que proceden stos es distinto. Simpl., Fs. 479-480: Y que ninguno de los elementos puede ser peiron es evidente tambin porque Anaximandro, deseando que el elemento fuera peiron, no propuso que fuera aire, fuego o alguno de los cuatro elementos; porque al comportarse stos

contrariamente entre s, si alguno de ellos fuera peiron, sus contrarios seran destruidos por l.

[editar] El Cosmos

(D-K 12 A 18) Aecio, II, 15, 6: Anaximandro, Metrodoro de Quos y Crates dicen que arriba de todo est apostado el Sol, despus de l la Luna y bajo ellos las estrellas fijas y los planetas. (D-K 12 A 18) Aecio, II, 16, 5: Anaximandro dice que los astros son arrastrados por los crculos y las esferas sobre las cuales cabalga cada astro. (D-K 12 A 11) Hiplito, Ref., I 6, 4: Los astros se generan como un crculo de fuego, separndose del fuego del mundo, circundado cada uno por aire... El crculo del Sol es 27 veces mayor que el de la Tierra y 18 el de la Luna. (D-K 12 A 21) Aecio II, 24, 2: Anaximandro dice que el eclipse de sol se produce al obstruirse la abertura de exhalacin del fuego. (D-K 12 A 11) Hiplito, Ref. I, 6, 3: La Tierra est suspendida en el aire, y nada la sostiene. Permanece en su sitio a causa de su equidistancia de todas las cosas. (D-K 12 A 10) Ps. Plutarco, Strom., 2: Dice que la Tierra tiene forma cilndrica, y su espesor (altura) es un tercio de su anchura. (D-K 12 A 11) Hiplito, Ref. I, 6, 3: Su forma [la de la Tierra], es circular, redonda, semejante a una columna de piedra; nosotros nos movemos en una de sus superficies planas, pues hay otra antpoda. (D-K 12 A 25) Aecio, III, 10, 2: Anaximandro dice que la Tierra se parece a una columna de piedra. (D-K 12 A 27) Alejandro, In Arist. Meteor., 67, 3: En efecto, algunos de ellos dicen que el mar es un residuo de la humedad primitiva; pues el espacio que rodeaba a la tierra era hmedo. Despus una parte de la humedad se evapor a causa del sol y se convirti en vientos, y, por ello tambin, en rotaciones del Sol y de la Luna,... En cuanto a la parte que qued en las concavidades de la tierra, es mar. Por lo cual, al ser secado por el Sol, va disminuyendo y llegar un momento en que se secar totalmente. De esta opinin, segn narra Teofrasto, fueron Anaximandro y Digenes.

[editar] Origen de los animales y del hombre

(D-K 12 A 30) Aecio, V, 19, 4: Anaximandro dice que los primeros seres vivientes nacieron en lo hmedo, rodeados por cortezas espinosas, pero al avanzar en edad, se trasladaron a lo ms seco, y al romperse la corteza, vivieron, durante un poco tiempo, una vida distinta. (D-K 12 A 10) Ps. Plutarco, Strom., 2: Dice adems que el hombre, originariamente, surgi de animales de otras especies, porque las dems especies se alimentan pronto por s mismas, y slo el hombre necesita de un largo perodo de crianza. Por ello, si originariamente hubiera sido como es [ahora], no hubiera podido sobrevivir. (D-K 12 A 30) Censorino, 4, 7: Anaximandro de Mileto opinaba que del agua y la tierra calientes se originaron unos peces o animales similares a peces: en stos los

hombres crecieron retenidos en su interior, como si fueran fetos, hasta la pubertad; slo entonces se rompieron aqullos y surgieron hombres y mujeres que ya podan alimentarse.

[editar] Pluralidad de mundos

(D-K 12 A 10) Ps. Plutarco, Strom., 2: Anaximandro... dice que lo peiron es la causa entera de la generacin y destruccin de todo, a partir de lo cual dice se segregan los cielos y en general todos los mundos, que son infinitos. (D-K 12 A 17) Simplicio, Fis. 1121, 5: Pues los que supusieron que los mundos eran infinitos en nmero, como los seguidores de Anaximandro, Leucipo y Demcrito y, despus de ellos, los de Epicuro, supusieron que nacan y perecan durante un tiempo infinito, naciendo siempre unos y pereciendo otros; y afirmaban que el movimiento era eterno... (D-K 12 A 17) Agustn., Civ. Dei, VIII, 2: No pens (Anaximandro) que cada cosa naciera de una sola, como Tales del agua, sino de sus propios principios, y crey que los principios de las cosas singulares eran infinitos y daban origen a mundos innumerables y a cuantas cosas que en ellos nacen; y sostuvo que estos mundos, ora se disuelven, ora nacen otra vez, segn la edad a la que cada uno pudo sobrevivir.

Postula Anaximandro que los opuestos se encuentran unidos en lo peiron, y se separan para formar todas las cosas nivelados por ciertos ciclos de dominancia de cada uno. As, el mundo se form cuando se separ lo fro de lo caliente, se form la tierra (fra) rodeada por una capa gnea y otra capa de aire interior. Esta capa se rompi (de alguna manera) y esta desestabilizacin produjo el nacimiento del Sol, la Luna y las estrellas. El Sol y la Luna son comprendidos como anillos de fuego y aire que circundan la Tierra; El Sol es 27 28 veces mayor (en dimetro) que la Tierra, y la Luna 18 veces. Sin embargo, slo vemos una parte de estos astros, mediante unos orificios en la bveda celeste. Sobre las estrellas y los planetas no existe claridad. Anaximandro observa empricamente un descenso de las aguas en las zonas geogrficas que conoce, y de ah deduce que la Tierra se est secando. Esto podra entenderse como la reivindicacin de lo caliente y seco (cielo, Sol, Luna) frente a lo hmedo y fro (mundo conocido), indicando que pronto se cambiarn los papeles.

[editar] Generacin de las especies

Anaximandro, sorprendentemente, se adelanta a las actuales teoras sobre evolucin, y mediante pura observacin ametdica concluye que la vida debi haber empezado en el agua, con seres envueltos en cortezas espinosas (Aecio). El Sol fue evaporando lo hmedo, y en esta especie de limo, surgieron los hombres a partir de estas primeras criaturas. El hombre para Anaximandro (segn dice Plutarco) es demasiado dbil para haber subsistido como tal en pocas ms hostiles; por esto necesariamente debe provenir de animales parecidos a los peces, que tenan una mayor proteccin. Anaxmenes (en griego ) (585 a. C. - 524 a. C.) fue un filsofo griego.

Naci en Mileto, hijo de Eurstrato. Fue discpulo y compaero de Anaximandro, coincidiendo con l en que el principio de todas las cosas (y tambin el substrato que permanece invariable ante todos los cambios y el fin, o "telos" al que todo vuelve) arkh/arjh/arj/arch es infinito; aunque, a diferencia del peiron de su mentor, nos habla de un elemento concreto: el aire. Esta sustancia, afirmaba, se transforma en las dems cosas a travs de la rarefaccin y la condensacin. La rarefaccin genera el fuego, mientras que la condensacin el viento, las nubes, el agua, la tierra y las piedras; a partir de estas sustancias se crea el resto de las cosas. Podra explicarse el cambio de estado del aire mediante el flujo entre dos polos, lo fro y lo caliente; pero varios fragmentos nos muestran que Anaxmenes pensaba inversamente, y crea que lo caliente y lo fro eran consecuencia y no causa de la rarificacin y la condensacin respectivamente.

Contenido
[ocultar]

1 Cosmologa 2 Biografa 3 Pensamiento 4 Aportes a la Fsica 5 Obras 6 Vase tambin 7 Enlaces externos

[editar] Cosmologa
Anaxmenes crea que la Tierra era plana "como una hoja", y que se form por la condensacin del aire; los cuerpos celestes, tambin planos, nacieron a partir de la Tierra debido a una rarefaccin de su pneuma o exhalacin. Estos astros son de fuego (aire rarificado) y cabalgan sobre el aire, girando alrededor de la Tierra como gira un gorro de fieltro en nuestra cabeza. Adems existen otros cuerpos, slidos e invisibles, que serviran para explicar los meteoritos y los eclipses. Anaxmenes vuelve a concebir el aire como un elemento determinado: el aire (pneuma). Del aire cabe decir, como hemos dicho del agua en el caso de Tales, que es un elemento indispensable para la vida. La diversidad de los seres se debe a dos procesos del aire: rarefaccin y condensacin. El aire mismo es lo ms dilatado, una piedra es aire muy condensado. En asuntos meteorolgicos, consider que los terremotos ocurren en perodos de sequa o de muchas lluvias, puesto que cuando la tierra est seca se resquebraja y con el exceso de humedad se deshace. El rayo, el trueno y el relmpago se forman por el viento que corta las nubes; la lluvia cuando las nubes se condensan, el granizo cuando la lluvia se solidifica y la nieve cuando se le agrega una porcin de viento. Un fragmento muy discutido de Anaxmenes dice que "as como nuestra alma, que es aire, nos mantiene unidos, de la misma manera el pneuma o aire envuelve al cosmos". Podra indicar una cierta correlacin entre el ser humano y el mundo, ya que ambos tienen una exhalacin (pneuma) y estn cubiertos por el aire protector. Esta idea

sera la base de la popular homologa posterior entre el hombre y el mundo, muy usada por la primera medicina.

[editar] Biografa
Anaxmenes de Mileto naci en Mileto en el 585 a. C., aproximadamente, y muri en el 524 a. C. Tambin Teofrasto nos describe a Anaxmenes como discpulo y compaero de Anaximandro siendo, al parecer, unos veintids aos ms joven que l. Se le atribuye la composicin de un libro, "Sobre la naturaleza", escrito, segn Digenes Laercio, "en dialecto jnico, y en un estilo sencillo y sin superfluidades".

[editar] Pensamiento
1. Se opone a Anaximandro y a Tales en cuanto a la determinacin del primer principio o "arj" que Anaxmenes considera ser el aire. Probablemente haya tomado esta eleccin a partir de la experiencia, influyendo la observacin de los seres vivos y la importancia del fenmeno de la respiracin; en cuanto toma como "arj" un elemento particular, su pensamiento supone un retroceso con respecto a Anaximandro; pero Anaxmenes nos ofrece un mecanismo de explicacin de la generacin de las cosas a partir de otro elemento distinto de ellas: ese mecanismo de generacin se apoya en las nociones de "condensacin" y "rarefaccin". Por condensacin del aire, dice Anaxmenes, se forman las nubes; si las nubes se condensan se forma el agua; la condensacin del agua da lugar a la constitucin del hielo de la tierra; y la condensacin de la tierra da lugar a la constitucin de las piedras y los minerales; el proceso inverso lo representa la rarefaccin: piedra, tierra, agua, nubes, aire y, por ltimo la rarefaccin del aire producira el fuego. 2. En terminologa moderna podemos decir que Anaxmenes est intentando basar la explicacin de lo cualitativo en lo cuantitativo; encontramos en l, por lo tanto, un intento de explicar el mecanismo de transformacin de unos elementos en otros, del que no disponan Tales ni Anaximandro. Al igual que ellos insiste, sin embargo, en afirmar una causa material como principio del mundo y, por lo tanto, en tratar de llevar a la unidad la diversidad de la realidad observable.

[editar] Aportes a la Fsica

Anaxmenes consideraba que la archee (pronnciese arj), Principio de Todas las Cosas es el aire. De l ha salido todo por condensacin y rarefaccin. El aire domina y mantiene unido al Cosmos de la misma manera que el alma lo hace con el cuerpo. Este Primer Principio tiene la capacidad de pensar, indispensable para gobernar. Observ que el cielo pareca girar alrededor de la estrella polar.

[editar] Obras

Escribi Peri Physeos (Sobre la Naturaleza), obra que hoy da se ha perdido pero de la que tenemos constancia gracias a Digenes, quien dijo de Anaxmenes que escribi en dialecto jnico en un estilo sencillo y conciso. Segn menciona Plinio el Viejo en su Historia Natural (Libro II, Captulo LXXVI) Anaxmenes fue el primero en analizar el cmputo geomtrico de las sombras para medir las partes y divisiones del da, y dise para ello un Reloj de sol que denomina Sciothericon. Literalmente: Umbrarum hanc rationem et quam vocant gnomonicen invenit Anaximenes Milesius, Anaximandri, de quo diximius, discipulus, primusque horologium, quod appellant, Lacedaemone ostendit.