Biografa de Aristteles Aristteles naci en el ao 384 a.C.

en una pequea localidad macedonia cercana al monte Athos llamada Estagira, de donde proviene su sobrenombre, el Estagirita. Su padre, Nicmaco, era mdico de la corte de Amintas III, padre de Filipo y, por tanto, abuelo de Alejandro Magno. Nicmaco perteneca a la familia de los Asclepades, que se reclamaba descendiente del dios fundador de la medicina y cuyo saber se transmita de generacin en generacin. Ello invita a pensar que Aristteles fue iniciado de nio en los secretos de la medicina y de ah le vino su aficin a la investigacin experimental y a la ciencia positiva. Hurfano de padre y madre en plena adolescencia, fue adoptado por Proxeno, al cual pudo mostrar aos despus su gratitud adoptando a un hijo suyo llamado Nicanor. En el ao 367, es decir, cuando contaba diecisiete aos de edad, fue enviado a Atenas para estudiar en la Academia de Platn. No se sabe qu clase de relacin personal se estableci entre ambos filsofos, pero, a juzgar por las escasas referencias que hacen el uno del otro en sus escritos, no cabe hablar de una amistad imperecedera. Lo cual, por otra parte, resulta lgico si se tiene en cuenta que Aristteles iba a iniciar su propio sistema filosfico fundndolo en una profunda critica al platnico. Ambos partan de Scrates y de su concepto de eidos, pero las dificultades de Platn para insertar su mundo eidtico, el de las ideas, en el mundo real obligaron a Aristteles a ir perfilando trminos como sustancia, esencia y forma que le alejaran definitivamente de la Academia. En cambio es absolutamente falsa la leyenda segn la cual Aristteles se march de Atenas despechado porque Platn, a su muerte, designase a su sobrino Espeusipo para hacerse cargo de la Academia. En su condicin de macedonio Aristteles no era legalmente elegible para ese puesto.

Tautologa En lgica, una tautologa (del griego , "decir lo mismo") es una frmula bien formada de un sistema de lgica proposicional que resulta verdadera para cualquier interpretacin; es decir, para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas.1 2 La construccin de una tabla de verdad es un mtodo efectivo para determinar si una frmula cualquiera es una tautologa o no.2 Contradiccin En lgica, una contradiccin es una incompatibilidad entre dos o ms proposiciones. Por ejemplo, las oraciones llueve y no llueve y ni llueve ni truena, pero llueve y truena expresan contradicciones. En lgica proposicional, una contradiccin se define como como una frmula que resulta falsa para cualquier interpretacin, es decir para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas. Con esta definicin, toda contradiccin es la negacin de una tautologa, y toda tautologa es la negacin de una contradiccin. Contingencia Posibilidad que suceda alguna cosa; problema o hecho que se presente de forma imprevista. En lgica y filosofa, la contingencia es el modo de ser de lo que no es necesario ni imposible, sino que puede ser o no ser el caso.1 En general la contingencia se predica de los estados de cosas, los hechos, los eventos o las proposiciones.1 Existe un debate sobre si es aceptable hablar de entidades contingentes (o entidades necesarias o imposibles),1 conocido como el debate en torno a las modalidades de dicto (de la palabra) y de res (de la cosa). La relacin entre necesidad, posibilidad y contingencia es fcil de malentender.1 Todo lo que es contingente es posible, pero no todo lo que es posible es contingente, pues aquello que es necesario tambin es posible, pero no es contingente. Por otra parte, no todo lo que no es necesario es contingente, pues lo que es imposible no es ni necesario ni contingente.