computacion

HISTORIA Y DESARROLLO DE LA LÓGICA
Históricamente la palabra "lógica" ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, yposteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra lógica deriva del término griego “logikós” derivado de logos 'razón'.Históricamentese considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las Ciencias., ya que fue el primero en formalizar completamente el campo.
La lógica formal,como un análisis explícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a. C.Aristótelesfue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del "lenguaje apofántico" como manifestador de la verdad en la ciencia. Pensaba que la verdad semanifiesta en el juicio verdadero y el argumento válido en el silogismo: “Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otracosadiferente”.
Nació así la lógica formal. Aristóteles formalizó el cuadro de oposición de los juicios y las formas válidas del silogismo. Kant en el siglo XVIII pensaba que Aristóteles había llevado lalógica formal a su perfección, por lo que básicamente hasta entonces no había habido prácticamente modificaciones de importancia. Y lo justificaba al considerar que siendo la lógica una cienciaformal, erapor ello analítica y a priori, lo que justifica su necesidad y su universalidad, pues es la razón la que trata consigo misma respecto a sus leyes del pensar, sin contenido de experiencia alguno.A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el campo de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la Lógica simbólica. La...[continua]HISTORIA Y DESARROLLO DE LA LÓGICA
Históricamente la palabra "lógica" ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, yposteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra lógica deriva del término griego “logikós” derivado de logos 'razón'.Históricamentese considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las Ciencias., ya que fue el primero en formalizar completamente el campo.
La lógica formal,como un análisis explícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a. C.Aristótelesfue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del "lenguaje apofántico" como manifestador de la verdad en la ciencia. Pensaba que la verdad semanifiesta en el juicio verdadero y el argumento válido en el silogismo: “Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otracosadiferente”.
Nació así la lógica formal. Aristóteles formalizó el cuadro de oposición de los juicios y las formas válidas del silogismo. Kant en el siglo XVIII pensaba que Aristóteles había llevado lalógica formal a su perfección, por lo que básicamente hasta entonces no había habido prácticamente modificaciones de importancia. Y lo justificaba al considerar que siendo la lógica una cienciaformal,era por ello analítica y a priori, lo que justifica su necesidad y su universalidad, pues es la razón la que trata consigo misma respecto a sus leyes del pensar, sin contenido de experiencia alguno.A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el campo de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la Lógica simbólica. La......